Contributor info: Mr Pablo Olgoso

Guilherme Guedes, Pablo Olgoso, José Santiago

SciPost Phys. 15, 143 (2023) · published 6 October 2023 | Toggle abstract · pdf

Effective field theories offer a rationale to classify new physics models based on the size of their contribution to the effective Lagrangian, and therefore to experimental observables. A complete classification can be obtained, at a fixed order in perturbation theory, in the form of IR/UV dictionaries. We report on the first step towards the calculation of the one loop, dimension 6 IR/UV dictionary in the SMEFT. We consider dimension-six operators in the SMEFT that cannot be generated at tree level in weakly coupled extensions of the Standard Model. This includes operators with three gauge field strength tensors, operators with two field strength tensors and two scalar fields and dipole operators. We provide a complete classification of renormalizable extensions of the Standard Model with new scalar and fermion fields that contribute to these operators at one loop order, together with their explicit contribution. Our results are encoded in a Mathematica package called SOLD (SMEFT One Loop Dictionary), which includes further functionalities to facilitate the calculation of the complete tree level and one loop matching of any relevant model via an automated interface to matchmakereft. All operators in our list are indeed generated at the one loop order in the extensions considered with the exception of CP-violating ones with three field-strength tensors.

Adrián Carmona, Achilleas Lazopoulos, Pablo Olgoso, José Santiago

SciPost Phys. 12, 198 (2022) · published 23 June 2022 | Toggle abstract · pdf

We introduce matchmakereft, a fully automated tool to compute the tree-level and one-loop matching of arbitrary models onto arbitrary effective theories. Matchmakereft performs an off-shell matching, using diagrammatic methods and the background field method when gauge theories are involved. The large redundancy inherent to the off-shell matching together with explicit gauge invariance offers a significant number of non-trivial checks of the results provided. These results are given in the physical basis but several intermediate results, including the matching in the Green basis before and after canonical normalization, are given for flexibility and the possibility of further cross-checks. As a non-trivial example we provide the complete matching in the Warsaw basis up to one loop of an extension of the Standard Model with a charge -1 vector-like lepton singlet. Matchmakereft has been built with generality, flexibility and efficiency in mind. These ingredients allow matchmakereft to have many applications beyond the matching between models and effective theories. Some of these applications include the one-loop renormalization of arbitrary theories (including the calculation of the one-loop renormalization group equations for arbitrary theories); the translation between different Green bases for a fixed effective theory or the check of (off-shell) linear independence of the operators in an effective theory. All these applications are performed in a fully automated way by matchmakereft.