|q⟩ Bad Qubits

advanced · Physics · Quantum Channels & Open Systems

The Depolarizing Channel

The depolarizing channel is the most symmetric model of noise: with some probability the qubit is replaced by the maximally mixed state, otherwise it survives untouched. It is isotropic — it has no preferred direction — which makes its action on the Bloch ball especially clean and makes it the workhorse of average-case error analysis.

Definition

For a single qubit, the depolarizing channel with parameter p[0,1]p \in [0,1] is

Ep(ρ)=(1p)ρ+p12.\mathcal{E}_p(\rho) = (1-p)\,\rho + p\,\frac{\mathbb{1}}{2}.

With probability 1p1-p nothing happens; with probability pp the qubit is discarded and reset to the maximally mixed state 1/2\mathbb{1}/2. At p=0p=0 it is the identity; at p=1p=1 it is the completely depolarizing channel that erases everything.

Pauli (Kraus) form

Because 12=14(ρ+XρX+YρY+ZρZ)\frac{\mathbb{1}}{2} = \frac14(\rho + X\rho X + Y\rho Y + Z\rho Z) for any single-qubit ρ\rho (the Pauli "twirl" identity), the channel is a mixture of Pauli operations:

Ep(ρ)=(13p4)ρ+p4(XρX+YρY+ZρZ).\mathcal{E}_p(\rho) = \Big(1-\tfrac{3p}{4}\Big)\rho + \tfrac{p}{4}\big(X\rho X + Y\rho Y + Z\rho Z\big).

The Kraus operators are therefore K0=13p41K_0 = \sqrt{1-\tfrac{3p}{4}}\,\mathbb{1} and KX,Y,Z=p4{X,Y,Z}K_{X,Y,Z} = \sqrt{\tfrac{p}{4}}\,\{X,Y,Z\}. Check completeness: (13p4)1+3p41=1\big(1-\tfrac{3p}{4}\big)\mathbb{1} + 3\cdot\tfrac{p}{4}\mathbb{1} = \mathbb{1}, since each Pauli squares to 1\mathbb{1}. The channel is CPTP, and it is unital (Ep(1)=1\mathcal{E}_p(\mathbb{1})=\mathbb{1}) because each Pauli term is.

Action on the Bloch ball

Write ρ=12(1+rσ)\rho = \tfrac12(\mathbb{1} + \vec r\cdot\vec\sigma). Each Pauli conjugation flips the sign of the two Bloch components orthogonal to it (e.g. XρXX\rho X sends (rx,ry,rz)(rx,ry,rz)(r_x,r_y,r_z)\to(r_x,-r_y,-r_z)). Averaging over X,Y,ZX,Y,Z kills all three components equally, so the channel shrinks the Bloch vector isotropically toward the center:

r    (1p)r.\vec r \;\longmapsto\; (1-p)\,\vec r .

The Bloch ball contracts uniformly by the factor 1p1-p; at p=1p=1 every state collapses to the origin 1/2\mathbb{1}/2. This isotropy is the defining geometric signature of depolarizing noise — contrast it with amplitude damping, whose Bloch map is an asymmetric contraction plus a shift toward the north pole.

Purity and information loss

The shrink factor controls how much information survives. The purity of the output starting from a pure state (r=1|\vec r\,|=1) is

tr(Ep(ρ)2)=1+(1p)r22=1+(1p)22,\operatorname{tr}\big(\mathcal{E}_p(\rho)^2\big) = \frac{1 + |(1-p)\vec r\,|^2}{2} = \frac{1 + (1-p)^2}{2},

falling from 11 (pure) at p=0p=0 to 12\tfrac12 (maximally mixed) at p=1p=1. The same (1p)(1-p) factor appears in the channel's average fidelity and in its entanglement-breaking threshold (the qubit depolarizing channel becomes entanglement-breaking at p=2/3p = 2/3).

Try it

For the qubit depolarizing channel with p=0.4p = 0.4 acting on the pure input 0|0\rangle (Bloch vector r=(0,0,1)\vec r = (0,0,1)), compute the output purity tr(Ep(ρ)2)\operatorname{tr}\big(\mathcal{E}_p(\rho)^2\big). Use the Bloch picture: the output Bloch vector has length (1p)(1-p), and for a single qubit tr(σ2)=12(1+s2)\operatorname{tr}(\sigma^2) = \tfrac12(1 + |\vec s\,|^2). Return that number.

Run your code to see the quantum state.

Sign in on the full site to ask questions and join the discussion.