Integrating out heavy particles with functional methods: a simplified framework

Abstract

We present a systematic procedure to obtain the one-loop low-energy effective Lagrangian resulting from integrating out the heavy fields of a given ultraviolet theory. We show that the matching coefficients are determined entirely by the hard region of the functional determinant involving the heavy fields. This represents an important simplification with respect the conventional matching approach, where the full and effective theory contributions have to be computed separately and a cancellation of the infrared divergent parts has to take place. We illustrate the method with a descriptive toy model and with an extension of the Standard Model with a heavy real scalar triplet. A comparison with other schemes that have been put forward recently is also provided.

24 pages. Uses feynMF package

References in corpus (10)

• Asymptotic expansion of Feynman integrals near threshold
• The Universal One-Loop Effective Action
• Foundation and generalization of the expansion by regions
• One-loop Effective Lagrangian for a Standard Model with a Heavy Charged Scalar Singlet
• Mixed Heavy-Light Matching in the Universal One-Loop Effective Action
• One-loop effective lagrangians after matching
• Integrating out the Standard Higgs Field in the Path Integral
• Deriving Non-decoupling Effects of Heavy Fields from the Path Integral: a Heavy Higgs Field in an SU(2) Gauge Theory
• Electroweak Corrections from Triplet Scalars
• One-loop Matching and Running with Covariant Derivative Expansion

Cited by in corpus (78)

• The Standard Model as an Effective Field Theory
• Effective description of general extensions of the Standard Model: the complete tree-level dictionary
• Low-Energy Effective Field Theory below the Electroweak Scale: Anomalous Dimensions
• Updated Global SMEFT Fit to Higgs, Diboson and Electroweak Data
• New physics searches in nuclear and neutron $\beta$ decay
• DsixTools: The Standard Model Effective Field Theory Toolkit
• Compilation of low-energy constraints on 4-fermion operators in the SMEFT
• CoDEx: Wilson coefficient calculator connecting SMEFT to UV theory
• The Standard Model effective field theory at work
• $\text{HEPfit}$: a Code for the Combination of Indirect and Direct Constraints on High Energy Physics Models
• A Proof of Concept for Matchete: An Automated Tool for Matching Effective Theories
• Current and future constraints on Higgs couplings in the nonlinear Effective Theory
• Matching scalar leptoquarks to the SMEFT at one loop
• On the future of Higgs, electroweak and diboson measurements at lepton colliders
• Covariant diagrams for one-loop matching
• Complete One-Loop Matching for a Singlet Scalar in the Standard Model EFT
• Convex Geometry Perspective to the (Standard Model) Effective Field Theory Space
• 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
• Complete One-Loop Renormalization of the Higgs-Electroweak Chiral Lagrangian
• Field redefinitions in effective theories at higher orders
• Loops and trees in generic EFTs
• Renormalization group evolution of Higgs effective field theory
• Completing the scalar and fermionic Universal One-Loop Effective Action
• The Fermionic Universal One-Loop Effective Action
• One-loop matching in the SMEFT extended with a sterile neutrino
• Vector Leptoquarks Beyond Tree Level III: Vector-like Fermions and Flavor-Changing Transitions
• STrEAMlining EFT Matching
• Functional Prescription for EFT Matching
• SuperTracer: A Calculator of Functional Supertraces for One-Loop EFT Matching
• Evanescent Operators in One-Loop Matching Computations
• 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
• One-loop running of dimension-six Higgs-neutrino operators and implications of a large neutrino dipole moment
• A Step Toward Model Comparison: Connecting Electroweak-Scale Observables to BSM through EFT and Bayesian Statistics
• SMEFTs living on the edge: determining the UV theories from positivity and extremality
• Cosmological phase transitions: is effective field theory just a toy?
• Adding Flavor to the SMEFT
• Characters and Group Invariant Polynomials of (Super)fields: Road to "Lagrangian"
• Effective field theory approach to trans-TeV supersymmetry: covariant matching, Yukawa unification and Higgs couplings
• Hilbert Series and Plethystics: Paving the path towards 2HDM- and MLRSM-EFT
• One-loop Matching of the Type-II Seesaw Model onto the Standard Model Effective Field Theory
• Functional Matching and Renormalization Group Equations at Two-Loop Order
• Universal Scalar Leptoquark Action for Matching
• Matching Matters!
• Effective Operator Bases for Beyond Standard Model Scenarios: An EFT compendium for discoveries
• Radiative Decays of Charged Leptons in the Seesaw Effective Field Theory with One-loop Matching
• Singlet night in Feynman-ville: one-loop matching of a real scalar
• CP violation in 2HDM and EFT: the ZZZ vertex
• Functional Methods for Heavy Quark Effective Theory
• Computing Tools for Effective Field Theories
• Axion Effective Action
• Matching renormalisable couplings: simple schemes and a plot
• EFT matching from analyticity and unitarity
• Higgs boson couplings: measurements and theoretical interpretation
• Constraints on leptoquarks from lepton-flavour-violating tau-lepton processes
• Integrating out beyond tree level and relativistic superfluids
• Anomalies from an effective field theory perspective
• Two-loop matching of renormalizable operators: general considerations and applications
• To Profile or To Marginalize -- A SMEFT Case Study
• New Covariant Feynman Rules for Effective Field Theories
• Standard Model Effective Field Theory: Integrating out Neutralinos and Charginos in the MSSM
• One-loop Matching of Scotogenic Model onto Standard Model Effective Field Theory up to Dimension 7
• Electroweak phase transition triggered by fermion sector
• Anomalies From the Covariant Derivative Expansion
• Complete One-loop Structure of the Type-(I+II) Seesaw Effective Field Theory
• XEFT, the challenging path up the hill: dim = 6 and dim = 8
• Froggatt-Nielsen Meets the SMEFT
• Exceptional solutions to the eight-vertex model and integrability of anisotropic extensions of massive fermionic models
• All one-loop scalar vertices in the effective potential approach
• Two-loop dimension Six Effective Action: Integrating Out Heavy Scalar
• Symmetry Restoration in the SMEFT: Finite Counterterms for a Non-Anticommuting ${\gamma }_5$
• One Formula To Match Them All: The Bispinor Universal One-Loop Effective Action
• Effective description of Nelson-Barr models and the theta parameter
• From Models to SMEFT and Back?
• Use and reuse of SMEFT