Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 60 / 4 / iii

For any tripartite density operator, Strong subadditivity of Von Neumann entropy isUse quantum relative entropy $D(\rho \Vert \sigma )=\mathrm{Tr}\rho ({\log }_2\rho -{\log }_2\sigma )$, with the usual support condition. The equivalent relative-entropy comparison isIndeed the two sides expand respectively as $S(A)+S(BC)-S(ABC)$ and $S(A)+S(B)-S(AB)$. Subtracting cancels $S(A)$ and leaves exactly the strong-subadditivity gap. Marginal-product supports contain the support of the joint state, so these expressions are finite; singular marginals can also be handled by full-rank regularization and a limit.

Finally, tracing out $C$ sends the numerator and denominator of the first relative entropy to those of the second. The data-processing inequality for quantum relative entropy therefore proves the comparison. This is strong subadditivity from relative-entropy monotonicity, rather than an assumption that classical entropy proofs automatically apply to quantum states.