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) × SU(2) × 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 possible. 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/.
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
M.B. Einhorn and J. Wudka, The bases of effective field theories, Nucl. Phys.B 876 (2013) 556 [arXiv:1307.0478] [INSPIRE].
A. Falkowski, B. Fuks, K. Mawatari, K. Mimasu, F. Riva and V. Sanz, Rosetta: an operator basis translator for Standard Model effective field theory, Eur. Phys. J.C 75 (2015) 583 [arXiv:1508.05895] [INSPIRE].
A. Falkowski, Higgs basis: proposal for an EFT basis choice for LHC HXSWG, LHCHXSWG-INT-2015-001, CERN, Geneva, Switzerland (2015).
L. Lehman and A. Martin, Hilbert series for constructing Lagrangians: expanding the phenomenologist’s toolbox, Phys. Rev.D 91 (2015) 105014 [arXiv:1503.07537] [INSPIRE].