Here is a list of lattice subsystem stabilizer codes.

Code | Description |
---|---|

2D subsystem color code | A subsystem version of the 2D color code. |

3D subsystem color code | A subsystem version of the 3D color code. |

3D subsystem surface code | Subsystem generalization of the surface code on a 3D cubic lattice with gauge-group generators of weight at most three. |

Capped color code (CCC) | A non-geometrically local subsystem color code consisting of two layers of 2D color code stacked together and topped (or capped) by a single qubit. Gauge fixing yields two types of codes, capped color codes in H or T form. Layers of 2D color codes can also be stacked together in a recursive construction, yielding recursive capped color codes (RCCCs). |

Chiral semion subsystem code | Modular-qudit subsystem stabilizer code with qudit dimension \(q=4\) that is characterized by the chiral semion topological phase. Admits a set of geometrically local stabilizer generators on a torus. |

Doubled color code | Family of \([[2t^3+8t^2+6t-1,1,2t+1]]\) subsystem color codes (with \(t\geq 1\)), constructed using a generalization of the doubling transformation [1], that admit a Clifford + \(T\) transversal gate set using gauge fixing. |

Generalized five-squares code | Member of a family of subsystem codes that are generalizations [2,3] of a code defined on a three-valent hypergraph associated with the five-squares lattice [4]. |

Heavy-hexagon code | Subsystem stabilizer code on the heavy-hexagonal lattice that combines Bacon-Shor and surface-code stabilizers. Encodes one logical qubit into \(n=(5d^2-2d-1)/2\) physical qubits with distance \(d\). The heavy-hexagonal lattice allows for low degree (at most 3) connectivity between all the data and ancilla qubits, which is suitable for fixed-frequency transom qubits subject to frequency collision errors. The code can be split into a surface and a Bacon-Shor code, with the idling qubits of one code serving as the physical qubits of the other [5]. |

Kitaev honeycomb code | Code whose logical subspace is labeled by different fusion outcomes of Ising anyons present in the Ising-anyon topological phase of the Kitaev honeycomb model [6]. Each logical qubit is constructed out of four Majorana operators, which admit braiding-based gates due to their non-Abelian statistics and which can be used for topological quantum computation. Ising anyons also exist in other phases, such as the fractional quantum Hall phase [7]. |

Lattice subsystem code | A geometrically local qubit, modular-qudit, or Galois-qudit subsystem stabilizer code with qudits organized on a lattice modeled by the additive group \(\mathbb{Z}^D\) for spatial dimension \(D\). On an infinite lattice, its gauge and stabilizer groups are generated by few-site Pauli operators and their translations, in which case the code is called translationally invariant subsystem code. Boundary conditions have to be imposed on the lattice in order to obtain finite-dimensional versions, in which case the stabilizer group may no longer be generated by few-site Pauli operators. Lattice defects and boundaries between different codes can also be introduced. |

Modular-qudit subsystem color code | An extension of subsystem color codes to modular qudits. Codes are defined analogous to qubit subsystem color codes, but a directionality is required in order to make the modular-qudit stabilizer commute [8; Sec. VII]. |

Subsystem color code | A subsystem version of the color code. One way to obtain it is by expanding the vertices of a two-colex embedded in a surface of genus \(g\). Vertex expansion consists of spl every vertex into a triangle and splitting every edge into a pair of edges. |

Subsystem rotated surface code | Subsystem version of the rotated surface code. |

Subsystem surface code | Subsystem version of the surface code defined on a square lattice with qubits placed at every vertex and center of everry edge. |

Three-fermion (3F) subsystem code | 2D subsystem stabilizer code whose low-energy excitations realize the three-fermion anyon theory [9–11]. One version uses two qubits at each site [12], while other manifestations utilize a single qubit per site and only weight-two (two-body) interactions [10,13]. All are expected to be equivalent to each other via a local constant-depth Clifford circuit. |

\(\mathbb{Z}_3\times\mathbb{Z}_9\)-fusion subsystem code | Modular-qudit 2D subsystem stabilizer code whose low-energy excitations realize a non-modular anyon theory with \(\mathbb{Z}_3\times\mathbb{Z}_9\) fusion rules. Encodes two qutrits when put on a torus. |

\(\mathbb{Z}_q^{(1)}\) subsystem code | Modular-qudit subsystem code, based on the Kitaev honeycomb model [6] and its generalization [14], that is characterized by the \(\mathbb{Z}_q^{(1)}\) anyon theory [15], which is modular for odd prime \(q\) and non-modular otherwise. Encodes a single \(q\)-dimensional qudit when put on a torus for odd \(q\), and a \(q/2\)-dimensional qudit for even \(q\). This code can be constructed using geometrically local gauge generators, but does not admit geometrically local stabilizer generators. For \(q=2\), the code reduces to the subsystem code underlying the Kitaev honeycomb model code as well as the honeycomb Floquet code. |

## References

- [1]
- K. Betsumiya and A. Munemasa, “On triply even binary codes”, Journal of the London Mathematical Society 86, 1 (2012) arXiv:1012.4134 DOI
- [2]
- P. Sarvepalli and K. R. Brown, “Topological subsystem codes from graphs and hypergraphs”, Physical Review A 86, (2012) arXiv:1207.0479 DOI
- [3]
- V. V. Gayatri and P. K. Sarvepalli, “Decoding Algorithms for Hypergraph Subsystem Codes and Generalized Subsystem Surface Codes”, (2018) arXiv:1805.12542
- [4]
- M. Suchara, S. Bravyi, and B. Terhal, “Constructions and noise threshold of topological subsystem codes”, Journal of Physics A: Mathematical and Theoretical 44, 155301 (2011) arXiv:1012.0425 DOI
- [5]
- B. Hetényi and J. R. Wootton, “Creating entangled logical qubits in the heavy-hex lattice with topological codes”, (2024) arXiv:2404.15989
- [6]
- A. Kitaev, “Anyons in an exactly solved model and beyond”, Annals of Physics 321, 2 (2006) arXiv:cond-mat/0506438 DOI
- [7]
- S. Bravyi, “Universal quantum computation with theν=5∕2fractional quantum Hall state”, Physical Review A 73, (2006) arXiv:quant-ph/0511178 DOI
- [8]
- F. H. E. Watson et al., “Qudit color codes and gauge color codes in all spatial dimensions”, Physical Review A 92, (2015) arXiv:1503.08800 DOI
- [9]
- E. Rowell, R. Stong, and Z. Wang, “On classification of modular tensor categories”, (2009) arXiv:0712.1377
- [10]
- H. Bombin, M. Kargarian, and M. A. Martin-Delgado, “Interacting anyonic fermions in a two-body color code model”, Physical Review B 80, (2009) arXiv:0811.0911 DOI
- [11]
- H. Bombin, G. Duclos-Cianci, and D. Poulin, “Universal topological phase of two-dimensional stabilizer codes”, New Journal of Physics 14, 073048 (2012) arXiv:1103.4606 DOI
- [12]
- T. D. Ellison et al., “Pauli topological subsystem codes from Abelian anyon theories”, Quantum 7, 1137 (2023) arXiv:2211.03798 DOI
- [13]
- H. Bombin, “Topological subsystem codes”, Physical Review A 81, (2010) arXiv:0908.4246 DOI
- [14]
- M. Barkeshli et al., “Generalized Kitaev Models and Extrinsic Non-Abelian Twist Defects”, Physical Review Letters 114, (2015) arXiv:1405.1780 DOI
- [15]
- P. H. Bonderson, Non-Abelian Anyons and Interferometry, California Institute of Technology, 2007 DOI