Adding the T Gate
The Gottesman–Knill theorem told us that Clifford gates alone yield no speedup; we must add a gate from outside the Clifford group. The standard choice is the gate, and adding it to produces a finite set that is universal: it can approximate any unitary to arbitrary precision.
The T gate
is the diagonal single-qubit gate
It applies a phase to the amplitude (sometimes written because of an overall-phase convention, hence the nickname " gate"). Its relatives in the same diagonal family are
So is the square root of and the fourth root of :
The exercise verifies the first of these directly.
Why T is not Clifford
Conjugate by :
which is a rotation of in the – plane — not a Pauli. Because does not normalize the Pauli group, it escapes the stabilizer formalism, and the Gottesman–Knill simulation no longer applies. This is exactly the property we needed.
Universality of Clifford + T
The set is universal for quantum computation: any -qubit unitary can be approximated to any precision by a finite circuit drawn from this set. Two ingredients make this work:
- and generate a single-qubit rotation about an axis whose angle is an irrational multiple of . Repeatedly composing such a rotation densely fills a great circle of the Bloch sphere; combining two such non-commuting rotations densely fills all of .
- Adding CNOT lifts single-qubit density to density on all of .
Density alone shows approximability; the Solovay–Kitaev theorem (a later lesson) makes it efficient, guaranteeing a short word in the generators for any target precision.
The price of T
Because the Clifford gates are typically transversal (cheap), but the gate is not transversal for the standard codes, is the expensive ingredient. It is supplied fault-tolerantly through magic-state distillation and injection (next lessons), a process that dominates the qubit and time budget of realistic fault-tolerant algorithms. Keep this asymmetry in mind: in Clifford+ circuits, counting gates is counting cost.
Try it
Show that two gates compose into the Clifford phase gate . Build on one qubit; the grader checks that the resulting unitary equals .
Sign in on the full site to ask questions and join the discussion.