Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 323 / 2

Use an orthonormal eigenbasis of the Hermitian operator $A$ and set $b_j=⟨{\alpha }_j|B|{\alpha }_j⟩$. Since $B$ is a positive contraction,For $0<r<d$, the missing weight among the first $r$ entries equals the weight in the remaining entries:The ordered eigenvalues satisfy ${\lambda }_j\ge {\lambda }_{r-1}$ for $j<r$ and ${\lambda }_j\le {\lambda }_{r-1}$ for $j\ge r$. ThereforeThis argument does not require the eigenvalues of $A$ to be positive. For $r=0$, positivity and zero trace give $B=0$; for $r=d$, the same argument applied to $I-B$ gives $B=I$. Thus in every caseThe orthogonal projection onto the leading $r$ eigenvectors attains equality. This is the Hermitian effect variational principle, extending the Ky Fan maximum principle to all positive contractions with the prescribed trace.

Choose Kraus representationsThe composite quantum channel has Kraus operators $T_{ba}=D_b{C}_a$. Each has matrix rank at most $k$, because it factors through the $k$-dimensional space $K$, andThe operation fidelity uses the unsquared quantum fidelity on a purification of a density operator, so its square is entanglement fidelity. The Kraus formula for entanglement fidelity givesIndeed each overlap $⟨{\Psi }_{\rho }|(I_R\otimes T_{ba})|{\Psi }_{\rho }⟩$ equals $\mathrm{Tr}({\rho }_Q{T}_{ba})$.

For any one of these Kraus operators $T$, let ${\Pi }_T$ be the orthogonal projection onto its image, of matrix rank $r_T\le k$. Since ${\Pi }_{T}T=T$, the Cauchy-Schwarz inequality for the Hilbert-Schmidt inner product gives the rank bound for a weighted operator trace:The last step uses part (i) at $r_T$, followed by nonnegativity of the eigenvalues of the density operator ${\rho }_Q$. Summing over the Kraus operators and using their completeness relation proves the finite-dimensional quantum compression converse:No invertibility of ${\rho }_Q$, or restriction to an isometric decoder, was used.