Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 49 / 3 / a

Number the wires from top to bottom as $1,\dots ,5$. The first two controlled-NOT gates encode $|\psi ⟩=u|0⟩+v|1⟩$ into the bit-flip repetition codeon data wires $1,2,3$. The lower two zero ancillas store an error syndrome. Reading the PDF's four detection CNOTs givesThe syndrome and the data qubit to be flipped are thereforeThis is coherent syndrome extraction for the three-qubit repetition code. The recovery Toffoli gates implement these conditions; the intervening Pauli X gates temporarily turn zero-valued controls into one-valued controls and then restore the syndrome wires. Finally, inverse encoding returns the logical state to the top wire and resets data wires 2 and 3 to zero.

For the specified error $X_1$, the encoded data becomes $u|100⟩+v|011⟩$. Both terms have syndrome $01$, so detection factors out $|01{⟩}_{45}$ without revealing the logical amplitudes. Recovery flips data wire 1, restoring $u|000⟩+v|111⟩$, and decoding yieldsThe lower four wires need not all return to zero: their syndrome record is independent of the logical state, which is what the correction requirement needs.