pith. sign in

arxiv: 2511.02900 · v3 · pith:7METCI5Fnew · submitted 2025-11-04 · 🪐 quant-ph · cond-mat.str-el· hep-th

Clifford Hierarchy Stabilizer Codes: Transversal Non-Clifford Gates and Magic

Ryohei Kobayashi , Guanyu Zhu , Po-Shen Hsin This is my paper

Pith reviewed 2026-05-21 19:09 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.str-elhep-th
keywords Clifford hierarchystabilizer codestransversal gatesnon-Clifford gatestopological orderDijkgraaf-Witten gauge theoriesmagic statesfault-tolerant quantum computation
0
0 comments X

The pith

Clifford hierarchy stabilizer codes enable transversal non-Clifford gates at the (n+1)th level in n dimensions, surpassing the Bravyi-König bound.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper extends topological Pauli stabilizer codes to a class of n-dimensional Clifford hierarchy stabilizer codes that correspond to (n+1)D Dijkgraaf-Witten gauge theories with non-Abelian topological order. These codes support transversal logical gates from higher levels of the Clifford hierarchy through automorphism symmetries represented by cup products. In two dimensions the construction yields the first transversal T and CS gates on stabilizer codes using the twisted Z2^3 gauge theory equivalent to D4 topological order, and combines with a just-in-time decoder for O(d)-round logical T magic state preparation. In three dimensions it produces a transversal sqrt(T) gate on a tetrahedron lattice from a twisted Z2^4 gauge theory. A sympathetic reader would care because this directly addresses the dimensionality-universality tradeoff that limits fault-tolerant quantum computation.

Core claim

The central claim is that automorphism symmetries of twisted Z2^k gauge theories, represented by cup products, implement transversal non-Clifford logical gates on the corresponding Clifford hierarchy stabilizer codes, achieving gates from the (n+1)th level of the Clifford hierarchy in n spatial dimensions.

What carries the argument

Automorphism symmetries represented by cup products in twisted Z_2^3 gauge theory (equivalent to D4 topological order) that implement transversal T and CS gates.

Load-bearing premise

The assumption that the automorphism symmetries of the twisted Z_2^3 gauge theory can be represented by cup products that implement transversal T and CS gates on the corresponding stabilizer codes.

What would settle it

Explicit verification on the 2D code lattice that the cup-product automorphism acts as a logical T gate while preserving the code space and not introducing uncorrectable errors at distances below the code distance.

Figures

Figures reproduced from arXiv: 2511.02900 by Guanyu Zhu, Po-Shen Hsin, Ryohei Kobayashi.

Figure 1
Figure 1. Figure 1: FIG. 1. The operator [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Bottom left: The code switching is understood as [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. The stabilizer on a square lattice surrounded by three [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. A branching structure introduces an orientation (+ [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. The operator [PITH_FULL_IMAGE:figures/full_fig_p014_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7. The boundary conditions on gauge fields at the triangle. The logical action of [PITH_FULL_IMAGE:figures/full_fig_p017_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: FIG. 8. Boundary conditions for CS logical gate from automorphism symmetry. The two logical qubits are labeled by the [PITH_FULL_IMAGE:figures/full_fig_p018_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: FIG. 9. Left: a tetrahedron is bounded by four gapped boundary conditions on each face. Each gapped boundary is characterized [PITH_FULL_IMAGE:figures/full_fig_p020_9.png] view at source ↗
read the original abstract

A fundamental problem in fault-tolerant quantum computation is the tradeoff between universality and dimensionality, exemplified by the the Bravyi-K\"onig 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 $\mathbb{Z}_2^3$ gauge theory (equivalent to $\mathbb{D}_4$ 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 $\sqrt{\text{T}}$ gate in a non-Clifford stabilizer code at the third level of the Clifford hierarchy, located on a tetrahedron corresponding to a twisted $\mathbb{Z}_2^4$ gauge theory. Our constructions surpass the Bravyi-K\"onig bound by achieving the logical gates in the $(n+1)$-th level of Clifford hierarchy in $n$ spatial dimension.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims to extend topological Pauli stabilizer codes to a class of n-dimensional Clifford hierarchy stabilizer codes corresponding to (n+1)D Dijkgraaf-Witten gauge theories with non-Abelian topological order. It constructs transversal non-Clifford gates via automorphism symmetries represented by cup products. In 2D, using the twisted Z_2^3 gauge theory (D_4 topological order), it obtains transversal T and CS gates for Clifford stabilizer codes and combines this with a just-in-time decoder for O(d)-round logical T magic state preparation via code switching. In 3D, it constructs a transversal sqrt(T) gate in a non-Clifford stabilizer code from the twisted Z_2^4 theory. The constructions are asserted to surpass the Bravyi-König bound by realizing (n+1)th-level Clifford hierarchy gates in n spatial dimensions.

Significance. If the cup-product automorphisms are shown to induce logical transversal gates that preserve the stabilizer group, the work would provide concrete constructions that evade the Bravyi-König no-go result for topological stabilizer codes, enabling higher-level non-Clifford operations in lower dimensions and advancing fault-tolerant universality. The linkage to Dijkgraaf-Witten theories and the code-switching protocol for magic-state preparation are notable strengths if the operator-level details are supplied.

major comments (2)
  1. [2D construction (twisted Z_2^3 / D_4 section)] The central claim that cup-product cochains realize transversal T and CS gates on the stabilizer code derived from the twisted Z_2^3 gauge theory requires explicit verification that these operators commute with all stabilizers (up to phase) and conjugate logical Pauli operators to the desired Clifford-hierarchy element. No such commutation relations or conjugation calculations appear in the manuscript; this step is load-bearing for the assertion of logical transversal non-Clifford gates in the 2D construction.
  2. [3D construction (twisted Z_2^4 section)] The 3D claim of a transversal sqrt(T) gate in the twisted Z_2^4 theory similarly rests on the unverified assertion that the corresponding cup-product automorphism preserves the stabilizer group while acting as a third-level Clifford-hierarchy element on the logical subspace. Explicit operator definitions and commutation checks with the code stabilizers are needed to substantiate the (n+1)th-level gate in n dimensions.
minor comments (2)
  1. [Introduction / gauge-theory background] Notation for the cup-product automorphisms and their action on the gauge-theory cochains should be defined more explicitly, including how they map to physical Pauli operators on the underlying lattice.
  2. [Discussion] The manuscript would benefit from a short table comparing the achieved logical gate level and spatial dimension against the Bravyi-König bound and prior constructions (e.g., color codes, surface codes).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for explicit operator-level verifications. We agree that these details will strengthen the presentation and will incorporate them in the revised version.

read point-by-point responses

  1. Referee: [2D construction (twisted Z_2^3 / D_4 section)] The central claim that cup-product cochains realize transversal T and CS gates on the stabilizer code derived from the twisted Z_2^3 gauge theory requires explicit verification that these operators commute with all stabilizers (up to phase) and conjugate logical Pauli operators to the desired Clifford-hierarchy element. No such commutation relations or conjugation calculations appear in the manuscript; this step is load-bearing for the assertion of logical transversal non-Clifford gates in the 2D construction.

    Authors: We agree that the manuscript would benefit from explicit commutation and conjugation calculations. The current text relies on the established correspondence between the twisted Z_2^3 gauge theory and the code stabilizers together with the algebraic properties of cup-product automorphisms, but does not display the operator-level checks. In the revision we will add a dedicated subsection (or appendix) that computes the action of the cup-product cochains on the stabilizer generators, verifies commutation up to phase, and shows the induced logical action on the Pauli operators is the claimed T and CS gates. These calculations follow directly from the cochain definitions and the gauge-theory stabilizer relations already stated in the paper. revision: yes

  2. Referee: [3D construction (twisted Z_2^4 section)] The 3D claim of a transversal sqrt(T) gate in the twisted Z_2^4 theory similarly rests on the unverified assertion that the corresponding cup-product automorphism preserves the stabilizer group while acting as a third-level Clifford-hierarchy element on the logical subspace. Explicit operator definitions and commutation checks with the code stabilizers are needed to substantiate the (n+1)th-level gate in n dimensions.

    Authors: We accept the referee's observation. The 3D construction is presented via the twisted Z_2^4 Dijkgraaf-Witten theory and the corresponding cup-product automorphism, yet the explicit operator definitions and commutation relations with the code stabilizers are not written out. In the revised manuscript we will supply these definitions together with the verification that the automorphism preserves the stabilizer group (up to phase) and realizes the third-level Clifford-hierarchy element on the logical subspace. The calculations are analogous to those we will add for the 2D case and rest on the same cochain and gauge-theory framework. revision: yes

Circularity Check

0 steps flagged

No significant circularity: construction grounded in gauge-theory correspondence

full rationale

The paper defines Clifford hierarchy stabilizer codes as corresponding to (n+1)D Dijkgraaf-Witten gauge theories with non-Abelian order and constructs transversal gates via automorphism symmetries represented by cup products. This is a direct construction from established topological-order properties rather than any reduction of a claimed prediction or result to fitted parameters, self-defined quantities, or a load-bearing self-citation chain. The surpassing of the Bravyi-König bound follows from the level-(n+1) gates achieved in n dimensions through these correspondences, with no evidence of renaming known results or smuggling ansatzes via citation. The derivation remains self-contained against external benchmarks in gauge theory literature.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the correspondence between Clifford hierarchy stabilizer codes and (n+1)D Dijkgraaf-Witten gauge theories with non-Abelian order, plus the existence of cup-product automorphisms that implement the desired gates. No explicit free parameters are introduced in the abstract. Axioms include standard properties of topological quantum field theories and stabilizer code definitions.

axioms (2)
  • domain assumption Clifford hierarchy stabilizer codes correspond to (n+1)D Dijkgraaf-Witten gauge theories with non-Abelian topological order
    Invoked to extend Pauli stabilizer codes and enable higher-level gates via symmetries.
  • ad hoc to paper Automorphism symmetries of twisted Z_2^3 and Z_2^4 gauge theories can be represented by cup products that act as transversal non-Clifford gates
    Central to the 2D T/CS and 3D sqrt(T) constructions.
invented entities (1)
  • Clifford hierarchy stabilizer codes no independent evidence
    purpose: Generalization of topological Pauli stabilizer codes to support higher Clifford level gates
    New class of codes defined via correspondence to non-Abelian gauge theories

pith-pipeline@v0.9.0 · 5786 in / 1537 out tokens · 47545 ms · 2026-05-21T19:09:05.936167+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Constant depth magic state cultivation with Clifford measurements by gauging

    quant-ph 2026-03 unverdicted novelty 6.0

    Gauging enables constant-depth logical XS dagger measurements for color-code magic state cultivation, achieving 10^{-12} logical error rates at 0.05% physical error for distance-7 codes while retaining over 1% of shot...

  2. Automorphism in Gauge Theories: Higher Symmetries and Transversal Non-Clifford Logical Gates

    cond-mat.str-el 2025-11 unverdicted novelty 6.0

    Automorphisms of gauge groups extend to higher or non-invertible symmetries in topological gauge theories and enable transversal non-Clifford gates in 2+1d Z_N qudit Clifford stabilizer models for N greater than or eq...

Reference graph

Works this paper leans on

61 extracted references · 61 canonical work pages · cited by 2 Pith papers · 10 internal anchors

  1. [1]

    Clifford Hierarchy Stabilizer Codes: Transversal Non-Clifford Gates and Magic

    (equivalent toN-fold cup product). In this work, we introduce a family of Clifford hierar- chy stabilizer codes innspatial dimensions generalizing the topological Pauli stabilizer codes, where the stabi- lizer group contain operators in then th level of Clifford hierarchyCn, which is defined recursively onm-qubit uni- tary unitaryU, i.e.,C n :={U∈Um :UP m...

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  2. [2]

    These symmetry breaking at boundaries are represented by the boundary conditions of gauge fields at boundaries as Lr :a r = 0,L b :a b = 0,L rb :a r +ab =a g = 0

    Similarly,L b breaks the gauge group toZ r 2×Zg 2 for the first and sec- ondZ 2, while the boundaryL rb breaks the gauge group to the diagonalZ rb 2 := diag(Zr 2,Zb 2). These symmetry breaking at boundaries are represented by the boundary conditions of gauge fields at boundaries as Lr :a r = 0,L b :a b = 0,L rb :a r +ab =a g = 0. (9) In the terminology of...

    work page

  3. [3]

    We start with a logical state |+⟩of theZr 2×Zb 2 gauge theory (two copies of toric codes) with trian- gular boundaries, whose stabilizers are simply ob- tained by eliminating green qubits from Fig. 4. The code space is equivalent to a folded surface code. We also initialize the green qubits as ⨂ e|0⟩g e

    work page

  4. [4]

    just- in-time

    We then performO(d) rounds of syndrome mea- surements (dis the distance) of the unknown Clif- ford stabilizersS g X;v (with±1 random eigenvalues) FIG. 3. Bottom left: The code switching is understood as a combination of gapped domain walls DW’×DW†, where each domain wall separatesD 4 andZ 2 2 gauge theory. Bottom right: The domain wall DW’ is equivalent t...

    work page

  5. [5]

    We act the logical T†gateU

    work page

  6. [6]

    just-in-time

    We then measure the PauliZ g e operators on each edges, followed by actingS g X to flip the strings of |1⟩g e states. This switches the code back to the Zr 2×Zb 2 toric code followed byO(d) rounds of error corrections. The final state is given by T † |ψ⟩. In addition to T gate, we construct transversal logical CS gate using two layers of the 2D Clifford s...

    work page

  7. [7]

    Cost of universality: A comparative study of the overhead of state distillation and code switching with color codes,

    M. E. Beverland, A. Kubica, and K. M. Svore, “Cost of universality: A comparative study of the overhead of state distillation and code switching with color codes,” PRX Quantum2(Jun, 2021) 020341.https: //link.aps.org/doi/10.1103/PRXQuantum.2.020341

    work page doi:10.1103/prxquantum.2.020341 2021

  8. [8]

    Classification of Topologically Protected Gates for Local Stabilizer Codes,

    S. Bravyi and R. K¨ onig, “Classification of Topologically Protected Gates for Local Stabilizer Codes,”Phys. Rev. Lett.110no. 17, (Apr., 2013) 170503–5

    work page 2013

  9. [9]

    2D quantum computation with 3D topological codes

    H. Bombin, “2d quantum computation with 3d topological codes,”arXiv preprint arXiv:1810.09571 (2018)

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  10. [10]

    A fault-tolerant non-clifford gate for the surface code in two dimensions,

    B. J. Brown, “A fault-tolerant non-clifford gate for the surface code in two dimensions,”Science Advances6 no. 21, (2020)

    work page 2020

  11. [11]

    Topological color code and symmetry-protected topological phases,

    B. Yoshida, “Topological color code and symmetry-protected topological phases,”Phys. Rev. B 91(Jun, 2015) 245131.https: //link.aps.org/doi/10.1103/PhysRevB.91.245131

    work page doi:10.1103/physrevb.91.245131 2015

  12. [12]

    Topological phases with generalized global symmetries,

    B. Yoshida, “Topological phases with generalized global symmetries,”Phys. Rev. B93(Apr, 2016) 155131. https: //link.aps.org/doi/10.1103/PhysRevB.93.155131

    work page doi:10.1103/physrevb.93.155131 2016

  13. [13]

    Gapped boundaries, group cohomology and fault-tolerant logical gates,

    B. Yoshida, “Gapped boundaries, group cohomology and fault-tolerant logical gates,”Annals of Physics377 (2017) 387–413.https://www.sciencedirect.com/ science/article/pii/S0003491616302858

    work page 2017

  14. [14]

    Quantum origami: Transversal gates for quantum computation and measurement of topological order,

    G. Zhu, M. Hafezi, and M. Barkeshli, “Quantum origami: Transversal gates for quantum computation and measurement of topological order,”Phys. Rev. Research2(Mar, 2020) 013285.https://link.aps. org/doi/10.1103/PhysRevResearch.2.013285

    work page doi:10.1103/physrevresearch.2.013285 2020

  15. [15]

    Topological order, quantum codes, and quantum computation on fractal geometries,

    G. Zhu, T. Jochym-O’Connor, and A. Dua, “Topological order, quantum codes, and quantum computation on fractal geometries,”PRX Quantum3 (Sep, 2022) 030338.https: //link.aps.org/doi/10.1103/PRXQuantum.3.030338

    work page doi:10.1103/prxquantum.3.030338 2022

  16. [16]

    Codimension-2 defects and higher symmetries in (3+1)D topological phases,

    M. Barkeshli, Y.-A. Chen, S.-J. Huang, R. Kobayashi, N. Tantivasadakarn, and G. Zhu, “Codimension-2 defects and higher symmetries in (3+1)D topological phases,”SciPost Phys.14no. 4, (2023) 065, arXiv:2208.07367 [cond-mat.str-el]

    work page arXiv 2023

  17. [17]

    Higher-group symmetry in finite gauge theory and stabilizer codes,

    M. Barkeshli, Y.-A. Chen, P.-S. Hsin, and R. Kobayashi, “Higher-group symmetry in finite gauge theory and stabilizer codes,”SciPost Phys.16(2024) 089,arXiv:2211.11764 [cond-mat.str-el]

    work page arXiv 2024

  18. [18]

    arXiv preprint arXiv:2310.16982 (2023)

    G. Zhu, S. Sikander, E. Portnoy, A. W. Cross, and B. J. Brown, “Non-clifford and parallelizable fault-tolerant logical gates on constant and almost-constant rate homological quantum ldpc codes via higher symmetries,”arXiv:2310.16982(2023)

    work page arXiv 2023

  19. [19]

    Higher-group symmetry of (3+1)D fermionicZ 2 gauge theory: logical CCZ, CS, and T gates from higher symmetry,

    M. Barkeshli, P.-S. Hsin, and R. Kobayashi, “Higher-group symmetry of (3+1)D fermionicZ 2 gauge theory: logical CCZ, CS, and T gates from higher symmetry,”SciPost Phys.16(2024) 122, arXiv:2311.05674 [cond-mat.str-el]

    work page arXiv 2024

  20. [20]

    Cross-cap defects and fault-tolerant logical gates in the surface code and the honeycomb floquet code,

    R. Kobayashi and G. Zhu, “Cross-cap defects and fault-tolerant logical gates in the surface code and the honeycomb floquet code,”PRX Quantum5no. 2, (June, 2024) . http://dx.doi.org/10.1103/PRXQuantum.5.020360

    work page doi:10.1103/prxquantum.5.020360 2024

  21. [21]

    Non-Abelian Self-Correcting Quantum Memory and Single-shot Non-Clifford Gate beyond then 1/3 Distance Barrier,

    P.-S. Hsin, R. Kobayashi, and G. Zhu, “Non-Abelian Self-Correcting Quantum Memory and Single-shot Non-Clifford Gate beyond then 1/3 Distance Barrier,” arXiv e-prints(May, 2024) arXiv:2405.11719, arXiv:2405.11719 [quant-ph]

    work page arXiv 2024

  22. [22]

    Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry.arXiv preprint arXiv:2411.15848, 2024

    P.-S. Hsin, R. Kobayashi, and G. Zhu, “Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry,”arXiv(2024) ,2411.15848

    work page arXiv 2024

  23. [23]

    A topological theory for qldpc: non-clifford gates and magic state fountain on homological product codes with constant rate and beyond then 1/3 distance barrier,

    G. Zhu, “A topological theory for qldpc: non-clifford gates and magic state fountain on homological product codes with constant rate and beyond then 1/3 distance barrier,”arXiv preprint arXiv:2501.19375(2025)

    work page arXiv 2025

  24. [24]

    Transversal non-clifford gates on qldpc codes breaking the √ Ndistance barrier and quantum-inspired geometry with systolic freedom,

    G. Zhu, “Transversal non-clifford gates on qldpc codes breaking the √ Ndistance barrier and quantum-inspired geometry with systolic freedom,”arXiv preprint arXiv:2507.15056(2025)

    work page arXiv 2025

  25. [25]

    Sur- face code quantum computing by lattice surgery

    D. Horsman, A. G. Fowler, S. Devitt, and R. V. Meter, “Surface code quantum computing by lattice surgery,” New Journal of Physics14no. 12, (Dec., 2012) 123011. http: //dx.doi.org/10.1088/1367-2630/14/12/123011

    work page doi:10.1088/1367-2630/14/12/123011 2012

  26. [26]

    Low-overhead fault-tolerant quantum computation by gauging logical operators

    D. J. Williamson and T. J. Yoder, “Low-overhead fault-tolerant quantum computation by gauging logical operators,”arXiv preprint arXiv:2410.02213(2024)

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  27. [27]

    Hybrid lattice surgery: Non-clifford gates via non-abelian surface codes,

    S.-J. Huang, A. Warman, S. Schafer-Nameki, and Y. Chen, “Hybrid lattice surgery: Non-clifford gates via non-abelian surface codes,”arXiv:2510.20890 [quant-ph].https://arxiv.org/abs/2510.20890

    work page arXiv

  28. [28]

    Generating logical magic states with the aid of non-Abelian topological order,

    S.-J. Huang and Y. Chen, “Generating logical magic states with the aid of non-Abelian topological order,” 7 arXiv:2502.00998 [quant-ph]

    work page arXiv

  29. [29]

    Davydova, A

    M. Davydova, A. Bauer, J. C. M. de la Fuente, M. Webster, D. J. Williamson, and B. J. Brown, “Universal fault tolerant quantum computation in 2D without getting tied in knots,”arXiv:2503.15751 [quant-ph]

    work page arXiv

  30. [30]

    Planar fault-tolerant circuits for non-clifford gates on the 2d color code,

    A. Bauer and J. C. M. de la Fuente, “Planar fault-tolerant circuits for non-clifford gates on the 2d color code,”arXiv:2505.05175 [quant-ph]. https://arxiv.org/abs/2505.05175

    work page arXiv

  31. [31]

    Unfolding the color code

    A. Kubica, B. Yoshida, and F. Pastawski, “Unfolding the color code,”New J. Phys.17no. 8, (2015) 083026, arXiv:1503.02065 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  32. [32]

    Magic-state distillation with low overhead,

    S. Bravyi and J. Haah, “Magic-state distillation with low overhead,”Physical Review A—Atomic, Molecular, and Optical Physics86no. 5, (2012) 052329

    work page 2012

  33. [33]

    Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations,

    D. Gottesman and I. L. Chuang, “Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations,”Nature402 no. 6760, (Nov., 1999) 390–393. http://dx.doi.org/10.1038/46503

    work page doi:10.1038/46503 1999

  34. [34]

    Iqbal et al.,Non-Abelian topological order and anyons on a trapped-ion processor, Nature626(2024) 505–511, [2305.03766]

    M. Iqbalet al., “Non-Abelian topological order and anyons on a trapped-ion processor,”Nature626 no. 7999, (2024) 505–511,arXiv:2305.03766 [quant-ph]

    work page arXiv 2024

  35. [35]

    Universal quantum computation with group surface codes

    N. Manjunath, V. Mattei, A. Tiwari, and T. D. Ellison, “Universal quantum computation with group surface codes. ” . To appear

    work page

  36. [36]

    Low-overhead non-clifford fault-tolerant circuits for all non-chiral abelian topological phases,

    A. Bauer, “Low-overhead non-clifford fault-tolerant circuits for all non-chiral abelian topological phases,” Quantum9(2025) 1673

    work page 2025

  37. [37]

    G. Zhu, T. Jochym-O’Connor, A. Dua, and M. Barkeshli,Universal fault-tolerant quantum computation with a 2D abelian topological stabilizer code using magic patches. Patent: US12367416B2, 2023

    work page 2023

  38. [38]

    Single-shot fault-tolerant quantum error correction,

    H. Bombin, “Single-shot fault-tolerant quantum error correction,”Phys. Rev. X5no. 3, (2015) 031043

    work page 2015

  39. [39]

    Finite group modular data,

    A. Coste, T. Gannon, and P. Ruelle, “Finite group modular data,”Nuclear Physics B581no. 3, (Aug.,

    work page

  40. [40]

    http://dx.doi.org/10.1016/S0550-3213(00)00285-6

    679–717. http://dx.doi.org/10.1016/S0550-3213(00)00285-6

    work page doi:10.1016/s0550-3213(00)00285-6

  41. [41]

    Topological boundary conditions in abelian Chern-Simons theory

    A. Kapustin and N. Saulina, “Topological boundary conditions in abelian Chern-Simons theory,”Nucl. Phys. B845(2011) 393–435,arXiv:1008.0654 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  42. [42]

    The Witt group of non-degenerate braided fusion categories

    A. Davydov, M. Mueger, D. Nikshych, and V. Ostrik, “The witt group of non-degenerate braided fusion categories,” 2011.https://arxiv.org/abs/1009.2117

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  43. [43]

    Protected edge modes without symmetry,

    M. Levin, “Protected edge modes without symmetry,” Physical Review X3no. 2, (May, 2013) . http://dx.doi.org/10.1103/PhysRevX.3.021009

    work page doi:10.1103/physrevx.3.021009 2013

  44. [44]

    Theory of defects in abelian topological states,

    M. Barkeshli, C.-M. Jian, and X.-L. Qi, “Theory of defects in abelian topological states,”Physical Review B 88no. 23, (Dec., 2013) . http://dx.doi.org/10.1103/PhysRevB.88.235103

    work page doi:10.1103/physrevb.88.235103 2013

  45. [45]

    The quantum double model with boundary: Condensations and symmetries,

    S. Beigi, P. W. Shor, and D. Whalen, “The quantum double model with boundary: Condensations and symmetries,”Communications in Mathematical Physics 306no. 3, (June, 2011) 663–694. http://dx.doi.org/10.1007/s00220-011-1294-x

    work page doi:10.1007/s00220-011-1294-x 2011

  46. [46]

    Models for gapped boundaries and domain walls,

    A. Kitaev and L. Kong, “Models for gapped boundaries and domain walls,”Communications in Mathematical Physics313no. 2, (June, 2012) 351–373. http://dx.doi.org/10.1007/s00220-012-1500-5

    work page doi:10.1007/s00220-012-1500-5 2012

  47. [47]

    A renormalization group decoding algorithm for topological quantum codes

    G. Duclos-Cianci and D. Poulin, “A renormalization group decoding algorithm for topological quantum codes,” 2010.https://arxiv.org/abs/1006.1362

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  48. [48]

    Color code with a logical control-sgate using transversaltrotations,

    B. J. Brown, “Color code with a logical control-sgate using transversaltrotations,” 2025. https://arxiv.org/abs/2411.15035

    work page arXiv 2025

  49. [49]

    Milnor, J

    J. Milnor, J. Stasheff, J. Stasheff, and P. University, Characteristic Classes. Annals of mathematics studies. Princeton University Press, 1974. https://books.google.com/books?id=5zQ9AFk1i4EC

    work page 1974

  50. [50]

    Higher cup products on hypercubic lattices: application to lattice models of topological phases,

    Y.-A. Chen and S. Tata, “Higher cup products on hypercubic lattices: application to lattice models of topological phases,”arXiv:2106.05274(2021)

    work page arXiv 2021

  51. [51]

    Automorphism in Gauge Theories: Higher Symmetries and Transversal Non-Clifford Logical Gates

    P.-S. Hsin and R. Kobayashi, “Automorphism in gauge theories: Higher symmetries and transversal non-clifford logical gates,” 2025. https://arxiv.org/abs/2511.15783

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  52. [52]

    Exactly Soluble Diffeomorphism Invariant Theories,

    G. T. Horowitz, “Exactly Soluble Diffeomorphism Invariant Theories,”Commun. Math. Phys.125(1989) 417

    work page 1989

  53. [53]

    D-brane Charges in Five-brane backgrounds

    J. M. Maldacena, G. W. Moore, and N. Seiberg, “D-brane charges in five-brane backgrounds,”JHEP10 (2001) 005,arXiv:hep-th/0108152

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  54. [54]

    Coupling a QFT to a TQFT and Duality

    A. Kapustin and N. Seiberg, “Coupling a QFT to a TQFT and Duality,”JHEP04(2014) 001, arXiv:1401.0740 [hep-th]. 8 Supplemental Materials I. REVIEW: CUP PRODUCT ON TRIANGULATIONS AND LATTICES The cup product (see e.g. [42]) provides a way to combineZ N-valued cochains on a triangulated manifold into higher-degree cochains. Anm-cochainf m is a function assig...

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  55. [55]

    detectable errors in the Clifford stabilizer codes

    Automorphism permutes topological excitations Here we will study how the automorphism symmetryUacts on the particle excitations, i.e. detectable errors in the Clifford stabilizer codes. We will present two derivations: one uses how stabilizers are permuted under the symmetry, the other uses path integral formalism of the ground state subspace. 11 The elec...

    work page

  56. [56]

    We have omitted an overall normalization that removes the gauge transformations

    Generalization to higher dimensions The model can be generalized to (N−1) spatial dimensions, where the gauge theory is a twistedZN 2 gauge theory, with the path integral Z[M] = ∑ a1,a2,···,aN∈H1(M,Z2) (−1) ∫ a1∪a2∪···∪aN ,(48) whereMis the spacetime manifold. We have omitted an overall normalization that removes the gauge transformations. The one-cocycle...

    work page

  57. [57]

    Automorphism symmetry with boundaries As described in Sec. III, the automorphism symmetry of the stabilizer code inNspatial dimensions has the form ofU=WVwithWgiven by an integral of aN-cochain, in the form of W=e i ∫ space α (57) withαaN-cochain expressed by gauge fields. In the presence of gapped boundaries, the definition ofWhas to be properly modified...

    work page

  58. [58]

    Proof.To show this, let us evaluate the operatorWin the logical gateU=WVin the presence of the boundary conditions

    Proof of Theorem 2 Now we show the following Theorem 2 in the main text: 15 Theorem 2.The automorphism symmetryUin the Clifford stabilizer code with the boundary condition implements logical T gate. Proof.To show this, let us evaluate the operatorWin the logical gateU=WVin the presence of the boundary conditions. This can be achieved by modifying the oper...

    work page

  59. [59]

    (87) Therefore, according to the discussions in Sec

    First, the operatorVshifts the Dijkgraaf-Witten twist by ar∪(ar +ag +ab +ay)∪ab∪ag−ar∪ay∪ab∪ag =d (˜ar∪˜ab∪˜ag 2 +ar∪(ag∪1ab)∪ag ) . (87) Therefore, according to the discussions in Sec. III A, the bulk integral inWgives an expression of the logical operator in the bulk

    work page

  60. [60]

    The boundary contributions are obtained by trivializing the bulk cochain at the boundary, following the pre- scription in Sec. IV B 1. The bulk 3-cochain ˜ar∪˜ab∪˜ag 2 +ar∪(ag∪1ab)∪ag (88) vanishes at boundaries except for the 4th boundary, where the 3-cochain trivializes as 1 4d(˜ar∪˜ag) under the boundary conditiona r +ag +ab = 0 mod 2. This gives the b...

    work page

  61. [61]

    At the hinges surround- ing the 4th boundary, the boundary 2-cochain 1 4(˜ar∪˜ag) becomes zero except for the hinge between the 1st and 4th boundary

    The hinge contributions are obtained by trivializing the boundary cochains at the hinge. At the hinges surround- ing the 4th boundary, the boundary 2-cochain 1 4(˜ar∪˜ag) becomes zero except for the hinge between the 1st and 4th boundary. At this hinge, the gauge fields satisfy the boundary conditions at both 1st and 4th boundaries, hencea r +ag =a b = 0....

    work page