REVIEW 3 major objections 4 minor 55 references
Renormalization of general Effective Field Theories: Formalism and renormalization of bosonic operators
T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The paper derives the complete one-loop beta functions for every bosonic operator of the most general EFT up to dimension 6, for any compact gauge group and any scalar and fermion content.
desk verdict A technically impressive universal one-loop dictionary for bosonic dimension-6 EFT running, with real cross-checks; the caveats are missing code release and the deferred fermionic sector, not a demonstrated error. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery has three pieces: a complete Green's basis that captures off-shell one-loop divergences, a physical basis of on-shell operators, and exact field-redefinition reduction formulas, including terms quadratic in dimension-five operators, that convert redundant operators into physical ones. A projector $P$ on rank-four tensors encodes the mixed permutation symmetries of the $\phi^2 D^2$ and four-fermion operators, so the most general Wilson coefficients with the correct index symmetries can be generated by projecting arbitrary tensors. In the background-field gauge (a gauge choice that keeps the gauge-field background manifestly gauge invariant), the one-loop $\beta$ function of a Wilson coefficient $a_i$ is $\beta_i=-2a'_i$, where $a'_i$ is the coefficient of the $1/\epsilon$ pole after canonical normalization, and the gauge-coupling $\beta$ function is read directly from the gauge kinetic counterterm as $\dot{g}_A=(a'_{KF})_{AB}g_B$.
What would settle it
Take a model not among the paper's cross-checks—for instance, a compact gauge group with two scalar multiplets in distinct representations—and compute one physical $\beta$ function, such as $\dot{a}^{(6)}_{\phi D}$, by direct one-loop Feynman diagrams or by an independent functional calculation. If it disagrees with the value obtained by substituting the model's representation matrices into the published formula, the central claim fails; an independent enumeration of all independent dimension-5 and dimension-6 operators can separately check whether the Section 2 basis is complete.
Extended reading notes
Core claim
The central claim is that Section 4.3 contains the complete one-loop renormalization-group equations for all physical bosonic operators of the most general local, Lorentz-invariant effective field theory up to mass dimension 6, valid for any compact gauge group and any scalar and fermion content. The authors state that with this calculation one can obtain the one-loop $\beta$ functions of the bosonic operators of any EFT up to mass dimension 6 by means of a straightforward group-theoretical calculation. The derivation computes the one-loop UV divergences in a Green's basis (a complete off-shell operator set before equations of motion are used), canonically normalizes the kinetic terms, and then applies exact field-redefinition reduction formulas to pass to the physical basis (the independent on-shell operators). The explicit formulas cover the tadpole, scalar mass, trilinear and quartic couplings, the dimension-five bosonic operators $\phi F^2$, $\phi \tilde F^2$ and $\phi^5$, and the dimension-six bosonic operators $F^3$, $\tilde F^3$, $\phi^2 D^2$, $\phi^2 F^2$, $\phi^2 \tilde F^2$ and $\phi^6$, with all gauge factors written in terms of explicit representation matrices and structure constants so that the formulas adapt to any compact gauge group, including several U(1) factors with kinetic mixing.
Load-bearing premise
The load-bearing premise is that the list of off-shell operators in Section 2 is complete up to dimension 6 and that every reduction formula in Section 3 is exactly right; if an independent operator is missing or a reduction is wrong, the physical beta functions in Section 4.3 would be wrong, and the paper relies on automated enumeration for completeness rather than a standalone proof.
Editorial extensions
If this is right
- For any specific EFT, the one-loop bosonic beta functions up to dimension 6 are obtained by substituting representation matrices and structure constants into the published formulas; no new loop integrals are required.
- The reduction formulas include non-linear terms, so they support finite off-shell matching as well as one-loop running.
- The previously computed SMEFT and ALP-SMEFT beta functions should be recovered as special cases; the paper reports partial and full cross-checks of exactly this kind.
- The gauge-coupling running is read off the gauge kinetic counterterm in background-field gauge, including the case of multiple U(1) factors with kinetic mixing.
- Fermionic operator beta functions and the associated evanescent shifts are deferred to a companion article, so the present result is a bosonic-sector result.
Reading between the lines
- Editorial inference: because every formula is written in terms of representation matrices and group-theory invariants, the bosonic one-loop running of any new EFT could be fully automated from group-theory inputs alone; the paper demonstrates this principle but does not ship a general-purpose tool.
- Editorial inference: the same Green's/physical-basis machinery should extend to mass dimension 8 and to two loops, and reproducing the known dimension-8 SMEFT bosonic results would provide a sharp test; the authors list these as future directions.
- Editorial inference: the evanescent-operator shifts treated here are only those needed for one-loop renormalization, so the current formalism is not yet complete for two-loop finite matching, which would require the additional shifts the paper explicitly defers.
- Editorial inference: an independent, non-automated enumeration of the dimension-5 and dimension-6 operator basis would settle the completeness question on which the central claim rests, since the paper's completeness assertion relies on automated enumeration rather than a standalone proof.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a universal one-loop renormalization program for the most general local, Lorentz-invariant EFT of scalars, fermions, and gauge fields up to mass dimension six. It defines a Green's basis and a physical basis for all operators, gives the on-shell reduction between them, computes the one-loop divergences in the Green's basis, and presents the resulting beta functions for all bosonic operators in the physical basis. The authors cross-check their results against SMEFT, ALP-SMEFT, and several toy models, and defer the renormalization of fermionic operators to a companion paper.
Significance. If correct, this is a valuable universal result: it effectively provides the bosonic block of the one-loop anomalous-dimension matrix for any EFT with arbitrary compact gauge group and arbitrary scalar/fermion content, generalizing the classical Machacek-Vaughn program and complementing SMEFT/ALP-SMEFT calculations. The authors are transparent about the tools used (MatchMakerEFT, GroupMath, functional methods, Sym2Int) and report nontrivial cross-checks. The main limitations are that the completeness of the operator basis is asserted rather than proven or independently verifiable, the very long formulas are not released in machine-readable form, and the fermionic-sector running is deferred to a companion paper, so the advertised system is not closed as it stands.
major comments (3)
- [Section 2, Eqs. (12)-(19)] The central claim that the Green's basis is complete and non-redundant for all off-shell Green's functions up to dimension six is load-bearing: every beta function in Section 4.3 is written in this basis, and a missing operator or an incorrect contraction would propagate into all of them. The text states only that the basis was obtained 'in part with the help of the Sym2Int package' and gives no independent proof, no operator counts per class, and no enumeration script. Since the cross-checks against SMEFT, ALP-SMEFT, and toy models cover specific field contents rather than arbitrary reducible representations, the claimed universality is not actually tested. Please provide an independent completeness argument (for example, operator counts from Sym2Int, a Hilbert-series check, or a released enumeration script) and state explicitly where the completeness proof can be found.
- [Section 4.3 and Appendix B, Eqs. (96)-(112), (130)-(147)] The beta functions are extremely long, and the manuscript does not include machine-readable expressions or a detailed verification log. The statement that the results were double-checked with MatchMakerEFT and functional methods is reassuring, but it does not allow an independent reader to test the central deliverable. I recommend submitting an ancillary file containing all beta functions and reduction formulas in computer-readable form, together with a table of the specific SMEFT/ALP-SMEFT/toy-model cross-checks that were performed. Without this, the paper's main result is not independently verifiable.
- [Section 4.3, Eqs. (100)-(112)] The bosonic beta functions depend on fermionic Wilson coefficients such as a_psiF^(5), a_psi-phi2^(5), a_phi-psi^(6), a_psi-phi^(6), and a_psi-psi^(6), whose RGEs are deferred to the companion paper [31]. Consequently, Eqs. (100)-(112) do not by themselves form a closed one-loop running system. This is a clearly stated scope limitation rather than an error, but it should be made more prominent in the abstract and conclusions: the present paper delivers the bosonic rows of the one-loop anomalous-dimension matrix, not the complete running of any EFT until the fermionic sector is included.
minor comments (4)
- [Section 2.3, Eq. (65)] For the multi-U(1) mixing case, the replacement g_{AB} R^A V^B is introduced, but it would help to state explicitly that the kinetic-mixing matrix is symmetric and to clarify the index ordering in traces such as Tr[theta_A theta_B].
- [Section 3, Eqs. (66)-(88)] The symmetrization conventions in the reduction formulas are dense; in particular, the 'sum over permutations' in Eq. (88) would benefit from a concrete example or a precise definition of the permutation sum, since the same notation is used for operators with different symmetry types.
- [Throughout] There are minor typographical issues (e.g., 'straight-forward' should be 'straightforward') and the reference [31] is listed only as 'to appear'; an arXiv number should be added when available.
- [Section 2.1, Eqs. (48)-(52)] The evanescent-operator reduction is stated in d=4, and the text correctly notes that additional shifts are needed for finite matching or two-loop RGEs. I suggest adding an explicit sentence that the d-dimensional reduction is not provided here, to avoid any impression that the exact reduction is fully d-dimensional.
Circularity Check
No significant circularity: the beta functions are computed from one-loop divergences and field redefinitions, not fitted or derived from the result itself; self-citations are tool references, not load-bearing theorems.
full rationale
The paper's derivation chain is: define the most general renormalizable Lagrangian plus dimension-5/6 operator content (Section 2); provide field redefinitions and equations-of-motion reductions from the Green's basis to the physical basis (Section 3); compute the one-loop UV divergences in the Green's basis (Appendix B); and convert them into physical-basis beta functions using Eq. (93), beta = -2 a' (Section 4.3). Each of these steps is a direct calculation rather than a fit, a renaming, or an invocation of the target result. The self-citations to Sym2Int, MatchMakerEFT, GroupMath, and SimTeEx are references to computational tools used in the calculation; they are not used as an external uniqueness theorem, and the bosonic results are independently checked by functional methods and by explicit comparison with SMEFT and ALP-SMEFT beta functions in the literature. Two caveats are worth stating, but they are correctness or completeness risks rather than circularity: (1) the completeness of the Green's basis is asserted with only 'in part' assistance from the Sym2Int package and no standalone enumeration proof, so a missing operator would propagate into Section 4.3; and (2) the bosonic beta functions depend on fermionic Wilson coefficients whose RGEs are deferred to a companion paper, so the advertised running system is not closed by the present text. Neither caveat makes the derivation equivalent to its inputs by construction.
Assumptions & free parameters
assumptions (4)
- ad hoc to paper The Green's basis in Section 2 is complete and non-redundant for all off-shell Green's functions up to mass dimension 6.
- standard math The background field method and dimensional regularization correctly capture one-loop divergences.
- domain assumption The evanescent operator shifts in Eqs. (48)-(52) are the only ones required for one-loop renormalization of the physical basis.
- standard math All fermions can be treated as left-handed and all scalars as real.
Cite this review
Pith. "Pith review of Renormalization of general Effective Field Theories: Formalism and renormalization of bosonic operators." pith.science (2026). https://pith.science/paper/RBIDEBCT
@misc{pith2026250113185,
author = {Pith},
title = {Pith review of: Renormalization of general Effective Field Theories: Formalism and renormalization of bosonic operators},
year = {2026},
howpublished = {\url{https://pith.science/paper/RBIDEBCT}},
note = {Machine review of arXiv:2501.13185}
}
read the original abstract
We describe the most general local, Lorentz-invariant, effective field theory of scalars, fermions and gauge bosons up to mass dimension 6. We first obtain both a Green and a physical basis for such an effective theory, together with the on-shell reduction of the former to the latter. We then proceed to compute the renormalization group equations for the bosonic operators of this general effective theory at one-loop order.
Reference graph
Works this paper leans on
-
[31]
R. Fonseca, P. Olgoso and J. Santiago, Renormalization of general Effective Field Theories: Renormalization of fermionic operators , to appear
-
[1]
A. Carmona, A. Lazopoulos, P. Olgoso and J. Santiago, Matchmakereft: automated tree-level and one-loop matching, SciPost Phys. 12 (2022) 198 , [ 2112.10787]
arXiv 2022
-
[2]
J. Fuentes-Martín, M. König, J. Pagès, A. E. Thomsen and F . Wilsch, A proof of concept for matchete: an automated tool for matching effective theories , Eur. Phys. J. C 83 (2023) 662 , [2212.04510]. 27
arXiv 2023
-
[3]
J. Fuentes-Martín, A. Palavrić and A. E. Thomsen, Functional matching and renormalization group equations at two-loop order , Phys. Lett. B 851 (2024) 138557 , [ 2311.13630]
arXiv 2024
-
[4]
J. Fuentes-Martín, A. Moreno-Sánchez, A. Palavrić and A . E. Thomsen, A Guide to Functional Methods Beyond One-Loop Order , 2412.12270
-
[5]
E. E. Jenkins, A. V. Manohar and P. Stoffer, Low-Energy Effective Field Theory below the Electroweak Scale: Anomalous Dimensions , JHEP 01 (2018) 084 , [ 1711.05270]
arXiv 2018
-
[6]
E. E. Jenkins, A. V. Manohar and M. Trott, Renormalization Group Evolution of the Standard Model Dimension Six Operators I: Formalism and lambda Dependence , JHEP 10 (2013) 087 , [ 1308.2627]
arXiv 2013
-
[7]
E. E. Jenkins, A. V. Manohar and M. Trott, Renormalization Group Evolution of the Standard Model Dimension Six Operators II: Yukawa Dependence , JHEP 01 (2014) 035 , [ 1310.4838]
arXiv 2014
Show all 55 references
-
[8]
Alonso, 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]
2014 arXiv
-
[9]
Chala, G
M. Chala, G. Guedes, M. Ramos and J. Santiago, Towards the renormalisation of the Standard Model effective field theory to dimension eight: Bosonic inte ractions I , SciPost Phys. 11 (2021) 065 , [2106.05291]
2021 arXiv
-
[10]
Accettulli Huber and S
M. Accettulli Huber and S. De Angelis, Standard Model EFTs via on-shell methods , JHEP 11 (2021) 221 , [ 2108.03669]
2021 arXiv
-
[11]
Das Bakshi, M
S. Das Bakshi, M. Chala, A. Díaz-Carmona and G. Guedes, Towards the renormalisation of the Standard Model effective field theory to dimension eight: bos onic interactions II , Eur. Phys. J. Plus 137 (2022) 973 , [ 2205.03301]
2022 arXiv
-
[12]
Helset, E
A. Helset, E. E. Jenkins and A. V. Manohar, Renormalization of the Standard Model Effective Field Theory from geometry , JHEP 02 (2023) 063 , [ 2212.03253]
2023 arXiv
-
[13]
B. Assi, A. Helset, A. V. Manohar, J. Pagès and C.-H. Shen , Fermion geometry and the renormalization of the Standard Model Effective Field Theor y, JHEP 11 (2023) 201 , [ 2307.03187]
2023 arXiv
-
[14]
Boughezal, Y
R. Boughezal, Y. Huang and F. Petriello, Renormalization-group running of dimension-8 four-fermion operators in the SMEFT , Phys. Rev. D 110 (2024) 116015 , [ 2408.15378]
2024 arXiv
-
[15]
S. D. Bakshi, M. Chala, A. Díaz-Carmona, Z. Ren and F. Vil ches, Renormalization of the SMEFT to dimension eight: Fermionic interactions I , JHEP 12 (2025) 214 , [ 2409.15408]
2025 arXiv
-
[16]
Chala, G
M. Chala, G. Guedes, M. Ramos and J. Santiago, Running in the ALPs , Eur. Phys. J. C 81 (2021) 181 , [ 2012.09017]
2021 arXiv
-
[17]
Bauer, M
M. Bauer, M. Neubert, S. Renner, M. Schnubel and A. Thamm , The Low-Energy Effective Theory of Axions and ALPs , JHEP 04 (2021) 063 , [ 2012.12272]
2021 arXiv
-
[18]
Bonilla, I
J. Bonilla, I. Brivio, M. B. Gavela and V. Sanz, One-loop corrections to ALP couplings , JHEP 11 (2021) 168 , [ 2107.11392]
2021 arXiv
-
[19]
L. C. Bresciani, G. Brunello, G. Levati, P. Mastrolia an d P. Paradisi, Renormalization of effective field theories via on-shell methods: the case of axion-like p articles, 2412.04160
-
[20]
Das Bakshi, J
S. Das Bakshi, J. Machado-Rodríguez and M. Ramos, Running beyond ALPs: shift-breaking and CP-violating effects , JHEP 11 (2023) 133 , [ 2306.08036]
2023 arXiv
-
[21]
Z. Bern, J. Parra-Martinez and E. Sawyer, Structure of two-loop SMEFT anomalous dimensions via on-shell methods , JHEP 10 (2020) 211 , [ 2005.12917]. 28
2020 arXiv
-
[22]
E. E. Jenkins, A. V. Manohar, L. Naterop and J. Pagès, Two loop renormalization of scalar theories using a geometric approach , JHEP 02 (2024) 131 , [ 2310.19883]
2024 arXiv
-
[23]
Di Noi, R
S. Di Noi, R. Gröber and M. K. Mandal, Two-loop running effects in Higgs physics in Standard Model Effective Field Theory , JHEP 12 (2025) 220 , [ 2408.03252]
2025
-
[24]
L. Born, J. Fuentes-Martín, S. Kvedarait˙ e and A. E. Tho msen, Two-Loop Running in the Bosonic SMEFT Using Functional Methods , 2410.07320
-
[25]
M. E. Machacek and M. T. Vaughn, Two loop renormalization group equations in a general quant um field theory. 2. Yukawa couplings , Nucl. Phys. B 236 (1984) 221–232
1984
-
[26]
M. E. Machacek and M. T. Vaughn, Two loop renormalization group equations in a general quant um field theory. 1. Wave function renormalization , Nucl. Phys. B 222 (1983) 83–103
1983
-
[27]
M. E. Machacek and M. T. Vaughn, Two loop renormalization group equations in a general quant um field theory. 3. Scalar quartic couplings , Nucl. Phys. B 249 (1985) 70–92
1985
-
[28]
S. P. Martin and M. T. Vaughn, Two loop renormalization group equations for soft supersym metry breaking couplings, Phys. Rev. D 50 (1994) 2282 , [ hep-ph/9311340]
1994 arXiv
-
[29]
Luo, H.-w
M.-x. Luo, H.-w. Wang and Y. Xiao, Two loop renormalization group equations in general gauge fi eld theories, Phys. Rev. D 67 (2003) 065019 , [ hep-ph/0211440]
2003 arXiv
-
[30]
J. C. Criado and M. Pérez-Victoria, Field redefinitions in effective theories at higher orders , JHEP 03 (2019) 038 , [ 1811.09413]
2019 arXiv
-
[32]
R. M. Fonseca, The Sym2Int program: going from symmetries to interactions , J. Phys. Conf. Ser. 873 (2017) 012045 , [ 1703.05221]
2017 arXiv
-
[33]
R. M. Fonseca, Enumerating the operators of an effective field theory , Phys. Rev. D 101 (2020) 035040 , [ 1907.12584]
2020 arXiv
-
[34]
Aebischer and M
J. Aebischer and M. Pesut, One-loop Fierz transformations , JHEP 10 (2022) 090 , [ 2208.10513]
2022 arXiv
-
[35]
Fuentes-Martín, M
J. Fuentes-Martín, M. König, J. Pagès, A. E. Thomsen and F. Wilsch, Evanescent operators in one-loop matching computations , JHEP 02 (2023) 031 , [ 2211.09144]
2023 arXiv
-
[36]
Yamada, Two loop renormalization group equations for soft SUSY brea king scalar interactions: Supergraph method, Phys
Y. Yamada, Two loop renormalization group equations for soft SUSY brea king scalar interactions: Supergraph method, Phys. Rev. D 50 (1994) 3537–3545 , [ hep-ph/9401241]
1994 arXiv
-
[37]
Schienbein, F
I. Schienbein, F. Staub, T. Steudtner and K. Svirina, Revisiting RGEs for general gauge theories , Nucl. Phys. B 939 (2019) 1–48 , [ 1809.06797]
2019 arXiv
-
[38]
Holdom, Two U(1)’s and Epsilon Charge Shifts , Phys
B. Holdom, Two U(1)’s and Epsilon Charge Shifts , Phys. Lett. B 166 (1986) 196–198
1986
-
[39]
del Aguila, G
F. del Aguila, G. D. Coughlan and M. Quiros, Gauge Coupling Renormalization With Several U(1) Factors, Nucl. Phys. B 307 (1988) 633
1988
-
[40]
del Aguila, M
F. del Aguila, M. Masip and M. Perez-Victoria, Physical parameters and renormalization of U(1)-a x U(1)-b models, Nucl. Phys. B 456 (1995) 531–549 , [ hep-ph/9507455]
1995 arXiv
-
[41]
R. M. Fonseca, M. Malinský, W. Porod and F. Staub, Running soft parameters in SUSY models with multiple U (1) gauge factors , J. Phys. Conf. Ser. 447 (2013) 012034
2013
-
[42]
L. F. Abbott, The Background Field Method Beyond One Loop , Nucl. Phys. B 185 (1981) 189–203
1981
-
[43]
R. M. Fonseca, GroupMath: A Mathematica package for group theory calculat ions, Comput. Phys. Commun. 267 (2021) 108085 , [ 2011.01764]. 29
2021 arXiv
-
[44]
Cohen, X
T. Cohen, X. Lu and Z. Zhang, Functional Prescription for EFT Matching , JHEP 02 (2021) 228 , [2011.02484]
2021 arXiv
-
[45]
Cohen, X
T. Cohen, X. Lu and Z. Zhang, STrEAMlining EFT Matching , SciPost Phys. 10 (2021) 098 , [2012.07851]
2021 arXiv
-
[46]
del Aguila, M
F. del Aguila, M. Perez-Victoria and J. Santiago, Observable contributions of new exotic quarks to quark mixing , JHEP 09 (2000) 011 , [ hep-ph/0007316]
2000 arXiv
-
[47]
del Aguila, J
F. del Aguila, J. de Blas and M. Perez-Victoria, Effects of new leptons in Electroweak Precision Data, Phys. Rev. D 78 (2008) 013010 , [ 0803.4008]
2008 arXiv
-
[48]
del Aguila, J
F. del Aguila, J. de Blas and M. Perez-Victoria, Electroweak Limits on General New Vector Bosons , JHEP 09 (2010) 033 , [ 1005.3998]
2010 arXiv
-
[49]
de Blas, M
J. de Blas, M. Chala, M. Perez-Victoria and J. Santiago, Observable Effects of General New Scalar Particles, JHEP 04 (2015) 078 , [ 1412.8480]
2015 arXiv
-
[50]
de Blas, J
J. de Blas, J. C. Criado, M. Perez-Victoria and J. Santia go, Effective description of general extensions of the Standard Model: the complete tree-level dictionary , JHEP 03 (2018) 109 , [ 1711.10391]
2018 arXiv
-
[51]
Guedes, P
G. Guedes, P. Olgoso and J. Santiago, Towards the one loop IR/UV dictionary in the SMEFT: One loop generated operators from new scalars and fermions , SciPost Phys. 15 (2023) 143 , [ 2303.16965]
2023 arXiv
-
[52]
Guedes and P
G. Guedes and P. Olgoso, From the EFT to the UV: the complete SMEFT one-loop dictionar y, 2412.14253
-
[53]
Chala, J
M. Chala, J. López Miras, J. Santiago and F. Vilches, Efficient on-shell matching , 2411.12798
-
[54]
Herren and A
F. Herren and A. E. Thomsen, On ambiguities and divergences in perturbative renormaliz ation group functions, JHEP 06 (2021) 116 , [ 2104.07037]
2021 arXiv
-
[55]
R. M. Fonseca, Using SimTeEx to simplify polynomial expressions with tens ors, 2412.14390. 30
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.