STrEAMlining EFT Matching

Abstract

This paper presents STrEAM (SuperTrace Evaluation Automated for Matching), a Mathematica package that calculates all functional supertraces which arise when matching a generic UV model onto a relativistic Effective Field Theory (EFT) at one loop and to arbitrary order in the heavy mass expansion. STrEAM implements the covariant derivative expansion to automate the most tedious step of the streamlined functional matching prescription presented in Ref. [1]. The code and an example notebook are available at this link.

Complete one-loop matching of the type-I seesaw model onto the Standard Model effective field theory

“…approach is more suitable for computer programming. Recently, two such Mathematica packages, i.e., STrEAM [47] and SuperTracer [48], have been made available publicly. Both of them follow the prescription proposed in ref.…”

“…[36]. However, there is an alternative way that is more suitable to be implemented in a computer program [47,48]. Considering that ln det ∆ φ contains pure light loops and then its hard part is scaleless (i.e., vanishing after integration), then by virtue of eqs.…”

“…However, the one-loop matching is in general more complicated and more technical than the tree-level matching. So far there have been only a few examples of complete or partial one-loop matching for the simple extensions of the SM, such as the SM extended with a charged scalar singlet [27], a real scalar singlet [28][29][30][31][32][33], a real scalar triplet [34][35][36], a vector-like quark singlet [37], a light sterile neutrino and heavy fermions and a scalar singlet [38], two scalar leptoquarks [39], and singlet right-handed neutrinos [40] by either diagrammatic calculations or the functional approach [29,[32][33][34][35][36][41][42][43][44][45][46][47][48] (see, e.g., refs. [49][50][51], for earlier works).…”

Universal scalar leptoquark action for matching

“…The logic of these diagrams was taken a step forward with the development of supertrace functional-technique [23] which establishes a cleaner way to make up diagrammatic traces. Soon after that, an automated application of the CDE followed [24,25] easing further matching calculations. Although aiming at a different direction, similar effective actions based on supertrace and Grassmannian techniques were derived in ref.…”

Parton distributions in the SMEFT from high-energy Drell-Yan tails

“…A powerful framework to identify, parametrise, and correlate in a model-independent manner the possible deviations from the SM predictions that arise in such indirect searches is provided by the effective field theory (EFT) framework, such as the Standard Model EFT (SMEFT) (e.g. [1][2][3][4][5][6][7][8][9][10][11][12][13][14]) or the Higgs EFT (HEFT) (e.g. [15][16][17][18][19][20][21][22]).…”