Topological Calderbank-Shor-Steane (CSS) codes in more than two spatial dimensions offer features useful for fault-tolerant quantum computation, such as transversal non-Clifford gates and single-shot decoding, but a systematic understanding of them is still lacking. One approach is to decouple a code: map it to a stack of higher-form toric codes by a finite-depth local CSS-preserving Clifford circuit, possibly after adding ancillas. For translation-invariant
p-ary CSS codes, where
p is prime (
p=2 for qubits), we require the circuit to commute with the translations of a superlattice. In two dimensions, such a decoupling exists once these translations act trivially on every anyon type. In higher dimensions, excitations are sorted by their dimension into superselection layers, which can remain glued together even when translations act trivially on each layer. We show that this gluing is the only remaining obstruction: a code can be decoupled on a superlattice exactly when, after coarse-graining to it, translations act trivially on every layer and the gluing vanishes. Moreover, for a code with finitely many excitation types in each layer and
m nonzero layers, once translations act trivially on every layer, further coarse-graining by a factor of
pm−1 in every direction removes the aforementioned gluing. Physically, the same criterion determines when the code encodes the maximal number of logical qudits on a finite torus. Finally, we give an explicit algorithm that constructs the decoupling as a circuit of SUM (qudit CNOT) and SWAP gates.
Can excitation structure classify topological quantum codes up to finite-depth local circuits? For translation-invariant topological Calderbank--Shor--Steane (CSS) codes in arbitrary dimensions, we introduce excitation superselection profiles
Eσ (
σ=X,Z). Their cohomology layers
Eσℓ:=Hℓ(Eσ) encode excitation types, fusion rules, and translation action, while
Eσ retains cross-degree gluing. Pointlike, looplike, and higher-dimensional excitations correspond to degrees
ℓ=1,2,…, respectively. Our matrix-level Schanuel-lemma method proves single-degree superselection rigidity: if
Eσ is supported in a single degree
ℓ, then
Eσℓ and
ℓ fix the stable translation-invariant Clifford class under a finite-resolution hypothesis automatic for prime qudits. If
Eσℓ is also finite, prime-qudit codes decouple into toric-code stacks by Clifford circuits after coarse graining, with the exact minimal threshold set by the translation kernel. We develop a unified topological theory of Koszul-complex models (encompassing toric codes, bivariate-bicycle codes, and Haah's cubic code): for regular models, we compute
Eσℓ, prove
Eσ is single-degree, express finite-torus logical modules as
Tor groups, and obtain coarse-grained toric-stack normal forms at full length. Two constructions extend this framework to realize any admissible single-degree profile and build multi-degree extensions. The latter yields eight 3D qubit toric-code extensions with identical layers in both Pauli sectors and trivial translation action, yet distinct size-dependent ground-state degeneracies. The seven nonsplit models require blocking to decouple. Thus, cross-degree gluing carries translation-symmetry-enriched topological information invisible to individual layers.
In recent years, there have been many studies on local stabilizer codes. Under the assumption of translation and scale invariance Yoshida classified such codes. His result implies that translation invariant 2D color codes are equivalent to copies of toric codes. Independently, Bombin, Duclos-Cianci, and Poulin showed that a local translation invariant 2D topological stabilizer code is locally equivalent to a finite number of copies of Kitaev's toric code. In this paper we focus on 2D topological color codes and relax the assumption of translation invariance. Using a linear algebraic framework we show that any 2D color code (without boundaries) is locally equivalent to two copies of a related surface code. This surface code is induced by color code. We study the application of this equivalence to the decoding of 2D color codes over the bit flip channel as well as the quantum erasure channel. We report the performance of the color code on the square octagonal lattice over the quantum erasure channel. Further, we provide explicit circuits that perform the transformation between 2D color codes and surface codes. Our circuits do not require any additional ancilla qubits.
Two-dimensional topological translationally-invariant (TTI) quantum codes, such as the toric code (TC) and bivariate bicycle (BB) codes, are promising candidates for fault-tolerant quantum computation. For such codes to be practically relevant, their decoders must successfully correct the most likely errors while remaining computationally efficient. For the TC, graph-matching decoders satisfy both requirements and, additionally, admit provable performance guarantees. Given the equivalence between TTI codes and (multiple copies of) the TC, one may then ask whether TTI codes also admit analogous graph-matching decoders. In this work, we develop a graph-matching approach to decoding general TTI codes. Intuitively, our approach coarse-grains the TTI code to obtain an effective description of the syndrome in terms of TC excitations, which can then be removed using graph-matching techniques. We prove that our decoders correct errors of weight up to a constant fraction of the code distance and achieve nonzero code-capacity and circuit-level thresholds in the specified noise models. We further numerically study a variant optimized for practically relevant BB codes and observe performance comparable to that of belief propagation with ordered statistics decoding (BP-OSD). We also study the code-capacity threshold for the hexagonal color code as a proof of concept. Our results indicate that graph-matching decoders are a viable approach to decoding BB codes and other TTI codes.
In this paper, we introduce an algorithm for extracting topological data from translation invariant generalized Pauli stabilizer codes in two-dimensional systems, focusing on the analysis of anyon excitations and string operators. The algorithm applies to Z d qudits, including instances where d is a nonprime number. This capability allows the identification of topological orders that differ from the Z d toric codes. It extends our understanding beyond the established theorem that Pauli stabilizer codes for Z p qudits (with p being a prime) are equivalent to finite copies of Z p toric codes and trivial stabilizers. The algorithm is designed to determine all anyons and their string operators, enabling the computation of their fusion rules, topological spins, and braiding statistics. The method converts the identification of topological orders into computational tasks, including Gaussian elimination, the Hermite normal form, and the Smith normal form of truncated Laurent polynomials. Furthermore, the algorithm provides a systematic approach for studying quantum error-correcting codes. We apply it to various codes, such as self-dual CSS quantum codes modified from the two-dimensional honeycomb color code and non-CSS quantum codes that contain the double semion topological order or the six-semion topological order. Published by the American Physical Society 2024
We construct a local decoder for the 2D toric code using ideas from the hierarchical classical cellular automata of Tsirelson and Gács. Our decoder is a circuit of strictly local quantum operations preserving a logical state for exponential time in the presence of circuit-level noise without the need for non-local classical computation or communication. Our construction is not translation invariant in spacetime, but can be made time-translation invariant in 3D with stacks of 2D toric codes. This solves the open problem of constructing a local topological quantum memory below four dimensions.