Quantum Channel

A quantum channel is the most general description of what can happen to a quantum system. Unitary gates, projective measurements, decoherence, and thermalization are all special cases. The formalism is built on two requirements that any physical process must satisfy: it must preserve the total probability (trace-preserving) and it must remain valid even when the system is entangled with an external reference (completely positive). Together, these constraints define the CPTP condition.

The Kraus representation

Every quantum channel $\mathcal{E}$ acting on a density matrix $\rho$ can be written in Kraus form:

$\mathcal{E}(\rho) = \sum_k K_k \rho K_k^\dagger$

where the Kraus operators $\{K_k\}$ satisfy the completeness relation $\sum_k K_k^\dagger K_k = I$. This completeness relation is exactly the trace-preserving condition: $\text{Tr}[\mathcal{E}(\rho)] = \text{Tr}[\rho] = 1$ for all $\rho$.

Unitary evolution is the special case with a single Kraus operator $K_0 = U$: $\mathcal{E}(\rho) = U\rho U^\dagger$.

Depolarizing channel with error rate $p$ has Kraus operators $\{{\sqrt{1-p}}\,I,\, \sqrt{p/3}\,X,\, \sqrt{p/3}\,Y,\, \sqrt{p/3}\,Z\}$, replacing the qubit with the maximally mixed state $I/2$ with probability $p$.

Amplitude damping (energy relaxation) models $T_1$ decay with Kraus operators:

$K_0 = \begin{pmatrix} 1 & 0 \\ 0 & \sqrt{1-\gamma} \end{pmatrix}, \quad K_1 = \begin{pmatrix} 0 & \sqrt{\gamma} \\ 0 & 0 \end{pmatrix}$

where $\gamma = 1 - e^{-t/T_1}$ is the decay probability after time $t$.

Complete positivity

The “completely” in completely positive is not redundant. A map is positive if it sends valid density matrices to valid density matrices. But a positive map might fail when applied to one half of an entangled system: the partial action on subsystem $A$ of the joint state $\rho_{AB}$ could yield a non-physical (non-positive-semi-definite) matrix. Complete positivity demands the map remain valid on any tensor product extension, which is the correct condition for physical processes.

The transpose map is a standard counterexample: it is positive but not completely positive, which is why it cannot be a physical channel. This fact underpins the Peres-Horodecki criterion for detecting entanglement.

Why it matters for learners

Quantum channel theory is the language of quantum error correction. Every noise model, every error correction code, and every decoder is ultimately defined in terms of CPTP maps. The Kraus representation lets you simulate noise on classical hardware and compute how error rates propagate through circuits. When hardware vendors report a depolarizing noise rate or an amplitude damping parameter, they are characterizing their device’s quantum channel.

Quantum channels also unify the treatment of open quantum systems. The Lindblad master equation, which governs continuous-time decoherence, can be derived from the requirement that the time-evolution map be CPTP at every instant.

Common misconceptions

Misconception 1: Quantum channels and unitary gates are fundamentally different objects. Unitaries are the noiseless limit of quantum channels, not a separate category. Every unitary $U$ defines a valid CPTP map $\rho \mapsto U\rho U^\dagger$ with a single Kraus operator.

Misconception 2: The Kraus decomposition of a channel is unique. Different sets of Kraus operators can represent the same channel. Two Kraus representations $\{K_k\}$ and $\{L_j\}$ describe the same channel if and only if $K_k = \sum_j u_{kj} L_j$ for some unitary matrix $u$.

See also

• Density Matrix
• Decoherence
• Depolarizing Channel
• Unitary Operator
• Quantum Error Correction