Transversal Gates
A transversal gate acts independently on corresponding qubits of code blocks, making it automatically fault-tolerant.
Definition
A logical gate is transversal if it is implemented by applying single-qubit gates to each physical qubit of a block independently, or, for two-qubit logical gates, by pairing the i-th qubit of one block only with the i-th qubit of another. Crucially, no two qubits within the same block ever interact. This structure is what makes transversal gates the gold standard of fault tolerance.
Why they are fault-tolerant
Because qubits in a block never talk to each other during a transversal gate, a fault on one physical gate can corrupt at most one qubit in that block. It cannot spread to its neighbors within the block. The single-fault-single-error property, the definition of a fault-tolerant gadget, is satisfied automatically without any extra machinery.
- Bitwise application: gate acts qubit-by-qubit, no intra-block coupling.
- A single gate fault yields at most one error per block.
- CSS codes have transversal CNOT; Steane adds transversal H and S.
- No wiring or verification needed, unlike distilled gates.
The transversal CNOT
For any CSS code, a bitwise CNOT between two blocks, CNOT on the i-th qubit of each pair, implements a logical CNOT, because it maps X-stabilizers and Z-stabilizers to products of stabilizers. The Steane code additionally has transversal Hadamard and phase gates, giving the entire Clifford group transversally, which is one of its main attractions.
The fundamental limit
No code can implement a universal gate set transversally. This is the Eastin-Knill theorem: transversal gates always form a finite group, and a finite group cannot be universal. In particular the non-Clifford T gate is never transversal in a code whose Cliffords are. The standard workaround is magic state distillation, which prepares a special resource state fault-tolerantly and consumes it to enact T via gate teleportation. Transversal gates thus cover most operations cheaply, while distillation fills the one gap they cannot.