Matchmakereft: Automated tree-level and one-loop matching
Metadatos
Mostrar el registro completo del ítemEditorial
SciPost Foundation
Fecha
2022-06-23Referencia bibliográfica
Carmona, A., Lazopoulos, A., Olgoso, P., & Santiago, J. Matchmakereft: Automated tree-level and one-loop matching. SciPost Phys. 12, 198 (2022) [doi: 10.21468/SciPostPhys.12.6.198]
Patrocinador
Mainz University EXC 2118/1; Spanish government; Horizon 2020 Framework Programme; H2020 Marie Skłodowska-Curie Actions 754446; Society for Research on Adolescence PID2019-106087GB-C22; Deutsche Forschungsgemeinschaft 05H18UMCA1, 39083149; Bundesministerium für Bildung und Forschung; FEDER; Ministerio de Ciencia e Innovación; Junta de Andalucía A-FQM-211-UGR18, FQM 101, P18-FR-4314Resumen
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.