Skip to content

Dephasing and Amplitude Damping

Population relaxation and loss of phase coherence affect different parts of a qubit’s density matrix. When matched exponential decay measurements support a constant-rate model, T1T_1 and T2T_2 determine a finite-time channel after its equilibrium population and coherent phase are specified. Relaxation already destroys some coherence, so adding dephasing requires subtracting that contribution once. This page works through the conversion, its exact physicality condition, and the limitations of composing fitted channels.

Helpful background. Quantum channels introduces Kraus and Choi representations; dephasing versus dissipation explains population flow versus coherence loss. Hardware metrics describes how measured decay times depend on the experimental protocol.

Population relaxation and complex coherence

Section titled “Population relaxation and complex coherence”

Use the energy basis with ∣0⟩|0\rangle lower and ∣1⟩|1\rangle upper, and

ρ=(I+xX+yY+zZ)/2,ρ01=(x−iy)/2.\begin{aligned} \rho&=(I+xX+yY+zZ)/2,\\ \rho_{01}&=(x-iy)/2. \end{aligned}

Consider the finite-time family

ρ11′=ηρ11+(1−η)neq,ρ01′=cρ01,\begin{aligned} \rho_{11}'&=\eta\rho_{11}+(1-\eta)n_{\mathrm{eq}},\\ \rho_{01}'&=c\rho_{01}, \end{aligned}

with 0≤η≤10\leq\eta\leq1, 0≤neq≤10\leq n_{\mathrm{eq}}\leq1, and complex cc subject to the positivity bound below. Here η\eta contracts the population difference from equilibrium; neqn_{\mathrm{eq}} is the fixed excited population, not automatically a temperature. The complex factor c=∣c∣e−iθc=|c|e^{-i\theta} both attenuates coherence and rotates its phase. These maps commute with rotations about ZZ, a property called phase covariance. This restricted relaxation family is not a parameterization of every phase-covariant qubit channel; some other finite channels have negative longitudinal eigenvalues.

For η<1\eta<1, the population fixed point is unique. At η=1\eta=1, populations are unchanged and neqn_{\mathrm{eq}} drops out of the map. A qubit channel is also inappropriate if appreciable population leaves the two chosen levels: include leakage explicitly instead of silently renormalizing the surviving population.

Writing c=a+ibc=a+ib and zeq=1−2neqz_{\mathrm{eq}}=1-2n_{\mathrm{eq}} gives

x′=ax+by,y′=−bx+ay,z′=ηz+(1−η)zeq.\begin{aligned} x'&=ax+by,\\ y'&=-bx+ay,\\ z'&=\eta z+(1-\eta)z_{\mathrm{eq}}. \end{aligned}

For positive θ\theta, input ∣+⟩|+\rangle acquires positive yy: c=e−iθc=e^{-i\theta} yields (x′,y′)=(cos⁡θ,sin⁡θ)(x',y')=(\cos\theta,\sin\theta). Checking both quadratures catches a phase-sign error that a coherence-magnitude fit cannot.

In a constant-rate two-level model, the excited population obeys

n˙=Γ↑(1−n)−Γ↓n,Γ1=Γ↑+Γ↓.\begin{aligned} \dot n&=\Gamma_\uparrow(1-n)-\Gamma_\downarrow n,\\ \Gamma_1&=\Gamma_\uparrow+\Gamma_\downarrow. \end{aligned}

For Γ1>0\Gamma_1>0,

neq=Γ↑/Γ1,T1=1/Γ1,η=e−Γ1Δt.\begin{aligned} n_{\mathrm{eq}}&=\Gamma_\uparrow/\Gamma_1,\\ T_1&=1/\Gamma_1,\qquad\eta=e^{-\Gamma_1\Delta t}. \end{aligned}

Thus T1T_1 alone fixes the sum of rates, not their ratio. Knowing neqn_{\mathrm{eq}} as well gives Γ↑=neq/T1\Gamma_\uparrow=n_{\mathrm{eq}}/T_1 and Γ↓=(1−neq)/T1\Gamma_\downarrow=(1-n_{\mathrm{eq}})/T_1. If both rates vanish, populations do not relax and no population fixed point is selected. A thermal interpretation additionally requires detailed balance and suitable bath assumptions.

Put γ=1−η\gamma=1-\eta. Generalized amplitude damping is a mixture of downward and upward damping, with Kraus operators

A0=1−neq(100η),A1=1−neq(0γ00),A2=neq(η001),A3=neq(00γ0).\begin{aligned} A_0&=\sqrt{1-n_{\mathrm{eq}}} \begin{pmatrix}1&0\\0&\sqrt\eta\end{pmatrix},\\ A_1&=\sqrt{1-n_{\mathrm{eq}}} \begin{pmatrix}0&\sqrt\gamma\\0&0\end{pmatrix},\\ A_2&=\sqrt{n_{\mathrm{eq}}} \begin{pmatrix}\sqrt\eta&0\\0&1\end{pmatrix},\\ A_3&=\sqrt{n_{\mathrm{eq}}} \begin{pmatrix}0&0\\\sqrt\gamma&0\end{pmatrix}. \end{aligned}

Their completeness sum is II. They produce the stated population update and coherence factor η\sqrt\eta, regardless of neqn_{\mathrm{eq}}. At neq=0n_{\mathrm{eq}}=0 only the first pair remains, giving zero-temperature amplitude damping. At neq=1/2n_{\mathrm{eq}}=1/2, population relaxation is unital even though energy exchange occurs. A Kraus label represents a particular realization; it need not be a physically observed jump unless the environment is measured accordingly.

For a matched constant-rate relaxation-plus-dephasing model,

1T2=12T1+1Tϕ.\frac1{T_2}=\frac1{2T_1}+\frac1{T_\phi}.

Amplitude damping already gives e−Δt/(2T1)e^{-\Delta t/(2T_1)} on coherence. The additional dephasing channel must therefore use

λϕ=e−Δt/Tϕ,c=ηλϕe−iθ=e−Δt/T2e−iθ.\begin{aligned} \lambda_\phi&=e^{-\Delta t/T_\phi},\\ c&=\sqrt\eta\lambda_\phi e^{-i\theta} =e^{-\Delta t/T_2}e^{-i\theta}. \end{aligned}

Using e−Δt/T2e^{-\Delta t/T_2} again as the additional factor would count relaxation twice. Nonnegative pure-dephasing rate implies T2≤2T1T_2\leq2T_1 in this model. A violation in fitted central values warrants checking uncertainties, levels, pulse sequences, operating conditions and fit functions; it should not be repaired by silently clipping a reported time.

The dephasing pair D0=1−pZID_0=\sqrt{1-p_Z}I, D1=pZZD_1=\sqrt{p_Z}Z has λϕ=1−2pZ\lambda_\phi=1-2p_Z. For 0≤λϕ≤10\leq\lambda_\phi\leq1,

pZ=(1−λϕ)/2.p_Z=(1-\lambda_\phi)/2.

An alternative phase-damping convention uses g=1−λϕ2g=1-\lambda_\phi^2. Complete dephasing means pZ=1/2p_Z=1/2, not pZ=1p_Z=1: the latter applies a unitary ZZ and preserves coherence magnitude. Negative real coherence factors are also valid phase-flip mixtures, with pZ>1/2p_Z>1/2; alternatively one can factor off a unitary ZZ and retain a nonnegative attenuation. See dephasing channels for the constructions.

For finite positive η\eta, ∣c∣/η|c|/\sqrt\eta is the additional attenuation only if it is at most one. At the complete-relaxation endpoint η=0\eta=0, this quotient is undefined; use the channel itself rather than dividing by zero.

Exact physicality versus constant-rate interpolation

Section titled “Exact physicality versus constant-rate interpolation”

Use the unnormalized output–input Choi convention from quantum channels, in basis (∣00⟩,∣01⟩,∣10⟩,∣11⟩)(|00\rangle,|01\rangle,|10\rangle,|11\rangle). Define

u=γneq,d=γ(1−neq).u=\gamma n_{\mathrm{eq}},\qquad d=\gamma(1-n_{\mathrm{eq}}).

Applying the map to matrix units gives

J=(1−u00c0d0000u0c∗001−d).J=\begin{pmatrix} 1-u&0&0&c\\ 0&d&0&0\\ 0&0&u&0\\ c^*&0&0&1-d \end{pmatrix}.

Tracing out the output gives II. The two isolated eigenvalues u,du,d are nonnegative. The remaining two-dimensional block is positive precisely when

∣c∣2≤(1−u)(1−d)=η+(1−η)2neq(1−neq).\begin{aligned} |c|^2&\leq(1-u)(1-d)\\ &=\eta+(1-\eta)^2n_{\mathrm{eq}}(1-n_{\mathrm{eq}}). \end{aligned}

This is the exact one-step complete-positivity condition, including the endpoints (Ruskai, Szarek, and Werner, 2002). The constant-rate construction above obeys the stronger condition ∣c∣2≤η|c|^2\leq\eta. At zero temperature the two bounds coincide; for an interior fixed population they differ.

Allowed coherence versus population contraction for a unital relaxation channel

At neq=1/2n_{\mathrm{eq}}=1/2, a finite channel permits ∣c∣≤(1+η)/2|c|\leq(1+\eta)/2 (solid boundary). Constant nonnegative relaxation and pure-dephasing rates require ∣c∣≤η|c|\leq\sqrt\eta (dashed boundary). Point A, (η,∣c∣)=(1/4,3/5)(\eta,|c|)=(1/4,3/5), is a valid finite channel in the narrow region between them. It does not admit the proposed constant-rate interpolation with these parameters.

For point A, the Choi eigenvalues are 49/4049/40, 3/83/8, 3/83/8, and 1/401/40, all positive. Trying to interpolate exponentially to half the duration gives

η1/2=1/2,∣c1/2∣=3/5>3/4.\eta_{1/2}=1/2,\qquad |c_{1/2}|=\sqrt{3/5}>3/4.

That candidate fails the half-time Choi bound. A physical endpoint does not justify an arbitrarily chosen interpolation. Nor does this example exclude every possible physical path to the endpoint; it rejects the specific matched constant-rate construction.

Worked thermal idle and observable predictions

Section titled “Worked thermal idle and observable predictions”

Take T1=80 μsT_1=80\,\mu\mathrm{s}, T2=60 μsT_2=60\,\mu\mathrm{s}, neq=0.08n_{\mathrm{eq}}=0.08, zero coherent phase, and duration 20 μs20\,\mu\mathrm{s}. Then

Tϕ=96 μs,zeq=0.84,η=e−1/4,∣c∣=e−1/3,λϕ=e−5/24,pZ=(1−e−5/24)/2.\begin{aligned} T_\phi&=96\,\mu\mathrm{s},\qquad z_{\mathrm{eq}}=0.84,\\ \eta&=e^{-1/4},\qquad |c|=e^{-1/3},\\ \lambda_\phi&=e^{-5/24},\qquad p_Z=(1-e^{-5/24})/2. \end{aligned}

The input Bloch vector (0.6,−0.2,−0.4)(0.6,-0.2,-0.4) becomes

x′=0.6e−1/3≃0.429919,y′=−0.2e−1/3≃−0.143306,z′=0.84−1.24e−1/4≃−0.125713.\begin{aligned} x'&=0.6e^{-1/3}\simeq0.429919,\\ y'&=-0.2e^{-1/3}\simeq-0.143306,\\ z'&=0.84-1.24e^{-1/4}\simeq-0.125713. \end{aligned}

Hence ρ11′≃0.562856\rho_{11}'\simeq0.562856 and ρ01′≃0.214959+0.071653i\rho_{01}'\simeq0.214959+0.071653i. Six decimals are shown for readability; the exact exponential expressions define the calculation.

The same map predicts both population-preparation experiments:

P(1∣0)=(1−η)neq,P(1∣1)=η+(1−η)neq.\begin{aligned} P(1\mid0)&=(1-\eta)n_{\mathrm{eq}},\\ P(1\mid1)&=\eta+(1-\eta)n_{\mathrm{eq}}. \end{aligned}

Their difference equals η\eta, which separates relaxation from the fixed-population offset. With the same rates at all times, the predictions below are rounded to six decimals.

Duration (μs\mu\mathrm{s}) P(1∣0)P(1\mid0) P(1∣1)P(1\mid1)
00 00 11
2020 0.0176960.017696 0.7964970.796497
4040 0.0314780.031478 0.6380080.638008
6060 0.0422110.042211 0.5145770.514577
8080 0.0505700.050570 0.4184490.418449

For the identity target, the raw average gate fidelity is

Favg=(3+2Re⁡c+η)/6.F_{\mathrm{avg}}=(3+2\operatorname{Re}c+\eta)/6.

Applying the phase correction U−θU_{-\theta} replaces Re⁡c\operatorname{Re}c by ∣c∣|c|. That is the fidelity of the corrected idle, not the uncorrected one. For this zero-phase example both are approximately 0.8686440.868644. The translation does not enter this Haar average, even though it matters strongly for the population predictions. An average fidelity alone therefore cannot determine neqn_{\mathrm{eq}}.

For two valid intervals in the same basis, their composition has

η21=η2η1,c21=c2c1,z21=η2η1z+η2(1−η1)zeq,1+(1−η2)zeq,2.\begin{aligned} \eta_{21}&=\eta_2\eta_1,\qquad c_{21}=c_2c_1,\\ z_{21}&=\eta_2\eta_1z +\eta_2(1-\eta_1)z_{\mathrm{eq},1} +(1-\eta_2)z_{\mathrm{eq},2}. \end{aligned}

Equal fixed points reduce the translation to (1−η2η1)zeq(1-\eta_2\eta_1)z_{\mathrm{eq}}. Four identical applications in the worked example give η4=e−1\eta_4=e^{-1}, c4=e−4/3c_4=e^{-4/3} and z4=0.84−1.24e−1≃0.383829z_4=0.84-1.24e^{-1}\simeq0.383829.

Different fixed points make order matter even for ordinary memoryless maps. If both contractions equal η\eta, applying A then B minus B then A changes the translation by (1−η)2(zB−zA)(1-\eta)^2(z_B-z_A). Noncommutation alone is not a memory witness.

A basis-changing gate also requires full matrix composition. In Pauli order (I,X,Y,Z)(I,X,Y,Z) the channel matrix is

R=(10000ab00−ba0(1−η)zeq00η).R=\begin{pmatrix} 1&0&0&0\\ 0&a&b&0\\ 0&-b&a&0\\ (1-\eta)z_{\mathrm{eq}}&0&0&\eta \end{pmatrix}.

An ideal gate between the intervals gives R2RUR1R_2R_UR_1, not a scalar product of relaxation factors. For example, a Hadamard turns a preceding zz translation into an xx translation. Even correctly multiplying finite maps predicts a real repeated experiment only when each map remains applicable after the earlier operations; environmental memory can invalidate that premise.

A Ramsey decay time, a Hahn-echo decay time and a dynamical-decoupling decay time describe different pulse sequences. Echo refocuses static detuning, while finite-frequency noise and pulse errors need not cancel (Hahn, 1950; Cywiński et al., 2008). State the sequence and fit function when using T2T_2 or T2∗T_2^*; changing the sequence does not merely improve an estimate of one universal constant.

For a Gaussian-distributed static detuning δ\delta with variance σ2\sigma^2,

W(t)=E[e−iδt]=e−σ2t2/2.W(t)=\mathbb E[e^{-i\delta t}]=e^{-\sigma^2t^2/2}.

Every finite-time dephasing map is CPTP, but W(t+s)≠W(t)W(s)W(t+s)\ne W(t)W(s) for positive t,st,s: the maps do not form a time-homogeneous semigroup. With σ=0.02 μs−1\sigma=0.02\,\mu\mathrm{s}^{-1},

W(20)W(30)≃0.771052,W(50)≃0.606531.\begin{aligned} W(20)W(30)&\simeq0.771052,\\ W(50)&\simeq0.606531. \end{aligned}

Nevertheless this family is CP-divisible. For t≥st\geq s, the coherence ratio

W(t)/W(s)=e−σ2(t2−s2)/2≤1W(t)/W(s)=e^{-\sigma^2(t^2-s^2)/2}\leq1

defines a CPTP intermediate dephasing map. The same unperturbed family also solves the time-local equation

ρ˙=σ2t2(ZρZ−ρ).\dot\rho=\frac{\sigma^2t}{2}(Z\rho Z-\rho).

These one-time facts do not establish absence of memory under interventions (Milz et al., 2019). In the static-detuning realization, an ideal midpoint XX pulse reverses the second half’s phase and produces a perfect echo, apart from the known pulse. Composing only the averaged divisible maps around that pulse instead predicts the same attenuation W(t)W(t) as without echo. The intervention distinguishes processes sharing identical unperturbed maps. Markovian and non-Markovian noise develops the multitime description.

When checking a fitted channel, use both ground/excited preparations and transverse states, and measure both transverse quadratures. Compare new durations and relevant operating contexts while accounting for preparation and readout errors. A new pulse sequence requires a model of how the pulse acts on the process; independently fitting its decay curve is not a prediction of that sequence from the original T2T_2.

For λϕ=0.64\lambda_\phi=0.64, calculate pZp_Z and gg and identify complete dephasing and unitary-ZZ endpoints.

Solution

pZ=(1−0.64)/2=0.18p_Z=(1-0.64)/2=0.18 and g=1−0.642=0.5904g=1-0.64^2=0.5904. Complete dephasing has λϕ=0\lambda_\phi=0, pZ=1/2p_Z=1/2, g=1g=1. At pZ=1p_Z=1, the coherence factor is −1-1: its sign changes but its magnitude remains one.

Derive the fixed population and finite-time solution for constant upward and downward rates, including the zero-rate case.

Solution

For Γ1>0\Gamma_1>0, setting n˙=0\dot n=0 gives neq=Γ↑/Γ1n_{\mathrm{eq}}=\Gamma_\uparrow/\Gamma_1. Subtracting this value yields (n−neq)˙=−Γ1(n−neq)\dot{(n-n_{\mathrm{eq}})}=-\Gamma_1(n-n_{\mathrm{eq}}), so

n(t)=neq+[n(0)−neq]e−Γ1t.n(t)=n_{\mathrm{eq}}+[n(0)-n_{\mathrm{eq}}]e^{-\Gamma_1t}.

For Γ1=0\Gamma_1=0 both nonnegative rates vanish, giving n(t)=n(0)n(t)=n(0); the ratio defining neqn_{\mathrm{eq}} is then undefined and unnecessary.

For the worked 20 μs20\,\mu\mathrm{s} interval, find the output density matrix, average fidelity and result after four identical intervals.

Solution

With the output Bloch coordinates already derived, the density matrix has diagonal entries approximately 0.437144,0.5628560.437144,0.562856 and upper off-diagonal entry 0.214959+0.071653i0.214959+0.071653i. The lower entry is its conjugate. Its average idle fidelity is (3+2e−1/3+e−1/4)/6≃0.868644(3+2e^{-1/3}+e^{-1/4})/6\simeq0.868644.

After four intervals,

x4=0.6e−4/3,y4=−0.2e−4/3,z4=0.84−1.24e−1≃0.383829,ρ11,4≃0.308085.\begin{aligned} x_4&=0.6e^{-4/3},\qquad y_4=-0.2e^{-4/3},\\ z_4&=0.84-1.24e^{-1}\simeq0.383829,\\ \rho_{11,4}&\simeq0.308085. \end{aligned}

These repeated-use predictions require the same channel to remain applicable between intervals.

4. Check an endpoint and its proposed square root

Section titled “4. Check an endpoint and its proposed square root”

For neq=1/2n_{\mathrm{eq}}=1/2, η=1/4\eta=1/4, c=3/5c=3/5, check complete positivity. Then test the candidate half-time parameters η,c\sqrt\eta,\sqrt c with the same fixed point.

Solution

The endpoint Choi block has diagonal entries 5/85/8 and off-diagonal entries 3/53/5. Its eigenvalues are 49/4049/40 and 1/401/40; the other two are 3/83/8. At half time the block diagonal is 3/43/4 and off-diagonal is 3/5\sqrt{3/5}, so one eigenvalue is 3/4−3/5<03/4-\sqrt{3/5}<0. The endpoint is physical, but this proposed square root is not CP. No conclusion about all other possible interpolations follows.

Take two maps with η=1/2\eta=1/2, one with zA=1z_A=1 and one with zB=0z_B=0. Compare both orders.

Solution

A then B gives zBA=z/4+1/4z_{BA}=z/4+1/4; B then A gives zAB=z/4+1/2z_{AB}=z/4+1/2. Their difference is −1/4-1/4 in the first-minus-second convention. Contracting an earlier translation by the later map causes the order dependence.

For Gaussian W(t)W(t), determine whether each finite map is CPTP, whether the family is a time-homogeneous semigroup, and whether it is CP-divisible. Can those answers alone predict the static-detuning echo?

Solution

Each finite map is CPTP because 0<W(t)≤10<W(t)\leq1. The family is not a semigroup since the exponent contains t2t^2, not tt. It is CP-divisible because 0<W(t)/W(s)≤10<W(t)/W(s)\leq1 for t≥st\geq s. None of these answers specifies the response to an intervening pulse. For static detuning, Uδ(t/2)XUδ(t/2)=XU_\delta(t/2)XU_\delta(t/2)=X for every δ\delta, so the phase refocuses exactly. The averaged time-local description without that environmental correlation predicts residual attenuation instead.

Assume calibrated preparations/readout and the stated phase-covariant family. At one duration measure P(1∣0)=0.02P(1\mid0)=0.02, P(1∣1)=0.82P(1\mid1)=0.82, and output (x′,y′)=(0.6,0.2)(x',y')=(0.6,0.2) from ∣+⟩|+\rangle. Find η,neq,c\eta,n_{\mathrm{eq}},c, raw fidelity and ideally phase-corrected fidelity.

Solution

The population difference gives η=0.80\eta=0.80, then neq=0.02/(1−0.80)=0.10n_{\mathrm{eq}}=0.02/(1-0.80)=0.10. Since y′=−Im⁡cy'=-\operatorname{Im}c for this input, c=0.6−0.2ic=0.6-0.2i. Thus ∣c∣=0.4|c|=\sqrt{0.4} and θ=arctan⁡(1/3)\theta=\arctan(1/3). The CP bound is satisfied: ∣c∣2=0.4≤0.8+0.22(0.1)(0.9)=0.8036|c|^2=0.4\leq0.8+0.2^2(0.1)(0.9)=0.8036.

Raw fidelity is (3+1.2+0.8)/6=5/6(3+1.2+0.8)/6=5/6. Applying U−θU_{-\theta} gives (3+20.4+0.8)/6≃0.844152(3+2\sqrt{0.4}+0.8)/6\simeq0.844152. This higher number assumes the phase correction is actually implemented. Measuring ∣+y⟩|+y\rangle as well tests the assumed transverse rotation symmetry rather than merely refitting these three parameters.

  • H.-P. Breuer and F. Petruccione, The Theory of Open Quantum Systems, Oxford University Press, 2002, doi:10.1093/acprof:oso/9780199213900.001.0001.
  • L. Cywiński, R. M. Lutchyn, C. P. Nave, and S. Das Sarma, “How to enhance dephasing time in superconducting qubits,” Physical Review B 77, 174509 (2008), doi:10.1103/PhysRevB.77.174509.
  • E. L. Hahn, “Spin echoes,” Physical Review 80, 580–594 (1950), doi:10.1103/PhysRev.80.580.
  • S. Milz, M. S. Kim, F. A. Pollock, and K. Modi, “Completely positive divisibility does not mean Markovianity,” Physical Review Letters 123, 040401 (2019), doi:10.1103/PhysRevLett.123.040401.
  • M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th anniversary edition, Cambridge University Press, 2010, doi:10.1017/CBO9780511976667.
  • M. B. Ruskai, S. Szarek, and E. Werner, “An analysis of completely-positive trace-preserving maps on M2,” Linear Algebra and its Applications 347, 159–187 (2002), doi:10.1016/S0024-3795(01)00547-X.