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

Write $\overline{\rho }={\sum }_i{p}_i{\rho }_i$. The Holevo quantity iswhere $S$ is Von Neumann entropy, with a consistent logarithm base. Attach an orthogonal classical label register $X$ to form the classical-quantum stateThe entropy of an orthogonal quantum mixture givesHere $H(p)$ is the Shannon entropy of the classical label. Hence $I(X:B)=\chi (\mathcal{E})$, where $I$ denotes quantum mutual information.

Let $\Phi :B\to C$ be the proposed quantum channel. Using its Kraus representation, define an linear isometry $V={\sum }_{\ell }{A}_{\ell }\otimes |\ell {⟩}_E$, since $V^{†}V=I$. This is a Stinespring representation. Apply it to $B$, obtaining a state ${\eta }_{XCE}$; tracing out $E$ applies $\Phi$ to every ensemble member. An linear isometry preserves nonzero eigenvalues and therefore Von Neumann entropy, soTheir difference isThe Strong subadditivity of Von Neumann entropy states that this expression is nonnegative for every tripartite state. ConsequentlyThus the Holevo quantity under a quantum channel decreases because discarding the dilation environment cannot improve correlations with the classical label. The probabilities remain unchanged throughout.

Using base-two logarithms, define the quantum conditional entropy byThe Subadditivity of Von Neumann entropy, $S(AB)\le S(A)+S(B)$, immediately gives $S(A\mid B)\le S(A)$.

For the lower bound, purify ${\rho }_{AB}$ by an auxiliary system $C$. Complementary subsystems of a pure state have the same nonzero reduced-state eigenvalues, by the Schmidt decomposition. Hence $S(BC)=S(A)$ and $S(C)=S(AB)$. Applying Subadditivity of Von Neumann entropy to $BC$ givesRearranging yields $S(A\mid B)\ge -S(A)$. This is the relevant side of the Araki–Lieb inequality, here derived using purification.

Finally the maximum entropy of a quantum state gives $S(A)\le {\log }_2\dim {\mathcal{H}}_A$. For example, this follows directly fromby nonnegativity of quantum relative entropy. Combining the two bounds provesBoth signs can be attained: a maximally mixed $A$ independent of $B$ has the positive extreme, while a maximally entangled state with a sufficiently large $B$ has the negative extreme.

Let $\mathcal{P}$ be the pinching map determined by the projectors, and put $\sigma =\mathcal{P}(\rho )$. This is a nonselective projective measurement; its projectors are its Kraus operators. We will prove the exact relative entropy of a pinched state identity.

First the support of $\rho$ is contained in that of $\sigma$. Indeed, if $v$ lies in the kernel of $\sigma$, positivity givesEvery summand is zero. Since ${\sum }_i{P}_i=I$, also ${\rho }^{1/2}v=0$, and thus $v$ is in the kernel of $\rho$. Therefore the logarithm of $\sigma$ may be used on its support without an infinite relative-entropy term.

The operator $\sigma$ is block diagonal, so each $P_i$ commutes with $\log \sigma$ on that support. Cyclicity of the trace givesExpand the quantum relative entropy:Its nonnegativity now proves the entropy increase under nonselective projective measurement:The equality case in nonnegativity of quantum relative entropy says equality holds exactly when $\rho =\sigma$. Equivalently,Thus equality means the state already has no coherence between distinct measurement blocks. It need not be diagonal inside a block of rank greater than one.

Take the rank-one orthogonal projections $P_i=|{\varphi }_i⟩⟨{\varphi }_i|$. Their pinching map givesThis has exactly the specified diagonal entries and no off-diagonal entries. Applying the entropy increase under nonselective projective measurement proved in part (c) therefore givesWriting $q_i=⟨{\varphi }_i|\rho |{\varphi }_i⟩$, the output Von Neumann entropy is the Shannon entropy $S({\rho }_d)=-{\sum }_i{q}_i\log q_i$. Equality holds precisely when $\rho$ was already diagonal in this basis.