Here's a question Ch. 8–9 left open: if two qubits are entangled, what's the state of just one of them, on its own? The answer turns out to be one of the most important and surprising facts in this whole book: even when the full 2-qubit state is perfectly pure, one qubit by itself is usually mixed.
What the partial trace does
Given a joint density matrix ρ_AB for two systems, the partial trace "sums away" everything about system B, leaving exactly the reduced density matrix that describes A alone:
ρ_A = Tr_B(ρ_AB)
Concretely, for two qubits using the index = 2q₁+q₀ convention from Ch. 5, tracing out q₀ means: (ρ_A)ᵢⱼ = Σₖ (ρ_AB)[2i+k][2j+k] for k=0,1 — pairing up entries that agree on q₁'s index and summing over q₀'s.
The showcase example: the Bell state
Why this makes sense
At t=45°, |ψ⟩ = (|00⟩+|11⟩)/√2: knowing q₁'s value tells you q₀'s value with certainty, and vice versa — they're perfectly correlated. But q₁ by itself, with no access to q₀ at all, can't see any of that correlation. All that's left, looking at q₁ alone, is "50% chance of 0, 50% chance of 1, with absolutely no further structure" — which is precisely the maximally mixed state I/2. The information wasn't lost; it just isn't local to either qubit alone. It only exists in the correlation between them — which is, in fact, one workable definition of what entanglement even is.
AdvancedThis is an "improper" mixture, and that distinction matters
Ch. 8's Advanced section mentioned proper vs. improper mixtures. Here's the improper case in the wild: ρ_A = I/2 from the Bell state isn't "secretly" |0⟩ or "secretly" |1⟩ waiting to be revealed — there's no hidden fact at all, because the global state is genuinely pure and the mixedness is purely an artifact of ignoring q₀. Contrast this with Ch. 8's lab-equipment example, where ρ = 0.95|0⟩⟨0|+0.05|1⟩⟨1| really does correspond to a definite (if unknown to you) state each time. Both give identical-looking density matrices and identical measurement statistics — but only the partial-trace case is inseparable from a fact about a larger system you don't have access to.
- TextbookNielsen & Chuang, §2.4.3The formal definition and properties of the partial trace operation.
- ArticleWikipedia — Partial traceGeneral n-dimensional definition beyond the 2-qubit case covered here.