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.
This is a note from a series of lectures at Encuentro Colombiano de Computacion Cuantica, Universidad de los Andes, Bogota, Colombia, 2015. The purpose is to introduce additive quantum error correcting codes, with emphasis on the use of binary representation of Pauli matrices and modules over a translation group algebra. The topics include symplectic vector spaces, Clifford group, cleaning lemma, an error correcting criterion, entanglement spectrum, implications of the locality of stabilizer group generators, and the classification of translation-invariant one-dimensional additive codes and two-dimensional CSS codes with large code distances. In particular, we describe an algorithm to find a Clifford quantum circuit (CNOTs) to transform any two-dimensional translation-invariant CSS code on qudits of a prime dimension with code distance being the linear system size, into a tensor product of finitely many copies of the qudit toric code and a product state. Thus, the number of embedded toric codes is the complete invariant of these CSS codes under local Clifford circuits.
We construct Pauli topological subsystem codes characterized by arbitrary two-dimensional Abelian anyon theories–this includes anyon theories with degenerate braiding relations and those without a gapped boundary to the vacuum. Our work both extends the classification of two-dimensional Pauli topological subsystem codes to systems of composite-dimensional qudits and establishes that the classification is at least as rich as that of Abelian anyon theories. We exemplify the construction with topological subsystem codes defined on four-dimensional qudits based on the Z4(1) anyon theory with degenerate braiding relations and the chiral semion theory–both of which cannot be captured by topological stabilizer codes. The construction proceeds by "gauging out" certain anyon types of a topological stabilizer code. This amounts to defining a gauge group generated by the stabilizer group of the topological stabilizer code and a set of anyonic string operators for the anyon types that are gauged out. The resulting topological subsystem code is characterized by an anyon theory containing a proper subset of the anyons of the topological stabilizer code. We thereby show that every Abelian anyon theory is a subtheory of a stack of toric codes and a certain family of twisted quantum doubles that generalize the double semion anyon theory. We further prove a number of general statements about the logical operators of translation invariant topological subsystem codes and define their associated anyon theories in terms of higher-form symmetries.
We study locality preserving automorphisms of operator algebras on D-dimensional uniform lattices of prime p-dimensional qudits quantum cellular automata (QCAs), specializing in those that are translation invariant (TI), and map every prime p-dimensional Pauli matrix to a tensor product of Pauli matrices (Clifford). We associate antihermitian forms of the unit determinant over Laurent polynomial rings to TI Clifford QCA with lattice boundaries and prove that the form determines the QCA up to Clifford circuits and shifts (trivial). It follows that every 2D TI Clifford QCA is trivial since the antihermitian form in this case is always trivial. Furthermore, we prove that for any D, the fourth power of any TI Clifford QCA is trivial. We present explicit examples of nontrivial TI Clifford QCA for D = 3 and any odd prime p and show that the Witt group of the finite field Fp is a subgroup of the group C(D=3,p) of all TI Clifford QCA modulo trivial ones. That is, C(D=3,p≡1mod4)⊇Z2×Z2 and C(D=3,p≡3mod4)⊇Z4. The examples are found by disentangling the ground state of a commuting Pauli Hamiltonian, which is constructed by coupling layers of prime dimensional toric codes such that an exposed surface has an anomalous topological order that is not realizable by commuting Pauli Hamiltonians strictly in two dimensions. In an appendix independent of the main body of this paper, we revisit a recent theorem of Freedman and Hastings that any two-dimensional QCA, which is not necessarily Clifford or translation invariant, is a constant depth quantum circuit followed by a shift. We give a more direct proof of the theorem without using any ancillas.
Given the wide applicability of topological states for fault-tolerant quantum computation, an important outstanding question is how to generate these states within the quantum circuit model, and if it is possible to do so efficiently. In this work, toric code states on the torus are mapped to an equivalent graph state under local Clifford operations. The graph is composed of only two subgraphs, both of which can be generated in log depth, assuming geometrically non-local gates. Including ancillae and measurements, the circuit depth can be reduced to a constant at the cost of increasing the circuit width. Among many insights, the toric code graph structure reveals a close connection between repetition and topological codes. Due to their local equivalence to the toric code, all two-dimensional translationally invariant topological stabilizer codes are therefore efficiently preparable on a quantum circuit. The results provide a new graph-theoretic framework for the development of novel topological error correction codes, beyond geometrical considerations.
Recent work has shown that quantum double models can be used to circumvent the Bravyi-Koenig bound. In particular, this is achieved through code-switching protocols in which non-Pauli stabilizer phases appear as intermediate codes. We introduce the
XCd(k) stabilizer formalism, which generalizes the Pauli stabilizer formalism by combining Pauli-
X operators with diagonal operators drawn from a fixed level
k of the Clifford hierarchy on prime-dimensional qudits. This yields a natural class of beyond-Pauli stabilizer models, including many twisted quantum double phases. We classify a large class of these
XCd(k) stabilizer states, showing that they are uniform superpositions over affine-linear subspaces with diagonal phases. In particular, when the stabilizers of a state require operators from level
k of the Clifford hierarchy, we show that the diagonal gates required to produce the phases in the wavefunction sit one level higher. We further show that every 2D twisted quantum double
Dω(Zpn) with
ω a product of type-III cocycles and
p an odd prime admits a realization using only Clifford (
k=2) stabilizers, and we conjecture that phases where
ω contains a type-I or type-II cocycle require level-
p Clifford-hierarchy stabilizers for
p-dimensional qudits. Finally, we demonstrate that a pair of qudit toric codes may be deterministically prepared in a logical magic state by measuring
XCd(k) stabilizers. Together, these results provide a concrete stabilizer framework for topological codes beyond Pauli stabilizer models and their logical gates.