Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 323 / 3 / ii / Solution

Let $\Gamma =T_B$ denote the partial transpose. The partial transpose of a maximally entangled projector iswhere $S$ is the swap operator, satisfying $S^{†}S=I$ and $\Vert S{\Vert }_{\mathrm{op}}=1$. If $\sigma$ has positive partial transpose, then ${\sigma }^{\Gamma }$ is a positive operator of trace one, hence $\Vert {\sigma }^{\Gamma }{\Vert }_1=1$.

For a pure state ${\varphi }^{+}=|\Phi ⟩⟨\Phi |$, the unsquared quantum fidelity obeys $F({\varphi }^{+},\sigma {)}^2=⟨\Phi |\sigma |\Phi ⟩$. Using the trace-adjoint identity for partial transpose and part (i),The overlap is nonnegative, so taking its square root proves the PPT maximally entangled overlap bound:The product state $|00⟩⟨00|$ attains the bound, so it is sharp.