The Toric Code
Kitaev's toric code places qubits on a lattice wrapped on a torus, encoding two logical qubits in its topology and introducing topological protection.
Qubits on a torus
The toric code, introduced by Alexei Kitaev, is defined on a square lattice drawn on the surface of a torus, with a qubit on each edge. Its stabilizers are star operators, products of X on the four edges meeting a vertex, and plaquette operators, products of Z on the four edges around a face. All stars and plaquettes commute, since any star and plaquette overlap on zero or two edges.
Because the torus has no boundary, the number of independent stabilizers falls two short of the number of qubits, leaving a code space that encodes two logical qubits. The logical operators are Pauli strings that wind around the two nontrivial loops of the torus.
Topological protection
Logical information is stored not locally but in the topology of the lattice. A logical operator must form a loop that circles the torus, so its weight scales with the lattice size L. No local error, however it is applied, can change the encoded state, because deforming a contractible loop only multiplies by stabilizers. This is the essence of topological order: the ground-space degeneracy depends on the surface's genus, not on any local detail.
- Qubit per edge; star (X) and plaquette (Z) stabilizers, all weight 4.
- Two logical qubits from the torus's two independent cycles.
- Logical operators wind around the torus; minimum weight = L.
- Encoded data is topological, invulnerable to any local perturbation.
From torus to chip
The torus is convenient for theory but hard to build. The surface code is the planar version: cut the torus open and add carefully chosen boundaries so a flat patch encodes one logical qubit while keeping the same local, four-body checks. The toric code also gives the cleanest picture of anyonic excitations, the star and plaquette defects that behave as particles, whose braiding statistics underpin topological quantum computing.
Historically the toric code is the origin of the entire surface-code program and remains the standard model for teaching topological quantum error correction.