Recognition: 2 theorem links
· Lean TheoremNon-Invertible Symmetries and Boundaries for Two-Dimensional Fermions
Pith reviewed 2026-05-15 02:42 UTC · model grok-4.3
The pith
Two free complex Weyl fermions have anomaly-free Z_k symmetries for each primitive Pythagorean triple, each producing a non-invertible defect that generates all U(1)^2-preserving conformal boundaries.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We determine all anomaly-free invertible global symmetries of two free complex Weyl fermions, which take the form Z_k for each primitive Pythagorean triple a^2 + b^2 = k^2. The theory is self-dual under gauging any of these symmetries, and so to each there is associated a non-invertible topological defect. We study the properties of these lines, and show that any conformal boundary condition of two Dirac fermions that preserves a U(1)^2 symmetry can be found by dressing a trivial Dirichlet boundary with one of them.
What carries the argument
Non-invertible topological defects generated by gauging the Z_k symmetries from Pythagorean triples, used to dress Dirichlet boundaries into all U(1)^2-preserving conformal ones.
If this is right
- Every U(1)^2-preserving conformal boundary condition arises this way from the trivial Dirichlet one.
- The defects admit two microscopic realizations: fermions coupled to a quantum rotor and an abelian gauge theory realizing symmetric mass generation in half-space.
- The self-duality under gauging ensures the defects are well-defined and anomaly-free.
- Properties of the lines, such as their fusion rules and action on boundaries, follow from the symmetry classification.
Where Pith is reading between the lines
- These constructions could be tested by computing correlation functions or partition functions on specific geometries for small Pythagorean triples like 3-4-5.
- The link to symmetric mass generation suggests possible applications to gapped phases with topological defects in related models.
- This boundary generation method may generalize to other two-dimensional theories with similar self-dualities.
Load-bearing premise
That gauging any of the identified Z_k symmetries renders the theory self-dual and allows the non-invertible defects to be consistently defined without extra anomalies.
What would settle it
Finding a conformal boundary condition preserving U(1)^2 that cannot be obtained by dressing the Dirichlet boundary with one of these defects, or showing that gauging a Z_k symmetry introduces an inconsistency or anomaly.
read the original abstract
We study the relation between boundary conditions and categorical symmetries of two-dimensional fermionic conformal field theories. We determine all anomaly-free invertible global symmetries of two free complex Weyl fermions, which take the form $\mathbb{Z}_k$ for each primitive Pythagorean triple $a^2 + b^2 = k^2$. The theory is self-dual under gauging any of these symmetries, and so to each there is associated a non-invertible topological defect. We study the properties of these lines, and show that any conformal boundary condition of two Dirac fermions that preserves a $U(1)^2$ symmetry can be found by dressing a trivial Dirichlet boundary with one of them. We discuss two microscopic descriptions of these defects: fermions coupled to a quantum-mechanical rotor degree of freedom; and an abelian gauge theory that realises symmetric mass generation in a half-space.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript classifies all anomaly-free invertible global symmetries of two free complex Weyl fermions as Z_k symmetries, one for each primitive Pythagorean triple a² + b² = k². It asserts that the theory is self-dual under gauging any such symmetry, thereby associating a non-invertible topological defect to each Z_k. These defects are then employed to generate every conformal boundary condition of two Dirac fermions that preserves a U(1)² symmetry, by dressing a trivial Dirichlet boundary condition. Two microscopic realizations are given: fermions coupled to a quantum-mechanical rotor, and an abelian gauge theory realizing symmetric mass generation in a half-space.
Significance. If the self-duality statements hold, the work supplies a concrete, explicitly labeled family of non-invertible defects in a free fermionic CFT together with a systematic construction of all U(1)²-preserving boundaries. The microscopic models provide potential starting points for lattice or numerical verification, which would be valuable for the broader study of categorical symmetries and their boundary realizations in two-dimensional theories.
major comments (2)
- [Section on symmetry classification and gauging] The central claim that gauging each anomaly-free Z_k (labeled by primitive Pythagorean triples) renders the theory self-dual is asserted without an explicit check, such as equality of the torus partition function or matching of the full operator spectrum before and after gauging. This verification is load-bearing for the existence and consistency of the associated non-invertible defects.
- [Section on boundary conditions] The statement that every U(1)²-preserving conformal boundary condition arises by dressing the trivial Dirichlet boundary with one of the non-invertible defects relies on the self-duality holding without extra phases or missing states. No explicit cylinder boundary-state computation or overlap matching is shown for any triple, leaving open the possibility of inconsistencies when the defect is coupled to the boundary.
minor comments (2)
- [Abstract] The abstract refers to both 'two free complex Weyl fermions' and 'two Dirac fermions'; a brief clarifying sentence relating the two (a Dirac fermion comprises two Weyl fermions of opposite chirality) would avoid potential confusion.
- [Section introducing the defects] Notation for the non-invertible defect operators and their fusion rules should be introduced with a short table or explicit equations to improve readability when the defects are later used to dress boundaries.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying points where additional explicit verifications would strengthen the presentation. We address each major comment below.
read point-by-point responses
-
Referee: The central claim that gauging each anomaly-free Z_k (labeled by primitive Pythagorean triples) renders the theory self-dual is asserted without an explicit check, such as equality of the torus partition function or matching of the full operator spectrum before and after gauging. This verification is load-bearing for the existence and consistency of the associated non-invertible defects.
Authors: We agree that an explicit verification strengthens the argument. In the revised manuscript we add an explicit computation of the torus partition function for the representative case of the (3,4,5) triple. We evaluate the sum over twisted sectors both before and after gauging the Z_5 symmetry and demonstrate exact equality of the partition functions, including the matching of the full operator spectrum in each charge sector. The same structural argument, based on the anomaly cancellation condition a^2 + b^2 = k^2, extends the equality to all primitive Pythagorean triples without additional phases. revision: yes
-
Referee: The statement that every U(1)²-preserving conformal boundary condition arises by dressing the trivial Dirichlet boundary with one of the non-invertible defects relies on the self-duality holding without extra phases or missing states. No explicit cylinder boundary-state computation or overlap matching is shown for any triple, leaving open the possibility of inconsistencies when the defect is coupled to the boundary.
Authors: We acknowledge the value of an explicit boundary-state check. In the revision we include a cylinder partition-function computation for the (3,4,5) defect acting on the Dirichlet boundary. We compute the overlap between the dressed boundary state and the original Dirichlet state, confirming that the resulting spectrum reproduces all U(1)^2-preserving conformal boundary conditions with no extraneous phases or missing states. The computation proceeds by inserting the defect operator into the cylinder and using the self-duality established in the bulk to match the boundary overlaps. revision: yes
Circularity Check
No significant circularity in symmetry classification or boundary construction
full rationale
The paper determines the anomaly-free invertible symmetries as Z_k labeled by primitive Pythagorean triples via standard CFT anomaly matching on the fermion charges, which is a direct algebraic consequence of the free-field action and does not presuppose the target boundary conditions or defects. Self-duality under gauging is asserted to justify the existence of non-invertible defects, but this step is presented as a property of the gauged theory rather than a definitional input that forces the later results by construction. The boundary conditions are then obtained by explicit dressing of the Dirichlet boundary with these defects, without the final list of boundaries reducing tautologically to the initial symmetry list or any fitted parameter. No load-bearing step relies on a self-citation chain or renames a known result; the derivation remains independent of the claimed outputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Anomaly cancellation conditions for global symmetries in 2d fermionic CFTs
- domain assumption Self-duality of the theory under gauging the identified symmetries
invented entities (1)
-
Non-invertible topological defects
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
We determine all anomaly-free invertible global symmetries of two free complex Weyl fermions, which take the form Z_k for each primitive Pythagorean triple a² + b² = k².
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The theory is self-dual under gauging any of these symmetries, and so to each there is associated a non-invertible topological defect.
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]
-
[2]
R. Thorngren and Y. Wang,Anomalous symmetries end at the boundary,Journal of High Energy Physics2021(2021)
work page 2021
-
[3]
B. Han, A. Tiwari, C.-T. Hsieh and S. Ryu,Boundary conformal field theory and symmetry protected topological phases in2 + 1dimensions,Phys. Rev. B96(2017) 125105 [1704.01193]. – 59 –
work page internal anchor Pith review Pith/arXiv arXiv 2017
- [4]
-
[5]
P. Boyle Smith and D. Tong,Boundary States for Chiral Symmetries in Two Dimensions,JHEP09(2020) 018 [1912.01602]
-
[6]
P.B. Smith and D. Tong,What Symmetries are Preserved by a Fermion Boundary State?,2006.07369
-
[7]
Mixed global anomalies and boundary conformal field theories
T. Numasawa and S. Yamaguchi,Mixed global anomalies and boundary conformal field theories,JHEP11(2018) 202 [1712.09361]
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [8]
- [9]
-
[10]
Conformal Field Theory Approach to the Kondo Effect
I. Affleck,Conformal field theory approach to the Kondo effect,Acta Phys. Polon. B26 (1995) 1869 [cond-mat/9512099]
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[11]
A. Recknagel and V. Schomerus,Boundary deformation theory and moduli spaces of d-branes,Nuclear Physics B545(1999) 233–282
work page 1999
-
[12]
D-branes from conformal field theory
M.R. Gaberdiel,D-branes from conformal field theory,Fortsch. Phys.50(2002) 783 [hep-th/0201113]
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[13]
M.R. Gaberdiel,Boundary conformal field theory and D-branes,Lectures given at the TMR network school on Nonperturbative methods in low dimensional integrable models, Budapest(2003) 15
work page 2003
-
[14]
Callan, Jr.,Disappearing Dyons,Phys
C.G. Callan, Jr.,Disappearing Dyons,Phys. Rev. D25(1982) 2141
work page 1982
-
[15]
V.A. Rubakov,Adler-Bell-Jackiw Anomaly and Fermion Number Breaking in the Presence of a Magnetic Monopole,Nucl. Phys. B203(1982) 311
work page 1982
-
[16]
Callan, Jr.,Monopole Catalysis of Baryon Decay,Nucl
C.G. Callan, Jr.,Monopole Catalysis of Baryon Decay,Nucl. Phys. B212(1983) 391
work page 1983
-
[17]
Callan, Jr.,Dyon-Fermion Dynamics,Phys
C.G. Callan, Jr.,Dyon-Fermion Dynamics,Phys. Rev. D26(1982) 2058
work page 1982
-
[18]
Monopole-Catalysed Baryon Decay: A Boundary Conformal Field Theory Approach
I. Affleck and J. Sagi,Monopole catalyzed baryon decay: A Boundary conformal field theory approach,Nucl. Phys. B417(1994) 374 [hep-th/9311056]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[19]
Fermions Coupled to a Conformal Boundary: A Generalization of the Monopole-Fermion System
A. Yegulalp,Fermions coupled to a conformal boundary: A Generalization of the monopole - fermion system,Phys. Lett. B328(1994) 379 [hep-th/9403125]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[20]
J.M. Maldacena and A.W. Ludwig,Majorana fermions, exact mapping between quantum impurity fixed points with four bulk fermion species, and solution of the “unitarity puzzle”,Nuclear Physics B506(1997) 565–588. – 60 –
work page 1997
-
[21]
M. van Beest, P. Boyle Smith, D. Delmastro, Z. Komargodski and D. Tong,Monopoles, scattering, and generalized symmetries,JHEP03(2025) 014 [2306.07318]
-
[22]
M. van Beest, P. Boyle Smith, D. Delmastro, R. Mouland and D. Tong, Fermion-monopole scattering in the Standard Model,JHEP08(2024) 004 [2312.17746]
-
[23]
D. Tambara and S. Yamagami,Tensor Categories with Fusion Rules of Self-Duality for Finite Abelian Groups,J. Algebra209(1998) 692
work page 1998
-
[24]
Polchinski,Monopole Catalysis: The Fermion Rotor System,Nucl
J. Polchinski,Monopole Catalysis: The Fermion Rotor System,Nucl. Phys. B242 (1984) 345
work page 1984
-
[25]
A. Antinucci, C. Copetti, G. Galati and G. Rizi,A Twist on Scattering from Defect Anomalies,to appear
-
[26]
Topological defects for the free boson CFT
J. Fuchs, M.R. Gaberdiel, I. Runkel and C. Schweigert,Topological defects for the free boson CFT,J. Phys. A40(2007) 11403 [0705.3129]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[27]
A worldsheet extension of O(d,d;Z)
C. Bachas, I. Brunner and D. Roggenkamp,A worldsheet extension of O(d,d:Z),JHEP 10(2012) 039 [1205.4647]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[28]
Fusion of Critical Defect Lines in the 2D Ising Model
C. Bachas, I. Brunner and D. Roggenkamp,Fusion of Critical Defect Lines in the 2D Ising Model,J. Stat. Mech.1308(2013) P08008 [1303.3616]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[29]
R. Thorngren and Y. Wang,Fusion category symmetry. Part II. Categoriosities at c = 1 and beyond,JHEP07(2024) 051 [2106.12577]
- [30]
- [31]
-
[32]
R. Argurio, A. Collinucci, G. Galati, O. Hulik and E. Paznokas,Non-Invertible T-duality at Any Radius via Non-Compact SymTFT,SciPost Phys.18(2025) 089 [2409.11822]
- [33]
-
[34]
S. Bharadwaj, P. Niro and K. Roumpedakis,Non-invertible defects on the worldsheet, JHEP03(2025) 164 [2408.14556]
- [35]
-
[36]
Vafa,Modular Invariance and Discrete Torsion on Orbifolds,Nucl
C. Vafa,Modular Invariance and Discrete Torsion on Orbifolds,Nucl. Phys. B273 (1986) 592. – 61 –
work page 1986
-
[37]
V.A. Fateev and A.B. Zamolodchikov,Parafermionic Currents in the Two-Dimensional Conformal Quantum Field Theory and Selfdual Critical Points in Z(n) Invariant Statistical Systems,Sov. Phys. JETP62(1985) 215
work page 1985
-
[38]
P. Boyle Smith and Y. Zheng,Backfiring Bosonisation,JHEP03(2026) 221 [2403.03953]
-
[39]
Kramers-Wannier duality from conformal defects
J. Fröhlich, J. Fuchs, I. Runkel and C. Schweigert,Kramers-Wannier duality from conformal defects,Phys. Rev. Lett.93(2004) 070601 [cond-mat/0404051]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[40]
Duality and defects in rational conformal field theory
J. Frohlich, J. Fuchs, I. Runkel and C. Schweigert,Duality and defects in rational conformal field theory,Nucl. Phys. B763(2007) 354 [hep-th/0607247]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[41]
G. Arias-Tamargo, C. Hull and M.L. Velásquez Cotini Hutt,Non-invertible symmetries of two-dimensional non-linear sigma models,SciPost Phys.19(2025) 126 [2503.20865]
-
[42]
G. Arias-Tamargo and M.L. Velásquez Cotini Hutt,Symmetries, anomalies, and dualities of two-dimensional Non-Linear Sigma Models,JHEP02(2026) 013 [2508.16721]
-
[43]
G. Arias-Tamargo, C. Hull and M.L. Velásquez Cotini Hutt,Nonrenormalization of coupling constants from categorical symmetries in two dimensions,Phys. Rev. D113 (2026) L061701 [2509.20441]
- [44]
- [45]
- [46]
-
[47]
V. Bashmakov, M. Del Zotto, A. Hasan and J. Kaidi,Non-invertible symmetries of class S theories,JHEP05(2023) 225 [2211.05138]
-
[48]
A. Antinucci, C. Copetti, G. Galati and G. Rizi,“Zoology” of non-invertible duality defects: the view from classS,JHEP04(2024) 036 [2212.09549]
- [49]
-
[50]
S. Prembabu, S.-H. Shao and R. Verresen,Non-Invertible Interfaces Between Symmetry-Enriched Critical Phases,2512.23706
-
[51]
Topological Defect Lines and Renormalization Group Flows in Two Dimensions
C.-M. Chang, Y.-H. Lin, S.-H. Shao, Y. Wang and X. Yin,Topological Defect Lines and Renormalization Group Flows in Two Dimensions,JHEP01(2019) 026 [1802.04445]. – 62 –
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[52]
Unpaired Majorana fermions in quantum wires
A. Kitaev,Unpaired Majorana fermions in quantum wires,Phys. Usp.44(2001) 131 [cond-mat/0010440]
work page internal anchor Pith review Pith/arXiv arXiv 2001
- [53]
-
[54]
V. Loladze, T. Okui and D. Tong,Dynamics of the fermion-rotor system,JHEP01 (2026) 052 [2508.21059]
-
[55]
Phases of 2d Gauge Theories and Symmetric Mass Generation
R. Mouland, D. Tong and B. Zan,Phases of 2d gauge theories and symmetric mass generation,JHEP04(2026) 154 [2509.12305]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[56]
Tong,Comments on symmetric mass generation in 2d and 4d,JHEP07(2022) 001 [2104.03997]
D. Tong,Comments on symmetric mass generation in 2d and 4d,JHEP07(2022) 001 [2104.03997]
-
[57]
Conformal boundary states for free bosons and fermions
M.R. Gaberdiel and A. Recknagel,Conformal boundary states for free bosons and fermions,JHEP11(2001) 016 [hep-th/0108238]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[58]
Conrad,The Gaussian Integers, 2013, https://api.semanticscholar.org/CorpusID:17483435
K. Conrad,The Gaussian Integers, 2013, https://api.semanticscholar.org/CorpusID:17483435. – 63 –
work page 2013
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.