Pith. sign in

REVIEW 1 major objections 7 minor 34 references

Most general EFTs from spurion analysis: Hilbert series and Minimal Lepton Flavor Violation

T0 review · 1 major / 7 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read 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…

desk verdict The saturation theorem is real and cleanly proved via Brion's theorem; the MLFV checks pass, and the paper deserves a serious referee. read the letter →

arxiv 2412.16285 v1 pith:WYHU73ON submitted 2024-12-20 hep-ph hep-th

Benjamín Grinstein , Xiaochuan Lu , Carlos Miró , Pablo Quílez This is my paper · ORCID
classification hep-phhep-th PACS 11.30.Hv12.15.Ff14.60.Pq
keywords saturationtheoremspurionanalysisMinimalLeptonFlavorViolationHilbertserieseffectivefieldtheoryoperatorcountingSMEFT
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 7 minor

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.

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 (1)
  1. [Sec. 2.2, Eq. (2.8)] 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.
minor comments (7)
  1. [Table 10 caption] The phrase 'spurious transformations of the Wilson coefficients' should read 'spurion transformations of the Wilson coefficients.'
  2. [Sec. 2.2, Eq. (2.7)] 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).
  3. [Sec. 3.2.1, footnote 8] 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.
  4. [References] Reference [8] appears as '2312.13349' without a journal reference; if it has been published, please update the citation.
  5. [Appendix A and ancillary file] 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.
  6. [Sec. 3.1.2, Eq. (3.18)] 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.
  7. [Sec. 1, Eq. (1.3)] 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.

Circularity Check

0 steps flagged · score 2.0 of 10

No substantive circularity: the saturation theorem is a direct corollary of Brion's theorem, and the MLFV checks use an independent Hilbert-series rank formula; only a minor self-citation to Ref. [8] appears in the examples.

full rationale

The central equality, Eq. (2.6), is proved by combining the trivial inclusion L_EFT,Spurion ⊂ L_EFT[φ]^{H_S} with Brion's theorem, quoted in Eq. (2.8): rank(rInv M_{Irrep}) = dim(Irrep^{H_S}). Brion's theorem is an external mathematical result (Refs. [24,25]), not a fitted parameter and not a self-citation. The rank formula Eq. (1.3)/(3.12) is imported from the authors' previous Ref. [8], which is a self-citation; however, the saturation theorem itself does not depend on that formula, and the formula is a parameter-free invariant-theory result that does not assume the target saturation statement. The four MLFV examples independently count H_S-restricted operators (e.g., Table 12) and compare them with Hilbert-series ranks computed by the same independent formula; the agreement is a non-tautological check, and the ancillary Mathematica notebook makes the computation reproducible. The paper also explicitly acknowledges the two assumptions on which the theorem rests—unbounded powers of S and a generic vev—and notes in Sec. 4 that special vevs can enlarge the residual symmetry to H_Special and potentially break saturation. No fitted input is renamed as a prediction, and no definition makes Eq. (2.6) true by construction. The only mild concern is the repeated reliance on the authors' earlier Ref. [8] for the Hilbert-series machinery, but that reliance is not load-bearing for the proof and does not amount to circular reasoning.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

There are no parameters fitted to data or chosen to force the result. The Hilbert series grading variables are bookkeeping conventions and do not enter the rank counts. No new entities are postulated; the lepton parity and residual subgroups are derived from known spurion representations.

assumptions (4)
  • standard math Brion's theorem: for a reductive group Gf and generic stabilizer HS, the rank of the module of covariants in an irrep equals the dimension of the HS-invariant subspace of that irrep.
    Invoked in Sec. 2.2 (Eq. 2.8) and cited to Refs. [24,25]; the paper does not prove it.
  • domain assumption The number of independent Wilson coefficients in a given Gf-irrep is the rank of the module of covariants, computed as H_irrep/H_inv at q=1 (Eqs. 1.3 and 3.12).
    Imported from the authors' earlier Ref. [8]; used for all four MLFV counting checks.
  • domain assumption The spurion vev lambda_S = <S> is generic, so the stabilizer is exactly HS and evaluation of covariant polynomials at that point has dimension equal to the module rank.
    Stated as a condition of the theorem in Sec. 2.2 (Eq. 2.6) and acknowledged as a limitation in Sec. 4.
  • domain assumption All powers of the spurion fields are allowed, and spurions are non-dynamical, space-time independent background fields.
    Definition of spurion analysis in Sec. 2.1; the theorem explicitly requires arbitrary powers of S.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Most general EFTs from spurion analysis: Hilbert series and Minimal Lepton Flavor Violation." pith.science (2026). https://pith.science/paper/WYHU73ON

@misc{pith2026241216285,
  author       = {Pith},
  title        = {Pith review of: Most general EFTs from spurion analysis: Hilbert series and Minimal Lepton Flavor Violation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WYHU73ON}},
  note         = {Machine review of arXiv:2412.16285}
}
abstract

We derive a saturation theorem for general Effective Field Theories (EFTs) constructed using spurion analysis. Let $S$ be a set of spurion fields introduced to organize the breaking of a global symmetry $G_f$, and $H_S$ be the subgroup of $G_f$ that remains unbroken under a generic vacuum expectation value $\langle S\rangle$; we show that the EFT Lagrangian constructed from the spurion analysis $saturates$ the EFT Lagrangian without the spurions but restricted to $H_S$ invariance, provided that arbitrary powers of the spurion fields are allowed. As examples, we study several implementations of the Minimal Lepton Flavor Violation (MLFV) principle, corresponding to various origins of the neutrino masses. In each scenario, we compute the Hilbert series to obtain the numbers of independent lepton flavor covariants that appear in the corresponding EFT at mass dimension 6. These numbers agree with the number of $H_S$ invariants in the EFT without the spurions, demonstrating the saturation theorem. Motivated by phenomenological connections, we provide linearly independent spurion polynomials for selected lepton flavor covariants. An ancillary file is supplied at https://github.com/HilbertSeries/Group_Invariants_and_Covariants , which is a Mathematica notebook that provides functions for computing general Hilbert series of invariants and covariants of compact classical groups. It presents examples demonstrating the use of the code, including the Hilbert series for our MLFV scenarios.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 8 canonical work pages

  1. [8]

    Grinstein, X

    B. Grinstein, X. Lu, L. Merlo and P. Quílez,Hilbert series for covariants and their applications to Minimal Flavor Violation, 2312.13349. 4, 7, 10, 11, 14, 24

    arXiv

  2. [1]

    Cabibbo,Unitary Symmetry and Leptonic Decays, Phys

    N. Cabibbo,Unitary Symmetry and Leptonic Decays, Phys. Rev. Lett.10 (1963) 531. 3

    work page 1963

  3. [2]

    Kobayashi and T

    M. Kobayashi and T. Maskawa,CP Violation in the Renormalizable Theory of Weak Interaction, Prog. Theor. Phys.49 (1973) 652. 3

    work page 1973

  4. [3]

    Glashow, J

    S.L. Glashow, J. Iliopoulos and L. Maiani,Weak Interactions with Lepton-Hadron Symmetry, Phys. Rev. D2 (1970) 1285. 3

    work page 1970

  5. [4]

    Capdevila, A

    B. Capdevila, A. Crivellin and J. Matias,Review of semileptonic B anomalies, Eur. Phys. J. ST 1 (2023) 20 [2309.01311]. 3

    arXiv 2023

  6. [5]

    Cerri et al.,Report from Working Group 4: Opportunities in Flavour Physics at the HL-LHC and HE-LHC, CERN Yellow Rep

    A. Cerri et al.,Report from Working Group 4: Opportunities in Flavour Physics at the HL-LHC and HE-LHC, CERN Yellow Rep. Monogr.7 (2019) 867 [1812.07638]. 3

    arXiv 2019

  7. [6]

    D’Ambrosio, G.F

    G. D’Ambrosio, G.F. Giudice, G. Isidori and A. Strumia,Minimal flavor violation: An Effective field theory approach, Nucl. Phys. B 645 (2002) 155 [hep-ph/0207036]. 3

    arXiv 2002

  8. [7]

    Cirigliano, B

    V. Cirigliano, B. Grinstein, G. Isidori and M.B. Wise,Minimal flavor violation in the lepton sector, Nucl. Phys. B 728 (2005) 121 [hep-ph/0507001]. 3, 4, 23

    arXiv 2005

Show all 34 references
  1. [9]

    Benvenuti, B

    S. Benvenuti, B. Feng, A. Hanany and Y.-H. He,Counting BPS Operators in Gauge – 39 – Theories: Quivers, Syzygies and Plethystics, JHEP 11 (2007) 050 [hep-th/0608050]. 4

    2007 arXiv

  2. [10]

    B. Feng, A. Hanany and Y.-H. He,Counting gauge invariants: The Plethystic program, JHEP 03 (2007) 090 [hep-th/0701063]

    2007 arXiv

  3. [11]

    J. Gray, A. Hanany, Y.-H. He, V. Jejjala and N. Mekareeya,SQCD: A Geometric Apercu, JHEP 05 (2008) 099 [0803.4257]

    2008 arXiv

  4. [12]

    Jenkins and A.V

    E.E. Jenkins and A.V. Manohar,Algebraic Structure of Lepton and Quark Flavor Invariants and CP Violation, JHEP 10 (2009) 094 [0907.4763]

    2009 arXiv

  5. [13]

    Hanany, E.E

    A. Hanany, E.E. Jenkins, A.V. Manohar and G. Torri,Hilbert Series for Flavor Invariants of the Standard Model, JHEP 03 (2011) 096 [1010.3161]

    2011 arXiv

  6. [14]

    Lehman and A

    L. Lehman and A. Martin,Hilbert Series for Constructing Lagrangians: expanding the phenomenologist’s toolbox, Phys. Rev. D91 (2015) 105014 [1503.07537]

    2015 arXiv

  7. [15]

    Henning, X

    B. Henning, X. Lu, T. Melia and H. Murayama,Hilbert series and operator bases with derivatives in effective field theories, Commun. Math. Phys.347 (2016) 363 [1507.07240]

    2016 arXiv

  8. [16]

    Lehman and A

    L. Lehman and A. Martin,Low-derivative operators of the Standard Model effective field theory via Hilbert series methods, JHEP 02 (2016) 081 [1510.00372]

    2016 arXiv

  9. [17]

    Henning, X

    B. Henning, X. Lu, T. Melia and H. Murayama,2, 84, 30, 993, 560, 15456, 11962, 261485, ...: Higher dimension operators in the SM EFT, JHEP 08 (2017) 016 [1512.03433]

    2017 arXiv

  10. [18]

    Henning, X

    B. Henning, X. Lu, T. Melia and H. Murayama,Operator bases,S-matrices, and their partition functions, JHEP 10 (2017) 199 [1706.08520]

    2017 arXiv

  11. [19]

    L. Graf, B. Henning, X. Lu, T. Melia and H. Murayama,2, 12, 117, 1959, 45171, 1170086, ...: a Hilbert series for the QCD chiral Lagrangian, JHEP 01 (2021) 142 [2009.01239]

    2021 arXiv

  12. [20]

    L. Gráf, B. Henning, X. Lu, T. Melia and H. Murayama,Hilbert series, the Higgs mechanism, and HEFT, JHEP 02 (2023) 064 [2211.06275]. 4

    2023 arXiv

  13. [21]

    Cirigliano and B

    V. Cirigliano and B. Grinstein,Phenomenology of minimal lepton flavor violation, Nucl. Phys. B 752 (2006) 18 [hep-ph/0601111]. 4

    2006 arXiv

  14. [22]

    Grinstein, V

    B. Grinstein, V. Cirigliano, G. Isidori and M.B. Wise,Grand Unification and the Principle of Minimal Flavor Violation, Nucl. Phys. B 763 (2007) 35 [hep-ph/0608123]

    2007 arXiv

  15. [23]

    Raidal et al.,Flavour physics of leptons and dipole moments, Eur

    M. Raidal et al.,Flavour physics of leptons and dipole moments, Eur. Phys. J. C57 (2008) 13 [0801.1826]. 4

    2008 arXiv

  16. [24]

    Brion,Sur les modules de covariants, Annales scientifiques de l’École Normale Supérieure 26 (1993) 1

    M. Brion,Sur les modules de covariants, Annales scientifiques de l’École Normale Supérieure 26 (1993) 1. 7

    1993

  17. [25]

    Broer,Hilbert series for modules of covariants, Algebraic Groups and Their Generalizations: Classical Methods (University Park, PA, 1991)56 (1994) 321

    B. Broer,Hilbert series for modules of covariants, Algebraic Groups and Their Generalizations: Classical Methods (University Park, PA, 1991)56 (1994) 321. 7 – 40 –

    1994

  18. [26]

    Grzadkowski, M

    B. Grzadkowski, M. Iskrzynski, M. Misiak and J. Rosiek,Dimension-Six Terms in the Standard Model Lagrangian, JHEP 10 (2010) 085 [1008.4884]. 8, 10, 42, 43

    2010 arXiv

  19. [27]

    Weinberg,Baryon and Lepton Nonconserving Processes, Phys

    S. Weinberg,Baryon and Lepton Nonconserving Processes, Phys. Rev. Lett.43 (1979) 1566. 9

    1979

  20. [28]

    Alonso, H.-M

    R. Alonso, H.-M. Chang, E.E. Jenkins, A.V. Manohar and B. Shotwell, Renormalization group evolution of dimension-six baryon number violating operators, Phys. Lett. B734 (2014) 302 [1405.0486]. 10, 43

    2014 arXiv

  21. [29]

    Kobach,Baryon Number, Lepton Number, and Operator Dimension in the Standard Model, Phys

    A. Kobach,Baryon Number, Lepton Number, and Operator Dimension in the Standard Model, Phys. Lett. B758 (2016) 455 [1604.05726]. 15

    2016 arXiv

  22. [30]

    Helset and A

    A. Helset and A. Kobach,Baryon Number, Lepton Number, and Operator Dimension in the SMEFT with Flavor Symmetries, Phys. Lett. B800 (2020) 135132 [1909.05853]. 15

    2020 arXiv

  23. [31]

    Grinstein, X

    B. Grinstein, X. Lu, C. Miró and P. Quílez,Accidental Symmetries, Hilbert Series, and Friends, 2412.05359. 22

    arXiv

  24. [32]

    Alonso, E

    R. Alonso, E. Fernandez Martinez, M.B. Gavela, B. Grinstein, L. Merlo and P. Quilez,Gauged Lepton Flavour, JHEP 12 (2016) 119 [1609.05902]. 23

    2016 arXiv

  25. [33]

    Alonso, E.E

    R. Alonso, E.E. Jenkins, A.V. Manohar and M. Trott,Renormalization Group Evolution of the Standard Model Dimension Six Operators III: Gauge Coupling Dependence and Phenomenology, JHEP 04 (2014) 159 [1312.2014]. 42

    2014 arXiv

  26. [34]

    Liao and X.-D

    Y. Liao and X.-D. Ma,Operators up to Dimension Seven in Standard Model Effective Field Theory Extended with Sterile Neutrinos, Phys. Rev. D96 (2017) 015012 [1612.04527]. 45 – 41 – 5 : ψ2H 3 + h.c. SU (3)ℓ,e,ν QeH (H †H)(¯ℓperH) (3, ¯3, 1) QuH (H †H)(¯qpur eH) (1, 1, 1) QdH (H ...

    2017 arXiv

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.