Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 50 / 5 / d

Let the quantum channel send $B$ to $B^{\prime }$. From its Kraus representation, choose a Stinespring representation $V:B\to B^{\prime }E$ and formThe channel output is ${\sigma }_{A{B}^{\prime }}={\mathrm{Tr}}_E{\sigma }_{A{B}^{\prime }E}$. Isometric invariance of Von Neumann entropy givesTherefore the quantum mutual information satisfies $I(A:B{)}_{\rho }=I(A:B^{\prime }E{)}_{\sigma }$. Expanding its loss after discarding the environment givesThe final expression is the quantum conditional mutual information $I(A:E\mid B^{\prime })$. The Strong subadditivity of Von Neumann entropy states exactly that it is nonnegative. HenceThis proves data processing for quantum mutual information for any mixed input and any local quantum channel, not just the atomic channel in earlier parts. The correlations lost are exactly the conditional correlations with the discarded environment.