We have met gates, noise, decoherence, and measurement as separate ideas. The final part shows they are all one thing: a quantum channel — the most general way a state is allowed to change. Learn its grammar and the whole course snaps into a single sentence.
↩ before you start · keep these handy
·From Ch. 5: a unitary gate is a reversible turn that keeps the Bloch arrow at length 1.
·From Ch. 9: noise is a short list of Kraus operators with Σ Kᵢ†Kᵢ = I.
·From Ch. 18: tracing out an unseen partner turns a pure state mixed.
🔑 symbol decoder · every new mark, in plain words
channelthe most general allowed change of a state: density matrix in, density matrix out.CPTPthe two rules: Completely Positive (stays valid even on half an entangled pair) + Trace Preserving (probabilities still sum to 1).Kᵢa Kraus piece — one "maybe this happened"; a unitary gate is the case with just one.Stinespringthe theorem: every channel is one big unitary on a bigger system, with part traced away.ρ → ΣKᵢρKᵢ†the recipe: hit ρ with each Kraus piece and add the results up.
feel
One box for everything that can happen
A gate turns a state into another state. So does noise. So does measurement (if you forget the outcome). So does coupling to an environment. Rather than four theories, quantum mechanics has one: a channel takes a density matrix in and hands a valid density matrix out — nothing more, nothing less. The only rules are that probabilities still add to one and that the box stays sensible even when the qubit is secretly entangled with something else. Everything you’ve seen is a special case.
🎩 everyday picture
A stage magician makes a coin “vanish.” From the audience it looks irreversible — information just gone. But backstage the move is a perfectly reversible sleight: the coin slipped into the other hand, off your line of sight. Quantum channels are the same trick. Every messy, irreversible process is really a clean reversible unitary acting on a bigger system — it only looks lossy because part of that system is hidden from you.
recapGate, noise and measurement are all one object — a channel: density matrix in, valid density matrix out.
play
Send |+⟩ through any channel
The same input state |+⟩ (faint arrow) enters every channel. A unitary just turns it; the others — all built from Kraus pieces — shrink or drag it inward. Whatever you pick, the probability check Σ Kᵢ†Kᵢ = I always holds.
▸ CPTP mapρ → Σ Kᵢ ρ Kᵢ†
{{ paramName }}{{ pLabel }}
Kraus operators
{{ kraus }}
Σ Kᵢ†Kᵢ= I ✓
process{{ revLabel }}
{{ desc }}
recapA single Kraus piece = a reversible gate; several = an irreversible process — same framework, both keep probability at 1.
math
Three equivalent pictures
A channel can be written three ways — and a theorem says they are the same map:
Kraus: ρ → Σi Ki ρ Ki†, with Σi Ki†Ki = I
Stinespring: couple to an environment, apply ONE big unitary, then trace it out
CPTP: Completely Positive (sensible even on half of an entangled pair) + Trace Preserving
unitary U → one Kraus operator (K₀=U) → reversible, closed-system limit
The Stinespring view is the punchline of the whole course: every channel is secretly a unitary on a bigger system, with part of it ignored. Noise (chapter 09), decoherence and the partial trace (chapter 18) are all that — reversible physics on the whole, irreversible only because you threw a piece away.
✎ worked example · check the dephasing channel is valid
1.Kraus pieces: K₀ = √(1−p)·I, K₁ = √p·Z.
2.completeness: K₀†K₀ + K₁†K₁ = (1−p)I + p·Z². Since Z² = I, this is (1−p)I + pI = I. ✓
3.apply to |+⟩: the I-piece leaves it, the Z-piece flips |+⟩→|−⟩ — the equator coherence shrinks.
4.two Kraus pieces → information leaked to an unseen environment → irreversible, yet still a perfectly valid CPTP map. ✓
recapKraus, Stinespring and CPTP are three views of one map — and every channel is a hidden unitary on a bigger room.
⚠ common misconception
“Gates are reversible and noise is not, so they obey different laws.” They obey the same law — both are CPTP maps. A unitary gate is just the special channel with a single Kraus operator; noise has several. Irreversibility isn’t a new rule, it’s the price of an environment you don’t track.
With this one language in hand, the remaining chapters are applications: how to measure an unknown state, the algorithms between Deutsch and Shor, and using entanglement to sense the world more precisely than physics naively allows.
✓ you can now
✓see gates, noise and forgotten measurements as one object — a CPTP channel
✓check a channel is valid from its Kraus pieces (Σ Kᵢ†Kᵢ = I) and read off reversible vs not
✓state the Stinespring picture: every channel is a unitary on a larger system with part traced out