pith. machine review for the scientific record. sign in

arxiv: 2605.13952 · v1 · submitted 2026-05-13 · ✦ hep-th · cond-mat.str-el

Recognition: 2 theorem links

· Lean Theorem

Non-Invertible Symmetries and Boundaries for Two-Dimensional Fermions

Authors on Pith no claims yet

Pith reviewed 2026-05-15 02:42 UTC · model grok-4.3

classification ✦ hep-th cond-mat.str-el
keywords non-invertible symmetriesconformal field theorytwo-dimensional fermionstopological defectsboundary conditionsPythagorean triplesWeyl fermionsself-duality
0
0 comments X

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.

This paper classifies the anomaly-free invertible global symmetries of two free complex Weyl fermions in two dimensions. These symmetries are discrete groups Z_k where k is determined by primitive Pythagorean triples satisfying a squared plus b squared equals k squared. Because the theory remains self-dual after gauging any such symmetry, each produces a non-invertible topological defect. These defects can dress a simple Dirichlet boundary to yield every conformal boundary condition that preserves a U(1) squared symmetry for two Dirac fermions. Readers would care because this gives a complete construction of boundaries in fermionic conformal theories, which control edge physics in quantum systems.

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 are editorial extensions of the paper, not claims the author makes directly.

  • 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.

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 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)
  1. [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.
  2. [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)
  1. [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.
  2. [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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 2 axioms · 1 invented entities

The work rests on standard 2d CFT axioms for anomaly cancellation and self-duality under gauging; non-invertible defects are derived rather than postulated independently.

axioms (2)
  • domain assumption Anomaly cancellation conditions for global symmetries in 2d fermionic CFTs
    Used to identify which Z_k are anomaly-free.
  • domain assumption Self-duality of the theory under gauging the identified symmetries
    Central to associating non-invertible defects.
invented entities (1)
  • Non-invertible topological defects no independent evidence
    purpose: To relate gauged symmetries to boundary conditions
    Derived from self-duality; no independent falsifiable prediction given in abstract.

pith-pipeline@v0.9.0 · 5462 in / 1311 out tokens · 25920 ms · 2026-05-15T02:42:47.833723+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.

Reference graph

Works this paper leans on

58 extracted references · 58 canonical work pages · 15 internal anchors

  1. [1]

    Jensen, E

    K. Jensen, E. Shaverin and A. Yarom,’t Hooft anomalies and boundaries,Journal of High Energy Physics2018(2018)

  2. [2]

    Thorngren and Y

    R. Thorngren and Y. Wang,Anomalous symmetries end at the boundary,Journal of High Energy Physics2021(2021)

  3. [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 –

  4. [4]

    Li, C.-T

    L. Li, C.-T. Hsieh, Y. Yao and M. Oshikawa,Boundary conditions and anomalies of conformal field theories in 1+1 dimensions,Phys. Rev. B110(2024) 045118 [2205.11190]

  5. [5]

    Boyle Smith and D

    P. Boyle Smith and D. Tong,Boundary States for Chiral Symmetries in Two Dimensions,JHEP09(2020) 018 [1912.01602]

  6. [6]

    Smith and D

    P.B. Smith and D. Tong,What Symmetries are Preserved by a Fermion Boundary State?,2006.07369

  7. [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]

  8. [8]

    Choi, B.C

    Y. Choi, B.C. Rayhaun, Y. Sanghavi and S.-H. Shao,Remarks on boundaries, anomalies, and noninvertible symmetries,Phys. Rev. D108(2023) 125005 [2305.09713]

  9. [9]

    Wei and Y

    P. Wei and Y. Zheng,On the Absence of Symmetric Simple Conformal Boundary Conditions,2512.23976

  10. [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]

  11. [11]

    Recknagel and V

    A. Recknagel and V. Schomerus,Boundary deformation theory and moduli spaces of d-branes,Nuclear Physics B545(1999) 233–282

  12. [12]

    D-branes from conformal field theory

    M.R. Gaberdiel,D-branes from conformal field theory,Fortsch. Phys.50(2002) 783 [hep-th/0201113]

  13. [13]

    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

    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

  14. [14]

    Callan, Jr.,Disappearing Dyons,Phys

    C.G. Callan, Jr.,Disappearing Dyons,Phys. Rev. D25(1982) 2141

  15. [15]

    Rubakov,Adler-Bell-Jackiw Anomaly and Fermion Number Breaking in the Presence of a Magnetic Monopole,Nucl

    V.A. Rubakov,Adler-Bell-Jackiw Anomaly and Fermion Number Breaking in the Presence of a Magnetic Monopole,Nucl. Phys. B203(1982) 311

  16. [16]

    Callan, Jr.,Monopole Catalysis of Baryon Decay,Nucl

    C.G. Callan, Jr.,Monopole Catalysis of Baryon Decay,Nucl. Phys. B212(1983) 391

  17. [17]

    Callan, Jr.,Dyon-Fermion Dynamics,Phys

    C.G. Callan, Jr.,Dyon-Fermion Dynamics,Phys. Rev. D26(1982) 2058

  18. [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]

  19. [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]

  20. [20]

    unitarity puzzle

    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 –

  21. [21]

    van Beest, P

    M. van Beest, P. Boyle Smith, D. Delmastro, Z. Komargodski and D. Tong,Monopoles, scattering, and generalized symmetries,JHEP03(2025) 014 [2306.07318]

  22. [22]

    van Beest, P

    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. [23]

    Tambara and S

    D. Tambara and S. Yamagami,Tensor Categories with Fusion Rules of Self-Duality for Finite Abelian Groups,J. Algebra209(1998) 692

  24. [24]

    Polchinski,Monopole Catalysis: The Fermion Rotor System,Nucl

    J. Polchinski,Monopole Catalysis: The Fermion Rotor System,Nucl. Phys. B242 (1984) 345

  25. [25]

    Antinucci, C

    A. Antinucci, C. Copetti, G. Galati and G. Rizi,A Twist on Scattering from Defect Anomalies,to appear

  26. [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]

  27. [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]

  28. [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]

  29. [29]

    Thorngren and Y

    R. Thorngren and Y. Wang,Fusion category symmetry. Part II. Categoriosities at c = 1 and beyond,JHEP07(2024) 051 [2106.12577]

  30. [30]

    Y. Choi, C. Córdova, P.-S. Hsin, H.T. Lam and S.-H. Shao,Noninvertible duality defects in 3+1 dimensions,Phys. Rev. D105(2022) 125016 [2111.01139]

  31. [31]

    Damia, G

    J.A. Damia, G. Galati, O. Hulik and S. Mancani,Exploring duality symmetries, multicriticality and RG flows at c = 2,JHEP04(2024) 028 [2401.04166]

  32. [32]

    Argurio, A

    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. [33]

    P. Niro, K. Roumpedakis and O. Sela,Exploring non-invertible symmetries in free theories,JHEP03(2023) 005 [2209.11166]

  34. [34]

    Bharadwaj, P

    S. Bharadwaj, P. Niro and K. Roumpedakis,Non-invertible defects on the worldsheet, JHEP03(2025) 164 [2408.14556]

  35. [35]

    Karch, D

    A. Karch, D. Tong and C. Turner,A Web of 2d Dualities:Z2 Gauge Fields and Arf Invariants,SciPost Phys.7(2019) 007 [1902.05550]

  36. [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 –

  37. [37]

    Fateev and A.B

    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

  38. [38]

    Boyle Smith and Y

    P. Boyle Smith and Y. Zheng,Backfiring Bosonisation,JHEP03(2026) 221 [2403.03953]

  39. [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]

  40. [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]

  41. [41]

    Arias-Tamargo, C

    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. [42]

    Arias-Tamargo and M.L

    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. [43]

    Arias-Tamargo, C

    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. [44]

    S.D. Pace, A. Chatterjee and S.-H. Shao,Lattice T-duality from non-invertible symmetries in quantum spin chains,SciPost Phys.18(2025) 121 [2412.18606]

  45. [45]

    S.D. Pace, G. Delfino, H.T. Lam and Ö.M. Aksoy,Gauging modulated symmetries: Kramers-Wannier dualities and non-invertible reflections,SciPost Phys.18(2025) 021 [2406.12962]

  46. [46]

    Kaidi, K

    J. Kaidi, K. Ohmori and Y. Zheng,Kramers-Wannier-like Duality Defects in (3+1)D Gauge Theories,Phys. Rev. Lett.128(2022) 111601 [2111.01141]

  47. [47]

    Bashmakov, M

    V. Bashmakov, M. Del Zotto, A. Hasan and J. Kaidi,Non-invertible symmetries of class S theories,JHEP05(2023) 225 [2211.05138]

  48. [48]

    Antinucci, C

    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. [49]

    Carta, S

    F. Carta, S. Giacomelli, N. Mekareeya and A. Mininno,Comments on Non-invertible Symmetries in Argyres-Douglas Theories,JHEP07(2023) 135 [2303.16216]

  50. [50]

    Prembabu, S.-H

    S. Prembabu, S.-H. Shao and R. Verresen,Non-Invertible Interfaces Between Symmetry-Enriched Critical Phases,2512.23706

  51. [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 –

  52. [52]

    Unpaired Majorana fermions in quantum wires

    A. Kitaev,Unpaired Majorana fermions in quantum wires,Phys. Usp.44(2001) 131 [cond-mat/0010440]

  53. [53]

    Chang, J

    C.-M. Chang, J. Chen and F. Xu,Topological defect lines in two dimensional fermionic cfts,SciPost Physics15(2023)

  54. [54]

    Loladze, T

    V. Loladze, T. Okui and D. Tong,Dynamics of the fermion-rotor system,JHEP01 (2026) 052 [2508.21059]

  55. [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]

  56. [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. [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]

  58. [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 –