Quantum Channels
A quantum channel is the most general physically allowed transformation of a quantum state, covering ideal gates and all forms of noise.
The general evolution map
Closed-system dynamics is unitary, but real systems interact with their surroundings. A quantum channel is a linear map E taking density matrices to density matrices that is valid under all circumstances. The requirements are that it preserve trace (probabilities still sum to one) and be completely positive (it maps valid states to valid states even when applied to part of a larger entangled system). Such maps are called CPTP.
Three equivalent pictures
- Kraus form: E(rho) = sum_k K_k rho K_k-dagger with sum_k K_k-dagger K_k = I
- Stinespring dilation: couple to an environment, apply a joint unitary, trace it out
- Choi state: the channel is encoded in a single bipartite state via the Choi-Jamiolkowski isomorphism
These are three views of the same object. The Kraus form is convenient for computation, the dilation reveals that every channel is a unitary on a bigger space, and the Choi picture turns channel questions into state questions.
Examples
A perfect gate is a unitary channel E(rho) = U rho U-dagger. A measurement that forgets its outcome is a channel. Noise processes such as depolarizing, amplitude damping, and dephasing are channels. Even discarding a subsystem via partial trace is a channel. The framework unifies ideal operations and imperfections under one formalism.
Why it is the right abstraction
Because channels are exactly the transformations consistent with quantum mechanics applied to open systems, they are the natural language for modeling hardware. Gate errors, decoherence, leakage, and crosstalk are all channels. Characterizing a device means estimating its channels through process tomography or randomized benchmarking, and error correction is the art of building channels whose composition approximates the identity.