Purity
Formula
Section titled “Formula”For a -dimensional density operator,
with exactly for a pure state and exactly for . For a qubit,
Other useful identities are
and, for a swap operator on two identical copies,
Assumptions and Conventions
Section titled “Assumptions and Conventions”- and .
- The lower bound requires finite known dimension .
- The normalized linear entropy convention may include a factor ; state the convention.
- Swap estimation assumes independent, identically prepared copies.
Symbols
Section titled “Symbols”| Symbol | Meaning |
|---|---|
| purity | |
| eigenvalues of | |
| Hilbert-space dimension | |
| qubit Bloch vector | |
| partition function |
Validity and Warnings
Section titled “Validity and Warnings”- Purity is basis independent but does not determine the whole spectrum.
- A superposition of basis states can be pure; off-diagonal entries do not by themselves decide mixedness.
- Unitary evolution preserves purity. General channels can increase or decrease it.
- Reduced purity diagnoses entanglement only when the global bipartite state is known to be pure.
- In infinite dimension, but there is no positive dimension-independent lower bound.
Canonical Treatment
Section titled “Canonical Treatment”Proofs, preparation-versus-entanglement distinctions, thermal and two-copy examples, exercises, and references are at Pure vs Mixed States.