Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 66 / 2 / i

Use superdense coding. For the two-bit message $(a,b)\in \{0,1{\}}^2$, Alice applies $Z^a{X}^b$ to her half of the shared Bell state, where $X,Z$ are the Pauli X gate and Pauli Z gate. The encoded states areThese four Bell states are orthonormal. Alice then transmits her one qubit to Bob, who now holds both qubits. A Bell-basis measurement identifies the message with probability one.

More explicitly, Bob can apply a CNOT gate with the received qubit as control and his original qubit as target, followed by a Hadamard gate on the control. The CNOT gate sends the encoded state toand the Hadamard gate sends this to $|a⟩\otimes |b⟩$. Computational-basis projective measurements therefore read out $a,b$ exactly. One transmitted qubit, assisted by one previously shared Bell pair, communicates two classical bits.