Skip to content

Purity

γ(ρ)=Tr⁡(ρ2)=∑iλi2.\gamma(\rho)=\operatorname{Tr}(\rho^2)=\sum_i\lambda_i^2.

For a dd-dimensional density operator,

1d≤γ≤1,\frac1d\le\gamma\le1,

with γ=1\gamma=1 exactly for a pure state and γ=1/d\gamma=1/d exactly for Id/dI_d/d. For a qubit,

ρ=12(I+r⋅σ)⟹γ=1+∥r∥22.\rho=\frac12(I+\mathbf r\cdot\boldsymbol\sigma) \quad\Longrightarrow\quad \gamma=\frac{1+\lVert\mathbf r\rVert^2}{2}.

Other useful identities are

γ(ρA⊗ρB)=γ(ρA)γ(ρB),\gamma(\rho_A\otimes\rho_B)=\gamma(\rho_A)\gamma(\rho_B), ρβ=e−βHZ(β)⟹γ(ρβ)=Z(2β)Z(β)2,\rho_\beta=\frac{e^{-\beta H}}{Z(\beta)} \quad\Longrightarrow\quad \gamma(\rho_\beta)=\frac{Z(2\beta)}{Z(\beta)^2},

and, for a swap operator SS on two identical copies,

Tr⁡[S(ρ⊗ρ)]=γ(ρ).\operatorname{Tr}[S(\rho\otimes\rho)]=\gamma(\rho).
  • ρ≥0\rho\ge0 and Tr⁡ρ=1\operatorname{Tr}\rho=1.
  • The lower bound 1/d1/d requires finite known dimension dd.
  • The normalized linear entropy convention may include a factor d/(d−1)d/(d-1); state the convention.
  • Swap estimation assumes independent, identically prepared copies.
SymbolMeaning
γ\gammapurity
λi\lambda_ieigenvalues of ρ\rho
ddHilbert-space dimension
r\mathbf rqubit Bloch vector
Z(β)Z(\beta)partition function
  • 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, 0<γ≤10\lt\gamma\le1 but there is no positive dimension-independent lower bound.

Proofs, preparation-versus-entanglement distinctions, thermal and two-copy examples, exercises, and references are at Pure vs Mixed States.