MATCHA: A Mathematica package for matching UV models onto HEFT
Pith reviewed 2026-06-27 12:29 UTC · model grok-4.3
The pith
MATCHA automates leading-order matching of UV models to the Higgs Effective Field Theory for any number of Higgs fields.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
MATCHA performs the matching of non-decoupling effects O(1) to the LO HEFT Lagrangian for an arbitrary number of Higgs fields, providing the leading low-energy couplings capturing non-decoupling effects of HEFT. It requires solely the FeynRules output files and the desired order of expansion, and directly benefits from the established features of FeynArts and FormCalc.
What carries the argument
Automated integration of heavy degrees of freedom at leading order using FeynRules model files to generate HEFT terms via FeynArts and FormCalc.
If this is right
- Leading HEFT couplings are generated automatically from any UV model supplied as FeynRules output.
- Non-decoupling O(1) effects are included at LO without separate manual calculation.
- The procedure extends without modification to models containing multiple Higgs fields.
- Results inherit the calculational capabilities already present in FeynArts and FormCalc.
Where Pith is reading between the lines
- The package could support systematic scans over families of UV models by converting each to a common HEFT representation.
- Future versions might incorporate loop-level matching by extending the existing expansion-order input.
- Direct comparison of HEFT coefficients from different UV completions becomes feasible once the package is run on each model.
Load-bearing premise
The integration of heavy degrees of freedom at leading order can be fully captured by the HEFT Lagrangian terms generated from FeynRules output without additional user-defined counterterms or higher-order corrections.
What would settle it
For a concrete UV model with one heavy scalar, the tree-level HEFT coefficients obtained by hand differ from the numerical values produced by MATCHA on the same model files.
Figures
read the original abstract
We present MATChing HEFT Amplitudes (MATCHA), a Mathematica package designed for leading-order (LO) matching of an ultraviolet (UV) model to the Higgs Effective Field Theory (HEFT). MATCHA performs the matching of non-decoupling effects $\mathcal{O}(1)$ to the LO HEFT lagrangian for an arbitrary number of Higgs fields. The main benefit of \heftmatcha is that it is built on existing packages such as \texttt{FeynArts} and \texttt{FormCalc}, which are familiar to the user, and directly benefits from the established features of these packages. In addition, \heftmatcha is designed to require minimal input from the user, requiring solely the \texttt{FeynRules} output files and the desired order of expansion. In this way, \heftmatcha provides the leading low-energy couplings capturing non-decoupling effects of HEFT.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript presents MATCHA, a Mathematica package for leading-order (LO) matching of ultraviolet (UV) models to the Higgs Effective Field Theory (HEFT) Lagrangian. It claims to automate the matching of non-decoupling effects O(1) for an arbitrary number of Higgs fields, using FeynRules output files and a user-specified expansion order as sole inputs, while leveraging FeynArts and FormCalc to output the leading low-energy couplings.
Significance. If the package performs as described, it would provide a practical automation tool for HEFT matching in BSM model building, lowering the barrier for deriving effective couplings from UV completions with non-decoupling Higgs sectors. The design choice to build on established, familiar packages and minimize user input is a clear practical strength.
major comments (1)
- [Abstract] Abstract (paragraph describing package functionality): the central claim that MATCHA performs the matching of non-decoupling O(1) effects to the LO HEFT Lagrangian without additional user-defined counterterms or higher-order corrections is asserted but unsupported by any test cases, benchmark results, or explicit matching examples. This is load-bearing for the claim that the generated terms correctly capture the desired effects.
Simulated Author's Rebuttal
We thank the referee for their detailed review and constructive feedback. We address the single major comment below.
read point-by-point responses
-
Referee: [Abstract] Abstract (paragraph describing package functionality): the central claim that MATCHA performs the matching of non-decoupling O(1) effects to the LO HEFT Lagrangian without additional user-defined counterterms or higher-order corrections is asserted but unsupported by any test cases, benchmark results, or explicit matching examples. This is load-bearing for the claim that the generated terms correctly capture the desired effects.
Authors: We agree that the abstract claim would be better supported by explicit examples. In the revised manuscript we will add a dedicated section (or subsection) containing at least two benchmark UV models with explicit matching results. These will demonstrate the automated extraction of the leading non-decoupling O(1) HEFT coefficients directly from FeynRules output, without user-supplied counterterms or higher-order corrections, and will include numerical comparisons to known analytic results where available. revision: yes
Circularity Check
No significant circularity
full rationale
The paper describes a software package (MATCHA) that automates LO matching from FeynRules output to HEFT using established tools (FeynArts/FormCalc). No mathematical derivation, fitted parameters, or predictions are presented that reduce to their own inputs by construction. The workflow is a thin wrapper around external packages with user-specified expansion order; the central claim is implementation of an existing procedure rather than a self-referential result. No self-citation load-bearing steps, ansatze, or uniqueness theorems appear in the provided text.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Leading-order HEFT Lagrangian suffices to capture O(1) non-decoupling effects when heavy fields are integrated out
Reference graph
Works this paper leans on
-
[1]
Heavy Higgs Bosons in the Weinberg-Salam Model
Anthony C. Longhitano. “Heavy Higgs Bosons in the Weinberg-Salam Model”. In:Phys. Rev. D22 (1980), p. 1166.doi:10.1103/PhysRevD.22.1166
-
[2]
Low-Energy Impact of a Heavy Higgs Boson Sector
Anthony C. Longhitano. “Low-Energy Impact of a Heavy Higgs Boson Sector”. In:Nucl. Phys. B188 (1981), pp. 118–154.doi:10.1016/0550-3213(81)90109-7
-
[3]
The Chiral approach to the electroweak interactions
F. Feruglio. “The Chiral approach to the electroweak interactions”. In:Int. J. Mod. Phys. A8 (1993), pp. 4937–4972.doi:10 . 1142 / S0217751X93001946. arXiv:hep - ph/9301281
arXiv 1993
-
[4]
The Standard Model as an Effective Field Theory
Ilaria Brivio and Michael Trott. “The Standard Model as an Effective Field Theory”. In:Phys. Rept.793 (2019), pp. 1–98.doi:10.1016/j.physrep.2018.11.002. arXiv: 1706.08945 [hep-ph]. 25
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physrep.2018.11.002 2019
-
[5]
The standard model effective field theory at work
Gino Isidori, Felix Wilsch, and Daniel Wyler. “The standard model effective field theory at work”. In:Rev. Mod. Phys.96.1 (2024), p. 015006.doi:10.1103/RevModPhys.96. 015006. arXiv:2303.16922 [hep-ph]
-
[6]
RodrigoAlonsoetal.“RenormalizationGroupEvolutionoftheStandardModelDimen- sion Six Operators III: Gauge Coupling Dependence and Phenomenology”. In:JHEP 04 (2014), p. 159.doi:10.1007/JHEP04(2014)159. arXiv:1312.2014 [hep-ph]
-
[7]
Infrared Singularities and Massive Fields
Thomas Appelquist and J. Carazzone. “Infrared Singularities and Massive Fields”. In: Phys. Rev. D11 (1975), p. 2856.doi:10.1103/PhysRevD.11.2856
-
[8]
A proof of concept for matchete: an automated tool for matching effective theories
Javier Fuentes-Martín et al. “A proof of concept for matchete: an automated tool for matching effective theories”. In:Eur. Phys. J. C83.7 (2023), p. 662.doi:10.1140/ epjc/s10052-023-11726-1. arXiv:2212.04510 [hep-ph]
arXiv 2023
-
[9]
Matchmakereft: automated tree-level and one-loop matching
Adrian Carmona et al. “Matchmakereft: automated tree-level and one-loop matching”. In: (Dec. 2021). arXiv:2112.10787 [hep-ph]
arXiv 2021
-
[10]
CoDEx: Wilson coefficient calculator connecting SMEFT to UV theory
Supratim Das Bakshi, Joydeep Chakrabortty, and Sunando Kumar Patra. “CoDEx: Wilson coefficient calculator connecting SMEFT to UV theory”. In:Eur. Phys. J. C 79.1 (2019), p. 21.doi:10 . 1140 / epjc / s10052 - 018 - 6444 - 2. arXiv:1808 . 04403 [hep-ph]
2019
-
[11]
MatchingTools: a Python library for symbolic effective field theory calculations
Juan C. Criado. “MatchingTools: a Python library for symbolic effective field theory calculations”. In:Comput. Phys. Commun.227 (2018), pp. 42–50.doi:10.1016/j. cpc.2018.02.016. arXiv:1710.06445 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j 2018
-
[12]
Automation of a Matching On-Shell Cal- culator
Javier López Miras and Fuensanta Vilches. “Automation of a Matching On-Shell Cal- culator”. In: (May 2025). arXiv:2505.21353 [hep-ph]
arXiv 2025
-
[13]
Standard Model Extended by a Heavy Singlet: Linear vs. Nonlinear EFT
G. Buchalla et al. “Standard Model Extended by a Heavy Singlet: Linear vs. Nonlinear EFT”. In:Nucl. Phys. B917 (2017), pp. 209–233.doi:10.1016/j.nuclphysb.2017. 02.006. arXiv:1608.03564 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.nuclphysb.2017 2017
-
[15]
Sally Dawson et al. “Is the HEFT matching unique?” In:Phys. Rev. D109.5 (2024), p. 055037.doi:10.1103/PhysRevD.109.055037. arXiv:2311.16897 [hep-ph]
-
[17]
Matching the real Higgs triplet extension of Standard Model to HEFT
Huayang Song and Xia Wan. “Matching the real Higgs triplet extension of Standard Model to HEFT”. In:JHEP06 (2025), p. 249.doi:10.1007/JHEP06(2025)249. arXiv: 2503.00707 [hep-ph]
-
[18]
Feyn Arts: Computer Algebraic Gener- ation of Feynman Graphs and Amplitudes
J. Kublbeck, M. Bohm, and Ansgar Denner. “Feyn Arts: Computer Algebraic Gener- ation of Feynman Graphs and Amplitudes”. In:Comput. Phys. Commun.60 (1990), pp. 165–180.doi:10.1016/0010-4655(90)90001-H. 26
-
[19]
Automatized one loop calculations in four-dimensions and D-dimensions
T. Hahn and M. Perez-Victoria. “Automatized one loop calculations in four-dimensions and D-dimensions”. In:Comput. Phys. Commun.118 (1999), pp. 153–165.doi:10. 1016/S0010-4655(98)00173-8. arXiv:hep-ph/9807565
Pith/arXiv arXiv 1999
-
[20]
Effective field theory: Course
Antonio Pich. “Effective field theory: Course”. In:Les Houches Summer School in The- oretical Physics, Session 68: Probing the Standard Model of Particle Interactions. June 1998, pp. 949–1049. arXiv:hep-ph/9806303
Pith/arXiv arXiv 1998
-
[21]
The Role of Resonances in Chiral Perturbation Theory
G. Ecker et al. “The Role of Resonances in Chiral Perturbation Theory”. In:Nucl. Phys. B321 (1989), pp. 311–342.doi:10.1016/0550-3213(89)90346-5
-
[22]
Chiral Lagrangians as a tool to probe the symmetry breaking sector of the SM at LEP
Antonio Dobado, Domenec Espriu, and Maria J. Herrero. “Chiral Lagrangians as a tool to probe the symmetry breaking sector of the SM at LEP”. In:Phys. Lett. B255 (1991), pp. 405–414.doi:10.1016/0370-2693(91)90786-P
-
[23]
Electroweak resonances in HEFT
Felipe J. Llanes-Estrada, Rafael L. Delgado, and Antonio Dobado. “Electroweak res- onances in HEFT”. In:2017 European Physical Society Conference on High Energy Physics. Sept. 2017.doi:10.22323/1.314.0278. arXiv:1709.10491 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.22323/1.314.0278 2017
-
[24]
Rafael L. Delgado, Antonio Dobado, and Felipe J. Llanes-Estrada. “Unitarity, analyt- icity, dispersion relations, and resonances in strongly interactingWLWL,Z LZL, and hh scattering”. In:Phys. Rev. D91.7 (2015), p. 075017.doi:10.1103/PhysRevD.91. 075017. arXiv:1502.04841 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.91 2015
-
[25]
Antonio Dobado, Rafael L. Delgado, and Felipe J. Llanes-Estrada. “Resonances in WLWL, ZLZL andhhscatteringfromdispersiveanalysisofthenon-linearElectroweak+Higgs Effective Theory”. In:PoSEPS-HEP2015 (2015), p. 173.doi:10.22323/1.234.0173. arXiv:1509.04725 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.22323/1.234.0173 2015
-
[26]
Effective Theory of a Dynamically Broken Elec- troweak Standard Model at NLO
Gerhard Buchalla and Oscar Cata. “Effective Theory of a Dynamically Broken Elec- troweak Standard Model at NLO”. In:JHEP07 (2012), p. 101.doi:10 . 1007 / JHEP07(2012)101. arXiv:1203.6510 [hep-ph]
Pith/arXiv arXiv 2012
-
[27]
Fitting Higgs Data with Nonlinear Effective Theory
G. Buchalla et al. “Fitting Higgs Data with Nonlinear Effective Theory”. In:Eur. Phys. J. C76.5 (2016), p. 233.doi:10.1140/epjc/s10052-016-4086-9. arXiv:1511.00988 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1140/epjc/s10052-016-4086-9 2016
-
[28]
Complete One-Loop Renormalization of the Higgs-Electroweak Chiral Lagrangian
Claudius Krause et al. “Complete One-Loop Renormalization of the Higgs-Electroweak Chiral Lagrangian”. In:PoSCD2018 (2019), p. 072.doi:10 . 22323 / 1 . 317 . 0072. arXiv:1907.07605 [hep-ph]
Pith/arXiv arXiv 2019
-
[29]
Bottom-up approach within the electroweak effective theory: Constraining heavy resonances
Antonio Pich, Ignasi Rosell, and Juan José Sanz-Cillero. “Bottom-up approach within the electroweak effective theory: Constraining heavy resonances”. In:Phys. Rev. D 102.3 (2020), p. 035012.doi:10.1103/PhysRevD.102.035012. arXiv:2004.02827 [hep-ph]
-
[30]
Viability of strongly-coupled scenarios with a light Higgs-like boson
Antonio Pich, Ignasi Rosell, and Juan José Sanz-Cillero. “Viability of strongly-coupled scenarios with a light Higgs-like boson”. In:Phys. Rev. Lett.110 (2013), p. 181801.doi: 10.1103/PhysRevLett.110.181801. arXiv:1212.6769 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.110.181801 2013
-
[31]
Colorful Imprints of Heavy States in the Electroweak Effective Theory
Claudius Krause et al. “Colorful Imprints of Heavy States in the Electroweak Effective Theory”. In:JHEP05 (2019), p. 092.doi:10.1007/JHEP05(2019)092. arXiv:1810. 10544 [hep-ph]. 27
-
[32]
Production of vector resonances at the LHC via WZ-scattering: a unitarized EChL analysis
R. L. Delgado et al. “Production of vector resonances at the LHC via WZ-scattering: a unitarized EChL analysis”. In:JHEP11 (2017), p. 098.doi:10.1007/JHEP11(2017)
-
[33]
arXiv:1707.04580 [hep-ph]
-
[34]
The Electroweak Chiral Lagrangian for the Standard Model with a Heavy Higgs
Maria J. Herrero and Ester Ruiz Morales. “The Electroweak chiral Lagrangian for the Standard Model with a heavy Higgs”. In:Nucl. Phys. B418 (1994), pp. 431–455.doi: 10.1016/0550-3213(94)90525-8. arXiv:hep-ph/9308276
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0550-3213(94)90525-8 1994
-
[35]
Strongly coupled theories beyond the Standard Model
Antonio Dobado and Domènec Espriu. “Strongly coupled theories beyond the Standard Model”. In:Prog. Part. Nucl. Phys.115 (2020), p. 103813.doi:10.1016/j.ppnp.2020. 103813. arXiv:1911.06844 [hep-ph]
-
[36]
Nonlinearrealizationsofchiralsymmetry
StevenWeinberg.“Nonlinearrealizationsofchiralsymmetry”.In:Phys. Rev.166(1968), pp. 1568–1577.doi:10.1103/PhysRev.166.1568
-
[37]
Higgs-electroweak chiral Lagrangian: One-loop renormalization group equations
G. Buchalla et al. “Higgs-electroweak chiral Lagrangian: One-loop renormalization group equations”. In:Phys. Rev. D104.7 (2021), p. 076005.doi:10.1103/PhysRevD. 104.076005. arXiv:2004.11348 [hep-ph]
-
[38]
Relevance of fermion loops for W+W- scattering at the LHC
Carlos Quezada-Calonge, Antonio Dobado, and Juan José Sanz-Cillero. “Relevance of fermion loops for W+W- scattering at the LHC”. In:Phys. Rev. D107.9 (2023), p. 093006.doi:10.1103/PhysRevD.107.093006. arXiv:2207.01458 [hep-ph]
-
[39]
How relevant are top loops in VBS at the LHC?
Carlos Quezada-Calonge, Antonio Dobado, and Juan José Sanz-Cillero. “How relevant are top loops in VBS at the LHC?” In:Nucl. Part. Phys. Proc.324-329 (2023), pp. 125– 128.doi:10.1016/j.nuclphysbps.2023.01.025. arXiv:2212.06773 [hep-ph]
-
[40]
Two-Higgs-doublet model matched to nonlinear effective theory
G. Buchalla et al. “Two-Higgs-doublet model matched to nonlinear effective theory”. In:Phys. Rev. D110.1 (2024), p. 016015.doi:10.1103/PhysRevD.110.016015. arXiv: 2312.13885 [hep-ph]
-
[41]
The Art of Counting: a reap- praisaloftheHEFTexpansion
Ilaria Brivio, Ramona Gröber, and Konstantin Schmid. “The Art of Counting: a reap- praisaloftheHEFTexpansion”.In:JHEP04(2026),p.202.doi:10.1007/JHEP04(2026)
-
[42]
arXiv:2511.23410 [hep-ph]
-
[43]
Integrating out a heavy Higgs singlet: on the edge between SMEFT and HEFT
Stefan Dittmaier, Sebastian Schuhmacher, and Maximilian Stahlhofen. “Integrating out a heavy Higgs singlet: on the edge between SMEFT and HEFT”. In: (Apr. 2026). arXiv: 2604.01125 [hep-ph]
arXiv 2026
-
[44]
FeynRules 2.0 - A complete toolbox for tree-level phenomenology
Adam Alloul et al. “FeynRules 2.0 - A complete toolbox for tree-level phenomenology”. In:Comput. Phys. Commun.185 (2014), pp. 2250–2300.doi:10.1016/j.cpc.2014. 04.012. arXiv:1310.1921 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.cpc.2014 2014
-
[45]
Status of the Higgs Singlet Extension of the Stan- dard Model after LHC Run 1
Tania Robens and Tim Stefaniak. “Status of the Higgs Singlet Extension of the Stan- dard Model after LHC Run 1”. In:Eur. Phys. J. C75 (2015), p. 104.doi:10.1140/ epjc/s10052-015-3323-y. arXiv:1501.02234 [hep-ph]
Pith/arXiv arXiv 2015
-
[46]
LHCBenchmarkScenariosfortheRealHiggsSinglet Extension of the Standard Model
TaniaRobensandTimStefaniak.“LHCBenchmarkScenariosfortheRealHiggsSinglet Extension of the Standard Model”. In:Eur. Phys. J. C76.5 (2016), p. 268.doi:10. 1140/epjc/s10052-016-4115-8. arXiv:1601.07880 [hep-ph]
Pith/arXiv arXiv 2016
-
[47]
Low energy be- haviour of standard model extensions
Michele Boggia, Raquel Gomez-Ambrosio, and Giampiero Passarino. “Low energy be- haviour of standard model extensions”. In:JHEP05 (2016), p. 162.doi:10.1007/ JHEP05(2016)162. arXiv:1603.03660 [hep-ph]. 28
Pith/arXiv arXiv 2016
-
[48]
Complex Singlet Extension of the Standard Model
Vernon Barger et al. “Complex Singlet Extension of the Standard Model”. In:Phys. Rev. D79 (2009), p. 015018.doi:10.1103/PhysRevD.79.015018. arXiv:0811.0393 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.79.015018 2009
-
[49]
Enhanced di-Higgs Production in the Complex Higgs Singlet Model
S. Dawson and M. Sullivan. “Enhanced di-Higgs boson production in the complex Higgs singlet model”. In:Phys. Rev. D97.1 (2018), p. 015022.doi:10.1103/PhysRevD.97. 015022. arXiv:1711.06683 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.97 2018
-
[50]
Theory and phenomenology of two-Higgs-doublet models
G. C. Branco et al. “Theory and phenomenology of two-Higgs-doublet models”. In: Phys. Rept.516 (2012), pp. 1–102.doi:10.1016/j.physrep.2012.02.002. arXiv: 1106.0034 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physrep.2012.02.002 2012
-
[51]
Properties of Charged Higgs Bosons
John F. Donoghue and Ling Fong Li. “Properties of Charged Higgs Bosons”. In:Phys. Rev. D19 (1979), p. 945.doi:10.1103/PhysRevD.19.945
-
[52]
Suppression of Flavor Changing Effects From Neutral Spinless Meson Exchange in Gauge Theories
Howard Georgi and Dimitri V. Nanopoulos. “Suppression of Flavor Changing Effects From Neutral Spinless Meson Exchange in Gauge Theories”. In:Phys. Lett. B82 (1979), pp. 95–96.doi:10.1016/0370-2693(79)90433-7
-
[53]
Jarlskog-like invariants for theories with scalars and fermions
F. J. Botella and João P. Silva. “Jarlskog - like invariants for theories with scalars and fermions”.In:Phys. Rev.D51(1995),pp.3870–3875.doi:10.1103/PhysRevD.51.3870. arXiv:hep-ph/9411288 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.51.3870 1995
-
[54]
CP Violation
Gustavo C. Branco, Luis Lavoura, and João P. Silva. “CP Violation”. In:Int. Ser. Monogr. Phys.103 (1999), pp. 1–536. 29
1999
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.