Let be a leaf with neighbour and let the graph on the other vertices be generated by the Controlled-Z gate product . If the leaf has Pauli Z gate frame , measuring it at angle with result applies one-bit teleportation and leaves
Any known Pauli Z gate frames on other vertices remain as additional factors before those vertices' input states. The identity combines the leaf byproduct with the measurement result.
Five-vertex graph-state circuit simulation Created 2026-10-07 Updated 2026-10-14
A graph state with edges simulates on . Measure vertices 1 and 2 at angles , with results , and vertex 4 at , with result . One-bit teleportation and Pauli frame propagation leave output frames and . Computational outputs are therefore corrected by and respectively.
Label a four-cycle . Measure vertex in the computational basis with result , then vertex in the equatorial qubit measurement basis at angle with result . Graph-state vertex deletion and one-bit teleportation leave
Final computational basis measurements with raw results therefore simulate the ideal circuit on after the classical correction , . The output probability distribution is correct in every prior branch; no physical Pauli frame correction is needed.
Two angle-zero one-bit teleportations with outcomes implement on an arbitrary input, up to global phase. A Controlled-Z gate with a fixed quantum ancilla implements , so removes the known factor. The result is up to phase. With probability one half the desired Pauli X gate is applied; otherwise the input is unchanged. Repeating until gives an exact heralded correction with two attempts on average and almost-sure termination. It has no finite worst-case measurement count. A Pauli frame avoids this repeat-until-success procedure when only logical action or classical output statistics are required.
Measurement-based quantum computation prepares an entangled resource quantum state, then applies single-qubit quantum measurements, potentially adapting later bases to earlier outcomes. Pauli frame tracking and classical outcome processing convert random physical branches into a specified logical computation. Graph states and one-bit teleportation provide a concrete construction.
Compile each CNOT gate into a Hadamard gate, a Controlled-Z gate, and another Hadamard gate on its target. Every one-bit teleportation implementing a Hadamard gate uses a fixed angle-zero basis. A Pauli frame propagates by classical binary updates without changing a measurement basis. All internal measurements, and any fixed computational output measurements, therefore share one simultaneous layer. Resource preparation and classical processing are not included in this logical measurement depth.
Write the normalized input quantum state as . The fresh quantum ancilla is , so the Controlled-Z gate creates
Applying the measurement bra to the first qubit leaves the unnormalized second-qubit vector
Since form an orthonormal basis,
Also , while the Pauli X gate fixes and changes the sign of . Dividing by the branch norm therefore gives
This is one-bit teleportation with the present positive-exponent measurement vectors; the transferred logical gate is .
Label the chain cluster state from top to bottom by , and let be the phase-measurement outcomes on the first three vertices, with raw computational basis outcome on vertex four. Repeated one-bit teleportation leaves the last qubit, up to global phase, in
This sequential description applies even though the whole graph state is prepared first: a later Controlled-Z gate acts only on unmeasured qubits and commutes with earlier single-qubit measurement operators. It can therefore be moved past those measurements for the purpose of calculating each conditional branch.
Take and , so . After the second measurement the logical state is
For binary , the identities proved above imply the Pauli-frame propagation along a measurement wire rule
where means equality up to global phase. Choose the third angle adaptively as . Then , and
Reading the target circuit in temporal order gives its premeasurement state
Consequently
The Pauli Z gate changes only phases in the computational basis, while the Pauli X gate exchanges its two measurement outcomes. Thus the explicit choices are
Indeed, for every earlier outcome branch,
Hence averaging over the earlier random outcomes leaves exactly the target probability distribution. This implements the desired measurement-based quantum computation without physically removing the final Pauli frame.
Prepare the three-vertex graph-state wire: start all three qubits in and apply Controlled-Z gates on edges and . In this paper's equatorial qubit measurement convention the basis vectors can be chosen as
The given identity means that measuring an input qubit at angle , with outcome , teleports its state to the next qubit as . Each outcome has probability , since is unitary. This is one-bit teleportation with a known Pauli frame.
Measure vertex 1 at angle and record . Then measure vertex 2 at angle , taken modulo , and record . The controlled-Z on edge commutes with the first measurement, so the two teleportation steps can be applied successively. The remaining normalized state is
For this is . For , the relation proved above gives . Thus in every branch the remaining state is
The scalar is a global phase and has no effect on probabilities.
Finally measure vertex 3 in the computational basis, obtaining , and report
The byproduct changes only computational-basis phases; changes the output label by . Hence the corrected bit has exactly the ideal circuit's probability distribution in every branch, not merely on average. The procedure uses only single-qubit measurements after preparing the graph state, adaptive classical angle selection, and deterministic classical output processing.
Use five resource qubits, all initially , and prepare the graph state with edges , , , . The labels here identify resource vertices; logical wire 1 travels from vertex 1 to 3, and logical wire 2 travels from 2 to 4 to 5. Each edge is a Controlled-Z gate, and these entangling gates commute, so all can be applied when preparing the resource.
Figure 1.
Five-vertex graph resource, adaptive measurement angle, and classical output corrections for the two-qubit circuit
. Details.
Measure vertex 1 in the equatorial qubit measurement basis at angle , with outcome , and vertex 2 at angle , with outcome . These measurements can be simultaneous. The one-bit teleportation lemma leaves the state on vertices 3 and 4, before the last teleportation, equal up to global phase to
Indeed commuting the two initial byproducts through creates precisely the crossed factors. The unused edge from 4 to the fresh vertex 5 is the last one-bit teleportation link.
Measure vertex 4 at angle , with outcome . By the printed J gate propagation identities,
Thus the remaining two-qubit quantum state is
up to global phase, where is the desired circuit output relabelled onto vertices 3 and 5. The sign choice cancels the unwanted angle reversal caused by the frame on vertex 4.
Finally measure vertices 3 and 5 in the computational basis, obtaining raw results . The Pauli Z gate affects only phases, while the Pauli X gate flips a computational result. The five-vertex graph-state circuit simulation therefore outputs
This deterministic classical correction reproduces the ideal joint probability distribution for every preceding measurement branch. The final fixed-basis measurements may share the second layer with the adaptive measurement of vertex 4, because their projectors act on different vertices; measuring them afterwards is also valid.
Replace every CNOT gate by . The resulting quantum circuit contains only Hadamard gates and Controlled-Z gates. Realize each Hadamard gate by a fresh one-bit teleportation link measured at angle zero, so every internal measurement is in the fixed basis. Insert a graph edge between the current wire vertices for each Controlled-Z gate. This gives a suitable graph state because the inputs are , and entangling gates can be moved to resource preparation: they commute with one another and with earlier measurements on vertices no longer used by the gate.
Track a Pauli frame . An angle-zero one-bit teleportation with raw result updates the frame on that wire by
because equals up to global phase. A Controlled-Z gate updates and , leaving the bits unchanged. These are classical binary updates; no measurement angle depends on them.
All the internal quantum measurements consequently have predetermined bases. Their projectors act on distinct resource vertices and commute, so all internal measurements can be performed simultaneously: the logical measurement depth is at most one. If the output is to be read in the computational basis, those fixed-basis measurements can occur in the same layer; a raw output is relabelled . If quantum outputs are retained, the same calculation gives the desired output in a known Pauli frame. This nonadaptive Hadamard–CNOT measurement pattern concerns measurement depth, not the depth of resource preparation or classical frame computation.
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 give
where omits a global phase. Consequently the rotation gadget updates
Only 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 is
These 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 has
independently 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.
An explicit measurement-based quantum computation pattern uses six vertices . Prepare a graph state with every vertex in and apply a Controlled-Z gate for each edge
The 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:
  • Measure and in the basis, obtaining .
  • Measure in the equatorial basis with angle , obtaining .
  • Measure in the equatorial basis with angle , obtaining .
  • Measure in the basis, obtaining , and return . The unmeasured can be discarded.
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 measurements implement with Pauli frames on the logical inputs. The first adaptive J gate then has output frame on . Propagating through gives frames
up to branchwise global phase. The second adaptive J gate converts the latter into
A correction does not alter a computational-basis measurement, while an correction flips its bit. Consequently the deterministic classical postprocessing is
This reproduces the output-bit distribution of the original quantum circuit, including its known byproduct corrections.
Figure 1.
Six-vertex graph state, adaptive equatorial measurements and classical parity correction for the two-wire circuit
. Details.
There is an additional simplification for these particular zero inputs. Since , , and , the exact final state is , independently of the angles. The requested bit is therefore fair. A single isolated graph-state vertex measured in already simulates that bit distribution; the six-vertex pattern also explicitly realizes the circuit and its corrections.
The J gate is , with . Prepare a fresh qubit in and apply the Controlled-Z gate between it and the input . The resulting state is
Measure the input in the equatorial qubit measurement basis . The unnormalized output is
Each outcome has probability . Thus one-bit teleportation realizes
on the new qubit. Apply the known Pauli X gate correction for the literal 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 . 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.
The path graph state is . The factor commutes with both the Controlled-Z gates and the quantum measurement of vertex . Treat as the input of one-bit teleportation. The equatorial qubit measurement result therefore gives the normalized state
Here the subscript on expresses the teleported input factor; it is not an extra operation on the already measured vertex. Use to obtain
The exclusive or exponent is equivalent to the printed sum because . The conditional probability of is one half for either , by the one-bit teleportation branch norm. This calculation concerns an equatorial measurement of a graph-state leaf; no third remaining qubit or extra factor is present.
The basic one-bit teleportation primitive uses the input as qubit 1 and a fresh quantum ancilla as qubit 2. Apply the Controlled-Z gate and measure qubit 1 in the equatorial qubit measurement basis with angle . If is the result, the normalized post-measurement state on qubit 2 is
Both results have probability one half. For example, writing , the unnormalized branch is . Thus is applied deterministically as a logical gate with known Pauli frame ; a permitted conditional Pauli X gate would remove this byproduct physically.
The literal resource restriction does not need an unstated direct Pauli X gate. A Pauli Z gate can be enacted by applying to the data and a fixed quantum ancilla. Two consecutive angle-zero one-bit teleportations, with results , map an arbitrary current state to . Apply the available to remove the latter factor, up to an irrelevant global phase. This implements a heralded : if , the input is unchanged; if , the required Pauli X gate has been applied.
If the original result is and a physically corrected output is required, repeat this heralded Pauli X correction using controlled-Z and measurements until . Each attempt succeeds with probability one half independent of the input, so it terminates with probability one, using two attempts on average. Only , fixed ancillary quantum states and single-qubit quantum measurements are used. This exact physical correction has no finite worst-case measurement bound; the standard finite deterministic realization is the logical Pauli frame version, which suffices for the later output-simulation parts.
With equatorial qubit measurement vectors , the gate in one-bit teleportation is . Direct multiplication gives and . Moving a Pauli frame through this gate therefore exchanges its and exponents and reverses the angle if the old exponent is one, as displayed up to global phase. A measurement outcome adds a further factor. This calculation supplies adaptive angle choices and the final classical output-bit correction of a linear cluster state computation.
A path graph state on three qubits simulates two successive gates . Measure vertex one in the equatorial qubit measurement basis , then vertex two at angle , obtaining bits . Two one-bit teleportations and leave vertex three in , up to global phase. A computational output bit is corrected to ; the factor affects only phase. Adaptive sign choice is required for general angles, although the final bit correction is purely classical.