SuperTracer: A Calculator of Functional Supertraces for One-Loop EFT Matching

Abstract

We present SuperTracer, a Mathematica package aimed at facilitating the functional matching procedure for generic UV models. This package automates the most tedious parts of one-loop functional matching computations. Namely, the determination and evaluation of all relevant supertraces, including loop integration and Dirac algebra manipulations. The current version of SuperTracer also contains a limited set of output simplifications. However, a further reduction of the output to a minimal basis using Fierz identities, integration by parts, simplification of Dirac structures, and/or light field redefinitions might still be necessary. The code and example notebooks are publicly available at https://gitlab.com/supertracer/supertracer.

arXiv comment38 pages, 1 figure. The code and example notebooks are publicly available at https://gitlab.com/supertracer/supertracer

References in corpus (41)

• Dimension-Six Terms in the Standard Model Lagrangian
• 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
• 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
• The SMEFTsim package, theory and tools
• Wilson: a Python package for the running and matching of Wilson coefficients above and below the electroweak scale
• 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
• Facts of life with gamma(5)
• A Global Likelihood for Precision Constraints and Flavour Anomalies
• 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
• Matching scalar leptoquarks to the SMEFT at one loop
• Renormalization constants and beta functions for the gauge couplings of the Standard Model to three-loop order
• Covariant diagrams for one-loop matching
• Extending the Universal One-Loop Effective Action: Heavy-Light Coefficients
• Mixed Heavy-Light Matching in the Universal One-Loop Effective Action
• MatchingTools: a Python library for symbolic effective field theory calculations
• DsixTools 2.0: The Effective Field Theory Toolkit
• BasisGen: automatic generation of operator bases
• One-loop effective lagrangians after matching
• Completing the scalar and fermionic Universal One-Loop Effective Action
• The Fermionic Universal One-Loop Effective Action
• DEFT: A program for operators in EFT
• Functional Prescription for EFT Matching
• Integrating out the Standard Higgs Field in the Path Integral
• SmeftFR -- Feynman rules generator for the Standard Model Effective Field Theory
• Integrating Out New Fermions at One Loop
• Deriving Non-decoupling Effects of Heavy Fields from the Path Integral: a Heavy Higgs Field in an SU(2) Gauge Theory
• Extending the Universal One-Loop Effective Action by Regularization Scheme Translating Operators
• Functional Methods for Heavy Quark Effective Theory
• MARTY -- Modern ARtificial Theoretical phYsicist: A C++ framework automating symbolic calculations Beyond the Standard Model

Cited by in corpus (23)

• The Standard Model effective field theory at work
• A Proof of Concept for Matchete: An Automated Tool for Matching Effective Theories
• Parton distributions in the SMEFT from high-energy Drell-Yan tails
• Evanescent Operators in One-Loop Matching Computations
• Complete One-loop Matching of the Type-I Seesaw Model onto the Standard Model Effective Field Theory
• Adding Flavor to the SMEFT
• 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
• Computing Tools for Effective Field Theories
• EFT matching from analyticity and unitarity
• EFT Diagrammatica II: Tracing the UV origin of bosonic D6 CPV and D8 SMEFT operators
• Anomalies from an effective field theory perspective
• New Covariant Feynman Rules for Effective Field Theories
• Relevance of one-loop SMEFT matching in the 2HDM
• The Universal One-Loop Effective Action with Gravity
• One-loop Matching of Scotogenic Model onto Standard Model Effective Field Theory up to Dimension 7
• Complete One-loop Structure of the Type-(I+II) Seesaw Effective Field Theory
• Anomalies From the Covariant Derivative Expansion
• Froggatt-Nielsen Meets the SMEFT
• From Models to SMEFT and Back?
• Two-loop dimension Six Effective Action: Integrating Out Heavy Scalar
• A Green's basis for the bosonic SMEFT to dimension 8