Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 37 / 1

Use base-two logarithms for Von Neumann entropy, so the units are bits, and adopt $0{\log }_{2}0=0$. All systems here may be taken finite-dimensional; the entropy arguments also apply when the displayed Von Neumann entropies are finite. The density operator of the joint pure state is ${\rho }_{AB}=|{\Psi }_{AB}⟩⟨{\Psi }_{AB}|$. It is a rank-one orthogonal projector, whose only nonzero eigenvalue is one. ConsequentlyThe reduced density matrices are ${\rho }_A={\mathrm{Tr}}_B{\rho }_{AB}$ and ${\rho }_B={\mathrm{Tr}}_A{\rho }_{AB}$. The quantum conditional entropy is defined by the entropy differenceFor the pure state under consideration this becomes $S(B|A)=-S({\rho }_A)$. To determine when it is negative, write the Schmidt decompositionThe eigenvalues of ${\rho }_A$ are the ${\lambda }_j$, together with possible zeros. Each contribution $-{\lambda }_j{\log }_2{\lambda }_j$ is nonnegative, and their sum vanishes exactly when one eigenvalue equals one. Equivalently the Schmidt rank is one and $|{\Psi }_{AB}⟩$ is a product state. If the pure state is entangled, then $r\ge 2$, every nonzero eigenvalue is strictly below one, and the Von Neumann entropy is strictly positive. Thus the pure-state negative conditional entropy criterion givesThe purity assumption matters: for mixed density operators, negative quantum conditional entropy is not necessary for entanglement.

Let a density operator on a Hilbert space ${\mathcal{H}}_S$ have the spectral decompositionIntroduce an auxiliary Hilbert space ${\mathcal{H}}_R$ with an orthonormal basis containing $r$ vectors $|j{⟩}_R$, and setThis vector has norm one. Its partial trace isThis explicitly constructs a purification of a density operator. The same construction works for an arbitrary trace-class density operator: its nonzero eigenvalues form a finite or countable summable family, and the displayed vector converges in the Hilbert space norm. The entropy inequality below is understood with finite Von Neumann entropies, avoiding undefined differences of infinities.

Apply this construction with $S=AB$ to obtain a joint pure state on $ABC$. The Schmidt decomposition across $AB:C$, $A:BC$ and $B:AC$ respectively givesNow apply Subadditivity of Von Neumann entropy to the reduced density matrices on $BC$ and $AC$:These inequalities say $S(A)-S(B)\le S(C)$ and $S(B)-S(A)\le S(C)$. Replacing $S(C)$ by $S(AB)$ proves the Araki–Lieb inequality:The subadditivity used here concerns the actual reduced density operators, rather than statistical independence. In particular it follows from nonnegativity of quantum relative entropy, sinceand similarly for $AC$. Thus no independence assumption on the purification of a density operator is needed.