Anyonic Excitations

Errors on the toric code are not just abstract Pauli operators — they create localized quasiparticles, the code's anyons. A $Z$ -type error excites charge anyons (called $e$ ) living on vertices; an $X$ -type error excites flux anyons (called $m$ ) living on plaquettes. The remarkable fact, central to topological order, is that dragging an $e$ around an $m$ multiplies the state by $-1$ : they have nontrivial mutual statistics. This lesson explains where the anyons come from and how they braid.

Violated checks are excitations

Recall the Hamiltonian $H = -\sum_v A_v - \sum_p B_p$ . A ground state has every $A_v = +1$ and every $B_p = +1$ . An excitation is a check that reads $-1$ . Because the toric code is a stabilizer code, applying a Pauli error to the ground state can only flip the eigenvalues of the checks that anticommute with that error, leaving all others at $+1$ .

A single $Z_e$ on edge $e$ anticommutes with exactly the two star operators $A_v$ at the endpoints of $e$ (those stars contain $X_e$ , and $X$ anticommutes with $Z$ ). So $Z_e$ creates a pair of $e$ excitations on the two adjacent vertices.
A single $X_e$ anticommutes with the two plaquette operators $B_p$ on the faces sharing $e$ . So $X_e$ creates a pair of $m$ excitations on the two adjacent plaquettes.

Each elementary error therefore produces excitations in pairs — anyons of the toric code are created and destroyed two at a time.

String operators

Chain elementary errors along a path. A product of $Z$ 's along a connected path $\gamma$ on the lattice,

S^Z_\gamma = \prod_{e \in \gamma} Z_e ,

leaves every star interior to the path unexcited — each interior vertex meets two edges of $\gamma$ , an even overlap, so $A_v$ is unflipped. Only the two endpoints of $\gamma$ remain excited. Thus a $Z$ string transports an $e$ anyon from one end to the other; its endpoints carry the charges. Dually, an $X$ string on the dual lattice (crossing edges) moves an $m$ anyon between two plaquettes.

Mutual statistics: the $-1$ on braiding

Now braid one anyon around another. Take an $e$ anyon (end of a $Z$ string) and move it around a closed loop $C$ that encircles an $m$ anyon (end of an $X$ string). The closed $Z$ -string operator around $C$ is

W^Z_C = \prod_{e \in C} Z_e .

If $C$ encircles a single plaquette holding an $m$ , the loop $C$ and the $X$ string that created the $m$ cross on exactly one edge. On that one shared edge $Z$ and $X$ anticommute, so

W^Z_C \,|\psi\rangle = -\,|\psi\rangle

relative to the no-braiding case. Carrying an $e$ all the way around an $m$ multiplies the state by $-1$ . The two species have mutual $-1$ statistics: trivial self-statistics individually (each is a boson with itself), but the wavefunction picks up a $-1$ when one fully encircles the other.

The four superselection sectors

Composing excitations gives the toric code's anyon content:

\{\, 1,\; e,\; m,\; \varepsilon = e \times m \,\},

where $1$ is the vacuum and the fermion $\varepsilon$ is a bound $e$ - $m$ pair. This $\mathbb{Z}_2 \times \mathbb{Z}_2$ fusion structure, together with the $-1$ braiding of $e$ and $m$ , is precisely the topological order that protects the encoded qubits. The logical operators of the next lesson are nothing but anyon-string operators wrapped around the noncontractible loops of the torus, where they can no longer be undone by local processes.