A Proof of Concept for Matchete: An Automated Tool for Matching Effective Theories

Abstract

Studying the impact of new-physics models on low-energy observables necessitates matching to effective field theories at the relevant mass thresholds. We introduce the first public version of Matchete, a computer tool for matching weakly-coupled models at one-loop order. It uses functional methods to directly compute all matching contributions in a manifestly gauge-covariant manner, while simplification methods eliminate redundant operators from the output. We sketch the workings of the program and provide examples of how to match simple Standard Model extensions. The package, documentation, and example notebooks are publicly available at https://gitlab.com/matchete/matchete.

29 pages, 2 figures, The code and example notebooks are publicly available at https://gitlab.com/matchete/matchete. Published version

References in corpus (31)

• Top, Higgs, Diboson and Electroweak Fit to the Standard Model Effective Field Theory
• A Monte Carlo global analysis of the Standard Model Effective Field Theory: the top quark sector
• The Low-Energy Effective Theory of Axions and ALPs
• Renormalization group evolution of dimension-six baryon number violating operators
• Integrating out heavy particles with functional methods: a simplified framework
• Running in the ALPs
• Extending the Universal One-Loop Effective Action: Heavy-Light Coefficients
• DsixTools 2.0: The Effective Field Theory Toolkit
• BasisGen: automatic generation of operator bases
• Consequences of chirally enhanced explanations of $(g-2{)}_{\mu }$ for $h\to \mu \mu$ and $Z\to \mu \mu$
• GroupMath: A Mathematica package for group theory calculations
• EOS -- A Software for Flavor Physics Phenomenology
• STrEAMlining EFT Matching
• Functional Prescription for EFT Matching
• SuperTracer: A Calculator of Functional Supertraces for One-Loop EFT Matching
• Positivity bounds in the Standard Model effective field theory beyond tree level
• Evanescent Operators in One-Loop Matching Computations
• Role of dimension-eight operators in an EFT for the 2HDM
• Integrating out heavy fields in the path integral using the background-field method: general formalism
• Complete One-loop Matching of the Type-I Seesaw Model onto the Standard Model Effective Field Theory
• Large $t\to cZ$ as a Sign of Vector-Like Quarks in Light of the $W$ Mass
• A complete effective field theory for dark matter
• One-loop Matching of the Type-II Seesaw Model onto the Standard Model Effective Field Theory
• Neutrino seesaw models at one-loop matching: Discrimination by effective operators
• Universal Scalar Leptoquark Action for Matching
• A bridge to new physics: proposing new -- and reviving old -- explanations of $a_{\mu }$
• Integrating out heavy scalars with modified EOMs: matching computation of dimension-eight SMEFT coefficients
• MARTY -- Modern ARtificial Theoretical phYsicist: A C++ framework automating symbolic calculations Beyond the Standard Model
• One-Loop Matching Conditions in Neutrino Effective Theory
• One-loop Matching of Scotogenic Model onto Standard Model Effective Field Theory up to Dimension 7
• Exploring the vacuum structure of gravitationally induced neutrino masses

Cited by in corpus (34)

• The Standard Model effective field theory at work
• Vector-like Singlet Quarks: a Roadmap
• Standard Model Effective Field Theory up to Mass Dimension 12
• Functional Matching and Renormalization Group Equations at Two-Loop Order
• New Physics at Tera-$Z$: Precision Renormalised
• Computing Tools for Effective Field Theories
• A global analysis of axion-like particle interactions using SMEFT fits
• EFT matching from analyticity and unitarity
• Combining chromomagnetic and four-fermion operators with leading SMEFT operators for $gg\to hh$ at NLO QCD
• Higher-dimensional operators at finite-temperature affect gravitational-wave predictions
• How large can the Light Quark Yukawa couplings be?
• One-loop matching of $CP$-odd four-quark operators to the gradient-flow scheme
• Probing Heavy Neutrino Magnetic Moments at the LHC using Long-Lived Particle Searches
• Positivity Bounds in Scalar Effective Field Theories at One-loop Level
• Relevance of one-loop SMEFT matching in the 2HDM
• The Universal One-Loop Effective Action with Gravity
• Renormalization-group equations of the LEFT at two loops: dimension-five effects
• Collider-Flavour Complementarity from the bottom to the top
• From the EFT to the UV: the complete SMEFT one-loop dictionary
• Renormalization-group equations of the LEFT at two loops: dimension-six operators
• Froggatt-Nielsen Meets the SMEFT
• Going beyond Top EFT
• Maximal value for trilinear Higgs coupling in a 3-3-1 EFT
• Vector-like quark doublets, weak-basis invariants and CP violation
• Positivity bounds in scalar-QED EFT at one-loop level
• Gauge hierarchy and metastability from Higgs-driven crunching
• Two-loop dimension Six Effective Action: Integrating Out Heavy Scalar
• Symmetry Restoration in the SMEFT: Finite Counterterms for a Non-Anticommuting ${\gamma }_5$
• Complete two-loop Yukawa-induced running of the Higgs-gluon coupling in SMEFT
• Potential Blind Directions at TeraZ
• Effective description of Nelson-Barr models and the theta parameter
• One-loop matching of the LEFT to the QCD gradient flow
• Probing Higgs and Top Interactions through the Muon Lens at multi-TeV Muon Colliders
• Running of neutrino mass parameters in the Zee model