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.
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.
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
.
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.