← Atlas

Operators · Magic state distillation

Magic T state

The single-qubit magic state |T⟩ = T|+⟩, the standard resource state consumed by gate teleportation to implement a fault-tolerant non-Clifford T gate.

Exact & formalUpdated

View frozen graph

q[0]Step 1 of 2 · H · on q[0]HStep 2 of 2 · T · on q[0]T

2 steps across 1 wire. Hover a step, or press play to go through them in order.

Expected outcomes

  • 050%
  • 150%
  • Steps2
  • Wires1
  • Qubits1
  • Depth2 gates (H, T)
  • Bloch vector(1/√2, 1/√2, 0)
  • Papers1

The magic TT state is

∣T⟩=T∣+⟩=12(∣0⟩+eiπ/4∣1⟩),T=(100eiπ/4).|T\rangle = T|+\rangle = \frac{1}{\sqrt2}\big(|0\rangle + e^{i\pi/4}|1\rangle\big), \qquad T = \begin{pmatrix}1 & 0\\ 0 & e^{i\pi/4}\end{pmatrix}.

Why it is "magic." Every Clifford-stabilized single-qubit state has a Bloch vector pointing along ±x^,±y^,\pm\hat x, \pm\hat y, or ±z^\pm\hat z. ∣T⟩|T\rangle's Bloch vector is (cos⁡π4,sin⁡π4,0)=(1/2,1/2,0)(\cos\tfrac{\pi}{4}, \sin\tfrac{\pi}{4}, 0) = (1/\sqrt2, 1/\sqrt2, 0) — exactly bisecting the XX and YY axes — so it is stabilized only by the non-Pauli, non-Clifford operator cos⁡(π/4)X+sin⁡(π/4)Y\cos(\pi/4)X+\sin(\pi/4)Y. States outside the stabilizer octahedron have positive stabilizer Rényi entropy (a standard magic monotone) and a Wigner representation that goes negative, which is precisely the resource Clifford circuits cannot generate from scratch and cannot amplify: the Gottesman–Knill theorem says Clifford circuits acting on stabilizer states can be simulated efficiently classically, so some non-stabilizer input is required for the circuit to be classically hard, i.e. potentially universal.

Gate teleportation with ∣T⟩|T\rangle. To apply TT to an unknown state ∣ψ⟩|\psi\rangle fault-tolerantly: prepare ∣T⟩|T\rangle on an ancilla, apply CNOT with ∣ψ⟩|\psi\rangle as control, measure the ancilla in the XX basis, and apply a Clifford correction (SS or identity) depending on the outcome. This consumes one copy of ∣T⟩|T\rangle and one classical bit per TT gate, moving the hard part of fault tolerance from "implement a non-Clifford gate transversally" to "produce clean copies of one specific state."

Distillation. Because physical ∣T⟩|T\rangle preparation is noisy, Bravyi and Kitaev's 15-to-1 distillation protocol takes 15 noisy copies with error ϵ\epsilon and outputs 1 copy with error O(ϵ3)O(\epsilon^3), using only Clifford operations plus measurement — the polynomial suppression is what makes large fault-tolerant T-gate counts (needed for e.g. Shor's algorithm or quantum chemistry) practically achievable.

References

Exact & formal
  • Direct mathematics
  • Verified by construction
  • Peer-reviewed paper
Method
The prepared state's amplitudes (1/√2, e^{iπ/4}/√2) were compared exactly against the T-state definition, and its Bloch vector (1/√2, 1/√2, 0) was checked to lie strictly between the X, Y stabilizer axes — confirming it is not stabilized by any single Pauli, which is the defining property that makes it 'magic.'
Result
Pass · the state matches T|+⟩ exactly and its stabilizer is a non-Pauli operator, consistent with nonzero stabilizer Rényi entropy / negative Wigner-function weight.
Universal Quantum Computation with ideal Clifford gates and noisy ancillas ↗
Kind
curated reference
Reviewed by
Leona Quantum curation pass
License
CC BY 4.0-compatible reference metadata
magic statet-gatefault tolerancenon-clifford

Atlas stars stay in the public catalog. Saving this entry to your workspace starts an unstarred private copy.