Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 34 / 1 / a / Solution

Use base-two logarithms, so Von Neumann entropy is measured in bits, and set $0\log 0=0$. Write $D(\rho \Vert \sigma )=\mathrm{Tr}\rho ({\log }_2\rho -{\log }_2\sigma )$ for the quantum relative entropy, the quantity denoted $S(\rho \Vert \sigma )$ in the paper. It is $+\infty$ unless the support of a positive operator $\rho$ lies within that of $\sigma$.

We first establish nonnegativity of quantum relative entropy, including its equality condition. Let $\rho ={\sum }_{i:r_i>0}{r}_i|u_i⟩⟨u_i|$ and $\sigma ={\sum }_j{s}_j|v_j⟩⟨v_j|$, and suppose the support condition holds. Put $q_i=⟨u_i|\sigma |u_i⟩>0$. Concavity of the scalar logarithm givesTerms with $s_j=0$ have zero weight here. Working first with natural logarithms, the inequality $-\ln x\ge 1-x$ yieldssince the $q_i$ sum to at most $\mathrm{Tr}\sigma =1$. Equality forces $q_i=r_i$ for every positive-weight eigenvector, no remaining weight of $\sigma$ outside their span, and equality in the logarithm's strict concavity. The latter makes each $u_i$ an eigenvector of $\sigma$ with eigenvalue $q_i$. Thus $D(\rho \Vert \sigma )=0$ exactly when $\rho =\sigma$.

For the bipartite density operator,Indeed, a projector onto the kernel of ${\rho }_A$, tensored with $I_B$, has zero expectation in ${\rho }_{AB}$. Positivity implies that ${\rho }_{AB}$ annihilates its range: $\mathrm{Tr}({\rho }_{AB}P)=\Vert {\rho }_{AB}^{1/2}P{\Vert }_{\mathrm{HS}}^2=0$. The same argument applies to $B$. Hence the quantum relative entropy below is finite. On this support,Using the partial trace to evaluate the two local terms givesThis proves Subadditivity of Von Neumann entropy:The proof also identifies equality exactly with the product state ${\rho }_{AB}={\rho }_A\otimes {\rho }_B$.