{"id":"00bd2510-c672-4c56-a233-d425c5f8ee77","arxiv_id":"2412.21196","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An infinite family of baryon-minus-lepton-like symmetries yields fractional topological responses that can uniquely distinguish all four Standard Model gauge group variants for n ≥ 7 (except 10, 12, 15, 30).","lead":"This paper derives a family of topological response coefficients for the Standard Model and shows these coefficients could tell apart its four possible global gauge group structures. The result extends a recent proposal and sharpens the theoretical route to pin down the global form of the Standard Model gauge group.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim presupposes U(1)_X_n is an exact global symmetry; because hypercharge is gauged, the A_Xn background partly couples to a gauge current, and any B−L breaking (e.g., a Weinberg operator) would make σ_n ill-defined as a measurable response.","rationale":"The reader identified the exactness of X_n and the treatment of hypercharge as global as the weakest assumption; my independent reading reaches the same point. The internal derivation of σ_n from the gauge bundle constraints and the number-theoretic analysis of distinguishability appear consistent: the odd/even n cases give σ = q(1−n)/(2n) + kq/6 and σ = q(1−n)/n + kq/6 respectively, and the divisibility argument in Sec. V correctly reproduces the tabulated exclusions. I therefore find no internal inconsistency that would break the mathematical claim under the stated assumptions. The genuinely load-bearing issue is physical: U(1)_X_n is a linear combination of the global B−L symmetry and the hypercharge gauge symmetry, so one must justify that the hypercharge component can be independently probed, and one must require B−L to be exact. Minimal SM with no Majorana masses satisfies the latter, but the neutrino-mass sector and quantum gravity plausibly break it, and no experimental protocol is given. Because the paper explicitly frames σ_n as measurable and the reader's conditional verdict already captures the gap, my stress-test does not move the verdict.","tokens_in":28237,"tokens_out":38905,"duration_ms":394220,"concrete_test":"Recompute the SM partition function with background fields A_Xn and B_m after the field redefinition a_{\\tilde Y} → a_{\\tilde Y} − (1−n/3)A_Xn, and check whether the σ_n B_m dA_Xn term survives or reduces to a universal B−L response multiplied by n. In the same setup, add the dimension-5 Weinberg operator (l_L H)^2, whose X_n charge is nonzero for generic n, and recompute the fractional response at small coefficient. If the n-dependence is removable, or if B−L breaking destroys the quantized response, the claimed discrimination via scanning n collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section II defines X_n = n(B−L) + (1−n/N_c)\\tilde Y and treats it as an exact global symmetry by 'restricting the \\tilde Y gauge transformation as a global symmetry transformation.' In the dynamical SM, \\tilde Y is a local gauge symmetry, so a background field coupled to the hypercharge component of the X_n current is not manifestly an independent probe: shifting a_{\\tilde Y} by the background can absorb part of the source. If this reduction is complete, all X_n act on gauge-invariant states as B−L up to normalization, and the n-dependence of σ_n is a normalization choice rather than new discriminating power. Independently, the Weinberg operator (l_L H)^2 has X_n charge 2n for the table charges (l_L: −3, H: 3−n, so two powers give 2(3−n) plus the lepton-number part n*2?); more directly, a ν_R Majorana mass breaks B−L and hence X_n, so the fractional response is only defined in a limit where B−L is exact. The paper's own Sec. V lists experimental measurement of σ_n as an open future direction, so the abstract's 'measurable topological responses' is an overclaim unless a concrete measurement protocol is supplied. The number-theoretic condition (n ≥ 7, n ≠ 10,12,15,30) appears internally consistent, but it is conditional on the response being well-defined for an exact X_n. This is the load-bearing assumption: if it fails, the central distinguishing claim does not apply to the actual SM.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the global form of the Standard Model gauge group, GSM_q = (SU(3)×SU(2)×U(1))/Z_q with q=1,2,3,6, which is not fixed by the local algebra. For each integer n≥1, the authors introduce a new U(1)_X_n symmetry, X_n = n(B−L)+(1−n/3)Y~, and consider the symmetry-enriched Standard Model with 0-form and 1-form symmetries. They derive a fractional topological response σ_n(q,k) = q(1−n)gcd(2,n)/(2n) + kq/6 mod 1, where k∈Z_{6/q} is a symmetry fractionalization label. The first term comes from a gauge bundle constraint for the U(1)_Y~ and U(1)_X_n fields, while the second comes from canceling a mixed 1-form anomaly. The paper then proves, by explicit case checks and divisibility arguments, that for a fixed n, σ_n uniquely fixes (q,k) if and only if n≥7 and n∉{10,12,15,30}, and that certain pairs (n1,n2) also distinguish all SM_{(q,k)} variants. The result is presented as extending the n=3 case of Hsin–Gomis and as yielding 'measurable topological responses' that illuminate the global structure of the SM gauge group.","tokens_in":28544,"tokens_out":9751,"duration_ms":102202,"significance":"If the construction is accepted, the paper provides a clean and internally consistent derivation of a family of fractional SPT responses that depend nontrivially on the global gauge group parameter q and fractionalization class k. The derivation has no fitted continuous parameters: the first contribution follows from the gauge bundle constraint quoted in Eqs. (49)/(55), the second from the mixed anomaly and the fractionalization class, and the remaining number-theoretic uniqueness claim is supported by explicit manual checks in Sec. V and Table II. The introduction of the X_n family is a natural generalization of the B−L and Wilczek–Zee symmetries and the result, conditional on the symmetry assumption, is a falsifiable prediction. The main weakness is the physical status of U(1)_X_n as an exact global symmetry of the actual Standard Model, on which the central distinguishing claim hinges.","major_comments":[{"comment":"The construction of U(1)_X_n as an exact global symmetry of the Standard Model is not fully justified. Since hypercharge Y~ is a local gauge symmetry, a spacetime-independent Y~ transformation is a gauge redundancy on gauge-invariant states; consequently, on gauge-invariant operators the X_n generator coincides with n times the B−L generator up to a field-dependent gauge transformation. The paper states in Sec. II that one can 'restrict the Y~ gauge transformation as a global symmetry transformation,' but this does not address whether the background field A_X_n is an independent probe or can be absorbed by a shift of the dynamical hypercharge field. If the reduction is complete, the n-dependence of σ_n may be only a normalization convention for the B−L current rather than new discriminating physical content. The authors should either provide a gauge-invariant definition of the A_X_n coupling that cannot be removed by a field redefinition, or explicitly restrict the central claim to the formal symmetry-enriched variants SM_{(q,k)} rather than to the actual Standard Model.","section":"Sec. II, Eq. (5)"},{"comment":"The exactness of X_n is not stable under standard beyond-the-SM operators. The Weinberg operator (l_L H)^2 carries X_n charge −2n, and a right-handed neutrino Majorana mass ν_R ν_R carries charge +2n, so any neutrino-mass-generating extension of the SM breaks X_n. Since Eq. (3) allows the presence of right-handed neutrinos, the statement that X_n is an exact global symmetry is conditional on excluding these operators. The paper should state this condition explicitly and discuss whether σ_n remains well-defined in the presence of small X_n-breaking perturbations. Moreover, Sec. V lists 'Experimental Measurement of Topological Responses' as an open future direction, so the abstract's phrase 'measurable topological responses' is stronger than what is established; a concrete measurement protocol, or an explicit weakening of the claim to a formal SPT classification, is needed.","section":"Sec. II and Sec. V"}],"minor_comments":[{"comment":"The caption contains a typo: 'inteer series' should read 'integer series.'","section":"Table I caption"},{"comment":"In Eq. (38), σ_n denotes only the first contribution q(1−n)gcd(2,n)/(2n), while Eq. (46) defines the full σ_n including the fractionalization term; the paper should use different symbols (e.g., σ_n^{(0)} and σ_n) or explicitly state the convention change.","section":"Eq. (38) vs Eq. (46)"},{"comment":"The proof of the 'if and only if' condition for n≥7 is written out only for n up to 30; while the divisibility argument is standard, the paper would be clearer if it stated the general divisibility step explicitly (n | 3(q'−q) for odd n, and m | 3(q−q') for even n) before the case checks.","section":"Sec. V"},{"comment":"The claim that pairs such as (n1,n2)=(2,5),(3,4),(3,5),(4,5) 'all such pairs can discern SM_{(q,k)}' is asserted without a proof or a table of the combined distinguishability; a short argument or a supplementary table would make this claim verifiable.","section":"Sec. V, Table II"},{"comment":"There are typographical artifacts in the text: 'Eilenberg?MacLane' appears in Appendix A.2 and 'Here?s' in Appendix A.6; these should be corrected to 'Eilenberg–MacLane' and 'Here's'.","section":"Appendix A.2, A.6"}],"recommendation":"major_revision","confidential_remarks":"The paper is a formal SPT/cobordism analysis that is internally consistent, but its physical reach depends entirely on the status of U(1)_X_n as an exact global symmetry of the SM. If the skepticism about the gauge-redundancy reduction of X_n is correct, the central n-dependent discriminating claim would collapse into a normalization artifact; the authors should be asked to either rigorously justify the independence of the A_X_n background or reframe the paper as a classification of symmetry-enriched variants rather than as a statement about the actual SM. The paper's extensive self-citation of Refs. [7,14-20] is noticeable but not inappropriate given the direct continuity of the methods. The number-theoretic part, in contrast, is solid and needs only minor clarifications."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper is worth a serious referee. The genuinely new piece is the X_n family and the clean if-and-only-if criterion: for fixed n, sigma_n distinguishes the four SM gauge groups and the fractionalization class k exactly when n ≥ 7 and n ≠ 10, 12, 15, 30. The modular arithmetic behind that criterion is explicit and, as far as I can tell, correct. The pair result (e.g. n=2 and n=3 together) is a nice bonus. Relative to Hsin–Gomis, this is a real generalization, not a repackaging: n=3 is a special case, and the paper says clearly what is new.\n\nThe main soft spot is the one the stress-test flags. X_n contains the hypercharge generator, and hypercharge is gauged in the SM. Treating “the \\tilde Y gauge transformation as a global symmetry transformation” is a restriction that changes the theory. On gauge-invariant states, X_n reduces to n(B−L) plus possible q-dependent quotients, so the n-dependence of sigma_n is not automatically a new physical observable of the ordinary SM. The paper's own Sec. V lists experimental measurement as future work, so the abstract's “measurable topological responses” is stronger than what is shown. If the result is read as a formal SPT response of the symmetry-enriched theory with U(1)_Xn treated as global, the derivation is internally consistent; the claim that this probes the actual SM needs a sharper statement about when X_n is exact and why coupling to a background that overlaps a gauge current is well-defined. I would not call it fatal—the math can stand as a classification result—but the authors need either a protocol or softer measurability language.\n\nSmaller issues: the gauge bundle constraints are quoted from [37,38] rather than derived; that is acceptable use of citation, but a referee should check the gcd/lcm factors. The appendix cobordism tables are computational and I did not verify every entry. Self-citation is heavy but mostly to the authors' own earlier SM cobordism work, which is the relevant literature; not a flaw.\n\nThis is a paper for hep-th readers working on generalized symmetries, anomalies, and the global form of gauge groups. It deserves refereeing. I would accept it with major revision requests on the X_n assumption and on the measurability framing.","headline":"A solid generalization of Hsin–Gomis with sound number theory, but the X_n symmetry is only a global symmetry if you stop gauging hypercharge, so the abstract's 'measurable' claim overreaches.","tokens_in":29107,"tokens_out":5005,"would_cite":true,"duration_ms":53834,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that a single fractional topological response $\\sigma_n(q,k)$ — the coefficient of $\\int \\sigma_n\\, B_m\\, dA_{X_n}$ — uniquely fixes which of the four global gauge groups $(SU(3)\\times SU(2)\\times U(1))/\\mathbb{Z}_q$ the…","keywords":["Standard Model","global gauge group","topological response","symmetry fractionalization","higher-form symmetry","baryon-minus-lepton","cobordism invariants","fractional quantum Hall"],"falsifier":"A finite modular computation settles the uniqueness claim: enumerate all pairs $(q,k)$ with $q\\in\\{1,2,3,6\\}$ and $k\\in\\{0,\\dots,6/q-1\\}$; for any $n\\ge 7$ outside $\\{10,12,15,30\\}$, two distinct pairs with equal $\\sigma_n(q,k)\\bmod 1$ would refute the 'if and only if' statement. A measurement of the coefficient of $\\int B_m\\, dA_{X_n}$ on a $\\mathrm{Spin}^c$ (odd $n$) or $\\mathrm{Spin}$ (even $n$) 4-manifold that disagrees with the formula would refute the derivation.","tokens_in":28014,"feed_emoji":"⚛️","tokens_out":18130,"duration_ms":149741,"temperature":0.7,"pith_summary":"The Standard Model's force carriers are described by the Lie algebra $su(3)\\times su(2)\\times u(1)$, but that same algebra admits four different global gauge groups, $G_{\\mathrm{SM}_q}=SU(3)\\times SU(2)\\times U(1)/\\mathbb{Z}_q$ with $q=1,2,3,6$, and current experiments do not tell which one is realized. The paper introduces a family of global symmetries $X_n\\equiv n(B-L)+(1-\\frac{n}{3})\\tilde{Y}$, combinations of baryon-minus-lepton number and electroweak hypercharge treated as a global symmetry, and computes the fractional topological response $\\sigma_n(q,k)$ they induce through symmetry fractionalization. The central claim is that for any fixed $n\\ge 7$ outside the four exceptional values $10,12,15,30$, the response $\\sigma_n(q,k)=\\frac{q(1-n)\\gcd(2,n)}{2n}+\\frac{kq}{6}\\bmod 1$ takes a distinct value for each allowed pair $(q,k)$, so one measurement would identify both the global gauge group and the fractionalization class. This matters because it turns an abstract ambiguity about the global structure of the Standard Model into a concrete, quantum-Hall-like measurable quantity.","feed_headline":"One number distinguishes the four Standard Model gauge groups","feed_subtitle":"Measuring the topological response σ_n of the new X_n symmetry fixes both q and the fractionalization label k.","key_machinery":"The load-bearing objects are the new $U(1)_{X_n}$ symmetries with integer charges $q_{X_n}=(2-n,-3,1,-4+n,6-n,n,3-n)$ on the Standard Model fields, and two structural constraints that tie them to the SM gauge bundle: the gauge-bundle constraint relating the hypercharge flux $da_{\\tilde{Y}}$ to the $X_n$ flux and the Stiefel-Whitney classes, and the fractionalization constraint $f_k^*\\tilde{B}_e=\\frac{k}{6/q}dA_{X_n}$ coming from the class $k\\in H^2(BG_{[0]},\\mathbb{Z}_{6/q})=\\mathbb{Z}_{6/q}$, where symmetry fractionalization is the data specifying how the 0-form symmetry acts on the 1-form symmetry's charged line operators. These feed the mixed anomaly $\\int_{M^5}-\\frac{1}{2\\pi}\\tilde{B}_e\\, dB_m$, whose inflow produces the fractional SPT term $\\int_{M^4}\\frac{k}{6/q}A_{X_n}\\, dB_m$. The identity that carries the argument is $\\sigma_n(q,k)=\\frac{q(1-n)\\gcd(2,n)}{2n}+\\frac{kq}{6}\\bmod 1$; its two terms come respectively from the fractional part of the magnetic 2-current $J_m^{(2)}=q\\star\\frac{da_{\\tilde{Y}}}{2\\pi}$ and from the anomaly-cancelling fractionalization term.","core_discovery":"The paper establishes that the symmetry-enriched Standard Model carries a fractional topological response whose coefficient is a function of two discrete labels that experiments have not yet fixed: $q$, the order of the quotient in $G_{\\mathrm{SM}_q}$, and $k$, the electric symmetry-fractionalization class in $\\mathbb{Z}_{6/q}$. Using the new $U(1)_{X_n}$ symmetry, $X_n\\equiv n(B-L)+(1-\\frac{n}{N_c})\\tilde{Y}$ with $N_c=3$, the paper derives $\\sigma_n(q,k)=\\frac{q(1-n)\\gcd(2,n)}{2n}+\\frac{kq}{6}\\bmod 1$ as the coefficient of the 4d response $\\int \\frac{\\sigma_n}{2\\pi} B_m\\, dA_{X_n}$. The derivation runs through two constraints: the gauge-bundle constraint $\\frac{da_{\\tilde{Y}}}{2\\pi}=\\frac{1}{\\mathrm{lcm}(2,n)}\\frac{dA_{X_n}}{2\\pi}-\\frac{\\gcd(2,n)}{2}w_2(TM)+\\frac{1}{q}w_2^{(q)}\\bmod 1$, and the fractionalization constraint $f_k^*\\tilde{B}_e=\\frac{k}{6/q}dA_{X_n}$, which cancels the mixed anomaly between the electric and magnetic 1-form symmetries. For a fixed $n$ with $n\\ge 7$ and $n\\notin\\{10,12,15,30\\}$, the map $(q,k)\\mapsto \\sigma_n$ is injective modulo 1, and the same injectivity is achieved by measuring pairs such as $(n_1,n_2)=(2,3),(2,5),(3,4),(3,5),(4,5)$. The result is independent of the number of fermion families and of whether right-handed neutrinos are present.","pith_inferences":["Beyond the paper's explicit list, one could classify all finite sets of $n$ values whose combined responses $\\{\\sigma_n\\}$ uniquely identify $\\mathrm{SM}_{(q,k)}$; the listed pairs are instances, not a complete classification.","If $X_n$ is broken by neutrino masses, quantum gravity, or other ultraviolet physics, the predicted response would vanish or shift, so a positive measurement of $\\sigma_n$ would simultaneously certify that $B-L$ is an exact low-energy global symmetry.","Because the derivation uses only symmetry and topology, a condensed-matter or lattice system with the same 0-form and 1-form symmetry data could emulate the response, making the abstract Standard Model distinction potentially testable in a tabletop experiment.","The odd-$n$ versus even-$n$ distinction ($\\mathrm{Spin}^c$ versus $\\mathrm{Spin}$ manifolds) suggests the response depends on spacetime topology; extending the computation to manifolds with boundary could yield edge or defect observables that are easier to measure."],"forward_implications":["A measurement of $\\sigma_n$ at any admissible $n$ distinguishes all four candidate gauge groups $q=1,2,3,6$, turning the global-structure ambiguity of the Standard Model into a single experimental question.","The same measurement also fixes the fractionalization label $k$, selecting one of the symmetry-enriched variants $\\mathrm{SM}_{(q,k)}$ from the kinematical possibilities.","The earlier $n=3$ response cannot separate $\\mathrm{SM}_{(1,2)}$, $\\mathrm{SM}_{(2,2)}$, $\\mathrm{SM}_{(3,0)}$, and $\\mathrm{SM}_{(6,0)}$; the $X_n$ family removes these degeneracies for $n\\ge 7$ outside the four exceptional values.","The response is independent of the fermion family number and of the presence of right-handed neutrinos, so the distinguishing power survives Standard Model extensions that preserve $X_n$.","Because the response is fractional and quantized modulo 1, it behaves like a fractional quantum Hall conductance and is insensitive to continuous deformations."],"supporting_citations":[{"why":"the n=3 special case whose response cannot distinguish all four q values; the X_n family is designed to extend it and is compared against its ξ coefficient.","marker":"[24]"},{"why":"introduces the X=5(B−L)−(2/3)\\tilde{Y} symmetry and the charge-normalization method used to define the X_n family.","marker":"[23]"},{"why":"defines higher-form global symmetries and background gauge fields, the language used for the electric and magnetic 1-form symmetries.","marker":"[6]"},{"why":"supplies the gauge-bundle constraint relating U(1)_{\\tilde{Y}} flux, X_n flux, and Stiefel-Whitney classes used in the derivation.","marker":"[37]"},{"why":"supplies the obstructed lifting relations for gauged Lie group symmetries used in the even-n and odd-n bundle constraints.","marker":"[38]"},{"why":"provides the symmetry-fractionalization formalism that defines the class k and its obstruction [β].","marker":"[30]"},{"why":"provides the 2-group and lifting-diagram framework used to compute [β] and k in the electric sector.","marker":"[32]"},{"why":"earlier computation of Standard Model cobordism invariants and the mixed anomaly between electric and magnetic 1-form symmetries.","marker":"[18]"},{"why":"companion computation of Standard Model anomalies and cobordism invariants used together with [18] for the mixed anomaly.","marker":"[19]"}],"fun_headline_variants":["One number fixes the Standard Model's global gauge group","A topological response reveals the Standard Model's hidden gauge group","Fractional response distinguishes all four SM gauge groups","Single response fixes q and k in the Standard Model gauge group","Measuring one topological number pins down the SM gauge group"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The prediction that $\\sigma_n$ is measurable rests on $U(1)_{X_n}$ being an exact global symmetry of the Standard Model, which requires treating $B-L$ as exact and the hypercharge $U(1)$ as restricted to global transformations; if neutrino masses, quantum gravity, or other higher-energy physics break $X_n$, the response vanishes or changes and the uniqueness argument loses its observable target.","fun_headline_variants_meta":{"raw":{"variants":["One number fixes the Standard Model's global gauge group","A topological response reveals the Standard Model's hidden gauge group","Fractional response distinguishes all four SM gauge groups","Single response fixes q and k in the Standard Model gauge group","Measuring one topological number pins down the SM gauge group"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000901,"raw_usage":{"total_tokens":4141,"prompt_tokens":1469,"completion_tokens":2672,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":1085,"completion_tokens_details":{"reasoning_tokens":2594}},"tokens_in":1085,"tokens_out":2672,"duration_ms":15385,"temperature":1.0,"reasoning_tokens":2594,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:59:37.296447+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A finite modular computation settles the uniqueness claim: enumerate all pairs $(q,k)$ with $q\\in\\{1,2,3,6\\}$ and $k\\in\\{0,\\dots,6/q-1\\}$; for any $n\\ge 7$ outside $\\{10,12,15,30\\}$, two distinct pairs with equal $\\sigma_n(q,k)\\bmod 1$ would refute the 'if and only if' statement. A measurement of the coefficient of $\\int B_m\\, dA_{X_n}$ on a $\\mathrm{Spin}^c$ (odd $n$) or $\\mathrm{Spin}$ (even $n$) 4-manifold that disagrees with the formula would refute the derivation.","supporting_citations":[],"review_version":1}