DEFT: A program for operators in EFT

Abstract

We describe a Python-based computer program, DEFT, for manipulating operators in effective field theories (EFTs). In its current incarnation, DEFT can be applied to 4-dimensional, Poincaré invariant theories with gauge group $SU(3)\times SU(2)\times U(1)$, such as the Standard Model (SM), but a variety of extensions (e.g. to lower dimensions or to an arbitrary product of unitary gauge groups) are conceptually straightforward. Amongst other features, the program is able to: (i) check whether an input list of Lagrangian operators (of a given dimension in the EFT expansion) is a basis for the space of operators contributing to S-matrix elements, once redundancies (such as Fierz-Pauli identities, integration by parts, and equations of motion) are taken into account; (ii) generate such a basis (where possible) from an input algorithm; (iii) carry out a change of basis. We describe applications to the SM (where we carry out a number of non-trivial cross-checks) and extensions thereof, and outline how the program may be of use in precision tests of the SM and in the ongoing search for new physics at the LHC and elsewhere. The code and instructions can be downloaded from http://web.physics.ucsb.edu/~dwsuth/DEFT/.

21 pages, 5 figures

References in corpus (12)

• Dimension-Six Terms in the Standard Model Lagrangian
• Two-component spinor techniques and Feynman rules for quantum field theory and supersymmetry
• Reduced Effective Lagrangians
• Operator bases, $S$-matrices, and their partition functions
• Low-derivative operators of the Standard Model effective field theory via Hilbert series methods
• Hilbert Series for Constructing Lagrangians: expanding the phenomenologist's toolbox
• Hilbert series and operator bases with derivatives in effective field theories
• The Bases of Effective Field Theories
• Non-renormalization Theorems without Supersymmetry
• MatchingTools: a Python library for symbolic effective field theory calculations
• Rosetta: an operator basis translator for Standard Model effective field theory
• An operator basis for the Standard Model with an added scalar singlet

Cited by in corpus (40)

• Dimension-8 Operators in the Standard Model Effective Field Theory
• Top, Higgs, Diboson and Electroweak Fit to the Standard Model Effective Field Theory
• Complete Set of Dimension-8 Operators in the Standard Model Effective Field Theory
• CoDEx: Wilson coefficient calculator connecting SMEFT to UV theory
• SMEFTsim 3.0 -- a practical guide
• A Proof of Concept for Matchete: An Automated Tool for Matching Effective Theories
• On the impact of dimension-eight SMEFT operators on Higgs measurements
• DsixTools 2.0: The Effective Field Theory Toolkit
• Effective Field Theory Amplitudes the On-Shell Way: Scalar and Vector Couplings to Gluons
• Complete Set of Dimension-9 Operators in the Standard Model Effective Field Theory
• BasisGen: automatic generation of operator bases
• The electroweak effective field theory from on-shell amplitudes
• An explicit construction of the dimension-9 operator basis in the standard model effective field theory
• Field redefinitions in effective theories at higher orders
• Loops and trees in generic EFTs
• Enumerating the operators of an effective field theory
• Constructing effective field theories via their harmonics
• Enumerating higher-dimensional operators with on-shell amplitudes
• 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
• The order $p^8$ mesonic chiral Lagrangian
• Exploding operators for Majorana neutrino masses and beyond
• Hilbert Series and Plethystics: Paving the path towards 2HDM- and MLRSM-EFT
• Mapping the SMEFT to discoverable models
• Effective Operator Bases for Beyond Standard Model Scenarios: An EFT compendium for discoveries
• Computing Tools for Effective Field Theories
• An Effective Cosmological Collider
• FeynOnium: Using FeynCalc for automatic calculations in Nonrelativistic Effective Field Theories
• AutoEFT: Automated Operator Construction for Effective Field Theories
• Clustering of $\bar{B}\to D^{(\ast )}{\tau }^{-}{\bar{\nu }}_{\tau }$ kinematic distributions with ClusterKinG
• Discrete symmetries and Efficient Counting of Operators
• XEFT, the challenging path up the hill: dim = 6 and dim = 8
• LEX-EFT: The Light Exotics Effective Field Theory
• The Hierarchy Problem: From the Fundamentals to the Frontiers
• Two-loop dimension Six Effective Action: Integrating Out Heavy Scalar
• Energy-Energy Correlator from the AdS Virasoro-Shapiro Amplitude
• One Formula To Match Them All: The Bispinor Universal One-Loop Effective Action
• Extending low energy effective field theory with a complete set of dimension-7 operators