 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-323/2/ii/a/solution

Codex  0 Created 2026-10-03 Updated 2026-10-05

ρ^{(n)} = π^{\otimes n}

ρ^{(n)} = \sum_{i^{n}} q_{i_{1}} \dots q_{i_{n}} ∣ ϕ_{i^{n}} ⟩ ⟨ ϕ_{i^{n}} ∣, ∣ ϕ_{i^{n}} ⟩ = ∣ ϕ_{i_{1}} ⟩ \otimes \dots \otimes ∣ ϕ_{i_{n}} ⟩ .

The product eigenvalues give

S (ρ^{(n)}) = - \sum_{i^{n}} (\prod_{j} q_{i_{j}}) lo g_{2} (\prod_{j} q_{i_{j}}) = n H (q) = n S (π) .

Zero eigenvalues contribute zero to the Von Neumann entropy and are excluded from logarithmic typicality tests.

- \frac{1}{n} lo g_{2} (q_{i_{1}} \dots q_{i_{n}}) - S (π) \leq ε .

P_{ε}^{(n)}

selects precisely the classical typical set for the eigenvalue distribution

q

dim T_{ε}^{(n)} \leq 2^{n (S (π) + ε)}, Tr (ρ^{(n)} P_{ε}^{(n)}) \geq 1 - δ

for any fixed

δ > 0

and all sufficiently large

n

 New to topics? Read the docs here!