|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(ρ)=(1−p) ρ+p 12.\mathcal{E}_p(\rho) = (1-p)\,\rho + p\,\frac{\mathbb{1}}{2}.

With probability 1−p1-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(ρ)=(1−3p4)ρ+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=1−3p4 1K_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: (1−3p4)1+3⋅p41=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⃗  ⟼  (1−p) r⃗.\vec r \;\longmapsto\; (1-p)\,\vec r .

The Bloch ball contracts uniformly by the factor 1−p1-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+∣(1−p)r⃗ ∣22=1+(1−p)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 (1−p)(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 (1−p)(1-p), and for a single qubit tr⁡(σ2)=12(1+∣s⃗ ∣2)\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.