Past exam of the computer science course of the University of Oxford / 2023 / Quantum information / 3 / d / i / Solution

Alice holds the input qubit $Q$ in $|\psi {⟩}_Q=a|0⟩+b|1⟩$ and her half $A$ of a shared Bell pair $|{\varphi }_{+}{⟩}_{AB}$; Bob holds $B$. Alice applies a controlled-NOT gate $Q\to A$, then a Hadamard gate on $Q$. In the system order $Q,A,B$, the initial quantum state isAfter these two quantum gates, direct expansion yields the quantum teleportation identityAlice performs computational-basis measurements on $Q,A$, and sends the two classical bits $m,n$ to Bob. Each outcome has probability $1/4$, independently of the input pure state. Bob applies the indicated Pauli gates: first $X^n$, then $Z^m$, so his total correction is $Z^m{X}^n$. In every branch,This proves exact quantum teleportation using one Bell pair and two classical bits. Alice's original qubit has been measured; the protocol transfers the quantum state without leaving her another copy.