Constant-Depth Clifford-Hierarchy Gates via Non-Abelian Surface Codes
quant-ph, cond-mat.str-el, hep-th, math-ph, math.MP
Submitted: 2025-12-15
Updated: 2026-09-23
Comments: 29 pages, v2: expanded discussion of stabilizer groups for non-abelian quantum doubles, v3: revised version, v4: published in PRX Quantum
Journal ref: PRX Quantum 7 (2026) 3, 033029
DOI: 10.1103/kfxl-rv7c
License: http://creativecommons.org/licenses/by/4.0/
The gist: 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.
Terminology
Abstract
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 = D 4N, the dihedral group of order 8N, we realize the phase gate T 1/N = diag(1, e iπ/(4N)) in the logical basis. In this context, we propose a non-abelian stabilizer group formalism, which we work out for dihedral groups. For 8N = 2 n, 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(Z 2 times Z 2), to complete a universal gate-set in this setup.
Sources
- Classification of topologically protected gates for local stabilizer codes
- Hybrid Lattice Surgery: Non-Clifford Gates via Non-Abelian Surface Codes
- Universal Quantum Computation with ideal Clifford gates and noisy ancillas
- Surface code quantum computing by lattice surgery
- Magic state distillation with low overhead
- Qudit lattice surgery
- Universal quantum computation in the surface code using non-Abelian islands
- Universal fault tolerant quantum computation in 2D without getting tied in knots
- Generating logical magic states with the aid of non-Abelian topological order
- Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry
- Clifford Hierarchy Stabilizer Codes: Transversal Non-Clifford Gates and Magic
- Automorphism in Gauge Theories: Higher Symmetries and Transversal Non-Clifford Logical Gates
- Restrictions on Transversal Encoded Quantum Gate Sets
- Protected gates for topological quantum field theories
- Fault-tolerant logical gates in quantum error-correcting codes
- Models for gapped boundaries and domain walls
- Symmetry protected topological orders and the group cohomology of their symmetry group
- Braiding statistics approach to symmetry-protected topological phases
- Symmetry Fractionalization, Defects, and Gauging of Topological Phases
- Gapped Phases with Non-Invertible Symmetries: (1+1)d
Related papers
- Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
- Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
- Polynomial-time classical and quantum simulation of quantum impurity models
- Theory of quantum-enhanced interferometry with general Markovian light sources
- A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
- Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity