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.

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

References in corpus (71)

• Dimension-Six Terms in the Standard Model Lagrangian
• UFO - The Universal FeynRules Output
• Asymptotic expansion of Feynman integrals near threshold
• Renormalization Group Evolution of the Standard Model Dimension Six Operators III: Gauge Coupling Dependence and Phenomenology
• Renormalization Group Evolution of the Standard Model Dimension Six Operators II: Yukawa Dependence
• Renormalization Group Evolution of the Standard Model Dimension Six Operators I: Formalism and lambda Dependence
• Low-Energy Effective Field Theory below the Electroweak Scale: Operators and Matching
• Low-Energy Effective Field Theory below the Electroweak Scale: Anomalous Dimensions
• Reduced Effective Lagrangians
• The SMEFTsim package, theory and tools
• Top, Higgs, Diboson and Electroweak Fit to the Standard Model Effective Field Theory
• Wilson: a Python package for the running and matching of Wilson coefficients above and below the electroweak scale
• The Low-Energy Effective Theory of Axions and ALPs
• A Monte Carlo global analysis of the Standard Model Effective Field Theory: the top quark sector
• DsixTools: The Standard Model Effective Field Theory Toolkit
• Renormalization group evolution of dimension-six baryon number violating operators
• Matching of gauge invariant dimension 6 operators for $b\to s$ and $b\to c$ transitions
• Low-energy effective field theory below the electroweak scale: matching at one loop
• A Global Likelihood for Precision Constraints and Flavour Anomalies
• WCxf: an exchange format for Wilson coefficients beyond the Standard Model
• The Universal One-Loop Effective Action
• CoDEx: Wilson coefficient calculator connecting SMEFT to UV theory
• Integrating out heavy particles with functional methods: a simplified framework
• Foundation and generalization of the expansion by regions
• $\text{HEPfit}$: a Code for the Combination of Indirect and Direct Constraints on High Energy Physics Models
• Running in the ALPs
• Matching scalar leptoquarks to the SMEFT at one loop
• Covariant diagrams for one-loop matching
• Low-energy phenomenology of scalar leptoquarks at one-loop accuracy
• Complete One-Loop Matching for a Singlet Scalar in the Standard Model EFT
• Mixed Heavy-Light Matching in the Universal One-Loop Effective Action
• Extending the Universal One-Loop Effective Action: Heavy-Light Coefficients
• MatchingTools: a Python library for symbolic effective field theory calculations
• DsixTools 2.0: The Effective Field Theory Toolkit
• FlavBit: A GAMBIT module for computing flavour observables and likelihoods
• One-loop effective lagrangians after matching
• BasisGen: automatic generation of operator bases
• Loop effects of heavy new scalars and fermions in $b\to s{\mu }^{+}{\mu }^{-}$
• Consequences of chirally enhanced explanations of $(g-2{)}_{\mu }$ for $h\to \mu \mu$ and $Z\to \mu \mu$
• Field redefinitions in effective theories at higher orders
• GroupMath: A Mathematica package for group theory calculations
• Completing the scalar and fermionic Universal One-Loop Effective Action
• EOS -- A Software for Flavor Physics Phenomenology
• DEFT: A program for operators in EFT
• The Fermionic Universal One-Loop Effective Action
• STrEAMlining EFT Matching
• Functional Prescription for EFT Matching
• Positivity bounds in the Standard Model effective field theory beyond tree level
• Evanescent Operators in One-Loop Matching Computations
• SuperTracer: A Calculator of Functional Supertraces for One-Loop EFT Matching
• Renormalizability of Effective Scalar Field Theory
• Integrating out the Standard Higgs Field in the Path Integral
• The Sym2Int program: going from symmetries to interactions
• Role of dimension-eight operators in an EFT for the 2HDM
• SmeftFR -- Feynman rules generator for the Standard Model Effective Field Theory
• Integrating out heavy fields in the path integral using the background-field method: general formalism
• Integrating Out New Fermions at One Loop
• 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
• Deriving Non-decoupling Effects of Heavy Fields from the Path Integral: a Heavy Higgs Field in an SU(2) Gauge Theory
• A complete effective field theory for dark matter
• Neutrino seesaw models at one-loop matching: Discrimination by effective operators
• One-loop Matching of the Type-II Seesaw Model onto the Standard Model Effective Field Theory
• Universal Scalar Leptoquark Action for Matching
• A bridge to new physics: proposing new -- and reviving old -- explanations of $a_{\mu }$
• Singlet night in Feynman-ville: one-loop matching of a real scalar
• 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