The toric code is a topological quantum error correcting code, and an example of a stabilizer code, defined on a two-dimensional spin lattice It is the simplest and most well studied of the quantum double models. It is also the simplest example of topological order—Z2 topological order (first studied in the context of Z2spin liquid in 1991). The toric code can also be considered to be a Z2lattice gauge theory in a particular limit. It was introduced by Alexei Kitaev.
The toric code gets its name from its periodic boundary conditions, giving it the shape of a torus. These conditions give the model translational invariance, which is useful for analytic study. However, experimental realization requires open boundary conditions, allowing the system to be embedded on a 2D surface. The resulting code is typically known as the planar code. This has identical behaviour to the toric code in most, but not all, cases.
The toric code is defined on a two-dimensional lattice, usually chosen to be the square lattice, with a spin-½ degree of freedom located on each edge. They are chosen to be periodic. Stabilizer operators are defined on the spins around each vertex and plaquette (or face) of the lattice as follows,