Magic-State Injection
The gate is what makes Clifford+ universal — but is not transversal for the standard fault-tolerant codes, so we cannot apply it directly the way we apply Clifford gates. The standard fault-tolerant solution is magic-state injection: prepare a special resource state ahead of time, then consume it with only Clifford operations to apply a logical to live data. This routes the hard, non-transversal work entirely into off-line state preparation.
The magic state
The relevant resource for the gate is
Equivalently . It is called a magic state because, although it is just a fixed single-qubit state, combining it with (free) Clifford gates lifts the Clifford group all the way to universality — Bravyi and Kitaev's foundational result.
A noisy supply of approximate states can be purified by magic-state distillation: consuming many low-fidelity copies and Clifford operations to output fewer high-fidelity copies. Distillation is the dominant cost of fault-tolerant computing, which is exactly why we count gates so carefully.
Gate teleportation: injecting T
Given one copy of , a logical on a data qubit is applied by gate teleportation:
- Prepare the ancilla in .
- Apply from the data qubit (control) to the ancilla (target).
- Measure the ancilla in the computational basis.
- If the outcome is , the data qubit holds — done. If the outcome is , it holds up to a global phase, so apply the Clifford correction to recover (since ).
Every step except the magic-state preparation uses only Clifford gates, a measurement, and a classically-controlled Clifford correction — all of which are fault-tolerant. The single non-transversal operation has been pushed into preparing , which can be done off-line and purified by distillation.
Why measurement-and-correct is fault-tolerant
The byproduct operator after teleportation is always a Clifford (a Pauli times possibly ), and Cliffords can be tracked classically (Gottesman–Knill) or applied transversally. So even though the circuit contains a mid-circuit measurement and a conditional gate, no single fault spreads uncontrollably: the data qubit interacts with the ancilla through exactly one CNOT, satisfying the "one fault, one error per block" rule.
Try it
The simulator here does not perform the mid-circuit measurement and conditional correction, so we focus on the part that carries the "magic": preparing the resource state on a single qubit. The grader checks the state vector: amplitude on and on .
Sign in on the full site to ask questions and join the discussion.