 Solution

An ensemble with normalized quantum states $|{\psi }_a⟩$ and probabilities $p_a\ge 0$, ${\sum }_a{p}_a=1$, has density matrixEach rank-one projector is Hermitian, so ${\rho }^{†}=\rho$. Taking the trace in any orthonormal basis givesIt is also positive: $⟨v|\rho |v⟩={\sum }_a{p}_a|⟨{\psi }_a|v⟩{|}^2\ge 0$. Its eigenvalues ${\lambda }_a$ are therefore nonnegative and sum to one. Hencewith equality exactly when one eigenvalue is one and the others are zero. Thus the purity of a density operator distinguishesEquivalently, a pure state has ${\rho }^2=\rho$ and rank one. In a $d$-dimensional Hilbert space, purity is at least $1/d$, attained by the maximally mixed state $I/d$.