Effective Lagrangians from functional matching

Maximilian Stahlhofen; Sebastian Schuhmacher; Stefan Dittmaier

REVIEW 3 major objections 6 minor 17 references

Effective Lagrangians from functional matching

T0 review · 3 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read A heavy Higgs singlet with no direct fermion couplings forces fermionic SMEFT operators into the low-energy theory at one loop.

desk verdict A clear, honest proceedings review of the authors' own functional-matching work; the fermionic-operator claim is plausible but not verifiable from this summary alone. read the letter →

arxiv 2608.11306 v1 pith:GS57KLV2 submitted 2026-08-11 hep-ph hep-th

Stefan Dittmaier , Sebastian Schuhmacher , Maximilian Stahlhofen This is my paper · ORCID

classification hep-phhep-th

keywords functionalmatchingeffectivefieldtheorySMEFTHiggssingletextensionheavydecouplingbackground-fieldmethodexpansionbyregionsequationsofmotionoperatorreduction

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 establishes a claim about effective field theory, not just a new calculational recipe: in a Higgs singlet extension of the Standard Model with a heavy second scalar, the one-loop low-energy theory cannot be written with bosonic SMEFT operators alone, even though the heavy scalar has no coupling to the massless fermions. The authors show that a fully SMEFT-compatible Lagrangian can be obtained, but only by allowing fermionic operators whose Wilson coefficients are seeded by the mixing angle and fermion hypercharges. These fermionic operators are not produced by direct heavy-particle emission; they appear when equations of motion for gauge fields are used to eliminate non-SMEFT bosonic operators. The consequence is that top-down matching can move effects across operator sectors, so a purely bosonic SMEFT fit would not capture the complete one-loop physics of this model. The result matters for global SMEFT interpretations, where bosonic and fermionic operator sectors are usually treated as independent.

What carries the argument

The central object is the functional matching procedure in the form developed by the authors: the background-field method separates tree and loop effects, the expansion by regions splits heavy-field modes into hard and soft parts, hard quantum modes are integrated out in a Gaussian path integral after a field redefinition, and the soft heavy-mode equations of motion eliminate the remaining heavy-field dependence. A Neumann series in $1/M_H$ carries out the large-mass expansion. The decisive mechanism for the paper's surprise is the final operator reduction: applying the gauge-boson equations of motion to remove non-SMEFT bosonic operators produces fermionic SMEFT operators, so the canonical form is reached only at the price of crossing the boson–fermion operator boundary.

What would settle it

Repeat the one-loop functional matching for the SESM with the mixing angle scaled as $s_\alpha \sim M_H^0$ instead of $1/M_H$, and check whether the resulting effective theory can be reduced to pure bosonic SMEFT form without residual non-SMEFT operators; if it can, the paper's need for fermionic SMEFT operators is specific to the weak-mixing decoupling limit rather than generic to fermiophobic heavy scalars.

Watch

Extended reading notes

Core claim

In the decoupling limit with $M_H$ large, $s_\alpha \sim 1/M_H$, and $\lambda_{12}$ fixed, the one-loop EFT from integrating out the heavy Higgs has two physically equivalent forms. Form 1 consists of bosonic SMEFT operators plus eight non-SMEFT bosonic operators; Form 2 is strictly SMEFT but must include the fermionic operators $\mathcal{O}_{\Phi F}^{(1)}$, $\mathcal{O}_{\Phi F}^{(3)}$, and $\mathcal{O}_{\Phi f}$, whose coefficients are proportional to $s_\alpha^2$ and to the fermion hypercharges. No four-fermion operators are generated. The fermionic terms arise from the equations of motion of the gauge-boson fields, which mix bosonic and fermionic operators during the reduction to canonical form. Hence the paper proves that a bosonic-only SMEFT basis is not sufficient for this theory at one loop, and that the operator content of the EFT is shaped by the basis choice, not just by the ultraviolet couplings.

Load-bearing premise

The load-bearing modeling assumption is that the Higgs mixing angle is suppressed as $1/M_H$ in the large-mass limit; if the mixing angle is not parametrically small, the heavy Higgs does not decouple in the same way and the argument that fermionic SMEFT operators are required may not transfer.

Editorial extensions

If this is right

In the SESM decoupling limit, any SMEFT fit restricted to bosonic operators is missing one-loop effects; fermionic operators must be included for a physically equivalent description.
The size of the induced fermionic coefficients is set by $s_\alpha^2$ and hypercharges, so nonzero fermionic Wilson coefficients do not by themselves signal direct fermionic new-physics couplings.
The two Lagrangian forms are equivalent on-shell: the non-SMEFT bosonic form and the SMEFT form with fermionic operators give the same predictions for physical observables after field redefinitions.
In the considered decoupling limit, the EFT reproduces full-theory results for $M_W$ and related electroweak observables up to corrections that vanish faster than $1/M_H^2$.

Reading between the lines

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

A likely general lesson is that the operator content of a top-down EFT is not an intrinsic property of the ultraviolet model; equations of motion make it basis-dependent, so comparisons of 'which operators are generated' across matching calculations must specify the chosen operator basis.
In global SMEFT fits to electroweak data, bounds on fermionic operators may indirectly constrain the singlet–doublet mixing angle of fermiophobic scalar extensions, because the one-loop matching ties those coefficients to $s_\alpha^2$.
A natural test is to repeat the matching with a linear parametrization of the Higgs doublet or with two heavy singlets; persistence of the fermionic-operator mechanism would indicate it is generic rather than an artifact of the non-linear field coordinates.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

This is a conference proceedings review of the authors' own functional matching method, not a new research paper. What it does well: it gives a compact and readable account of the method, states the scaling assumptions (alpha ~ 1/M_H) explicitly, and reports a concrete validation—the EFT/full-theory comparison for M_W, decay widths, etc. It also credits the origin of the second form of the Lagrangian to a remark by Gerhard Buchalla, which is honest.

The interesting claim is that the one-loop EFT of a fermiophobic heavy singlet, after EOM reduction, requires fermionic SMEFT operators even though no fermions appear in the integrated-out sector. That claim is plausible, and the cited longer papers [1,2] presumably contain the full derivation. But this text does not. The bridge from Form 1 to Form 2 is described only as 'EOMs of the gauge-boson fields'—no reduction is shown. Eq. (11) is quoted; the 'no four-fermion operators' statement sits on the same unshown step. For a proceedings article, that is acceptable, but the current preprint is not self-contained, and the stress-test note is right: if that EOM reduction behaves differently than the authors claim, the headline conclusion fails. I would have liked a pointer to the exact section of [2] where the reduction is carried out.

The scaling assumption is stated up front, so it is not a hidden flaw. The conclusions are properly restricted to the 1/M_H limit. The internal logic is consistent, and the validation in Fig. 1 is a meaningful check, even if imported from [2].

Some minor issues: the abstract and Section 1 repeat the same sentences, and there are a few typos ('and and' in Section 3a, 'in the the' in Section 1). Nothing substantive.

Bottom line: this is a useful, honest overview of a substantial calculation. It deserves a referee mainly to check that it faithfully represents [1,2] and that the EOM step is correctly credited. I would not desk reject it, but it is not a contribution you would cite in place of the originals. If the goal is a self-contained paper, it needs the derivation or an explicit reference to where it appears.

Referee Report

3 major / 6 minor

Summary. This proceedings paper summarizes the functional matching method developed in Refs. [1,2] for deriving one-loop effective Lagrangians by integrating out heavy fields, using the Higgs Singlet Extension of the Standard Model (SESM) with a heavy second Higgs boson as the worked example. The method combines the background-field method, expansion by regions, diagonalization of mass matrices, and equations of motion for soft heavy-field modes; hard heavy-field modes are integrated out analytically and redundant EFT operators are removed by EOMs and integration by parts. The main physics claim is that, in the scaling regime M_H ~ zeta, s_alpha ~ 1/zeta, lambda_12 ~ 1, the one-loop EFT of the SESM cannot be written in SMEFT form using only bosonic operators: although the BSM sector does not couple directly to the massless SM fermions, the EFT can be cast into SMEFT form only by introducing fermionic operators O_PhiF, while no four-fermion operators are generated. Two forms of the EFT are presented: Form 1 contains bosonic non-SMEFT operators and Form 2 contains SMEFT operators including fermionic ones. The paper reports validation against full-theory predictions, exemplified by the BSM contribution to the W-boson mass in Figure 1.

Significance. If the claims are correct, the paper draws attention to a conceptually important and practically relevant point: a fermiophobic heavy sector can induce fermionic SMEFT operators at one loop through gauge-boson EOMs, so fits restricted to purely bosonic SMEFT bases could miss physical effects. The method itself is algorithmic, parameter-free in the sense that no Wilson coefficients are fitted, and it is validated by direct comparison with the full SESM, which is a meaningful check. The presentation is transparent about the tree-level/loop-level separation and about the decoupling assumption. However, the present text is a summary of Refs. [1,2]: Eq. (11), the central expression for the Form 2 Wilson coefficients, is quoted rather than derived, and the numerical validation in Figure 1 is imported from Ref. [2]. In particular, the EOM reduction from Form 1 to Form 2—the load-bearing step for the headline claim—is not exhibited in this manuscript.

major comments (3)

[Section 4, Eqs. (7)-(11)] The central claim of the paper—that the one-loop SESM EFT cannot be brought into SMEFT form with only bosonic operators and requires fermionic operators O_PhiF—rests entirely on the equivalence between Form 1 and Form 2. This equivalence is not demonstrated here. The text only states that the fermionic operators arise from the equations of motion of the gauge-boson fields, and Eq. (11) is quoted from Ref. [2]; footnote 1 records that Form 2 was not in the original preprint and was added after an external remark. Please include the explicit EOM (and IBP/field-redefinition) steps that transform the non-SMEFT operators, e.g. O_1 in Eq. (9), into the operators listed in Eq. (10), and show in particular why no four-fermion operators survive. Without this derivation, the headline statement in Section 1 is not verifiable from the present manuscript.
[Section 4, Eq. (11)] Eq. (11) presents Wilson coefficients as functions of D with explicit 1/epsilon poles through I20, but the manuscript does not state whether these are bare matching coefficients and how the one-loop EFT renormalization produces the finite physical coefficients. This distinction matters because Figure 1 reports a comparison with the full theory and because footnote 2 already points to scheme subtleties (PRTS vs GIVS). Please specify the renormalization prescription for the coefficients in Eq. (11), or state explicitly that these are bare expressions and give the finite renormalized combinations used in the validation.
[Section 4, Figure 1] The numerical validation shown in Figure 1 is imported from Ref. [2] without stating the input parameters, the precise definition of the EFT and full-theory predictions, or the quantitative criterion behind the statement that the difference vanishes faster than 1/M_H^2. As it stands, the figure supports the central claim only by reference. Please add a self-contained description of the validation setup, including the values used for M_h, v_2, lambda_12, s_alpha M_H, and how the residual difference scales with zeta.

minor comments (6)

[Section 3a] The sentence 'the fields \hat\phi deliver the tree-like lines and and the fields \phi...' contains a duplicated 'and'; please fix this typo.
[Section 3b] The phrase 'not yet part of of the procedure' contains a duplicated 'of'; please fix this typo.
[Section 4, Eq. (9)] The ellipsis inside the definition of O_1 is ambiguous; please either define all structures explicitly or refer to the corresponding appendix of Ref. [2].
[Section 4] The notation \hat C_i for Form 2 and C_i^{SMEFT} for Form 1 is not explained; please state explicitly that the two sets of coefficients differ and why, since the operator bases are related by EOMs rather than identical.
[Section 2] The scaling s_alpha ~ 1/M_H is an explicit assumption of the calculation; a brief reminder that all conclusions apply only in this decoupling regime would help prevent misinterpretation.
[Footnote 2] Footnote 2 is very dense; if it is kept, consider moving the PRTS/GIVS discussion into the main text or an appendix for readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the key EOM-reduction step is imported from the authors' prior Ref. [2], but it is validated there against full-theory predictions and was prompted by an external remark, not by fitting or definitional identity.

full rationale

The paper is a proceedings-style review of the authors' own functional-matching method and its application to the SESM. The central claim—that the one-loop EFT cannot be written in SMEFT form with only bosonic operators and requires fermionic operators—is a statement about operator bases, not a fitted prediction. The Wilson coefficients in Eqs. (8) and (11) are derived from the functional integral and the matching-scale integrals; no parameter is fitted to data. The bridge from Form 1 (Eq. (7) with non-SMEFT operators) to Form 2 (Eqs. (10)–(11)) is asserted via gauge-field EOMs and is not re-derived in this paper, but it is explicitly attributed to the authors' Ref. [2], and footnote 1 records that the possibility of this transformation was pointed out by Gerhard Buchalla, an external colleague. The prior work validates both forms against full SESM predictions for observables such as M_W and decay widths, providing independent, external falsifiability of the EOM-reduction step. The scaling assumption alpha ~ 1/M_H is a stated modeling assumption rather than a circular input, and the non-linear Higgs parametrization is an explicit choice of the full-theory description. No equation in the paper reduces by construction to its own input, no fitted quantity is renamed as a prediction, and no uniqueness theorem is invoked from the authors' own work. The self-citations are normal review practice and are not load-bearing in a circular sense.

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

The derivation has no data-fitting degrees of freedom: the Wilson coefficients are functions of the physical model parameters M_h, M_H, alpha, lambda_12, and v_2, none of which are adjusted to make the result work. The load-bearing input is the stated large-mass scaling regime plus the standard effective-field-theory tools. The axioms listed here are the assumptions that, if violated, would change the operator content or the decoupling behavior. No new physical entities are introduced.

assumptions (5)

domain assumption The path integral can be factorized into hard and soft field modes, with hard modes integrated out while soft modes are treated as background or quantum fields.
Section 3b, around Eq. (6). The entire one-loop matching relies on the expansion-by-regions separation; if this separation misses terms, the Wilson coefficients are incomplete.
domain assumption The heavy soft modes can be eliminated by solving their equations of motion, and EOM-redundant operators can be removed without changing physical amplitudes.
Section 3c and 3e. This justifies dropping non-SMEFT operators in Form 2 and is standard in effective field theory.
domain assumption Fermions are treated as massless and the BSM sector has no direct coupling to them.
Introduction and Section 2. The statement that fermionic SMEFT operators are not directly generated depends on this setup; massive fermions or direct portal couplings would change the operator content.
domain assumption The Higgs mixing angle alpha and its renormalization constant delta s_alpha scale as 1/M_H, with delta s_alpha matching the tree-level scaling, while lambda_12 stays order one.
Section 2 after Eq. (3) and Section 3c with footnote 2. This decoupling scaling is imposed, not derived; the final EFT structure is specific to this parameter regime.
standard math Dimensional regularization is used, and scaleless integrals vanish, so hard modes of light quantum fields integrate to zero.
Section 3d. This is a standard technical assertion used to discard light-field hard-mode contributions.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Effective Lagrangians from functional matching." pith.science (2026). https://pith.science/paper/GS57KLV2

@misc{pith2026260811306,
  author       = {Pith},
  title        = {Pith review of: Effective Lagrangians from functional matching},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GS57KLV2}},
  note         = {Machine review of arXiv:2608.11306}
}

abstract

We briefly review a variant of functional matching to derive an Effective Field Theory (EFT) for heavy particles at the one-loop level in the top-down approach. The method integrates out heavy fields that correspond to mass eigenstates, i.e. after removing mixing effects by diagonalizing mass matrices. Tree- and loop-level effects are separated by employing the background-field method, hard and soft modes are separated with the use of the expansion by regions. The method is exemplified for the Higgs Singlet Extension of the Standard Model where the mass $M_\mathrm{H}$ of the additional Higgs boson is considered large, and the Higgs mixing angle $\alpha$ is assumed to scale like $1/M_\mathrm{H}$, in order to guarantee decoupling in the large-$M_\mathrm{H}$ limit. Our calculation is agnostic w.r.t. the type (SMEFT vs. HEFT) of the emerging EFT. Eventually the emerging EFT Lagrangian can be transformed into SMEFT form, but only at the cost of introducing fermionic EFT operators, although no such operators are directly generated upon solving the functional integral over the heavy Higgs field.

Figures

Figures reproduced from arXiv: 2608.11306 by the authors.

**Figure 1.** BSM correction Δ𝑀BSM W to the W-boson mass, shown for the full SESM and the EFT approximation. The product 𝑠𝛼𝑀H is kept fixed in each curve. (Taken from Ref. [2].) Wilson coefficients are proportional to 𝑠 2 𝛼 , and the ones of O (1),SMEFT Φ𝐹 and O SMEFT Φ 𝑓 receive factors of the weak hypercharges 𝑌𝐹/ 𝑓 of the respective fermions. We have validated both forms of the effective Lagrangian at next-to-leading order in… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 1 canonical work pages

[2]

Dittmaier, S

S. Dittmaier, S. Schuhmacher and M. Stahlhofen, [arXiv:2604.01125 [hep-ph]]

arXiv
[1]

Dittmaier, S

S. Dittmaier, S. Schuhmacher and M. Stahlhofen, Eur. Phys. J. C81(2021) no.9, 826 [arXiv:2102.12020 [hep-ph]]

arXiv 2021
[3]

Dittmaier and C

S. Dittmaier and C. Grosse-Knetter, Phys. Rev. D52(1995), 7276-7293 [hep-ph/9501285] and Nucl. Phys. B459(1996), 497-536 [hep-ph/9505266]

arXiv 1995
[4]

Fuentes-Martin, J

J. Fuentes-Martin, J. Portoles and P. Ruiz-Femenia, JHEP09(2016), 156 [arXiv:1607.02142 [hep-ph]]

arXiv 2016
[5]

Zhang, JHEP05(2017), 152 [arXiv:1610.00710 [hep-ph]]

Z. Zhang, JHEP05(2017), 152 [arXiv:1610.00710 [hep-ph]]

arXiv 2017
[6]

Cohen, X

T. Cohen, X. Lu and Z. Zhang, JHEP02(2021), 228 [arXiv:2011.02484 [hep-ph]]

arXiv 2021
[7]

Boggia, R

M. Boggia, R. Gomez-Ambrosio and G. Passarino, JHEP05(2016), 162 [arXiv:1603.03660 [hep-ph]]

arXiv 2016
[8]

Buchalla et al., Nucl

G. Buchalla et al., Nucl. Phys. B917(2017), 209-233 [arXiv:1608.03564 [hep-ph]]

arXiv 2017

Show all 17 references

[9]

Cohen et al., JHEP03(2021), 237 [arXiv:2008.08597 [hep-ph]]

T. Cohen et al., JHEP03(2021), 237 [arXiv:2008.08597 [hep-ph]]

2021 arXiv
[10]

S. A. R. Ellis et al., JHEP08(2017), 054 [arXiv:1706.07765 [hep-ph]]

2017 arXiv
[11]

Haisch et al., JHEP04(2020), 164 [erratum: JHEP07(2020), 066] [arXiv:2003.05936 [hep-ph]]

U. Haisch et al., JHEP04(2020), 164 [erratum: JHEP07(2020), 066] [arXiv:2003.05936 [hep-ph]]

2020 arXiv
[12]

Denner and S

A. Denner and S. Dittmaier, Phys. Rept.864(2020), 1-163 [arXiv:1912.06823 [hep-ph]]

2020 arXiv
[13]

Altenkamp, M

L. Altenkamp, M. Boggia and S. Dittmaier, JHEP04(2018), 062 [arXiv:1801.07291 [hep- ph]]

2018 arXiv
[14]

Beneke and V

M. Beneke and V. A. Smirnov, Nucl. Phys. B522(1998), 321-344 [arXiv:hep-ph/9711391 [hep-ph]]

1998 arXiv
[15]

Grzadkowski et al., JHEP10(2010), 085 [arXiv:1008.4884 [hep-ph]]

B. Grzadkowski et al., JHEP10(2010), 085 [arXiv:1008.4884 [hep-ph]]

2010 arXiv
[16]

Denner, S

A. Denner, S. Dittmaier and J. N. Lang, JHEP11(2018), 104 [arXiv:1808.03466 [hep-ph]]

2018 arXiv
[17]

S.DittmaierandH.Rzehak,JHEP05(2022),125[arXiv:2203.07236[hep-ph]]andJHEP08 (2022), 245 [arXiv:2206.01479 [hep-ph]]. 8

2022 arXiv

Pith tools

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

[1] [2]

Dittmaier, S

S. Dittmaier, S. Schuhmacher and M. Stahlhofen, [arXiv:2604.01125 [hep-ph]]

arXiv

[2] [1]

Dittmaier, S

S. Dittmaier, S. Schuhmacher and M. Stahlhofen, Eur. Phys. J. C81(2021) no.9, 826 [arXiv:2102.12020 [hep-ph]]

arXiv 2021

[3] [3]

Dittmaier and C

S. Dittmaier and C. Grosse-Knetter, Phys. Rev. D52(1995), 7276-7293 [hep-ph/9501285] and Nucl. Phys. B459(1996), 497-536 [hep-ph/9505266]

arXiv 1995

[4] [4]

Fuentes-Martin, J

J. Fuentes-Martin, J. Portoles and P. Ruiz-Femenia, JHEP09(2016), 156 [arXiv:1607.02142 [hep-ph]]

arXiv 2016

[5] [5]

Zhang, JHEP05(2017), 152 [arXiv:1610.00710 [hep-ph]]

Z. Zhang, JHEP05(2017), 152 [arXiv:1610.00710 [hep-ph]]

arXiv 2017

[6] [6]

Cohen, X

T. Cohen, X. Lu and Z. Zhang, JHEP02(2021), 228 [arXiv:2011.02484 [hep-ph]]

arXiv 2021

[7] [7]

Boggia, R

M. Boggia, R. Gomez-Ambrosio and G. Passarino, JHEP05(2016), 162 [arXiv:1603.03660 [hep-ph]]

arXiv 2016

[8] [8]

Buchalla et al., Nucl

G. Buchalla et al., Nucl. Phys. B917(2017), 209-233 [arXiv:1608.03564 [hep-ph]]

arXiv 2017