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

TL;DR

SuperTracer is a Mathematica package that automates the complex calculations involved in one-loop functional matching for effective field theories, simplifying supertrace evaluations and loop integrations.

Contribution

It introduces a tool that automates tedious parts of one-loop functional matching, including supertrace determination and evaluation, with some output simplification features.

Findings

Automates supertrace calculations for UV models.

Includes loop integration and Dirac algebra manipulations.

Provides publicly available code and examples.

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.