We construct a family of infinitely many candidate non-Abelian self-correcting topological quantum memories in D ≥ 5 + 1 spacetime dimensions without particle excitations using local commuting non-Pauli stabilizer lattice models and field theories of Z 2 3 higher-form gauge fields with nontrivial topological action. We call such non-Pauli stabilizer models magic stabilizer codes. The family of topological orders have Abelian electric excitations and non-Abelian magnetic excitations that obey Ising-like fusion rules and non-Abelian braiding, including Borromean ring type braiding which is a signature of non-Abelian topological order, generalizing the dihedral group D 8 gauge theory in ( 2 + 1 ) D . The simplest example includes a non-Abelian self-correcting memory in ( 5 + 1 ) D with Abelian loop excitations and non-Abelian membrane excitations. We prove the self-correction property and the thermal stability and devise a probabilistic local cellular-automaton decoder. We also construct fault-tolerant non-Clifford CCZ logical gate using constant-depth circuits from higher-cup products in the 5D non-Abelian code. The use of higher-cup products and non-Pauli stabilizers allows us to get an O ( n 2 / 5 ) distance overcoming the O ( n 1 / 3 ) distance barrier in conventional topological stabilizer codes, including the 3D color code and the 6D self-correcting color code.
We construct a family of infinitely many candidate non-Abelian self-correcting topological quantum memories in D ≥ 5 + 1 spacetime dimensions without particle excitations using local commuting non-Pauli stabilizer lattice models and field theories of Z 2 3 higher-form gauge fields with nontrivial topological action. We call such non-Pauli stabilizer models magic stabilizer codes. The family of topological orders have Abelian electric excitations and non-Abelian magnetic excitations that obey Ising-like fusion rules and non-Abelian braiding, including Borromean ring type braiding which is a signature of non-Abelian topological order, generalizing the dihedral group D 8 gauge theory in ( 2 + 1 ) D . The simplest example includes a non-Abelian self-correcting memory in ( 5 + 1 ) D with Abelian loop excitations and non-Abelian membrane excitations. We prove the self-correction property and the thermal stability and devise a probabilistic local cellular-automaton decoder. We also construct fault-tolerant non-Clifford CCZ logical gate using constant-depth circuits from higher-cup products in the 5D non-Abelian code. The use of higher-cup products and non-Pauli stabilizers allows us to get an O ( n 2 / 5 ) distance overcoming the O ( n 1 / 3 ) distance barrier in conventional topological stabilizer codes, including the 3D color code and the 6D self-correcting color code.
A fundamental problem in fault-tolerant quantum computation is the tradeoff between universality and dimensionality, exemplified by the the Bravyi-König bound for n-dimensional topological stabilizer codes. In this work, we extend topological Pauli stabilizer codes to a broad class of n-dimensional Clifford hierarchy stabilizer codes. These codes correspond to the (n+1)D Dijkgraaf-Witten gauge theories with non-Abelian topological order. We construct transversal non-Clifford gates through automorphism symmetries represented by cup products. In 2D, we obtain the first transversal non-Clifford logical gates including T and CS for Clifford stabilizer codes, using the automorphism of the twisted Z23 gauge theory (equivalent to D4 topological order). We also combine it with the just-in-time decoder to fault-tolerantly prepare the logical T magic state in O(d) rounds via code switching. In 3D, we construct a transversal logical T gate in a non-Clifford stabilizer code at the third level of the Clifford hierarchy, located on a tetrahedron corresponding to a twisted Z24 gauge theory. Our constructions surpass the Bravyi-König bound by achieving the logical gates in the (n+1)-th level of Clifford hierarchy in n spatial dimension.
A fundamental problem of fault-tolerant quantum computation with quantum low-density parity-check (qLDPC) codes is the tradeoff between connectivity and universality. It is widely believed that in order to perform native logical non-Clifford gates, one needs to resort to 3D product-code constructions. In this work, we extend Kitaev's framework of non-Abelian topological codes on manifolds to non-Abelian qLDPC codes (realized as Clifford-stabilizer codes) and the corresponding combinatorial topological quantum field theories (TQFT) defined on Poincaré CW complexes and certain types of general chain complexes. We also construct the spacetime path integrals as topological invariants on these complexes. Remarkably, we show that native non-Clifford logical gates can be realized using constant-rate 2D hypergraph-product codes and their Clifford-stabilizer variants. This is achieved by a spacetime path integral effectively implementing the addressable gauging measurement of a new type of 0-form subcomplex symmetries, which correspond to addressable transversal Clifford gates and become higher-form symmetries when lifted to higher-dimensional CW complexes or manifolds. Building on this structure, we apply the gauging protocol to the magic state fountain scheme for parallel preparation of O(n) disjoint CZ magic states with code distance of O(n), using a total number of n qubits.
We propose a family of explicit geometrically local circuits on a 2-dimensional planar grid of qudits, realizing any abelian non-chiral topological phase as an actively error-corrected fault-tolerant memory. These circuits are constructed from measuring 1-form symmetries in discrete fixed-point path integrals, which we express through cellular cohomology and higher-order cup products. The specific path integral we use is the abelian Dijkgraaf-Witten state sum on a 3-dimensional cellulation, which is a spacetime representation of the twisted quantum double model. The resulting circuits are based on a syndrome extraction circuit of the (qudit) stabilizer toric code, into which we insert non-Clifford phase gates that implement the “twist''. The overhead compared to the toric code is moderate, in contrast to known constructions for twisted abelian phases. We also show that other architectures for the (qudit) toric code phase, like measurement-based topological quantum computation or Floquet codes, can be enriched with phase gates to implement twisted quantum doubles instead of their untwisted versions. As a further result, we prove fault tolerance under arbitrary local (including non-Pauli) noise for a very general class of topological circuits that we call 1-form symmetric fixed-point circuits. This notion unifies the circuits in this paper as well as the stabilizer toric code, subsystem toric code, measurement-based topological quantum computation, or the (CSS) honeycomb Floquet code. We also demonstrate how our method can be adapted to construct fault-tolerant circuits for specific non-Abelian phases. In the appendix we present an explicit combinatorial procedure to define formulas for higher cup products on arbitrary cellulations, which might be interesting in its own right to the TQFT and topological-phases community.
Non-Abelian quantum codes connect quantum error correction, phases of matter, and computational resources. In this work, we develop a general framework for constructing non-Abelian quantum low-density parity-check (qLDPC) codes by gauging sheaf codes via cup products and use it to establish code families with constant encoding rate and linear distance, simultaneously achieving optimal asymptotic scaling in both parameters. In particular, we characterize explicit logical representatives of the full gauged code space, and provide a fundamental treatment of non-Abelian code distance in the sense of Knill--Laflamme based on combining expansion with cleaning to establish protection against arbitrary errors. We further construct an almost-good family with entire code spaces exhibiting long-range magic. Moreover, we use linearly addressable cup product to directly generate linearly many encoded magic states from gauging measurements of Clifford operators. These results extend good qLDPC codes beyond the Pauli stabilizer setting, lay the foundation for pursuing the no low-energy trivial magic conjecture and shed light on non-Abelian quantum phases and orders beyond geometric locality.
We propose protocols to implement non-Clifford logical gates between stabilizer codes by entangling into a non-Abelian topological order as an intermediate step. Generalizing previous approaches, we provide a framework that generates a large class of non-Clifford and nondiagonal logical gates between qudit surface codes by gauging the topological symmetry of symmetry-enriched topological orders. As our main example, we concretely detail a protocol that utilizes the quantum double of S 3 to generate a controlled-charge-conjugation ( C C ) gate between a qubit and qutrit surface code. Both the preparation of non-Abelian states and logical state injection between the Abelian and non-Abelian codes are executed via finite-depth quantum circuits with measurement and feedforward. We discuss aspects of the fault tolerance of our protocol, presenting insights into how to construct a heralded decoder for the quantum double of S 3 . We also outline how analogous protocols can be used to obtain logical gates between qudit surface codes by entangling into D ( G ) , where G is a semidirect product of Abelian groups. This work serves as a step toward classifying the computational power of non-Abelian quantum phases beyond the paradigm of anyon braiding on near-term quantum devices.
We present an entirely 2D constant-depth realization of topologically protected phase gates at any level of the Clifford hierarchy, and beyond, using non-Abelian surface codes. Our construction encodes a logical qubit in the quantum double D(G) of a non-Abelian group G on a triangular spatial patch. The logical gate is implemented by a constant-depth circuit constructed from stacking on the spatial region a symmetry-protected topological (SPT) phase specified by a group 2-cocycle and boundary counter-terms. The Bravyi-König theorem limits the unitary gates implementable by constant-depth quantum circuits on Pauli stabilizer codes in D dimensions to the D-th level of the Clifford hierarchy. We bypass this limitation, by constructing constant-depth unitary gates at arbitrary levels of the Clifford hierarchy purely in 2D, without sacrificing locality or fault tolerance, at the cost of using the quantum double of a non-Abelian group G. Specifically, for G=D4N, the dihedral group of order 8N, we realize the phase gate T1/N=diag(1,eiπ/(4N)) in the logical Z basis. In this context, we propose a non-abelian stabilizer group formalism, which we work out for dihedral groups. For 8N=2n, the logical gate lies at the n-th level of the Clifford hierarchy and, importantly, has a qubit-only realization: we show that it can be constructed in terms of Clifford-hierarchy stabilizers for a code with n physical qubits on each edge of the lattice. We also discuss code-switching to the double surface-code D(Z2×Z2), to complete a universal gate-set in this setup.