Pauli and Bit/Phase-Flip Channels

A Pauli channel is the simplest physically honest model of qubit noise beyond the unitaries: after each clock tick the qubit is either left alone or struck by one of the three Pauli operators XX, ZZ, YY, chosen at random. Because {I,X,Y,Z}\{I,X,Y,Z\} already span the space of 2×22\times2 operators, this stochastic mixture is expressive enough to describe a huge range of decoherence processes while its bookkeeping stays entirely classical — the whole channel is one probability vector (pI,pX,pY,pZ)(p_I,p_X,p_Y,p_Z). The bit-flip, phase-flip, and bit-phase-flip channels are the three minimal members, each mixing the identity with a single Pauli XX, ZZ, or YY. Every such channel is a legitimate completely positive trace-preserving (CPTP) map whose Kraus operators are rescaled Paulis, so it inherits all the structure of the Kraus representation established upstream. Pauli channels are moreover unital: they fix the maximally mixed state I/2I/2, which sharply distinguishes them from non-unital noise such as amplitude damping. Geometrically they act as a diagonal contraction of the Bloch vector along the three coordinate axes, never displacing the centre of the sphere — the canonical picture of decoherence as a sphere squashing into an axis-aligned ellipsoid. The reason Pauli channels dominate fault-tolerance theory is twofold. First, they discretize errors: a stabilizer code's syndrome measurement projects an arbitrary error onto the Pauli group, so the decoder only ever corrects a Pauli. Second, any channel can be converted into a Pauli channel by Pauli twirling — averaging over conjugation by random Paulis — which keeps the diagonal, worst-case-relevant part of the noise. Thus threshold theorems and benchmarking protocols routinely assume Pauli noise without loss of essential generality. This article builds the channel from a probabilistic mixture, derives its Bloch-sphere and Pauli-transfer forms, ties phase-flip to the T2T_2 dephasing time, and explains twirling.

Key takeaways
  • A Pauli channel applies II or one of XX, YY, ZZ at random: E(ρ)=pIρ+pXXρX+pYYρY+pZZρZ\mathcal{E}(\rho)=p_I\rho+p_X X\rho X+p_Y Y\rho Y+p_Z Z\rho Z, fully specified by the probabilities (pI,pX,pY,pZ)(p_I,p_X,p_Y,p_Z) summing to one.
  • The bit-flip (XX), phase-flip (ZZ), and bit-phase-flip (YY) channels are the one-axis cases, each a convex mix of II (weight 1−p1-p) and a single Pauli (weight pp).
  • Pauli channels are unital (E(I/2)=I/2\mathcal{E}(I/2)=I/2) and diagonal in the Pauli basis: each Pauli σa\sigma_a is an eigenoperator with eigenvalue Λa=∑b(−1)⟨a,b⟩pb\Lambda_a=\sum_b(-1)^{\langle a,b\rangle}p_b.
  • On the Bloch sphere they contract the axes by λx,λy,λz\lambda_x,\lambda_y,\lambda_z; phase-flip shrinks x,yx,y by 1−2p1-2p and fixes zz — the identical map to pure dephasing, with 1−2p=e−t/T21-2p=e^{-t/T_2}.
  • Twirling reduces any channel to a Pauli channel, and stabilizer error correction tracks discretized Pauli errors exactly — which is why Pauli noise is the workhorse of fault tolerance.
  • Key idea: a Pauli channel is a classical probability distribution over the four Pauli operators acting by conjugation; it is unital, diagonal in the Pauli basis, and contracts the Bloch sphere along its axes — making errors discrete and twirlable, which is exactly what stabilizer fault tolerance needs.

Where this lives today

Pauli channels are the daily currency of experimental quantum computing. Every serious device is now characterized by randomized and cycle benchmarking, which twirl a gate's real noise into an effective Pauli channel and then invert the measured Pauli fidelities Λa\Lambda_a — exactly the calculation of Worked Example 2 — to report a full Pauli error spectrum; the industry benchmark of "error per Clifford" is a twirled Pauli decay rate. On the correction side, surface-code thresholds (the famous ∼1%\sim1\% figure) are quoted for depolarizing or biased Pauli noise, and current experiments deliberately engineer biased noise — making pZ≫pX,pYp_Z\gg p_X,p_Y — so that tailored codes like the XZZX surface code and cat qubits exploit the bias for higher thresholds. Pauli frame randomization and randomized compiling are routinely inserted into circuits on superconducting and trapped-ion hardware to convert coherent control errors into stochastic Pauli errors, which improves error correction and makes error mitigation tractable. And the phase-flip channel remains the simplest faithful model of T2T_2 dephasing, letting large stabilizer-circuit simulators inject realistic phase noise without ever solving a Lindblad equation.

The physical picture

Imagine a demon who, after every clock tick, flips a four-sided weighted coin. Most often (probability pIp_I) it does nothing; otherwise it conjugates the qubit by XX (a bit flip), ZZ (a phase flip), or YY (both at once). We never learn which face came up, so we average over the outcomes — and that average is a density matrix that has lost coherence. A Pauli channel is exactly this classical lottery over Pauli operators, and the first figure shows the branch structure that produces the mixed output.

Figure
The Pauli lottery: with probability p_I the input state ρ is untouched, otherwise it is conjugated by X, Y, or Z; averaging over the unknown outcome gives the output E(ρ) = p_I ρ + p_X XρX + p_Y YρY + p_Z ZρZ
A classical lottery over the four Pauli operators, averaged by our ignorance of the outcome ρ p_I p_X p_Y p_Z I ρ I X ρ X Y ρ Y Z ρ Z E(ρ) mixed output

Because the four Paulis are mutually orthogonal under the Hilbert–Schmidt inner product and each squares to the identity, conjugating a Bloch component by a Pauli either leaves it fixed or flips its sign. The probabilistic average therefore multiplies each Bloch axis by a fixed factor: the channel is a diagonal contraction, and the unit sphere becomes an axis-aligned ellipsoid still centred at the origin. Nothing is displaced — that is unitality made visible. The second figure shows the concrete case of the phase-flip channel, which shrinks the equator and leaves the poles alone.

Figure
Phase-flip channel with p = 0.1: the Bloch sphere contracts by λ_x = λ_y = 1 − 2p = 0.80 in the equatorial x and y directions and by λ_z = 1.00 along the polar z axis, squashing the sphere into an oblate ellipsoid without moving its centre
Phase-flip p = 0.1: equator shrinks to 0.80, poles fixed — a shrinking ellipsoid z x input sphere radius 1 E z x λ_z = 1.00 λ_x = λ_y = 0.80

Pauli channels are "classical" in a strong operational sense: acting on a stabilizer state, a Pauli error simply commutes or anticommutes with each stabilizer generator, producing a definite ±1\pm1 syndrome. This is why quantum error correction copes with a discrete error set even though physical noise is continuous. And phase-flip noise is the invisible enemy of computation: in the computational basis it never touches populations, only relative phases — precisely the decoherence that erases interference, making phase information as urgent to protect as bit values.

The core equations

A Pauli channel is defined by letting each Pauli operator act by conjugation with a classical weight. This one line contains the whole model; every later formula is a computation of, or a consequence of, this convex mixture.

E(ρ)=pI ρ+pX XρX+pY YρY+pZ ZρZ(1)\mathcal{E}(\rho)=p_I\,\rho+p_X\,X\rho X+p_Y\,Y\rho Y+p_Z\,Z\rho Z \qquad (1)

where: ρ\rho — input qubit density operator; X,Y,ZX,Y,Z — the three Pauli matrices; pI,pX,pY,pZ≥0p_I,p_X,p_Y,p_Z\ge0 — probabilities summing to one. Reading: with probability pIp_I nothing happens, otherwise the qubit is conjugated by one Pauli; the channel is fixed entirely by the probability vector. That this mixture is a valid CPTP map is immediate once we read off its Kraus operators, since each is a scalar multiple of a unitary. Completeness of the Kraus set is then just the normalization of the probabilities.

Kj=pj σj,∑jKj†Kj=(pI+pX+pY+pZ) I=I(2)K_j=\sqrt{p_j}\,\sigma_j,\qquad \sum_j K_j^\dagger K_j=(p_I+p_X+p_Y+p_Z)\,I=I \qquad (2)

where: σj∈{I,X,Y,Z}\sigma_j\in\{I,X,Y,Z\} — the Pauli unitaries; KjK_j — Kraus operators. Reading: any map with a Kraus decomposition is completely positive, and ∑jKj†Kj=I\sum_j K_j^\dagger K_j=I (trace preservation) holds if and only if the probabilities sum to one. The three named channels are the one-axis restrictions of (1)(1): keep the identity and exactly one Pauli. Written out for the phase-flip case, the effect on a density matrix is transparent — populations are untouched and coherences are scaled.

Ephase ⁣(ρ00ρ01ρ10ρ11)=(ρ00(1−2p) ρ01(1−2p) ρ10ρ11)(3)\mathcal{E}_{\text{phase}}\!\begin{pmatrix}\rho_{00}&\rho_{01}\\\rho_{10}&\rho_{11}\end{pmatrix}=\begin{pmatrix}\rho_{00}&(1-2p)\,\rho_{01}\\(1-2p)\,\rho_{10}&\rho_{11}\end{pmatrix} \qquad (3)

where: pp — probability of a ZZ error; ρ00,ρ11\rho_{00},\rho_{11} — populations; ρ01,ρ10\rho_{01},\rho_{10} — coherences. Reading: the bit-flip channel (1−p)ρ+pXρX(1-p)\rho+pX\rho X and bit-phase-flip channel (1−p)ρ+pYρY(1-p)\rho+pY\rho Y have the same shape on their own axes; phase-flip multiplies coherences by 1−2p1-2p, which is pure dephasing. Geometrically the action is a diagonal map on the Bloch vector: no rotation, no translation, just three independent axis contractions. Reading the contraction factors off the probabilities is the single most useful computation in the subject.

r⃗ ′=(λx000λy000λz)r⃗,λx=pI+pX−pY−pZλy=pI−pX+pY−pZλz=pI−pX−pY+pZ(4)\vec{r}\,'=\begin{pmatrix}\lambda_x&0&0\\0&\lambda_y&0\\0&0&\lambda_z\end{pmatrix}\vec{r},\qquad \begin{aligned}\lambda_x&=p_I+p_X-p_Y-p_Z\\ \lambda_y&=p_I-p_X+p_Y-p_Z\\ \lambda_z&=p_I-p_X-p_Y+p_Z\end{aligned} \qquad (4)

where: r⃗\vec{r} — Bloch vector with ρ=12(I+r⃗⋅σ⃗)\rho=\tfrac12(I+\vec r\cdot\vec\sigma); λx,λy,λz\lambda_x,\lambda_y,\lambda_z — axis contraction factors. Reading: each Pauli flips the sign of the two axes it anticommutes with, so averaging gives these signed sums; the absence of any additive shift is exactly unitality, E(I/2)=I/2\mathcal{E}(I/2)=I/2. The same channel is diagonal not only on the Bloch vector but on the whole Pauli operator basis. Each Pauli is an eigenoperator, and its eigenvalue — the Pauli fidelity — is a signed sum of the probabilities that is exactly invertible.

E(σa)=Λa σa,Λa=∑b(−1)⟨a,b⟩pb,pb=14∑a(−1)⟨a,b⟩Λa(5)\mathcal{E}(\sigma_a)=\Lambda_a\,\sigma_a,\qquad \Lambda_a=\sum_b(-1)^{\langle a,b\rangle}p_b,\qquad p_b=\frac{1}{4}\sum_a(-1)^{\langle a,b\rangle}\Lambda_a \qquad (5)

where: σa\sigma_a — a Pauli basis element; Λa\Lambda_a — its eigenvalue (with ΛI=1\Lambda_I=1 always); ⟨a,b⟩∈{0,1}\langle a,b\rangle\in\{0,1\} — the symplectic anticommutation indicator. Reading: because Paulis pairwise commute or anticommute, σbσaσb=±σa\sigma_b\sigma_a\sigma_b=\pm\sigma_a; the 4×44\times4 sign matrix is a Hadamard matrix, so the eigenvalues and the probabilities are Walsh–Hadamard transforms of each other — the basis of cycle benchmarking. Finally, twirling turns any qubit channel N\mathcal{N} into a Pauli channel by symmetrizing it over conjugation by random Paulis. It keeps the diagonal of the process (χ\chi) matrix and discards the coherent off-diagonal part.

T(N)(ρ)=14∑jσj N(σjρ σj) σj(6)\mathcal{T}(\mathcal{N})(\rho)=\frac{1}{4}\sum_{j}\sigma_j\,\mathcal{N}(\sigma_j\rho\,\sigma_j)\,\sigma_j \qquad (6)

where: N\mathcal{N} — an arbitrary qubit channel; T(N)\mathcal{T}(\mathcal{N}) — its Pauli-twirled version; the σj\sigma_j are the four Paulis averaged uniformly. Reading: averaging over Pauli conjugation cancels every off-diagonal χ\chi-matrix element, leaving a diagonal (Pauli) channel with the same error probabilities as N\mathcal{N}.

Derivation APhase-flip channel as pure dephasing and the T2 time

The goal is to show, by direct matrix algebra, that the phase-flip channel leaves the populations of a qubit untouched while multiplying its coherences by exactly 1−2p1-2p, that this is identical in Bloch-sphere effect to pure dephasing, and that iterating the channel produces the exponential decay of coherence measured as the T2T_2 dephasing time. We start from a general single-qubit state, conjugate by ZZ, form the convex mixture, translate to the Bloch picture, and take the continuous-time limit.

Step 1. Write a general state and conjugate by Z=diag(1,−1)Z=\mathrm{diag}(1,-1). Since Z∣0⟩=∣0⟩Z|0\rangle=|0\rangle and Z∣1⟩=−∣1⟩Z|1\rangle=-|1\rangle, we get ZρZ=(ρ00−ρ01−ρ10ρ11)Z\rho Z=\begin{pmatrix}\rho_{00}&-\rho_{01}\\-\rho_{10}&\rho_{11}\end{pmatrix} — the diagonal entries are fixed and only the off-diagonals change sign. Why: ZZ commutes with the population projectors but anticommutes with the coherence terms, which is the whole mechanism of a phase flip.

Step 2. Form the mixture (1−p)ρ+pZρZ(1-p)\rho+pZ\rho Z. The diagonal entries are (1−p)ρ00+pρ00=ρ00(1-p)\rho_{00}+p\rho_{00}=\rho_{00}, unchanged; the off-diagonals become (1−p)ρ01−pρ01=(1−2p)ρ01(1-p)\rho_{01}-p\rho_{01}=(1-2p)\rho_{01}. This is equation (3)(3). Why: the sign flip on the coherence means the two terms partially cancel, and the surviving fraction is precisely 1−2p1-2p.

Step 3. Translate to the Bloch vector. With ρ=12(I+rxX+ryY+rzZ)\rho=\tfrac12(I+r_xX+r_yY+r_zZ), the coherence ρ01=12(rx−iry)\rho_{01}=\tfrac12(r_x-ir_y), so scaling it by 1−2p1-2p scales both rxr_x and ryr_y by 1−2p1-2p while rzr_z (the population difference) is untouched: λx=λy=1−2p\lambda_x=\lambda_y=1-2p, λz=1\lambda_z=1. Why: this is an oblate contraction of the sphere onto its polar axis — geometrically identical to the phase-damping channel, so phase-flip is dephasing in disguise.

Step 4. Take the continuous-time limit. Break the evolution into nn identical steps of small flip probability; the coherence factor multiplies, ρ01↦(1−2p)nρ01\rho_{01}\mapsto(1-2p)^n\rho_{01} (Derivation C makes this composition rule precise). Identifying the smooth envelope with a Lindblad dephasing process gives 1−2p=e−t/T21-2p=e^{-t/T_2}, so the discrete channel reproduces the measured exponential T2T_2 decay. Why: this is the bridge from an abstract error probability to a laboratory number — the same coherence decay a Ramsey experiment records. *Verified: direct matrix multiplication of (1−p)ρ+pZρZ(1-p)\rho+pZ\rho Z; cross-checked against the phase-damping map of Nielsen & Chuang §8.3.5, which shares the identical Bloch action λx=λy<1\lambda_x=\lambda_y<1, λz=1\lambda_z=1.*

Go deeper · Derivation B · 1 minBloch eigenvalues from Pauli anticommutation and the proof of unitality
Derivation BBloch eigenvalues from Pauli anticommutation and the proof of unitality

The goal is to derive the diagonal contraction factors λx,λy,λz\lambda_x,\lambda_y,\lambda_z of equation (4)(4) purely from the commutation algebra of the Pauli operators, and in doing so to prove that a Pauli channel is unital — it fixes the maximally mixed state and never displaces the centre of the Bloch sphere, the property that separates it cleanly from amplitude damping. We use the single algebraic fact that any two Paulis either commute or anticommute.

Step 1. State the conjugation rule. For any two Paulis, σbσaσb=(−1)[a,b]σa\sigma_b\sigma_a\sigma_b=(-1)^{[a,b]}\sigma_a, where [a,b]=0[a,b]=0 if they commute and 11 if they anticommute, because σb2=I\sigma_b^2=I. Why: conjugation can only return ±σa\pm\sigma_a, so every Pauli is an eigenoperator of the channel — there is no mixing between different Paulis.

Step 2. Apply the mixture to XX. Since XX commutes with II and XX (sign ++) and anticommutes with YY and ZZ (sign −-), E(X)=(pI+pX−pY−pZ)X≡λxX\mathcal{E}(X)=(p_I+p_X-p_Y-p_Z)X\equiv\lambda_xX, and cyclically for YY and ZZ. These are exactly the eigenvalues ΛX,ΛY,ΛZ\Lambda_X,\Lambda_Y,\Lambda_Z of equation (5)(5). Why: the Bloch contraction factors and the Pauli-transfer eigenvalues are the same numbers seen from two angles — geometry and operator algebra agree.

Step 3. Read off the Bloch action. Writing ρ=12(I+∑araσa)\rho=\tfrac12(I+\sum_a r_a\sigma_a) and using E(I)=I\mathcal{E}(I)=I together with E(σa)=λaσa\mathcal{E}(\sigma_a)=\lambda_a\sigma_a gives r⃗↦(λxrx,λyry,λzrz)\vec r\mapsto(\lambda_xr_x,\lambda_yr_y,\lambda_zr_z) — a diagonal linear map with no constant term. Why: the missing constant term is the whole point; there is no translation of the sphere, only scaling.

Step 4. Conclude unitality. Because the identity component of ρ\rho is fixed, E(I/2)=I/2\mathcal{E}(I/2)=I/2: the maximally mixed state is a fixed point. Why: a non-unital channel like amplitude damping moves I/2I/2 toward the ground state (shifting the sphere's centre), so unitality is the algebraic signature that distinguishes Pauli noise from relaxation. *Verified: reproduces the linear-map matrix of Nielsen & Chuang Exercise 8.21 and Wilde Ch. 4; the depolarizing choice pX=pY=pZ=p/3p_X=p_Y=p_Z=p/3 gives λx=λy=λz=1−4p/3\lambda_x=\lambda_y=\lambda_z=1-4p/3, and pj=1/4p_j=1/4 gives all λ=0\lambda=0, as expected.*

Go deeper · Derivation C · 1 minPauli twirling collapses any channel to a Pauli channel
Derivation CPauli twirling collapses any channel to a Pauli channel

The goal is to prove that the twirl (6)(6) turns an arbitrary qubit channel N\mathcal{N} into a Pauli channel with the same diagonal error probabilities, which is the theorem that justifies assuming Pauli noise in threshold proofs and benchmarking. The mechanism is a group-averaging argument: the Pauli group acts on the process matrix, and averaging annihilates everything off the diagonal. We phrase it through the action on the Pauli operator basis, where the channel is already almost diagonal.

Step 1. Expand N\mathcal{N} in the Pauli-transfer basis: it maps σa↦∑bMbaσb\sigma_a\mapsto\sum_b M_{ba}\sigma_b for a real matrix MM. A general channel has off-diagonal MbaM_{ba} (a≠ba\ne b) encoding coherent, non-Pauli errors. Why: these off-diagonal terms are the hard-to-correct part — they rotate one Pauli error into another and accumulate coherently across a circuit.

Step 2. Apply the twirl to σa\sigma_a: T(N)(σa)=14∑jσjN(σjσaσj)σj\mathcal{T}(\mathcal{N})(\sigma_a)=\tfrac14\sum_j\sigma_j\mathcal{N}(\sigma_j\sigma_a\sigma_j)\sigma_j. Using σjσaσj=(−1)[a,j]σa\sigma_j\sigma_a\sigma_j=(-1)^{[a,j]}\sigma_a and σjσbσj=(−1)[b,j]σb\sigma_j\sigma_b\sigma_j=(-1)^{[b,j]}\sigma_b, the sum becomes ∑bMba[14∑j(−1)[a,j]+[b,j]]σb\sum_b M_{ba}\Big[\tfrac14\sum_j(-1)^{[a,j]+[b,j]}\Big]\sigma_b. Why: the twirl inserts random Pauli conjugations before and after N\mathcal{N}, and their combined sign is what will filter the sum.

Step 3. Evaluate the inner average. The character sum 14∑j(−1)[a,j]+[b,j]\tfrac14\sum_j(-1)^{[a,j]+[b,j]} equals 11 when a=ba=b and 00 otherwise, because for a≠ba\ne b exactly half the Paulis σj\sigma_j give sign +1+1 and half give −1-1. Hence T(N)(σa)=Maaσa\mathcal{T}(\mathcal{N})(\sigma_a)=M_{aa}\sigma_a. Why: the group average is an orthogonality relation on the Pauli characters — it is the same Walsh–Hadamard structure as equation (5)(5), killing every off-diagonal MbaM_{ba}.

Step 4. Identify the result. The twirled channel is diagonal in the Pauli basis with eigenvalues Λa=Maa\Lambda_a=M_{aa}, so by equation (5)(5) it is the Pauli channel with probabilities pb=14∑a(−1)⟨a,b⟩Maap_b=\tfrac14\sum_a(-1)^{\langle a,b\rangle}M_{aa}. Why: twirling preserves each Pauli's survival probability while discarding coherent cross-terms — noise tailoring that makes the residual error exactly the kind stabilizer codes correct. *Verified: the character orthogonality 14∑j(−1)[a,j]+[b,j]=δab\tfrac14\sum_j(-1)^{[a,j]+[b,j]}=\delta_{ab} checked over all 1616 pairs; consistent with the χ\chi-matrix diagonalization statement in Wilde Ch. 4 and the twirl construction in Emerson–Alicki–Życzkowski.*

Limiting cases

Sweeping the probability vector carries the Pauli channel from the identity through pure dephasing to the fully symmetric, maximally noisy limit.

CaseResultMeaning
No noisepI=1, pX=pY=pZ=0p_I=1,\ p_X=p_Y=p_Z=0The channel is the identity; the Bloch sphere is unchanged, all λ=1\lambda=1.
Pure phase-flip (T2T_2)pI=1−p, pZ=pp_I=1-p,\ p_Z=pλx=λy=1−2p\lambda_x=\lambda_y=1-2p, λz=1\lambda_z=1: equatorial shrink, poles fixed. Equals pure dephasing; at p=1/2p=1/2 all coherence is gone.
Symmetric depolarizingpX=pY=pZ=p/3, pI=1−pp_X=p_Y=p_Z=p/3,\ p_I=1-pIsotropic contraction λx=λy=λz=1−4p/3\lambda_x=\lambda_y=\lambda_z=1-4p/3; the sphere shrinks uniformly toward its centre.
Maximal depolarizingpI=pX=pY=pZ=14p_I=p_X=p_Y=p_Z=\tfrac14Every Bloch vector maps to the origin: E(ρ)=I/2\mathcal{E}(\rho)=I/2 for all inputs, all λ=0\lambda=0.
Complete flippX=1, pI=pY=pZ=0p_X=1,\ p_I=p_Y=p_Z=0Unitary XX conjugation: x↦xx\mapsto x, y↦−yy\mapsto-y, z↦−zz\mapsto-z. Reversible, not decohering — a deterministic error, not noise.

Worked examples

1 · Phase-flip probability from a measured T2T_2 (fully worked)

A superconducting qubit has dephasing time T2=100 μsT_2=100\ \mu\mathrm{s}. A circuit-level simulator injects phase-flip noise once per gate layer of duration Δt=1 μs\Delta t=1\ \mu\mathrm{s}. What per-layer flip probability pp reproduces the decay, and how much coherence survives after n=50n=50 layers?

Step 1. Match the discrete coherence factor to the continuous decay over one layer: 1−2p=e−Δt/T2=e−1/100=e−0.01=0.9900501-2p=e^{-\Delta t/T_2}=e^{-1/100}=e^{-0.01}=0.990050. This is the single-step identity from Derivation A, Step 4.

Step 2. Solve for the flip probability: p=12(1−0.990050)=12(0.009950)=0.004975p=\tfrac12(1-0.990050)=\tfrac12(0.009950)=\mathbf{0.004975}, i.e. about a 0.50%0.50\% chance of a ZZ error per layer. p ≈ 4.98 × 10⁻³.

Step 3. Compose n=50n=50 layers. By the semigroup rule (Derivation C / equation (5)(5)), coherence factors multiply: (1−2p)50=(0.990050)50=e−0.50=0.6065(1-2p)^{50}=(0.990050)^{50}=e^{-0.50}=\mathbf{0.6065}. Consistently, 5050 layers of 1 μs1\ \mu\mathrm{s} is t=50 μs=T2/2t=50\ \mu\mathrm{s}=T_2/2, and e−t/T2=e−0.5=0.6065e^{-t/T_2}=e^{-0.5}=0.6065 — the two routes agree.

Step 4. Interpret. After 50 μs50\ \mu\mathrm{s} the coherence ρ01\rho_{01} has fallen to 60.7%\mathbf{60.7\%} of its initial value while the populations are untouched — the Bloch vector's equatorial length contracted to 0.6070.607 with zz unchanged, exactly the phase-flip picture of the second figure.

2 · Inverting benchmarking data to a Pauli error spectrum

A cycle-benchmarking experiment measures the three non-trivial Pauli fidelities of a noisy gate as ΛX=0.94\Lambda_X=0.94, ΛY=0.90\Lambda_Y=0.90, ΛZ=0.92\Lambda_Z=0.92 (with ΛI=1\Lambda_I=1 by trace preservation). Recover the four error probabilities.

Step 1. Apply the Walsh–Hadamard inversion of equation (5)(5), pb=14∑a(−1)⟨a,b⟩Λap_b=\tfrac14\sum_a(-1)^{\langle a,b\rangle}\Lambda_a, which in explicit form reads pI=14(ΛI+ΛX+ΛY+ΛZ)p_I=\tfrac14(\Lambda_I+\Lambda_X+\Lambda_Y+\Lambda_Z), pX=14(ΛI+ΛX−ΛY−ΛZ)p_X=\tfrac14(\Lambda_I+\Lambda_X-\Lambda_Y-\Lambda_Z), and cyclically. The sign pattern is the anticommutation table of the Paulis.

Step 2. Compute the identity weight: pI=14(1+0.94+0.90+0.92)=14(3.76)=0.940p_I=\tfrac14(1+0.94+0.90+0.92)=\tfrac14(3.76)=\mathbf{0.940} — a 94%94\% chance of no error.

Step 3. Compute the three error weights: pX=14(1+0.94−0.90−0.92)=14(0.12)=0.030p_X=\tfrac14(1+0.94-0.90-0.92)=\tfrac14(0.12)=\mathbf{0.030}; pY=14(1−0.94+0.90−0.92)=14(0.04)=0.010p_Y=\tfrac14(1-0.94+0.90-0.92)=\tfrac14(0.04)=\mathbf{0.010}; pZ=14(1−0.94−0.90+0.92)=14(0.08)=0.020p_Z=\tfrac14(1-0.94-0.90+0.92)=\tfrac14(0.08)=\mathbf{0.020}.

Step 4. Check and read off. The four sum to 0.940+0.030+0.010+0.020=1.0000.940+0.030+0.010+0.020=\mathbf{1.000}, and all are non-negative, so this is a physical Pauli channel. The dominant error is XX (bit flips) at 3%3\%, with ZZ and YY smaller — a full error budget extracted from three decay curves, no full process tomography required.

Physics of the portrait

The Pauli channel sits at the confluence of three ideas that arrived decades apart: Pauli's spin matrices, the operator-sum description of open-system dynamics, and the discovery that error correction only ever fights Pauli errors.

Origins · 1 minPauli channel and how this was discovered
PC
Pauli channel
the stochastic map E(ρ) = Σ_j p_j σ_j ρ σ_j on a qubit · open quantum systems and fault tolerance

The channel takes its name from Wolfgang Pauli, who introduced the three 2×22\times2 spin matrices in 1927 to describe the electron's magnetic moment — objects he intended for atomic spectroscopy, not information theory. That they would become the alphabet of quantum errors was unimaginable for half a century. The mathematical container came in 1971, when Karl Kraus proved that the most general physically allowed evolution of an open quantum system is an operator-sum ρ↦∑jKjρKj†\rho\mapsto\sum_jK_j\rho K_j^\dagger with ∑jKj†Kj=I\sum_jK_j^\dagger K_j=I — a completely positive trace-preserving map. A Pauli channel is the special case in which every Kraus operator is a scalar times a Pauli, the simplest non-trivial CPTP map on a qubit. The idea only became central with quantum error correction: Peter Shor's 1995 nine-qubit code showed that measuring a syndrome discretizes an arbitrary continuous error into a Pauli, and Daniel Gottesman's stabilizer formalism (1997) made the Pauli group the working language of the whole field. Finally, the recognition that twirling any channel yields a Pauli channel turned the model from a convenient toy into a rigorously justified standard on which threshold theorems and randomized benchmarking (Emerson, Knill, and others, mid-2000s) all lean. What Pauli wrote down to explain a spectral doublet is now the coordinate system in which we measure, tailor, and correct the errors of a quantum computer.

History
1927
— Pauli introduces the spin operators X, Y, Z for the electron's magnetic moment
1971
— Kraus proves the operator-sum representation of completely positive maps
1995
— Shor's nine-qubit code discretizes continuous errors into Pauli operators
1997
— Gottesman's stabilizer formalism makes the Pauli group the language of fault tolerance
2005
— Emerson, Alicki, Życzkowski found randomized benchmarking on twirled channels

Going further

Texts. Nielsen & Chuang, Quantum Computation and Quantum Information, §8.3 (quantum operations) and Ex. 8.21 · Preskill, Lecture Notes for Physics 219, Ch. 3 · Wilde, Quantum Information Theory, Ch. 4 (quantum channels) · Watrous, The Theory of Quantum Information, Ch. 2 · Kitaev, Shen & Vyalyi, Classical and Quantum Computation, Ch. 11 · Mermin, Quantum Computer Science, Ch. 5.

Provenance. A verifier should recompute: (1) Kraus completeness ∑jKj†Kj=I\sum_jK_j^\dagger K_j=I for the general Pauli channel; (2) the phase-flip coherence factor 1−2p1-2p from direct matrix multiplication (Nielsen & Chuang §8.3.5); (3) the Bloch eigenvalues λx,y,z\lambda_{x,y,z} from Pauli anticommutation (N&C Ex. 8.21, Wilde Ch. 4), including the checks pX=pY=pZ=p/3⇒λ=1−4p/3p_X=p_Y=p_Z=p/3\Rightarrow\lambda=1-4p/3 and pj=1/4⇒λ=0p_j=1/4\Rightarrow\lambda=0; (4) the Walsh–Hadamard inversion of Worked Example 2, which returns p=(0.94,0.03,0.01,0.02)p=(0.94,0.03,0.01,0.02) from Λ=(1,0.94,0.90,0.92)\Lambda=(1,0.94,0.90,0.92); (5) the T2T_2 match 1−2p=e−Δt/T21-2p=e^{-\Delta t/T_2} giving p=4.975×10−3p=4.975\times10^{-3} and (1−2p)50=e−0.5=0.6065(1-2p)^{50}=e^{-0.5}=0.6065. All numbers are standard textbook or elementary-arithmetic values; no fabricated constants appear.

Prerequisites. Kraus Representation of Quantum Channels · Quantum Operations and CPTP Maps · Decoherence. Leads to. Depolarizing Channel · Phase Damping Channel · Process Tomography and the Choi–Jamiołkowski Isomorphism · Relaxation and Dephasing: T1T_1 and T2T_2 Times.

Ask the tutor: ask me to twirl a specific noisy gate, invert a set of measured Pauli fidelities, or turn a qubit's T2T_2 into a per-layer phase-flip probability and I'll walk the numbers with you.

What is the difference between the phase-flip channel and the phase-damping channel?

They produce the same Bloch-sphere picture — both shrink the equator and leave the poles fixed — but they are different channels with different Kraus operators. The phase-flip channel is a discrete probabilistic mixture: with probability pp you apply ZZ, full stop. The phase-damping channel is the physically continuous process by which a qubit's phase diffuses through interaction with its environment, and its Kraus operators are not proportional to Paulis. The key fact is that phase damping is its own Pauli twirl: averaging it over random ZZ conjugations reproduces the phase-flip channel with a matched pp. So for anything that only cares about the Bloch action — coherence decay, T2T_2 — they are interchangeable, but their environment couplings differ.

Why can quantum error correction get away with correcting only discrete Pauli errors?

Because measurement discretizes the noise. Physical errors are continuous — an over-rotation by a tiny angle, a bit of amplitude damping — and can be expanded in the Pauli basis as αI+βX+γY+δZ\alpha I+\beta X+\gamma Y+\delta Z. When a stabilizer code measures its syndrome, that measurement projects the corrupted state onto one Pauli sector: the superposition of errors collapses to a definite II, XX, YY, or ZZ on each qubit, with the probabilities set by ∣α∣2,∣β∣2,…|\alpha|^2,|\beta|^2,\dots. The decoder then only ever has to undo a Pauli. This is why a code that corrects the discrete set {X,Y,Z}\{X,Y,Z\} on a qubit automatically corrects any single-qubit error, and it is the reason Pauli channels — not general channels — are the right noise model for fault-tolerance thresholds.

Is the bit-phase-flip (YY) channel really independent, or just X then Z?

A single YY error is Y=iXZY=iXZ, so as an operator it is a bit flip followed by a phase flip (up to the global phase ii, which drops out of the conjugation YρYY\rho Y). But the bit-phase-flip channel — the stochastic mixture (1−p)ρ+pYρY(1-p)\rho+pY\rho Y — is not the same as applying the bit-flip channel and then the phase-flip channel. Composing a bit-flip and a phase-flip channel gives a Pauli channel with four generally non-zero probabilities including independent XX and ZZ terms, whereas the YY channel puts all its weight on the single correlated YY event. On the Bloch sphere, the YY channel contracts the xx and zz axes (the two that anticommute with YY) and fixes yy, a genuinely distinct contraction pattern.

Why does the coherence scale by 1 − 2p and not 1 − p?

Because the ZZ error flips the sign of the coherence rather than erasing it. In the mixture (1−p)ρ+pZρZ(1-p)\rho+pZ\rho Z, the un-flipped branch contributes +(1−p)ρ01+(1-p)\rho_{01} and the flipped branch contributes −p ρ01-p\,\rho_{01} (since ZρZZ\rho Z negates off-diagonals). Adding them gives (1−p)−p=1−2p(1-p)-p=1-2p. The factor is 1−2p1-2p, not 1−p1-p, precisely because the two branches interfere destructively on the coherence. This also explains why p=1/2p=1/2 is the point of total dephasing: at p=1/2p=1/2 the two branches cancel exactly, 1−2p=01-2p=0, and the qubit is left as a classical mixture of ∣0⟩|0\rangle and ∣1⟩|1\rangle. Pushing pp beyond 1/21/2 makes 1−2p1-2p negative, which is a coherent over-flip, not more decoherence.

How do Pauli fidelities relate to what a benchmarking experiment actually measures?

A randomized or cycle benchmarking experiment applies random sequences of gates of growing length and watches a survival probability decay. Twirling built into the random sequence turns the composite noise into an effective Pauli channel, and the decay constant of the survival curve is a Pauli fidelity Λa\Lambda_a — the eigenvalue of that channel on the Pauli σa\sigma_a. Because the Λa\Lambda_a and the error probabilities pbp_b are Walsh–Hadamard transforms of each other (equation (5)(5)), measuring the decay rates and inverting the 4×44\times4 sign matrix yields the full error-rate spectrum, as in Worked Example 2. The appeal is scalability: this extracts the Pauli error rates directly, sidestepping the exponentially expensive full process tomography.

Are Pauli channels always unital, and does unital imply Pauli?

Every Pauli channel is unital — E(I/2)=I/2\mathcal{E}(I/2)=I/2 follows immediately because conjugating II by any Pauli returns II. But the converse fails: unitality is weaker than being a Pauli channel. There exist unital qubit channels that are not mixtures of Paulis, and in higher dimensions unital channels form a much larger family. So "unital" is a necessary signature of Pauli noise — a quick disqualifier for amplitude damping — but not sufficient. To confirm a channel is Pauli you must check that it is diagonal in the Pauli operator basis, i.e. that its Pauli-transfer matrix has no off-diagonal entries.

Before this

Where this leads