{"id":"5a9b2c7e-8ffa-4ed1-857f-c5e554732e42","arxiv_id":"2507.02375","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Fields labeled by conjugacy classes of Z3- and S3-gauged finite groups obey non-invertible fusion selection rules with residual automorphism symmetries.","lead":"The authors compute the 'fusion rules' for particle fields labeled by conjugacy classes of several finite discrete groups, extending earlier work from Z2 to Z3 and S3 gauging. These rules describe which couplings are allowed and reveal residual discrete symmetries that may shape fermion mass textures.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The class-product selection rules are assumed rather than derived for the new Z3/S3 gaugings, and the claimed loop-level protection of their automorphism symmetries does not follow from the algebra alone.","rationale":"The reader's weakest assumption identifies the mapping from class products to physical coupling selection rules as the main caveat. I agree that this is the most load-bearing concern: the paper's algebraic computations are internally consistent (modulo minor caveats like the unsuppressed replacement rules), but the abstract's claim that these selection rules 'open up new coupling selection rules of fields' depends on this mapping being correct in a concrete field theory or string realization. The reader's conditional acceptance appropriately reflects that the algebra appears correct but the physical interpretation is not independently derived. My stress-test adds that the loop-protection claim in Sec. 7.1 is an additional unsupported step beyond the tree-level mapping: a symmetry of the multiplication table does not by itself imply a symmetry of the quantum theory. This strengthens rather than changes the reader's verdict, so I recommend no adjustment. The concrete test I propose (recomputing the tables and building an explicit orbifold) would settle both the algebraic correctness and the physical mapping.","tokens_in":30191,"tokens_out":31937,"duration_ms":324308,"concrete_test":"Recompute the class-algebra structure constants for T7, Delta(27), and Delta(54) using the group algebra (e.g., GAP or Sage) and verify they match Tables 3, 8, and 13 exactly, including the replacement rules; then construct an explicit T^2/Z3 orbifold realization of the Z3 gauging of Z3 x Z'3, compute the invariant modes of Eq. (4.22), and check that the tree-level 3-point couplings vanish exactly when the class product does not contain the identity and that the Z3 grading of Eq. (4.18) is realized as the quantum Z3 symmetry, unbroken at one loop.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that the class-product selection rules are physical and that the symmetries in Table 14 protect couplings from loop corrections rests on two unproven steps. First, Sec. 2.1 posits (Eqs. (2.11)-(2.12)) that a field can be assigned to a conjugacy class and that an n-point coupling is allowed iff the class product contains the identity; this is inherited from orbifold CFT intuition but not derived for the Z3 and S3 gaugings introduced in Secs. 3-6. Second, Sec. 7.1 asserts that the Z2/Z3 gradings in Eqs. (2.6) and (4.18) are 'not violated by loop effects' because they are symmetries of the multiplication rules; however, a fusion-ring automorphism is not automatically a symmetry of the full quantum theory (Hamiltonian, measure, higher OPE data). For example, the Z3 grading in Eq. (4.18) is a charge assignment on classes, not a permutation induced by an automorphism of the underlying group; realizing it as a genuine symmetry requires the quantum Z3 of the orbifold, which the paper does not construct. There is also an internal subtlety: the general formulas such as Eq. (3.16) require unsuppressed replacement rules (e.g., 'C(0) => 3C1'); without them, the formula contradicts the paper's own Table 3 for T7. Thus the algebraic tables may be correct, but their physical interpretation and protection claims are not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies selection rules of conjugacy classes of finite discrete groups, focusing on discrete gauging. It reviews Z2 gauging of Z_N and D_N, then extends the analysis to Z3 gauging of Z_N, Z_N x Z'_N, and Z_N x Z'_N x Z''_N, and to S3 gauging of Z_N x Z'_N, together with the associated groups Delta(3N^2), Sigma(3N^3), and Delta(6N^2). The main technical content is a set of class multiplication/fusion rules, given in Eqs. (3.16), (4.4), (4.9), (5.12), (6.3), and in a series of tables, together with the identification of symmetries of these multiplication tables (Z2, S2, Z3, S3, GL(2,3), S4, and combinations), which the paper attributes to inner and outer automorphisms of the underlying groups. The paper also sketches phenomenological applications to Weinberg-operator textures and supersymmetric mu-terms, emphasizing differences between Z2 and Z3 gauging.","tokens_in":30522,"tokens_out":10032,"duration_ms":113592,"significance":"If the physical identification of fields with conjugacy classes is granted, the paper provides a useful systematic catalogue of non-invertible selection rules for a wider class of discrete gaugings than the previously studied Z2 case. The algebraic derivations are explicit and transparent; the class multiplication tables can be verified directly by group multiplication and automorphism actions, and the worked examples for N=2 and N=3 appear internally consistent. The identification of new symmetries, such as the Z3 grading in Eq. (4.18) and the S4 invariance of the Delta(54) class algebra in Sec. 6.2, is a genuine extension of earlier results and is potentially useful for model building. The main weakness is that the step from class multiplication tables to physical coupling selection rules, and especially the claim of loop-level protection, is assumed rather than derived for the new Z3 and S3 gaugings; this limits the currently established phenomenological reach of the paper.","major_comments":[{"comment":"The claim that the ZM gradings and permutation symmetries of the multiplication rules are \"not violated by loop effects\" is not established. A grading of a fusion ring is a statement about the multiplication table; it does not automatically imply that the corresponding charge assignment is a symmetry of the Lagrangian, of the path-integral measure, or of the higher OPE data of the underlying quantum theory. For the Z2 case one can invoke the orbifold quantum symmetry, but for the Z3 and S3 cases (e.g., the Z3 grading of Eq. (4.18) and the S2 symmetry in Table 14) no such symmetry is constructed. Please either construct the relevant symmetry explicitly or weaken the statement to a tree-level/fusion-algebra statement.","section":"Sec. 7.1, Eqs. (7.2)-(7.3), Table 14"},{"comment":"The physical selection-rule criterion, namely that an n-point coupling is allowed iff the class product of the assigned classes contains the identity, is assumed rather than derived for the new gaugings. For Z2, Eq. (2.10) provides an explicit invariant-mode construction. In Secs. 3, 4.1, and 5, the analogous statements are made by writing invariant sums such as Eqs. (3.18), (4.22), and (5.15), and then asserting that the selection rules \"can be derived in a way similar\" to the Z2 case. No computation of three-point or higher couplings, and no argument that the class-product criterion (rather than some finer invariant data) controls them, is provided. The paper also does not derive selection rules for fields in the B-type classes (e.g., the twist-field classes in Tables 8, 10, and 13), beyond stating that twist fields may represent them. Since Sec. 7.2 uses these rules to produce neutrino textures, this missing step is load-bearing for the phenomenological part.","section":"Sec. 2.1, Eqs. (2.11)-(2.12); Secs. 3-6"},{"comment":"The general formula for C^k_3 . C^l_3 is incomplete as written because it does not specify how to interpret terms whose index labels the identity class. In the worked N=7, m=2 example, the product C^1_3 . C^2_3 produces the term C^0_3, which must be read as 3C1 to reproduce Table 3; without this replacement, Eq. (3.16) gives a different result. Analogous replacement rules are stated for other cases, e.g., Eq. (4.17) and Eq. (6.13), but not for Eq. (3.16). The formula is therefore not well-defined for non-prime N and is inconsistent with the paper's own table unless an implicit convention is supplied. Please add the missing replacement rules, e.g., C^0_3 => 3C1, and mention the convention at the point of Eq. (3.16).","section":"Sec. 3, Eq. (3.16)"}],"minor_comments":[{"comment":"In the N/3-integer case, the list \"(s = N/2, 2N/3)\" should presumably read \"(s = N/3, 2N/3)\"; as written it is inconsistent with the premise N/3 is an integer.","section":"Eq. (4.10)"},{"comment":"The replacement-rule sentence contains a typo: \"C(k+m,-l+n)_3\" should be \"C(k+m,l+n)_3\".","section":"After Eq. (4.9)"},{"comment":"The definition of C^(k,l)_3 does not explicitly exclude (k,l)=(0,0), although C_1 is already defined separately; please add the exclusion for clarity.","section":"Sec. 4.1, after Eq. (4.10)"},{"comment":"The summary table lists only a few of the symmetries found in the text; the larger symmetries of Delta(27) and Delta(54) mentioned in Secs. 4.2 and 6.2 are absent. Adding rows or a remark that the table is not exhaustive would avoid confusion.","section":"Table 14"},{"comment":"The phrase \"Z3 gauging of ZN\" may be confusing because the Z3 that is gauged is an outer automorphism rather than a subgroup of ZN; a sentence clarifying this at first use would improve readability.","section":"Sec. 3, first use of \"Z3 gauging of ZN\""}],"recommendation":"major_revision","confidential_remarks":"The algebraic catalogue is likely correct and useful for the non-invertible symmetry community. The main gap is the physics step: the paper does not construct the field-theoretic realization of the Z3 and S3 selection-rule criteria, and the loop-protection statements in Sec. 7.1 go beyond what the algebra alone establishes. If the authors can supply or cite a derivation of the class-product selection rule for the new gaugings and temper or justify the loop-protection claims, the paper would be acceptable. The phenomenological section is illustrative rather than exhaustive; I would not treat it as the main contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper is a straightforward extension of the Z2-gauging selection rules from Kobayashi-Otsuka to Z3 and S3 gaugings of a family of finite groups. The core algebra is solid: the class multiplication rules in Secs. 3-6 are derived by explicit group multiplication, and the residual symmetries in Table 14 are correctly identified. The new material is real—Z3 gauging of ZN for prime N, Z3 gauging of ZN×Z'N with the Z3 grading, S3 gauging, and the full class products for Δ(27), Σ(24), and Δ(54) with their automorphism symmetries. I do not see these in the earlier Z2 papers, and the tables are a useful reference for model building.\n\nThe soft spots are all at the edges. First, the identification of a field with a conjugacy class, and the rule that a coupling is allowed iff the class product contains the identity, is assumed rather than derived. That is the standard dictionary in this literature and it is not the authors' invention, but the paper doesn't prove it for the new gaugings either. Second, the claim in Sec. 7.1 that the ZM symmetries of the multiplication rules are 'not violated by loop effects' is too quick. A grading on the fusion ring is not automatically a symmetry of the full quantum theory; you would need to construct the corresponding operator (e.g., the quantum Z3 of the orbifold) and show it commutes with the dynamics. The paper asserts this without construction. This matters for the phenomenological claims but does not affect the algebra. Third, there is a minor technical omission: the general formulas such as Eq. (3.16) do not state the replacement rules when the exponent sum lands on the identity or a singleton class. Without those, the formula contradicts the paper's own Table 3 for T7. The tables themselves are correct, so this is a footnote, not a flaw in the results. There is also a typo in Eq. (4.10): s=N/2 should be s=N/3.\n\nThis is a paper for people working on non-invertible flavor symmetries in string phenomenology. It is a useful reference for the fusion rules of gauged groups, and it deserves a serious referee. I would send it to review with the expectation of a modest revision: add the replacement rules, fix the typo, and tone down the loop-protection claim unless a construction is provided.\n\nBest,","headline":"A solid algebraic extension of non-invertible selection rules to Z3/S3 gaugings; the fusion rules are new and useful, but the loop-protection claim is asserted rather than proven.","tokens_in":31071,"tokens_out":9058,"would_cite":true,"duration_ms":90886,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"For finite discrete groups, gauging an automorphism turns coupling selection rules into non-invertible class-product algebras whose residual symmetries come from the group's inner and outer automorphisms.","keywords":["non-invertible symmetries","conjugacy classes","discrete gauging","selection rules","finite discrete groups","outer automorphisms","flavor symmetries","fusion rules"],"falsifier":"Compute the one-loop correction to a coupling that is forbidden by the $\\mathbb{Z}_3$ charge in $\\mathbb{Z}_3$ gauging of $\\mathbb{Z}_3\\times\\mathbb{Z}'_3$ (e.g., a vertex with total class charge not equal to $\\alpha+\\beta \\bmod 3$): if such an amplitude is non-zero, the claimed loop-protection of the residual symmetry fails; alternatively, compute a tree-level three-point function $\\langle \\phi_{k,\\ell}^3\\rangle$ in a $\\mathbb{T}^2/\\mathbb{Z}_3$ model, which the paper predicts is always allowed, and check that its class product indeed contains the identity — a vanishing result would falsify the selection-rule dictionary.","tokens_in":30014,"feed_emoji":"⚛️","tokens_out":12321,"duration_ms":116881,"temperature":0.7,"pith_summary":"The paper asks what selection rules survive when a finite discrete symmetry such as $\\mathbb{Z}_N$ is gauged by one of its automorphisms (a $\\mathbb{Z}_2$, $\\mathbb{Z}_3$, or $S_3$ action), and answers that the gauge-invariant objects are conjugacy classes whose multiplication rules form non-invertible fusion algebras. It then establishes that these class-product algebras carry residual finite Abelian or non-Abelian discrete symmetries inherited from the inner and outer automorphisms of the underlying group, collecting examples such as a $\\mathbb{Z}_2$ symmetry for $\\mathbb{Z}_2$ gauging of $\\mathbb{Z}_N$ with even $N$, a $\\mathbb{Z}_3$ symmetry for $\\mathbb{Z}_3$ gauging of $\\mathbb{Z}_N \\times \\mathbb{Z}'_N$ when $N/3$ is an integer, and an $S_4$ symmetry for the full conjugacy-class algebra of $\\Delta(54)$. Because the non-invertible selection rules are violable by radiative or stringy corrections while the residual automorphism symmetries are not, the residual symmetries mark exactly which coupling restrictions are exact. A sympathetic reader cares because fields labeled by conjugacy classes appear in string orbifold constructions, and these rules yield new fermion mass textures and Higgs-sector structures that ordinary group-theoretic flavor symmetries cannot produce.","feed_headline":"Discrete gauging leaves hidden symmetries in coupling rules","feed_subtitle":"Gauged classes keep hidden symmetries that protect particle couplings from loop corrections.","key_machinery":"The load-bearing object is the conjugacy class together with its multiplication (fusion) rule. After gauging a finite group by a $\\mathbb{Z}_2$, $\\mathbb{Z}_3$, or $S_3$ automorphism, the gauge-invariant combinations of group elements are classes $C = \\{b^n g b^{-n}\\}$, and products of classes expand as sums of classes with integer coefficients, as in Eq. (4.4); this is what turns coupling selection into a non-invertible algebra. The selection rule is then the dictionary that an $n$-point vertex $\\prod_i \\phi_{k_i}$ is allowed if and only if the class product contains the identity class, and the symmetries of these product tables are identified with the inner and outer automorphism groups of the underlying discrete group, which act on classes by permutation or by diagonal phases (for example $\\mathbb{Z}_3$ charges $\\omega^p$ and $b \\to \\omega b$ on the $\\Delta(27)$ classes). The same automorphism action, applied to twist fields associated with the conjugacy classes containing $b$, is what produces the large residual symmetries such as $S_4$ for $\\Delta(54)$.","core_discovery":"On the paper's own terms, the central discovery is a systematic derivation of conjugacy-class selection rules for several families of finite discrete groups, in both the gauged and ungauged settings, together with the residual discrete symmetries of those rules. For the gauged classes of $\\mathbb{Z}_N \\times \\mathbb{Z}'_N$ under a $\\mathbb{Z}_3$ outer automorphism, the classes $C(k,\\ell)$ obey $C(k,\\ell)\\cdot C(m,n) = C(k+m,\\ell+n) + C(k-m+n,\\ell-m) + C(k-n,\\ell+m-n)$, and when $N/3$ is integral the algebra splits under a $\\mathbb{Z}_3$ charge $C_\\alpha \\cdot C_\\beta = C_{\\alpha+\\beta \\bmod 3}$. Analogous explicit tables are given for $\\mathbb{Z}_3$ gauging of $\\mathbb{Z}_N$, $\\mathbb{Z}_N\\times\\mathbb{Z}'_N\\times\\mathbb{Z}''_N$, and $S_3$ gauging of $\\mathbb{Z}_N\\times\\mathbb{Z}'_N$, and for the full conjugacy classes of the groups $T_7$, $\\Delta(3N^2)$, $\\Sigma(3N^3)$, and $\\Delta(6N^2)$; the $\\Delta(27)$ table is invariant under $((\\mathbb{Z}_3\\times\\mathbb{Z}_3)\\rtimes Q_8)\\rtimes S_3$ and the $\\Delta(54)$ table under $S_4$. The paper reads a physical selection rule off these algebras: an $n$-point coupling of fields labeled by classes $C_i$ is allowed exactly when the class product contains the identity element, and it emphasizes that in $\\mathbb{Z}_3$ gauging the two-point self-coupling $\\phi_k^2$ is generically forbidden while $\\phi_k^3$ is always allowed, in contrast to $\\mathbb{Z}_2$ gauging.","pith_inferences":["The class-to-coupling dictionary could be tested directly by computing tree-level correlators in an explicit $\\mathbb{T}^2/\\mathbb{Z}_3$ magnetized orbifold: the paper predicts $\\langle \\phi_{k,\\ell}^3\\rangle \\neq 0$ and $\\langle \\phi_{k,\\ell}^2\\rangle = 0$ for generic classes, so a string computation checking those zeros would settle the dictionary.","Because the residual symmetries only exist when the particle content includes the partners that are permuted, model builders can evade loop protection by omitting partner fields; this suggests a sharp selection rule for which residual symmetries are real in a given spectrum, a point the paper notes but does not develop into a criterion.","The sequential gauging procedure in Appendix C, gauging a symmetry of an already-gauged class algebra, hints that these algebras form a hierarchy related by condensation, and one could try to characterize which finite automorphism groups can be gauged in this way for arbitrary finite groups without computing tables case by case.","It would be natural to check whether the residual symmetries are anomaly-free in the sense of discrete gauge anomalies; an anomalous residual symmetry would not actually protect couplings non-perturbatively."],"forward_implications":["For $\\mathbb{Z}_3$ gauging of $\\mathbb{Z}_N \\times \\mathbb{Z}'_N$ with $N/3$ integral, the class-product algebra is $\\mathbb{Z}_3$ graded, so couplings that conserve this $\\mathbb{Z}_3$ charge cannot be generated by loop corrections; the symmetries in Table 14 mark which parts of the selection rules are exact.","In $\\mathbb{Z}_3$ gauging, a field in a generic class cannot pair with itself at two points, so diagonal entries of neutrino mass matrices from Weinberg operators can vanish, while the cubic self-coupling $(\\phi_k)^3$ is always allowed; this yields mass textures, including the $A_1$ texture, that differ from those forced by $\\mathbb{Z}_2$ gauging.","For $\\Delta(54)$, the entire conjugacy-class multiplication table is invariant under $S_4$, meaning all couplings of fields in $\\Delta(54)$ classes are organized by this outer-automorphism symmetry.","In supersymmetric models, the $\\mu$-term can be forbidden or allowed by choosing the classes of $H_u$ and $H_d$; $\\mathbb{Z}_3$ gauging permits the superpotential $W = \\lambda S H_u H_d + \\kappa S^3$ with $S^3$ always allowed, giving a $\\mathbb{Z}_3$-invariant NMSSM-type Higgs sector.","$S_3$ gauging of $\\mathbb{Z}_N\\times\\mathbb{Z}'_N$ produces six-element classes whose multiplication rules include the $S_3$ structure, and restricting the $\\mathbb{Z}_2$ even part of a $\\mathbb{Z}_3$-gauged $\\mathbb{Z}_3\\times\\mathbb{Z}'_3$ algebra reproduces the $S_3$-gauged algebra, while a different projection yields a $\\mathbb{Z}_3$ Tambara-Yamagami-type fusion rule."],"supporting_citations":[{"why":"Supplies the Z_2 gauging of Z_N, the class C(k)={a^k,a^{-k}} and the fusion rule C(k)C(k')=C(k+k')+C(k-k') that the paper extends.","marker":"[8]"},{"why":"Earlier application of Z_2-gauged class selection rules to Yukawa textures, the phenomenological baseline the new gaugings are compared with.","marker":"[22]"},{"why":"Established that C(k)C(k) always contains the identity, the diagonal-neutrino-mass result that the Z_3 gauging contrast is built on.","marker":"[26]"},{"why":"Supplies the conjugacy-class structure and notation for D_N, Delta(3N^2), Delta(6N^2), and the semidirect groups T_7, Sigma(3N^3).","marker":"[34]"},{"why":"Gives the stringy origin of non-Abelian discrete flavor symmetries and the twist-field symmetries (e.g., D_4 for S^1/Z_2) used to realize the classes with b.","marker":"[3]"},{"why":"Provides the Z_3-invariant modes on the SU(3) root lattice used to construct the C(k,ell) classes in Sec. 4.1.","marker":"[4]"},{"why":"States that the outer automorphism of Delta(27) is GL(2,3), which the paper uses to identify the residual symmetry of the Delta(27) class table.","marker":"[41]"},{"why":"States the S_4 outer automorphism of Delta(54) that the paper uses to show invariance of the Delta(54) class multiplication rules.","marker":"[42]"},{"why":"The reference cited for stringy corrections violating non-invertible selection rules, against which the residual symmetries are claimed to be protected.","marker":"[6]"},{"why":"The companion reference for selection rules without group actions and their loop-level violation, grounding the paper's claim that only the residual Z_M symmetries survive loops.","marker":"[7]"}],"fun_headline_variants":["Discrete gauging yields non-invertible selection rules","Conjugacy classes open new coupling rules","Gauged groups hide extra symmetries in couplings","Selection rules from discrete gauging go beyond groups","Non-invertible rules control particle couplings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a physical field can be labeled by a conjugacy class of the gauged group and that an $n$-point coupling is allowed exactly when the product of its classes contains the identity, a dictionary the paper takes from earlier non-invertible-symmetry constructions rather than proving from first principles.","fun_headline_variants_meta":{"raw":{"variants":["Discrete gauging yields non-invertible selection rules","Conjugacy classes open new coupling rules","Gauged groups hide extra symmetries in couplings","Selection rules from discrete gauging go beyond groups","Non-invertible rules control particle couplings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00018,"raw_usage":{"total_tokens":1337,"prompt_tokens":1009,"completion_tokens":328,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":625,"completion_tokens_details":{"reasoning_tokens":256}},"tokens_in":625,"tokens_out":328,"duration_ms":3741,"temperature":1.0,"reasoning_tokens":256,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:30:21.735929+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the one-loop correction to a coupling that is forbidden by the $\\mathbb{Z}_3$ charge in $\\mathbb{Z}_3$ gauging of $\\mathbb{Z}_3\\times\\mathbb{Z}'_3$ (e.g., a vertex with total class charge not equal to $\\alpha+\\beta \\bmod 3$): if such an amplitude is non-zero, the claimed loop-protection of the residual symmetry fails; alternatively, compute a tree-level three-point function $\\langle \\phi_{k,\\ell}^3\\rangle$ in a $\\mathbb{T}^2/\\mathbb{Z}_3$ model, which the paper predicts is always allowed, and check that its class product indeed contains the identity — a vanishing result would falsify the selection-rule dictionary.","supporting_citations":[{"cited_title":"Symmetries of symmetries and geometrical CP violation","cited_arxiv_id":"1502.01829","evidence_quote":"States the S_4 outer automorphism of Delta(54) that the paper uses to show invariance of the Delta(54) class multiplication rules."}],"review_version":1}