Recognition: 2 theorem links
· Lean TheoremA General Prescription for Spurion Analysis of Non-Invertible Selection Rules
Pith reviewed 2026-05-10 17:20 UTC · model grok-4.3
The pith
A general prescription tracks coupling constants under commutative non-invertible fusion algebras in particle models.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors formulate a general prescription for spurion analysis in particle-physics models whose selection rules are described by commutative non-invertible fusion algebras. The construction applies to fusion algebras containing non-invertible basis elements that need not be self-conjugate, thereby allowing systematic tracking of coupling constants in arbitrary particle scattering processes at tree and loop orders, but without assuming faithful realization of the fusion algebra or no other quantum numbers for dynamical particles. This unifies and streamlines the previous analysis of near-group fusion algebras and of the Z_M/Z_2 fusion algebras, and supports the broader viewpoint that the非非
What carries the argument
The general spurion prescription that assigns auxiliary fields to the basis elements of a commutative non-invertible fusion algebra and enforces the algebra's fusion rules to constrain allowed couplings.
If this is right
- Coupling constants in arbitrary scattering processes are determined at both tree and loop level by applying the fusion rules to the assigned spurions.
- The prescription remains valid when the fusion algebra is realized only partially by the dynamical particles.
- Particles may carry additional quantum numbers unrelated to the fusion algebra without invalidating the tracking of allowed couplings.
- Earlier results for near-group and Z_M/Z_2 algebras are recovered as direct special cases of the general construction.
- Non-invertible selection rules can be equivalently represented by lifted Abelian groups together with a structured set of explicit breaking terms.
Where Pith is reading between the lines
- The same spurion assignment can be iterated to organize higher-loop diagrams once the basic fusion rules are fixed.
- Model builders can use the prescription to enumerate allowed interaction terms before performing full Lagrangian constructions.
- The lifted-Abelian-group viewpoint suggests that some non-invertible constraints may be simulated inside ordinary symmetry frameworks with controlled explicit violations.
Load-bearing premise
The selection rules of the models are completely described by commutative non-invertible fusion algebras.
What would settle it
An explicit Feynman-diagram calculation in a known model with non-invertible selection rules that yields a coupling constant forbidden by the prescription would disprove the method.
Figures
read the original abstract
We formulate a general prescription for spurion analysis in particle-physics models whose selection rules are described by commutative non-invertible fusion algebras. The construction applies to fusion algebras containing non-invertible basis elements that need not be self-conjugate, thereby allowing us to systematically track coupling constants in arbitrary particle scattering processes at tree and loop orders, but without assuming faithful realization of the fusion algebra, or no other quantum numbers for dynamical particles. This unifies and streamlines the previous analysis of near-group fusion algebras and of the $\mathbb{Z}_M/\mathbb{Z}_2$ fusion algebras, and supports the broader viewpoint that the non-invertible selection rules often admit auxiliary descriptions using lifted Abelian groups with a structured set of explicit breaking terms.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript formulates a general prescription for spurion analysis in particle-physics models whose selection rules are described by commutative non-invertible fusion algebras. The construction applies to fusion algebras containing non-invertible basis elements that need not be self-conjugate, thereby allowing systematic tracking of coupling constants in arbitrary particle scattering processes at tree and loop orders, without assuming faithful realization of the fusion algebra or the absence of other quantum numbers for dynamical particles. It unifies and streamlines prior analyses of near-group fusion algebras and Z_M/Z_2 fusion algebras, and supports describing non-invertible selection rules via lifted Abelian groups with structured breaking terms.
Significance. If the prescription holds, this provides a unified and systematic framework for analyzing non-invertible selection rules, which is increasingly relevant for beyond-Standard-Model constructions. The explicit rules for assigning spurion charges and breaking terms, together with worked examples that reproduce known selection rules from prior cases, represent a clear strength and extend the reach of spurion techniques without restrictive assumptions on algebra realization or particle quantum numbers.
minor comments (2)
- The abstract and introduction would benefit from explicit cross-references to the sections containing the worked examples and the consistency checks with the Z_M/Z_2 and near-group cases.
- Notation for fusion algebra elements, spurion charges, and breaking terms should be standardized and cross-referenced more clearly across the general construction and the explicit examples to improve readability.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, including the summary of our general prescription for spurion analysis of commutative non-invertible fusion algebras and the recommendation for minor revision. No specific major comments were provided in the report.
Circularity Check
No significant circularity detected
full rationale
The manuscript defines an explicit general prescription for spurion analysis via rules for assigning charges and breaking terms to commutative non-invertible fusion algebras. It unifies prior Z_M/Z_2 and near-group cases through direct construction and validates the framework by reproducing known selection rules in worked examples. No load-bearing step reduces by construction to fitted parameters, self-referential definitions, or unverified self-citations; the central claim remains a methodological framework whose consistency is checked against external known results rather than internal tautology.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Selection rules are described by commutative non-invertible fusion algebras
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We formulate a general prescription for spurion analysis in particle-physics models whose selection rules are described by commutative non-invertible fusion algebras... lifted Abelian group G_lift = product Z_Lα ... spurion label q(λ_V) = -q(R(V))
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
-
A theoretical account of tiny multi-Higgs vacuum expectation values from non-invertible symmetry
Non-invertible symmetry from the minimal Fibonacci fusion rule forbids tree-level VEVs for multi-Higgs fields H4 and H5, generating them radiatively at one-loop with naturally small values of 10^{-3}-10^{-2} GeV that ...
-
Dirac one-loop seesaw in a non-invertible fusion rule
A one-loop Dirac neutrino mass model stabilized by a non-invertible fusion rule from Z3 x Z3' accommodates oscillation data and provides a viable bosonic dark matter candidate.
Reference graph
Works this paper leans on
-
[1]
Order compatibility, i.e., L gcd[r(x), L] =d x.(6) Hence, a candidate factorZ L can accommodate only basis elements whose fusion orders divideL
-
[2]
At the pairwise level, r(x) +r(y)≡0 (modL) requires 1≺x⊗y
Conjugation compatibility. At the pairwise level, r(x) +r(y)≡0 (modL) requires 1≺x⊗y. Be- cause the identity channel singles out conjugate pairs, i.e., 1≺x⊗y⇐ ⇒y= ¯x, it implies r(¯x)≡ −r(x) (modL).(7) In particular, ifx= ¯x, then 2r(x)≡0 (modL), so a self-conjugate element can occupy only an order- two residue
-
[3]
At the pairwise level, r(x) +r(y)≡r(z) (modL) (8) with occupiedr(z) requires z≺x⊗y.(9) These pairwise conditions are generally not suffi- cient
Fusion compatibility. At the pairwise level, r(x) +r(y)≡r(z) (modL) (8) with occupiedr(z) requires z≺x⊗y.(9) These pairwise conditions are generally not suffi- cient. A cyclic reconstruction is accepted only if the candidate assignment satisfies the full modular consistency condition stated in the Supplementary Material. Because the fusion algebra need no...
-
[4]
composite spu- rions
The particles are labeled by the elements in the fusion algebra shown in Table I. The lifted charge of each basis element is its residue vec- tor, namely q(1) = (0,0), q(2) = (0,1), q(3) = (0,2), q(4) = (1,0), q(5) = (3,0), q(6) = (2,0). (24) Following the general criterion in Eq. (13) and the fu- sion rules in Table I, one can construct all vertices allo...
-
[5]
Conver- sation with chen-ning yang: reminiscence and reflection,
Mu-ming Poo and Alexander Wu Chao, “Conver- sation with chen-ning yang: reminiscence and reflection,” National Science Review7, 233– 236 (2019), https://academic.oup.com/nsr/article- pdf/7/1/233/38881258/nwz113.pdf
2019
-
[6]
Davide Gaiotto, Anton Kapustin, Nathan Seiberg, and Brian Willett, “Generalized Global Symmetries,” JHEP 02, 172 (2015), arXiv:1412.5148 [hep-th]
work page internal anchor Pith review arXiv 2015
-
[7]
Clay Cordova, Thomas T. Dumitrescu, Kenneth Intrili- gator, and Shu-Heng Shao, “Snowmass White Paper: Generalized Symmetries in Quantum Field Theory and Beyond,” inSnowmass 2021(2022) arXiv:2205.09545 [hep-th]
-
[8]
John McGreevy, “Generalized Symmetries in Condensed Matter,” Ann. Rev. Condensed Matter Phys.14, 57–82 (2023), arXiv:2204.03045 [cond-mat.str-el]
-
[9]
An introduction to higher-form symmetries
Pedro R. S. Gomes, “An introduction to higher-form symmetries,” SciPost Phys. Lect. Notes74, 1 (2023), arXiv:2303.01817 [hep-th]
-
[10]
ICTP lectures on (non-)invertible generalized symmetries,
Sakura Schafer-Nameki, “ICTP lectures on (non- )invertible generalized symmetries,” Phys. Rept.1063, 1–55 (2024), arXiv:2305.18296 [hep-th]
-
[11]
Introduction to Generalized Global Symmetries in QFT and Particle Physics
T. Daniel Brennan and Sungwoo Hong, “Introduction to Generalized Global Symmetries in QFT and Particle Physics,” (2023), arXiv:2306.00912 [hep-ph]
- [12]
-
[13]
What’s Done CannotBe Undone: TASILectures on Non-InvertibleSymmetries,
Shu-Heng Shao, “What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries,” (2023), arXiv:2308.00747 [hep-th]
-
[14]
Simons Lectures on Categorical Sym- metries,
Davi Costaet al., “Simons Lectures on Categorical Sym- metries,” (2024) arXiv:2411.09082 [math-ph]
-
[15]
Nabil Iqbal, “Jena lectures on generalized global symmetries: principles and applications,” (2024) arXiv:2407.20815 [hep-th]
-
[16]
Introduction to Generalized Symmetries,
Justin Kaidi, “Introduction to Generalized Symmetries,” (2026), arXiv:2603.08798 [hep-th]
-
[17]
Naturalness, chiral symmetry, and spontaneous chiral symmetry breaking,
Gerard ’t Hooft, “Naturalness, chiral symmetry, and spontaneous chiral symmetry breaking,” NATO Sci. Ser. B59, 135–157 (1980)
1980
- [18]
-
[19]
Fate of stringy noninvertible symmetries,
Jonathan J. Heckman, Jacob McNamara, Miguel Mon- tero, Adar Sharon, Cumrun Vafa, and Irene Valenzuela, “Fate of stringy noninvertible symmetries,” Phys. Rev. D110, 106001 (2024), arXiv:2402.00118 [hep-th]
-
[20]
Interactions on Orbifolds,
Shahram Hamidi and Cumrun Vafa, “Interactions on Orbifolds,” Nucl. Phys. B279, 465–513 (1987)
1987
-
[21]
On the Concept of Naturalness in String Theories,
A. Font, Luis E. Ibanez, Hans Peter Nilles, and F. Quevedo, “On the Concept of Naturalness in String Theories,” Phys. Lett. B213, 274–278 (1988)
1988
-
[22]
Selection rules for nonrenormalizable couplings in superstring theories,
Tatsuo Kobayashi, “Selection rules for nonrenormalizable couplings in superstring theories,” Phys. Lett. B354, 264–270 (1995), arXiv:hep-ph/9504371
-
[23]
Revisiting Coupling Se- lection Rules in Heterotic Orbifold Models,
Tatsuo Kobayashi, Susha L. Parameswaran, Saul Ramos- Sanchez, and Ivonne Zavala, “Revisiting Coupling Se- lection Rules in Heterotic Orbifold Models,” JHEP 05, 008 (2012), [Erratum: JHEP 12, 049 (2012)], arXiv:1107.2137 [hep-th]
-
[24]
Non-invertible selection rules on heterotic non-Abelian orbifolds,
Tatsuo Kobayashi, Ryusei Nishida, and Hajime Otsuka, “Non-invertible selection rules on heterotic non-Abelian orbifolds,” JHEP03, 158 (2026), arXiv:2509.10019 [hep- th]
-
[25]
Yukawa Textures with Enhanced Sym- metries in Heterotic Calabi-Yau Compactifications,
Jun Dong, Tatsuo Kobayashi, Shuhei Miyamoto, and Hajime Otsuka, “Yukawa Textures with Enhanced Sym- metries in Heterotic Calabi-Yau Compactifications,” (2026), arXiv:2603.00864 [hep-th]
-
[26]
Spurion Analysis for Non-Invertible Selection Rules from Near-Group Fusions
Motoo Suzuki, Ling-Xiao Xu, and Hao Y. Zhang, “Spu- rion Analysis for Non-Invertible Selection Rules from Near-Group Fusions,” (2025), arXiv:2508.14970 [hep- ph]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[27]
Spurion analysis of ZM/Z2 non-invertible selection rules: low-order versus all-order zeros,
Motoo Suzuki and Ling-Xiao Xu, “Spurion analysis of ZM/Z2 non-invertible selection rules: low-order versus all-order zeros,” JHEP02, 227 (2026), arXiv:2510.18972 [hep-ph]
-
[28]
Non-invertible flavor symmetries in magnetized extra dimensions,
Tatsuo Kobayashi and Hajime Otsuka, “Non-invertible flavor symmetries in magnetized extra dimensions,” JHEP11, 120 (2024), arXiv:2408.13984 [hep-th]
-
[29]
Shuta Funakoshi, Tatsuo Kobayashi, and Hajime Ot- suka, “Quantum aspects of non-invertible flavor sym- metries in intersecting/magnetized D-brane models,” (2024), arXiv:2412.12524 [hep-th]
-
[30]
Tatsuo Kobayashi, Hajime Otsuka, and Morimitsu Tan- imoto, “Yukawa textures from non-invertible symme- tries,” JHEP12, 117 (2024), arXiv:2409.05270 [hep-ph]
-
[31]
Tatsuo Kobayashi, Yume Nishioka, Hajime Otsuka, and Morimitsu Tanimoto, “More about quark Yukawa tex- tures from selection rules without group actions,” (2025), arXiv:2503.09966 [hep-ph]
-
[32]
Motoo Suzuki and Ling-Xiao Xu, “Phenomenological im- plications of a class of non-invertible selection rules,” (2025), arXiv:2503.19964 [hep-ph]
-
[33]
Qiuyue Liang and Tsutomu T. Yanagida, “Non-invertible symmetry as an axion-less solution to the strong CP problem,” Phys. Lett. B868, 139706 (2025), arXiv:2505.05142 [hep-ph]
-
[34]
Tatsuo Kobayashi, Hajime Otsuka, Morimitsu Tanimoto, and Haruki Uchida, “Lepton mass textures from non- invertible multiplication rules,” JHEP08, 189 (2025), arXiv:2505.07262 [hep-ph]
-
[35]
Tatsuo Kobayashi, Hiroshi Okada, and Hajime Otsuka, “Radiative neutrino mass models from non-invertible se- lection rules,” JHEP12, 111 (2025), arXiv:2505.14878 [hep-ph]
-
[36]
Tatsuo Kobayashi, Hironobu Mita, Hajime Otsuka, and Riku Sakuma, “Matter symmetries in supersymmetric 6 standard models from non-invertible selection rules,” (2025), arXiv:2506.10241 [hep-ph]
-
[37]
Takaaki Nomura and Hiroshi Okada, “Radiative lepton seesaw model in a non-invertible fusion rule and gauged B−Lsymmetry,” (2025), arXiv:2506.16706 [hep-ph]
-
[38]
Takaaki Nomura and Oleg Popov, “No-group Scotogenic Model,” (2025), arXiv:2507.10299 [hep-ph]
-
[39]
Jingqian Chen, Chao-Qiang Geng, Hiroshi Okada, and Jia-Jun Wu, “A radiative lepton model in a non- invertible fusion rule,” Nucl. Phys. B1025, 117391 (2026), arXiv:2507.11951 [hep-ph]
-
[40]
Hiroshi Okada and Yoshihiro Shigekami, “Three-loop in- duced neutrino mass model in a non-invertible symme- try,” (2025), arXiv:2507.16198 [hep-ph]
-
[41]
Tatsuo Kobayashi, Hajime Otsuka, and Tsutomu T. Yanagida, “Noninvertible symmetry as a solution to the strong CP problem in a GUT-inspired standard model,” Phys. Rev. D113, 055016 (2026), arXiv:2508.12287 [hep- ph]
-
[42]
Shilpa Jangid and Hiroshi Okada, “A natural realiza- tion of inverse seesaw model in a non-invertible selection rule,” (2025), arXiv:2508.16174 [hep-ph]
-
[43]
Tatsuo Kobayashi, Hajime Otsuka, Morimitsu Tani- moto, and Tsutomu T. Yanagida, “GUT-motivated non-invertible symmetry as a solution to the strong CP problem and the neutrino CP-violating phase,” (2025), arXiv:2510.01680 [hep-ph]
-
[44]
Shilpa Jangid and Hiroshi Okada, “A radiative seesaw model in a non-invertible selection rule with the as- sistance of a non-holomorphic modularA 4 symmetry,” (2025), arXiv:2510.17292 [hep-ph]
- [45]
-
[46]
Hiroshi Okada and Yutaro Shoji, “A novel realiza- tion of linear seesaw model in a non-invertible selec- tion rule with the assistance ofZ 3 symmetry,” (2025), arXiv:2512.20891 [hep-ph]
- [47]
-
[48]
Hiroshi Okada and Yoshihiro Shigekami, “Two-loop rain- bow neutrino masses in a non-invertible symmetry,” (2026), arXiv:2601.15749 [hep-ph]
-
[49]
Dominant One-Loop Seesaw Contribu- tion Induced by Non-Invertible Fusion Algebra,
Monal Kashav, “Dominant One-Loop Seesaw Contribu- tion Induced by Non-Invertible Fusion Algebra,” (2026), arXiv:2602.14644 [hep-ph]
-
[50]
Residual group-like sym- metries in selection rules without group actions,
Jun Dong, Tatsuo Kobayashi, Shuhei Miyamoto, Ryusei Nishida, and Hajime Otsuka, “Residual group-like sym- metries in selection rules without group actions,” (2026), arXiv:2603.14836 [hep-th]
- [51]
-
[52]
Hiroshi Okada and Jia-Jun Wu, “Dynamical Determi- nation of the Cut-off Scale in Loop-Induced Neutrino Mass Models with Non-Invertible Symmetry,” (2026), arXiv:2603.17587 [hep-ph]
-
[53]
Dynamical CP Violation from Non-Invertible Selection Rules
Hiroshi Okada and Hajime Otsuka, “Dynamical CP Vi- olation from Non-Invertible Selection Rules,” (2026), arXiv:2604.04423 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[54]
Tatsuo Kobayashi and Hajime Otsuka, “Generalized CP from non-invertible selection rules,” (2025), arXiv:2512.16376 [hep-ph]
-
[55]
Near-group fusion categories and their doubles,
David E. Evans and Terry Gannon, “Near-group fusion categories and their doubles,” (2012), arXiv:1208.1500 [math.QA]
-
[56]
Discrete gauging and noninvert- ible selection rules,
Jun Dong, Tim Jeric, Tatsuo Kobayashi, Ryusei Nishida, and Hajime Otsuka, “Discrete gauging and noninvert- ible selection rules,” Phys. Rev. D113, 056028 (2026), arXiv:2507.02375 [hep-th]. 7 SUPPLEMENTARY MATERIAL “A General Prescription for Spurion Analysis of Non-Invertible Selection Rules” In this supplementary material, we state the full modular consi...
-
[57]
Choose a candidate ambient orderL. If several basis elements are to be accommodated in the same cyclic factor, thenLmust be a common multiple of their fusion orders; a natural starting point is therefore the least common multiple of the relevantd x
-
[58]
Choose a candidate occupied subset Ω L ⊂Z L \ {0}and begin a residue assignment consistent with the fusion- order data. If the factor contains an element of fusion orderL, then, up to cyclic relabeling, one may place one such element at residue 1, thereby fixing the overall origin of the cyclic labeling. More generally, one may choose any convenient repre...
-
[59]
In particular, pairwise relations provide an efficient first pass for excluding incompatible assignments
Use the pairwise fusion relations as preliminary constraints to determine or restrict the positions of other candidate elements. In particular, pairwise relations provide an efficient first pass for excluding incompatible assignments
-
[60]
(A4)–(A7)
Finally, verify thatallmodular relations among occupied residues are compatible with the fusion rules through Eqs. (A4)–(A7). In simple examples, the occupied residues may already be fixed by the fusion-order data together with pairwise and low-power checks. Conceptually, however, the correct acceptance criterion is the full modular consistency condition ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.