Interacting topological order and ground-state degeneracy
Use the toric code to derive topology-dependent degeneracy and distinguish intrinsic order from symmetry-protected bands and ordinary symmetry breaking.
On this page
The question for today
What you’ll understand
- Count independent commuting constraints in a toric-code ground space.
- Relate closed-surface genus to logical-state dimension.
- Distinguish intrinsic topological order, symmetry-protected phases, and claims about memory stability.
An interacting gapped system can have several locally indistinguishable ground states whose number depends on the topology of space. This is different from the degeneracy of a ferromagnet, whose states carry different local magnetization, and different from a symmetry-protected band insulator. The toric code supplies an exact model where commuting local terms let us derive the ground-state count. Its simplicity also makes the limits of protection visible instead of turning topological degeneracy into a promise of unlimited memory lifetime.
Local commuting terms define a gapped constraint system
Put one spin-half degree of freedom on every edge of a square lattice. A star operator multiplies x Pauli matrices on the edges incident to a vertex; a plaquette multiplies z matrices around a face. Each operator squares to identity. A star and plaquette either share zero edges or two, so the two anticommutation signs cancel. All Hamiltonian terms commute, allowing simultaneous eigenstates labelled by their local constraint values.
Positive couplings favour every star and plaquette eigenvalue plus one. Flipping one term's eigenvalue raises its energy by twice that term's coupling. On a closed surface, global product constraints require the corresponding defects to occur with appropriate even total parity. Open strings create defect pairs at their endpoints, while transporting a defect around a noncontractible cycle can change a global sector without leaving local defects behind. This connects local excitations with nonlocal ground-space operations.
Two redundant constraints leave global degrees of freedom
On a connected closed orientable surface, the product of every star is identity because each edge occurs twice. The same holds for the plaquettes. Thus there are two relations among the stabilizer constraints. With one qubit per edge, each independent commuting constraint halves the unconstrained Hilbert-space dimension. Combining this count with the Euler characteristic gives two logical qubits per handle, and four ground states on a torus.
These sectors are distinguished by noncontractible loop operators rather than a local order parameter. A loop and a dual loop crossing once have anticommuting logical actions. Local operators cannot distinguish ideal sectors in a large code without accessing a winding structure. Under sufficiently weak local perturbations within the gapped phase, finite-size splittings are suppressed with system size; exact degeneracy of the commuting model should not be demanded from every finite microscopic realization.
Intrinsic order is not the same as a protected band edge
The toric code has intrinsic topological order: its anyon sectors and closed-surface degeneracy persist without requiring an external symmetry to forbid a local order parameter. A conventional symmetry-protected phase can instead have a unique closed-system ground state and lose its distinction when the protecting symmetry is relaxed. Band Chern numbers and Z₂ indices classify specific one-particle settings; interacting many-body phases can require different invariants, and some free-fermion classifications change when interactions are admitted.
A gapped many-body phase and its local indistinguishability assumptions must be established before interpreting near-degenerate numerical levels as topological sectors. Disorder and finite geometry can produce unrelated low-energy states. Nor does zero-temperature degeneracy alone prove passive thermal error correction: the elementary two-dimensional model permits creating a defect pair at finite cost and separating it without an energy growing with path length. Practical memories therefore need a temperature, noise, dynamics, and active-control analysis in addition to an elegant ground-state count.
Work it through
Count a small torus without overcounting checks
A 4 by 3 periodic square torus carries the stated toric code. Find physical qubits, independent stabilizer constraints, ground-space dimension, and the cost of creating two star defects when Je=0.40 meV and all plaquettes remain satisfied.
There are 12 vertices, 12 faces and 24 edges, so 24 physical qubits. Each periodic cell contributes one horizontal and one vertical edge; counting four edges per face without dividing shared edges would double this total.
The 24 listed checks have two global product relations, leaving 22 independent constraints. Hence , corresponding to two logical qubits on a genus-one closed surface.
Each violated star changes its term from −Je to +Je, costing 2Je. A permitted pair therefore costs meV. Moving the pair apart with a longer open string changes its endpoints but need not add more violated stars.
The model has 24 physical qubits, 22 independent checks, four ground states, and a 1.60 meV two-star-defect cost. The state count depends on the torus rather than a local magnetization choice.
The living notebook
Explore the model
Interactive lab · probability
Coarse-grain uniformly mixed logical sectors
If the two torus logical bits are independently and uniformly mixed, Reset and set both controls to p=0.5 and n=2. Predict mean number of ones 1, variance 0.5, and count probabilities 1/4,1/2,1/4; the middle bar merges two distinct sectors. For a fresh genus-two counting comparison with four such bits, Reset and set both controls to p=0.5 and n=4; predict mean 2 and variance 1.
- Mean · np
- 5
- Variance · np(1−p)
- 2.5
- Total probability
- 1
These are exact binomial probabilities for independent trials with one fixed success probability. Playback tours the distribution; it does not resample outcomes. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forBinomial bars can group several logical sectors into one count outcome. This assumed classical mixture does not derive toric-code degeneracy, display anyons, prepare a quantum code state, or model its thermal errors.
Pause & reason
Check your understanding
Your turn
Try it yourself
Place the same ideal toric-code construction on a connected closed orientable genus-two surface. Using Euler's relation and the two global constraint relations, derive the ground-space dimension and number of logical qubits.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Subtract the independent-check count V+F−2 from the edge-qubit count E before converting the remaining exponent to a dimension.
Compare with the solution
Euler's relation gives , so . The ground space therefore has dimension and encodes four logical qubits. The result presumes the closed-surface toric-code model and its two global relations. Adding physical boundaries or changing the anyon theory can change the degeneracy, so counting handles is not a universal formula for every interacting topological phase.
Keep the idea
Take it with you
- Commuting local constraints allow an exact toric-code ground-space count.
- Closed-surface topological sectors are locally indistinguishable and differ from ordinary broken-symmetry states.
- Intrinsic order, symmetry protection, finite-size splitting, and thermal memory performance are separate claims.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.