Automorphism in Gauge Theories: Higher Symmetries and Transversal Non-Clifford Logical Gates
Pith reviewed 2026-05-17 20:13 UTC · model grok-4.3
The pith
Automorphisms of gauge groups with nontrivial topological actions extend to higher or non-invertible symmetries and enable non-Clifford transversal gates in Z_N qudit codes for N at least 3.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We discover that automorphism symmetry of the gauge group can be extended, become a higher group symmetry, and/or become a non-invertible symmetry when the gauge theories have nontrivial topological actions in different spacetime dimensions. We use automorphism symmetry to construct new transversal non-Clifford logical gates in topological quantum codes and show that 2+1d Z_N qudit Clifford stabilizer models can implement non-Clifford transversal logical gate in the 4th level Z_N qudit Clifford hierarchy for N greater than or equal to 3, extending the generalized Bravyi-König bound proposed in the companion paper.
What carries the argument
Automorphism symmetry of the gauge group, which extends to higher or non-invertible symmetries in the presence of nontrivial topological actions.
Load-bearing premise
The assumption that automorphism symmetries of the gauge group extend to higher or non-invertible symmetries when nontrivial topological actions are present, without additional constraints that would prevent the extension in the lattice models discussed.
What would settle it
A concrete 2+1d Z_N lattice model with nontrivial topological action in which the automorphism symmetry fails to produce a transversal gate at the fourth level of the Clifford hierarchy would falsify the central claim.
Figures
read the original abstract
Gauge theories are important descriptions for many physical phenomena and systems in quantum computation. Automorphism of gauge group naturally gives global symmetries of gauge theories. In this work we study such symmetries in gauge theories induced by automorphisms of the gauge group, when the gauge theories have nontrivial topological actions in different spacetime dimensions. We discover the automorphism symmetry can be extended, become a higher group symmetry, and/or become a non-invertible symmetry. We illustrate the discussion with various models in field theory and on the lattice. In particular, we use automorphism symmetry to construct new transversal non-Clifford logical gates in topological quantum codes. In particular, we show that 2+1d $\mathbb{Z}_N$ qudit Clifford stabilizer models can implement non-Clifford transversal logical gate in the 4th level $\mathbb{Z}_N$ qudit Clifford hierarchy for $N\geq 3$, extending the generalized Bravyi-K\"onig bound proposed in the companion paper [arXiv:2511.02900] for qubits.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that automorphisms of gauge groups in theories with nontrivial topological actions can extend to higher-group or non-invertible symmetries. It illustrates this with various field theory and lattice models, and applies it to construct transversal non-Clifford logical gates in 2+1d Z_N qudit stabilizer codes that reside in the 4th level of the Clifford hierarchy for N ≥ 3, extending a generalized Bravyi-König bound from the companion paper arXiv:2511.02900.
Significance. If substantiated, the results would offer insights into the emergence of higher and non-invertible symmetries from gauge automorphisms and provide new constructions for logical gates in topological quantum error correction. The potential to realize non-Clifford operations transversally in qudit codes is significant for quantum computing, though the current presentation relies on extensions from prior work without full derivations here.
major comments (2)
- Discussion of 2+1d Z_N models: The claim that 2+1d Z_N qudit Clifford stabilizer models implement a non-Clifford transversal logical gate in the 4th level of the Z_N qudit Clifford hierarchy for N≥3 rests on an unshown extension of the automorphism symmetry in the presence of nontrivial topological actions; no explicit lattice Hamiltonian or commutation relation with the topological term is provided to verify that the induced operator remains transversal and at the 4th level rather than reducing to the 3rd.
- Abstract and introduction: The central results on higher symmetries and the logical gate construction are stated without derivations, explicit checks, or lattice Hamiltonians, making it challenging to assess the support for the extension of automorphism symmetries to higher symmetries on the lattice.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive comments, which help us improve the clarity of our presentation on gauge automorphisms, higher symmetries, and their application to logical gates. We address each major comment below and indicate the revisions planned for the next version of the manuscript.
read point-by-point responses
-
Referee: Discussion of 2+1d Z_N models: The claim that 2+1d Z_N qudit Clifford stabilizer models implement a non-Clifford transversal logical gate in the 4th level of the Z_N qudit Clifford hierarchy for N≥3 rests on an unshown extension of the automorphism symmetry in the presence of nontrivial topological actions; no explicit lattice Hamiltonian or commutation relation with the topological term is provided to verify that the induced operator remains transversal and at the 4th level rather than reducing to the 3rd.
Authors: We thank the referee for this observation. The extension of automorphism symmetries in the presence of nontrivial topological actions is derived in the continuum field theory discussion and then illustrated on the lattice for several models. For the specific 2+1d Z_N qudit case, the construction relies on the generalized Bravyi-König bound established in the companion paper, combined with the automorphism action shown to preserve the stabilizer structure. To make the verification fully self-contained, we will add an explicit lattice Hamiltonian for the Z_N model together with the commutation relations between the automorphism-induced operator and the topological term in the revised manuscript. This will confirm that the operator remains transversal and resides at the fourth level of the Clifford hierarchy for N ≥ 3. revision: yes
-
Referee: Abstract and introduction: The central results on higher symmetries and the logical gate construction are stated without derivations, explicit checks, or lattice Hamiltonians, making it challenging to assess the support for the extension of automorphism symmetries to higher symmetries on the lattice.
Authors: We agree that the abstract and introduction present the main results at a high level. The manuscript does contain derivations of the higher-group and non-invertible symmetries in the field-theory sections and explicit lattice realizations in later sections. To improve accessibility, we will expand the introduction with brief outlines of the key steps showing how gauge automorphisms extend to higher or non-invertible symmetries, and we will add cross-references to the specific lattice Hamiltonians and checks already present in the text. These changes will allow readers to assess the lattice support more readily. revision: yes
Circularity Check
Central claim extends generalized Bravyi-König bound from same-authors companion paper
specific steps
-
self citation load bearing
[Abstract]
"we show that 2+1d Z_N qudit Clifford stabilizer models can implement non-Clifford transversal logical gate in the 4th level Z_N qudit Clifford hierarchy for N≥3, extending the generalized Bravyi-König bound proposed in the companion paper [arXiv:2511.02900] for qubits."
The 4th-level transversal-gate result is positioned as an extension of the bound first proposed in the authors' own companion work. This makes the classification of the constructed operator as strictly 4th-level (rather than 3rd-level) dependent on the prior self-cited proposal without an independent derivation of the bound inside the present manuscript.
full rationale
The manuscript presents new lattice constructions for transversal gates in Z_N qudit models and discusses extensions of automorphism symmetries to higher or non-invertible symmetries in the presence of topological actions. These elements supply independent content. However, the headline result is explicitly framed as extending a bound proposed in the authors' companion paper arXiv:2511.02900, creating a moderate self-citation dependency for the 4th-level classification. No derivation step reduces by construction to a fitted parameter or self-referential definition within this paper alone; the self-citation is load-bearing but not the sole justification for the lattice claims.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Automorphisms of the gauge group induce global symmetries in gauge theories with topological actions
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We discover the automorphism symmetry can be extended, become a higher group symmetry, and/or become a non-invertible symmetry... we show that 2+1d Z_N qudit Clifford stabilizer models can implement non-Clifford transversal logical gate in the 4th level Z_N qudit Clifford hierarchy for N≥3
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
automorphism symmetry can get extended by gauged SPT symmetries... higher group symmetry from interactions with gauged SPT symmetries
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.
Reference graph
Works this paper leans on
-
[1]
Clifford Hierarchy Stabilizer Codes: Transversal Non-Clifford Gates and Magic,
R. Kobayashi, G. Zhu, and P.-S. Hsin, “Clifford Hierarchy Stabilizer Codes: Transversal Non-Clifford Gates and Magic,”arXiv:2511.02900 [quant-ph]
-
[2]
Symmetry protected topological orders and the group cohomology of their symmetry group
X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, “Symmetry protected topological orders and the group cohomology of their symmetry group,”Phys. Rev. B87no. 15, (2013) 155114,arXiv:1106.4772 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[3]
Topological Gauge Theories and Group Cohomology,
R. Dijkgraaf and E. Witten, “Topological Gauge Theories and Group Cohomology,”Commun. Math. Phys. 129(1990) 393
work page 1990
-
[4]
Condensations in higher categories,
D. Gaiotto and T. Johnson-Freyd, “Condensations in higher categories,” 5, 2019
work page 2019
-
[5]
Non-Invertible Symmetries as Condensation Defects in Finite-Group Gauge Theories,
C. Cordova, D. B. Costa, and P.-S. Hsin, “Non-Invertible Symmetries as Condensation Defects in Finite-Group Gauge Theories,”arXiv:2412.16681 [cond-mat.str-el]
-
[6]
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]
-
[7]
Fault tolerant quantum computation by anyons,
A. Y. Kitaev, “Fault tolerant quantum computation by anyons,”AIP Conf.Proc.303(2003) 2–30
work page 2003
-
[8]
Topological color code and symmetry-protected topological phases,
B. Yoshida, “Topological color code and symmetry-protected topological phases,”Phys. Rev. B91(Jun, 2015) 245131.https://link.aps.org/doi/10.1103/PhysRevB.91.245131
-
[9]
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
-
[10]
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
-
[11]
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.16no. 5, (2024) 122,arXiv:2311.05674 [cond-mat.str-el]
-
[12]
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
-
[13]
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]
-
[14]
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 Physics14no. 4, (2023) 065
work page 2023
-
[15]
Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry,
P.-S. Hsin, R. Kobayashi, and G. Zhu, “Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry,”arXiv:2411.15848 [quant-ph]
-
[16]
Fermionic defects of topological phases and logical gates,
R. Kobayashi, “Fermionic defects of topological phases and logical gates,”SciPost Physics15no. 1, (July,
-
[17]
http://dx.doi.org/10.21468/SciPostPhys.15.1.028
-
[18]
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) . 20
-
[19]
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)
-
[20]
Non-Invertible Defects in Nonlinear Sigma Models and Coupling to Topological Orders,
P.-S. Hsin, “Non-Invertible Defects in Nonlinear Sigma Models and Coupling to Topological Orders,” 12, 2022
work page 2022
-
[21]
ICTP Lectures on (Non-)Invertible Generalized Symmetries
S. Schafer-Nameki, “ICTP lectures on (non-)invertible generalized symmetries,”Phys. Rept.1063(2024) 1–55, arXiv:2305.18296 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[22]
What's Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries
S.-H. Shao, “What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries,” inTheoretical Advanced Study Institute in Elementary Particle Physics 2023: Aspects of Symmetry. 8, 2023. arXiv:2308.00747 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[23]
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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[24]
Comments on One-Form Global Symmetries and Their Gauging in 3d and 4d
P.-S. Hsin, H. T. Lam, and N. Seiberg, “Comments on One-Form Global Symmetries and Their Gauging in 3d and 4d,”SciPost Phys.6no. 3, (2019) 039,arXiv:1812.04716 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[25]
Lattice models that realizeZ n-1 symmetry-protected topological states for evenn,
L. Tsui and X.-G. Wen, “Lattice models that realizeZ n-1 symmetry-protected topological states for evenn,” Phys. Rev. B101no. 3, (2020) 035101,arXiv:1908.02613 [cond-mat.str-el]
- [26]
-
[27]
Loops in 4+1d Topological Phases,
X. Chen, A. Dua, P.-S. Hsin, C.-M. Jian, W. Shirley, and C. Xu, “Loops in 4+1d Topological Phases,” 12, 2021
work page 2021
-
[28]
Fractionalization of coset non-invertible symmetry and exotic Hall conductance,
P.-S. Hsin, R. Kobayashi, and C. Zhang, “Fractionalization of coset non-invertible symmetry and exotic Hall conductance,”SciPost Phys.17no. 3, (2024) 095,arXiv:2405.20401 [cond-mat.str-el]
-
[29]
Anomalies of Coset Non-Invertible Symmetries,
P.-S. Hsin, R. Kobayashi, and C. Zhang, “Anomalies of Coset Non-Invertible Symmetries,” 2, 2025
work page 2025
-
[30]
Onsiteability of Higher-Form Symmetries
Y. Feng, Y.-A. Chen, P.-S. Hsin, and R. Kobayashi, “Onsiteability of Higher-Form Symmetries,” arXiv:2510.23701 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv
-
[31]
On 2-Group Global Symmetries and Their Anomalies
F. Benini, C. C´ ordova, and P.-S. Hsin, “On 2-Group Global Symmetries and their Anomalies,”JHEP03 (2019) 118,arXiv:1803.09336 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[32]
Exploring 2-Group Global Symmetries
C. C´ ordova, T. T. Dumitrescu, and K. Intriligator, “Exploring 2-Group Global Symmetries,”JHEP02(2019) 184,arXiv:1802.04790 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[33]
Noninvertible Global Symmetries in the Standard Model,
Y. Choi, H. T. Lam, and S.-H. Shao, “Noninvertible Global Symmetries in the Standard Model,”Phys. Rev. Lett.129no. 16, (2022) 161601,arXiv:2205.05086 [hep-th]
-
[34]
Noninvertible Chiral Symmetry and Exponential Hierarchies,
C. Cordova and K. Ohmori, “Noninvertible Chiral Symmetry and Exponential Hierarchies,”Phys. Rev. X13 no. 1, (2023) 011034,arXiv:2205.06243 [hep-th]
-
[35]
D. Gaiotto, A. Kapustin, N. Seiberg, and B. Willett, “Generalized Global Symmetries,”JHEP02(2015) 172, arXiv:1412.5148 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[36]
(3+1)-TQFTs and Topological Insulators
K. Walker and Z. Wang, “(3+1)-TQFTs and Topological Insulators,”arXiv:1104.2632 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv
-
[37]
Three-dimensional topological lattice models with surface anyons,
C. W. von Keyserlingk, F. J. Burnell, and S. H. Simon, “Three-dimensional topological lattice models with surface anyons,”Physical Review B87no. 4, (Jan., 2013) . http://dx.doi.org/10.1103/PhysRevB.87.045107
-
[38]
Theta, Time Reversal, and Temperature
D. Gaiotto, A. Kapustin, Z. Komargodski, and N. Seiberg, “Theta, Time Reversal, and Temperature,”JHEP 05(2017) 091,arXiv:1703.00501 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[39]
Comments on Abelian Higgs Models and Persistent Order
Z. Komargodski, A. Sharon, R. Thorngren, and X. Zhou, “Comments on Abelian Higgs Models and Persistent Order,”SciPost Phys.6no. 1, (2019) 003,arXiv:1705.04786 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[40]
C-P-T anomaly matching in bosonic quantum field theory and spin chains
T. Sulejmanpasic and Y. Tanizaki, “C-P-T anomaly matching in bosonic quantum field theory and spin chains,”Phys. Rev. B97no. 14, (2018) 144201,arXiv:1802.02153 [hep-th]. 21
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[41]
L. Alvarez-Gaume, S. Della Pietra, and G. W. Moore, “Anomalies and Odd Dimensions,”Annals Phys.163 (1985) 288
work page 1985
-
[42]
Symmetry-protected topological phases in noninteracting fermion systems,
X.-G. Wen, “Symmetry-protected topological phases in noninteracting fermion systems,”Physical Review B 85no. 8, (Feb., 2012) .http://dx.doi.org/10.1103/PhysRevB.85.085103
-
[43]
Fermion Path Integrals And Topological Phases
E. Witten, “Fermion Path Integrals And Topological Phases,”Rev. Mod. Phys.88no. 3, (2016) 035001, arXiv:1508.04715 [cond-mat.mes-hall]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[44]
Exceptional Chern-Simons-Matter Dualities,
C. C´ ordova, P.-S. Hsin, and K. Ohmori, “Exceptional Chern-Simons-Matter Dualities,”SciPost Phys.7no. 4, (2019) 056,arXiv:1812.11705 [hep-th]
-
[45]
Classification of (2+1)D invertible fermionic topological phases with symmetry,
M. Barkeshli, Y.-A. Chen, P.-S. Hsin, and N. Manjunath, “Classification of (2+1)D invertible fermionic topological phases with symmetry,”Phys. Rev. B105no. 23, (2022) 235143,arXiv:2109.11039 [cond-mat.str-el]
-
[46]
Symmetry-enriched quantum spin liquids in (3 + 1)d,
P.-S. Hsin and A. Turzillo, “Symmetry-enriched quantum spin liquids in (3 + 1)d,”JHEP09(2020) 022, arXiv:1904.11550 [cond-mat.str-el]
-
[47]
D. Gottesman and I. L. Chuang, “Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations,”Nature402no. 6760, (Nov., 1999) 390–393. http://dx.doi.org/10.1038/46503
-
[48]
The Heisenberg Representation of Quantum Computers
D. Gottesman, “The Heisenberg representation of quantum computers,” in22nd International Colloquium on Group Theoretical Methods in Physics, pp. 32–43. 7, 1998.arXiv:quant-ph/9807006
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[49]
Universal quantum computation with ideal clifford gates and noisy ancillas,
S. Bravyi and A. Kitaev, “Universal quantum computation with ideal clifford gates and noisy ancillas,”Phys. Rev. A71(Feb, 2005) 022316
work page 2005
-
[50]
Qudit versions of the qubit “pi-over-eight
M. Howard and J. Vala, “Qudit versions of the qubit “pi-over-eight” gate,”Physical Review A86no. 2, (Aug.,
-
[51]
http://dx.doi.org/10.1103/PhysRevA.86.022316
-
[52]
Magic-state distillation in all prime dimensions using quantum reed-muller codes,
E. T. Campbell, H. Anwar, and D. E. Browne, “Magic-state distillation in all prime dimensions using quantum reed-muller codes,”Physical Review X2no. 4, (Dec., 2012) . http://dx.doi.org/10.1103/PhysRevX.2.041021
-
[53]
The invariants of the Clifford groups
G. Nebe, E. M. Rains, and N. J. A. Sloane, “The invariants of the clifford groups,”arXiv:math/0001038 [math.CO].https://arxiv.org/abs/math/0001038
work page internal anchor Pith review Pith/arXiv arXiv
-
[54]
G. Nebe, E. M. Rains, and N. J. A. Sloane, “Codes and invariant theory,”arXiv:math/0311046 [math.NT]. https://arxiv.org/abs/math/0311046
work page internal anchor Pith review Pith/arXiv arXiv
-
[55]
Surface code quantum computing by lattice surgery,
D. Horsman, A. G. Fowler, S. Devitt, and R. Van Meter, “Surface code quantum computing by lattice surgery,”New J. Phys.14(11, 2011) 123011,arXiv:1111.4022 [quant-ph]
-
[56]
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
-
[57]
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
-
[58]
Pumping chirality in three dimensions,
L. Fidkowski and M. B. Hastings, “Pumping chirality in three dimensions,”Phys. Rev. B109no. 23, (2024) 235142,arXiv:2309.15903 [cond-mat.str-el]. 22
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.