Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 33 / 5 / a / Solution

Use base-two logarithms, so the Von Neumann entropy is $S(\rho )=-\mathrm{Tr}(\rho {\log }_2\rho )$, with $0\log 0=0$. The quantum mutual information is $I(A:B)=S(A)+S(B)-S(AB)$; this is the quantity denoted by $S({\rho }_A:{\rho }_B)$ in the question, using the given joint state.

Strong subadditivity of Von Neumann entropy states that for every tripartite density operator,Equivalently the conditional quantum mutual information $I(A:C\mid B)$ is nonnegative. We apply this property to the original state or to a dilation of the relevant quantum channel.