DEFT: a program for operators in EFT (original) (raw)

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) × 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/.

Article PDF

Similar content being viewed by others

References

  1. M.B. Einhorn and J. Wudka, The bases of effective field theories, Nucl. Phys. B 876 (2013) 556 [arXiv:1307.0478] [INSPIRE].
  2. B. Gripaios and D. Sutherland, An operator basis for the Standard Model with an added scalar singlet, JHEP 08 (2016) 103 [arXiv:1604.07365] [INSPIRE].
    Article ADS Google Scholar
  3. W. Buchmüller and D. Wyler, Effective Lagrangian analysis of new interactions and flavor conservation, Nucl. Phys. B 268 (1986) 621 [INSPIRE].
  4. B. Grzadkowski, M. Iskrzynski, M. Misiak and J. Rosiek, Dimension-six terms in the Standard Model Lagrangian, JHEP 10 (2010) 085 [arXiv:1008.4884] [INSPIRE].
    Article ADS MATH Google Scholar
  5. 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].
  6. A. Falkowski, Higgs basis: proposal for an EFT basis choice for LHC HXSWG, LHCHXSWG-INT-2015-001, CERN, Geneva, Switzerland (2015).
  7. 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].
  8. B. Henning, X. Lu, T. Melia and H. Murayama, Hilbert series and operator bases with derivatives in effective field theories, Commun. Math. Phys. 347 (2016) 363 [arXiv:1507.07240] [INSPIRE].
    Article ADS MathSciNet MATH Google Scholar
  9. L. Lehman and A. Martin, Low-derivative operators of the Standard Model effective field theory via Hilbert series methods, JHEP 02 (2016) 081 [arXiv:1510.00372] [INSPIRE].
    Article ADS MathSciNet MATH Google Scholar
  10. B. Henning, X. Lu, T. Melia and H. Murayama, 2_,_ 84_,_ 30_,_ 993_,_ 560_,_ 15456_,_ 11962_,_ 261485_,. . . : higher dimension operators in the SM EFT_, JHEP 08 (2017) 016 [arXiv:1512.03433] [INSPIRE].
  11. B. Henning, X. Lu, T. Melia and H. Murayama, Operator bases, S-matrices and their partition functions, JHEP 10 (2017) 199 [arXiv:1706.08520] [INSPIRE].
    Article ADS MathSciNet Google Scholar
  12. J.C. Criado, MatchingTools: a Python library for symbolic effective field theory calculations, Comput. Phys. Commun. 227 (2018) 42 [arXiv:1710.06445] [INSPIRE].
  13. C. Arzt, Reduced effective Lagrangians, Phys. Lett. B 342 (1995) 189 [hep-ph/9304230] [INSPIRE].
  14. A. Meurer et al., SymPy: symbolic computing in Python, PeerJ Comput. Sci. 3 (2017) e103.
  15. H.K. Dreiner, H.E. Haber and S.P. Martin, Two-component spinor techniques and Feynman rules for quantum field theory and supersymmetry, Phys. Rept. 494 (2010) 1 [arXiv:0812.1594] [INSPIRE].
    Article ADS MathSciNet Google Scholar
  16. C. Cheung and C.-H. Shen, Nonrenormalization theorems without supersymmetry, Phys. Rev. Lett. 115 (2015) 071601 [arXiv:1505.01844] [INSPIRE].

Download references

Open Access

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.

Author information

Authors and Affiliations

  1. University of Cambridge, Cavendish Laboratory, J.J. Thomson Ave, Cambridge, CB3 0HE, U.K.
    Ben Gripaios
  2. University of California Santa Barbara, UCSB Broida Hall, Santa Barbara, CA, 93106-9530, U.S.A.
    Dave Sutherland

Authors

  1. Ben Gripaios
  2. Dave Sutherland

Corresponding author

Correspondence toDave Sutherland.

Additional information

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.

The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Cite this article

Gripaios, B., Sutherland, D. DEFT: a program for operators in EFT.J. High Energ. Phys. 2019, 128 (2019). https://doi.org/10.1007/JHEP01(2019)128

Download citation

Keywords