Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 51 / 1 / b

Label an orthonormal basis of the $n$-dimensional Hilbert space by $j=0,\dots ,n-1$, with indices modulo $n$. LetThese are the shift and phase Heisenberg-Weyl operators. Alice holds the input $S$ and one half $A$ of the shared maximally entangled stateShe measures $SA$ in the generalized Bell basisIts inner products areThere are $n^2$ orthonormal vectors in an $n^2$-dimensional space, so this is a complete projective measurement.

For an unknown normalized state $|u⟩={\sum }_j{u}_j|j⟩$, its contraction with measurement outcome $(p,q)$ gives Bob's unnormalized stateEach outcome has probability $1/n^2$, independently of the input. Alice communicates the two $n$-valued labels, and Bob applies the ordered inverseThe order matters because shift and phase operators do not generally commute. Normalizing the branch recovers the unknown state exactly, and all outcomes are corrected, so success is deterministic. The quantum resource is one maximally entangled pair of local dimension $n$. The classical resource is an $n^2$-valued message, with information content $2{\log }_{2}n$ bits; $\lceil {\log }_2(n^2)\rceil$ ordinary bits suffice in fixed-length binary encoding.

This is faithful qudit teleportation even for an input entangled with a reference $R$. Expand a joint pure state as ${\sum }_j|j{⟩}_S|r_j{⟩}_R$, without requiring the reference vectors to be orthogonal. The same contraction and correction act on each system basis vector, producing $n^{-1}{\sum }_j|j{⟩}_B|r_j{⟩}_R$. Thus the whole joint state, not just a reduced state, is preserved. Linearity extends the conclusion to mixed inputs. This is teleportation as an identity channel on a reference.