Clifford-hierarchy stabilizer formalism with applications to twisted quantum doubles
quant-ph, cond-mat.str-el
Submitted: 2026-09-30
Updated: 2026-09-30
Comments: 19+14 pages, 4+3 figures
License: http://creativecommons.org/licenses/by/4.0/
The gist: Recent work has shown that quantum double models can be used to circumvent the Bravyi-Koenig bound.
Terminology
Abstract
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 X C(k) d 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 X C(k) d 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 ω(Z p n) 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 X C(k) d stabilizers. Together, these results provide a concrete stabilizer framework for topological codes beyond Pauli stabilizer models and their logical gates.
Sources
- Quantum Error Correction via Codes over GF(4)
- Non-binary Unitary Error Bases and Quantum Codes
- An Introduction to Topological Quantum Codes
- Quantum codes on a lattice with boundary
- The Classification of Pauli Stabilizer Codes: A Lattice and Continuum Treatise
- Universal quantum computation in the surface code using non-Abelian islands
- Generating logical magic states with the aid of non-Abelian topological order
- Universal quantum computation with group surface codes
- Non-Abelian qLDPC: TQFT Formalism, Addressable Gauging Measurement and Application to Magic State Fountain on 2D Product Codes
- Fast magic state preparation by gauging higher-form transversal gates in parallel
- Non-Abelian Quantum Low-Density Parity Check Codes and Non-Clifford Operations from Gauging Logical Gates via Measurements
- Classification of topologically protected gates for local stabilizer codes
- A Non-Commuting Stabilizer Formalism
- Topological interactions in broken gauge theories
- Twisted Quantum Double Model of Topological Phases in Two--Dimension
- The XP Stabiliser Formalism: a Generalisation of the Pauli Stabiliser Formalism with Arbitrary Phases
- Twisted Gauge Theory Model of Topological Phases in Three Dimensions
- Tube algebras, excitations statistics and compactification in gauge models of topological phases
- Efficiently estimating failure rates of fault-tolerant logical non-Clifford blocks
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
- A quasiparticle-protected superconducting qubit
- Theory of quantum-enhanced interferometry with general Markovian light sources
- A convergent hierarchy of spectral gap certificates for qubit Hamiltonians