{"id":"a7d62f71-5095-4baa-a1a7-d94f786e95ef","arxiv_id":"2412.16285","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Spurion-based EFTs are exactly equivalent to EFTs restricted to the residual symmetry preserved by a generic spurion vacuum expectation value, at all mass dimensions when all spurion powers are kept.","lead":"This paper proves that when physicists use 'spurion' fields to describe how a symmetry is broken, the resulting theory is equivalent to a simpler one: just keep the operators that respect the remaining symmetry. The authors verify this rule in four neutrino-mass scenarios and release a Mathematica notebook for counting operator structures.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the saturation theorem is a direct corollary of Brion's theorem, and the MLFV examples consistently verify the dimension count.","rationale":"The reader's weakest assumption targets the imported rank formula (Eq. 3.12) from Ref. [8]. I agree that this formula is imported and not re-derived in the paper, but it is not load-bearing for the saturation theorem: the proof of Eq. (2.6) invokes Brion's theorem directly (Eq. 2.8), and the Hilbert-series ratio is only used to compute ranks in the explicit MLFV tests. The theorem's real support is Brion's theorem, a standard and well-established result for reductive groups acting on affine varieties, and the inclusion/dimension argument closes the proof. The generic-vev and all-powers assumptions are honestly stated and are necessary; the paper explicitly warns that realistic special vevs can enlarge HS to HSpecial, so it does not overclaim. The four examples are consistent with the theorem at dim-6, and the notebook allows independent checking. I therefore see no reason to change the ACCEPT verdict; my only partial disagreement is that the reader's identified weakest point (Eq. 3.12) is not the theorem's Achilles heel, since a failure there would affect the example computations but not the central corollary of Brion's theorem.","tokens_in":44908,"tokens_out":19228,"duration_ms":184893,"concrete_test":"As a sanity check on the theorem in a deliberately non-saturating case, compute the Hilbert series for the single bi-fundamental spurion Y under U(3)×U(3) (the case mentioned in the Introduction) and verify that for each irrep, rank(rInv M_Irrep) = dim(Irrep^{U(1)^3}) using Eq. (3.12). This directly tests the Brion-based counting in a setting where the residual symmetry is U(1)^3 rather than the full flavor group, and would confirm that the rank formula remains valid outside the examples shown.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Eq. 2.6) is a dimension-counting statement. The inclusion L_EFT,Spurion ⊂ L_EFT[φ]^{HS} is immediate because any Gf-invariant polynomial in S evaluated at a vev is HS-invariant. For each flavor irrep, the number of independent spurion-covariant Wilson coefficients is the rank of the module rInv M_Irrep; Brion's theorem (Eq. 2.8) equates this rank with dim(Irrep^{HS}), which is exactly the number of HS-invariant operators on the other side. The proof does not actually rely on the Hilbert-series ratio (Eq. 3.12), which is only a computational shortcut for the examples. The two assumptions, 'all powers of S' and 'generic vev', are genuine and are stated explicitly in Sec. 4, including the caveat that special vevs enlarge HS to HSpecial and can break saturation. The four MLFV implementations match the HS-restricted counts at dimension six, and the ancillary notebook supports reproducibility. I find no internal inconsistency, circular step, or unsupported assumption that threatens the central theorem.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a saturation theorem for spurion-constructed EFTs: if a global symmetry G_f is broken by a generic spurion vev <S> that leaves unbroken a subgroup H_S, then the G_f-invariant spurion Lagrangian evaluated at <S> has exactly the same set of allowed operators as the original EFT restricted to H_S invariance, provided arbitrary powers of the spurions are allowed. The proof uses Brion's theorem to equate the rank of the module of spurion covariants in each G_f irrep with the dimension of H_S-invariants in that irrep. The theorem is then verified at mass dimension 6 in four MLFV scenarios (SMEFT with Ye; SMEFT with Ye and C5; νSMEFT with Ye and Yν; νSMEFT with Ye, Yν, and mR), using Hilbert series and explicit spurion polynomials for selected flavor covariants. A Mathematica notebook implementing the Hilbert series calculations is provided as an ancillary file.","tokens_in":45112,"tokens_out":31757,"duration_ms":313740,"significance":"If the saturation theorem holds under the intended hypotheses, it is a significant and clean result: it turns the pragmatic spurion construction into a sharp statement about operator counting in EFTs, with the generic-vev and all-powers assumptions clearly identified. The four MLFV examples are nontrivial and the dimension-6 counts are consistent with the claimed equivalence. The paper's strengths include the elegant one-line proof strategy via Brion's theorem, the absence of fitted parameters, the explicit linearly independent spurion polynomials for selected modules, and the reproducible Mathematica notebook. The main caveat is that the theorem as stated is missing a hypothesis on the spurion representation; with that hypothesis added, the central claim is defensible and the examples support it.","major_comments":[{"comment":"The theorem is stated for an arbitrary set of spurion fields S, but Eq. (2.8) is false for an arbitrary G_f-representation. Counterexample: take G_f=SU(3) and S the fundamental representation V (with no conjugate spurion). A generic nonzero vev has stabilizer H_S≅SU(2), and the adjoint representation 8 decomposes under H_S as 3⊕2⊕2⊕1, so dim(8^{H_S})=1. However the module of covariants rInv M_8 is zero because 8 never appears in any symmetric power Sym^n V of the fundamental; hence rank=0, contradicting Eq. (2.8) and the claimed equivalence in Eq. (2.6). The intended theorem evidently applies to spurion sets closed under Hermitian conjugation (or, more generally, to self-dual representations), as is true for all four MLFV examples in Table 1, where S explicitly includes the Hermitian conjugates. Please add this hypothesis to the statement of the theorem and to the Abstract, and justify the applicability of the Brion rank formula under it. The MLFV applications are unaffected, but this is load-bearing for the central claim as currently stated.","section":"Sec. 2.2, Eq. (2.8)"}],"minor_comments":[{"comment":"The phrase 'spurious transformations of the Wilson coefficients' should read 'spurion transformations of the Wilson coefficients.'","section":"Table 10 caption"},{"comment":"The notation L_EFT[φ]^{G_f} appears in Eq. (2.7) before being explicitly introduced; consider defining it at the beginning of Sec. 2.1 or just before Eq. (2.7).","section":"Sec. 2.2, Eq. (2.7)"},{"comment":"It is helpful that the tables for non-free modules are labeled as linearly independent sets rather than bases; consider adding a sentence in the main text explaining why completeness is not claimed for those tables.","section":"Sec. 3.2.1, footnote 8"},{"comment":"Reference [8] appears as '2312.13349' without a journal reference; if it has been published, please update the citation.","section":"References"},{"comment":"The notebook is referred to as HilbCalc/gtb while the Abstract gives the GitHub path; please ensure the directory name and the link are consistent in the ancillary material.","section":"Appendix A and ancillary file"},{"comment":"Some Hilbert series have negative coefficients in the numerator (e.g., H(1,8) contains −q^40). This is acceptable for a rational-function presentation, but a short remark that the series coefficients have been checked to be nonnegative up to the displayed order would help the reader.","section":"Sec. 3.1.2, Eq. (3.18)"},{"comment":"The counting lemma is taken from the authors' Ref. [8] and is used in every example; a short proof or a precise statement of its hypotheses would make the paper more self-contained.","section":"Sec. 1, Eq. (1.3)"}],"recommendation":"major_revision","confidential_remarks":"The paper is within scope and the computational core is solid; the main issue is the unstated self-conjugate hypothesis in the theorem statement. If the authors add that hypothesis and adjust the proof, I would be happy to support acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe main result is a clean theorem: for a spurion construction with all powers of the spurions allowed and a generic vev, the spurion EFT is exactly equivalent to imposing the residual subgroup H_S. The proof is a dimension count: the spurion EFT is contained in the H_S-restricted EFT, and Brion's theorem equates the module rank with the dimension of the H_S-invariant subspace, so the containment is saturated. This is genuinely new relative to the earlier quark-MFV saturation observation; it turns a case-by-case phenomenon into a general statement.\n\nThe four MLFV examples are well chosen, covering SMEFT and νSMEFT, Dirac and Majorana neutrino mass mechanisms. In each case the dimension-six counts match the H_S counts, including the nontrivial lepton-parity case where the Weinberg operator forces H_S = Z_2 and where the only surviving lepton-number-violating operator is Qνννν with 6 flavor structures. The ancillary Mathematica notebook is real reproducibility support; I would treat the long Hilbert series as checked by that code rather than by hand. The explicit polynomial bases for selected covariants are useful for phenomenology.\n\nSoft spots are minor. The operator-counting lemma is imported from the authors' own Ref. [8]; that is not circular because the rank formula is ultimately backed by Brion, but a referee should look at Ref. [8] carefully. The Hilbert series are lengthy and I did not independently verify every coefficient; the notebook mitigates this. The theorem's two assumptions—all powers of S and a generic vev—are stated honestly and are genuinely necessary. Special vevs enlarge the residual symmetry, and truncated spurion chains can miss operators; the paper flags both and leaves the special-vev saturation question to future work.\n\nAs far as I can tell the math holds. The stress-test note is accurate: there is no load-bearing flaw. For EFT practitioners and flavor model builders this simplifies model building: compute H_S and you know what spurion analysis will give you. I would send it to a serious referee; it deserves peer review and is likely publishable after the usual diligence. I intend to cite it.","headline":"The saturation theorem is real and cleanly proved via Brion's theorem; the MLFV checks pass, and the paper deserves a serious referee.","tokens_in":45651,"tokens_out":1748,"would_cite":true,"duration_ms":19834,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.30.Hv","12.15.Ff","14.60.Pq"],"model":"deepseek-v4-flash","headline":"This paper proves a saturation theorem: any spurion-based EFT with all spurion powers, evaluated at a generic vev, reproduces exactly the operator set of the original EFT restricted to the residual flavor subgroup $H_S$, and it verifies…","keywords":["saturation theorem","spurion analysis","Minimal Lepton Flavor Violation","Hilbert series","effective field theory","lepton flavor","operator counting","SMEFT"],"falsifier":"Compute the rank of a covariant module from the $q\\to 1$ limit of $H_{\\text{Irrep}}(q)/H_{\\text{Inv}}(q)$ for a spurion set whose module is not free and compare it with the number of $H_S$-singlets in that irrep; a single mismatch would refute the saturation theorem, as would a generic spurion vev for which the two operator sets provably differ.","tokens_in":44726,"feed_emoji":"⚛️","tokens_out":9195,"duration_ms":76382,"temperature":0.7,"pith_summary":"This paper proves a saturation theorem for effective field theories built by spurion analysis. If a global symmetry $G_f$ is broken by spurion fields $S$, and the spurion EFT is required to be $G_f$-invariant with all powers of $S$ allowed, then setting $S$ to a generic vacuum expectation value $\\langle S\\rangle$ produces exactly the same set of operators as imposing only the residual subgroup $H_S$ on the original EFT. The result matters because spurion counting is a standard way to organize flavor-breaking operators: the theorem says the spurion formalism is neither more nor less restrictive than the unbroken subgroup, at any mass dimension. The paper verifies the theorem at dimension six in four Minimal Lepton Flavor Violation scenarios using Hilbert series, matching spurion-covariant counts to $H_S$-invariant counts in each case.","feed_headline":"Spurion EFTs equal residual symmetry exactly","feed_subtitle":"A new theorem shows spurion-built Lagrangians reproduce every operator allowed by the unbroken flavor subgroup H_S.","key_machinery":"The load-bearing object is the module of covariants $r_{\\text{Inv}} M_{\\text{Irrep}}$ over the ring of $G_f$-invariant spurion polynomials; its rank counts independent spurion-built Wilson coefficients in a flavor irrep. That rank is computed as the $q\\to 1$ limit of the Hilbert-series ratio $H_{\\text{Irrep}}(q)/H_{\\text{Inv}}(q)$, with the Hilbert series evaluated from the Molien-Weyl formula. A theorem on covariant modules identifies this rank with $\\dim(\\text{Irrep}^{H_S})$, the number of $H_S$-invariant components in the branching of the irrep, which is precisely the number of operators in the $H_S$-restricted EFT. This identity converts the elementary containment $\\mathcal{L}_{\\text{EFT,Spurion}}\\subset \\mathcal{L}_{\\text{EFT}}^{H_S}$ into the equality claimed by the saturation theorem.","core_discovery":"The central claim is the saturation theorem of Eq. (2.6): $\\mathcal{L}_{\\text{EFT,Spurion}} \\equiv \\mathcal{L}_{\\text{EFT}}[\\phi,S]^{G_f}\\big|_{S=\\langle S\\rangle}$ is equivalent to $\\mathcal{L}_{\\text{EFT}}[\\phi]^{H_S}$, where $H_S$ is the subgroup left unbroken by a generic vev of the spurions and all powers of $S$ are kept. The proof groups the Wilson coefficients of the spurion EFT into irreps of $G_f$ and uses a standard theorem on modules of covariants: the number of independent spurion polynomials in a given irrep equals the number of $H_S$-singlets in that irrep, which is the same as the number of operators surviving $H_S$ restriction. In the four MLFV implementations studied, the Hilbert-series ranks at mass dimension six match the operator counts of the residual-symmetry EFTs: $U(1)_e\\times U(1)_\\mu\\times U(1)_\\tau$ for SMEFT with only $Y_e$, lepton parity $\\mathbb{Z}_2$ when the dim-5 coefficient $C_5$ is added, $U(1)_{LN}$ for $\\nu$SMEFT with $Y_e,Y_\\nu$, and lepton parity again when the Majorana mass $m_R$ is included.","pith_inferences":["Because the theorem identifies the spurion result with $H_S$ invariance, model builders should identify the residual subgroup first; special vevs enlarge $H_S$ and would need their own saturation check.","Truncating spurions to finite powers, as is natural for small lepton Yukawas, breaks the equivalence and can leave the truncated theory more predictive; systematic accidental symmetries from such truncation are a natural target for the same Hilbert-series methods.","The accompanying code makes the counting routine available for other flavor groups and mass dimensions, so the same saturation checks could be applied to non-minimal neutrino scenarios such as two right-handed-neutrino models or $SO(3)_\\nu$ flavor groups."],"forward_implications":["Operator counting in any spurion EFT with unrestricted spurion powers reduces to counting $H_S$ invariants, so Hilbert-series methods give exact independent-operator counts at all mass dimensions.","The four MLFV scenarios are exactly as restrictive as their residual symmetries: Case I forbids flavor change and lepton-number violation, Case II forbids odd lepton-number violation and allows $\\mu\\to e\\gamma$, Case III preserves lepton number, and Case IV preserves lepton parity with the four-neutrino operator $Q_{\\nu\\nu\\nu\\nu}$ as the only allowed lepton-number-violating dim-6 operator.","If the spurions break $G_f$ completely, the spurion EFT reproduces the most general EFT; if they are all $G_f$ singlets, it reproduces the $G_f$-invariant EFT.","The explicit spurion polynomials provided for selected lepton flavor covariants give a ready-made basis for phenomenological amplitude computations."],"supporting_citations":[{"why":"Provides the Hilbert-series technology and the rank formula (Eq. 1.3) for counting independent spurion covariants.","marker":"[8]"},{"why":"Supplies the theorem that the rank of a module of covariants equals the dimension of the $H_S$-invariant subspace.","marker":"[24]"},{"why":"Gives the Hilbert-series treatment of modules of covariants used in the proof.","marker":"[25]"},{"why":"Provides the dimension-six SMEFT operator basis whose lepton-flavor irreps are counted.","marker":"[26]"},{"why":"Introduces the dimension-five lepton-number-violating operator whose coefficient $C_5$ is promoted to a spurion.","marker":"[27]"},{"why":"Lists the dimension-six $\\nu$SMEFT operators involving right-handed neutrinos used in Cases III and IV.","marker":"[34]"},{"why":"Defines Minimal Lepton Flavor Violation in the lepton sector and the flavor-group choices for different neutrino-mass origins.","marker":"[7]"},{"why":"Introduces the minimal flavor violation spurion strategy that the saturation theorem generalizes.","marker":"[6]"}],"fun_headline_variants":["Saturation theorem: spurion EFTs equal H_S operators","Hilbert series prove spurion EFTs saturate H_S","Spurion analysis: EFTs match residual symmetry exactly","MLFV Hilbert series confirm spurion saturation theorem","Spurion EFTs: all operators allowed by H_S appear"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the counting rule that the number of independent spurion-built operators in each flavor representation equals the number of components of that representation left invariant by the residual subgroup, and it also assumes the spurion vacuum expectation value is generic rather than a special value that enlarges the unbroken symmetry.","fun_headline_variants_meta":{"raw":{"variants":["Saturation theorem: spurion EFTs equal H_S operators","Hilbert series prove spurion EFTs saturate H_S","Spurion analysis: EFTs match residual symmetry exactly","MLFV Hilbert series confirm spurion saturation theorem","Spurion EFTs: all operators allowed by H_S appear"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000401,"raw_usage":{"total_tokens":2179,"prompt_tokens":1116,"completion_tokens":1063,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":732,"completion_tokens_details":{"reasoning_tokens":975}},"tokens_in":732,"tokens_out":1063,"duration_ms":9122,"temperature":1.0,"reasoning_tokens":975,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T10:45:06.179067+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the rank of a covariant module from the $q\\to 1$ limit of $H_{\\text{Irrep}}(q)/H_{\\text{Inv}}(q)$ for a spurion set whose module is not free and compare it with the number of $H_S$-singlets in that irrep; a single mismatch would refute the saturation theorem, as would a generic spurion vev for which the two operator sets provably differ.","supporting_citations":[{"cited_title":"Brion,Sur les modules de covariants, Annales scientifiques de l’École Normale Supérieure 26 (1993) 1","cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that the rank of a module of covariants equals the dimension of the $H_S$-invariant subspace."},{"cited_title":"Broer,Hilbert series for modules of covariants, Algebraic Groups and Their Generalizations: Classical Methods (University Park, PA, 1991)56 (1994) 321","cited_arxiv_id":null,"evidence_quote":"Gives the Hilbert-series treatment of modules of covariants used in the proof."},{"cited_title":"Weinberg,Baryon and Lepton Nonconserving Processes, Phys","cited_arxiv_id":null,"evidence_quote":"Introduces the dimension-five lepton-number-violating operator whose coefficient $C_5$ is promoted to a spurion."}],"review_version":1}