Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 61 / 4 / a

The J gate is $J(\alpha )=HP(\alpha )$, with $P(\alpha )=\mathrm{diag}(1,e^{i\alpha })$. Prepare a fresh qubit in $|+⟩$ and apply the Controlled-Z gate $E$ between it and the input $|\psi ⟩=u|0⟩+v|1⟩$. The resulting state isMeasure the input in the equatorial qubit measurement basis $|{\alpha }_s⟩=(|0⟩+(-1{)}^s{e}^{-i\alpha }|1⟩)/\sqrt{2}$. The unnormalized output isEach outcome has probability $1/2$. Thus one-bit teleportation realizeson the new qubit. Apply the known Pauli X gate correction $X^s$ for the literal $J(\alpha )$ output, or keep the correction in a Pauli frame and adapt later measurements. The old qubit is measured, so this is not cloning the input.

Direct multiplication of the given matrices gives $J(\alpha )X^s=e^{+is\alpha }{Z}^{s}J((-1{)}^s\alpha )$. The displayed negative exponent in the supplied relation has the wrong sign for exact matrix equality. The discrepancy is only a global phase in a fixed measurement branch, so it does not change this measurement implementation or its outcome probabilities. The positive-sign identity is used when tracking exact matrices.

An explicit measurement-based quantum computation pattern uses six vertices $u_0,u_1,u_2,v_0,v_1,v_2$. Prepare a graph state with every vertex in $|+⟩$ and apply a Controlled-Z gate for each edgeThe first two links on each wire permit graph-state preparation of a computational-basis input followed by the logical J gate. Use the following single-qubit measurements:

All entangling edges can be made at preparation time because Controlled-Z gates commute. A future edge that does not touch a currently measured vertex can equivalently be deferred, which allows the one-bit teleportation identities to be applied in their logical order.

The two initial $X$ measurements implement $H|+⟩=|0⟩$ with Pauli frames $X^{s_0},X^{t_0}$ on the logical inputs. The first adaptive J gate then has output frame $X^{s_1}{Z}^{s_0}$ on $u_2$. Propagating through $E_{u_2{v}_1}$ gives framesup to branchwise global phase. The second adaptive J gate converts the latter intoA $Z$ correction does not alter a computational-basis measurement, while an $X$ correction flips its bit. Consequently the deterministic classical postprocessing isThis reproduces the output-bit distribution of the original quantum circuit, including its known byproduct corrections.

There is an additional simplification for these particular zero inputs. Since $J(\alpha )|0⟩=|+⟩$, $E(|+⟩|0⟩)=|+⟩|0⟩$, and $J(\beta )|0⟩=|+⟩$, the exact final state is $|+⟩|+⟩$, independently of the angles. The requested bit is therefore fair. A single isolated graph-state vertex measured in $Z$ already simulates that bit distribution; the six-vertex pattern also explicitly realizes the circuit and its corrections.