Anyons and Topological Order
Excitations of topological codes behave as anyons whose braiding statistics underlie both the robustness of the code and its logical operations.
Excitations as particles
When a stabilizer of the toric code is violated it can be viewed as a localized particle sitting on that vertex or plaquette. Violated vertex operators are called electric charges (e), violated plaquettes are magnetic fluxes (m). A single Pauli error creates a pair of like particles at the ends of its string; moving one particle costs no energy along the string, only at the endpoints.
Braiding statistics
These particles are anyons: they are neither bosons nor fermions. Carrying an e charge all the way around an m flux and back multiplies the joint state by -1, a phase that no local measurement near either particle can detect. This mutual statistics is the physical signature of topological order. The bound state of an e and an m, written epsilon, behaves as a fermion.
- Topological order means ground-state degeneracy that depends on the surface's genus, not on any local symmetry.
- No local operator can distinguish the degenerate logical states, which is why stored information resists local noise.
- Anyon type is a conserved charge: e and m particles can only be created and destroyed in pairs.
- The nontrivial braiding phase is the resource that a topological quantum computer would exploit.
Because the encoded information lives in global, topological features, it is invisible to any local perturbation weaker than the code's energy gap in the physical Hamiltonian, or below its distance in the purely code-based picture. This is the conceptual root of why surface and toric codes tolerate high error rates.
Anyon models more exotic than the toric code's abelian e and m, such as non-abelian Fibonacci anyons, could in principle perform universal computation by braiding alone, but no abelian code including the toric code achieves universality from braiding without additional resources.