Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 67 3 c Solution Created 2026-10-03 Updated 2026-10-07
Write the single-qubit gate as , where . Thus it is, up to global phase, a rotation about the x-axis, and it commutes with . Compile it as a Hadamard gate followed by the J gate . Compile each CNOT gate as before into . The usual wire-link construction yields a resource graph state for the fixed inputs; the same frame algebra also works for logical input states supplied to an open resource.
The point is stronger than counting two gates per rotation: a long circuit must not acquire a new adaptive layer for every rotation. We show that every nonzero-angle basis depends only on outcomes of the angle-zero measurements.
For an gadget, let the incoming Pauli frame be . Denote the angle-zero outcome by , and the subsequent angle- outcome by . The two one-bit teleportations givewhere omits a global phase. Consequently the rotation gadget updatesOnly its angle-zero outcome enters the new frame. Its arbitrary-angle outcome enters only the frame, which commutes through all later gates.
For a CNOT gate from to , call the outcomes of its two angle-zero target-wire measurements , in that order. The Pauli frame update isThese follow by applying the preceding Hadamard gate and Controlled-Z gate frame updates twice. In particular, the new frames depend on old frames and angle-zero outcomes only; they never depend on old frames or arbitrary-angle outcomes. This is the measurement-level version of the given fact that a CNOT gate propagates operators into products of operators.
Starting with no frame, induction in the original circuit order now computes every solely from angle-zero results. Therefore every sign is known after one simultaneous layer containing all angle-zero measurements, including those appearing late in the circuit. Compute those signs classically, and perform all remaining equatorial measurements in a second simultaneous layer. An angle zero that occurs accidentally among these remaining choices may stay in that layer. Reordering is valid because, once a branch's bases have been fixed, the projectors on different vertices commute; no second-layer result is needed to choose another second-layer basis.
The two-layer measurement pattern for CNOT and x-axis rotations thus hasindependently of the number or order of gates. Fixed computational-basis measurements of classical outputs can be included in layer two, followed by relabelling . For quantum outputs the final Pauli frame gives the required correction. The depth statement excludes graph preparation and classical processing, as in the definition in the paper.