Matchmakereft: Automated tree-level and one-loop matching Carmona Bermúdez, Adrián Lazopoulos, Achilleas Olgoso Ruiz, Pablo Santiago Pérez, José Acknowledgments This has been a long project that has benefited from discussions with many people. We would like to thank F. del Águila, J. de Blas, C. Bobeth, M. Ciuchini, A. Freytas, J. Fuentes-Martín, G. Guedes, M. Gorbahn, U. Haisch, Z. Kunstz, M. Neubert, U. Nierste, M. Pérez-Victoria, A. Pich, E. Salvioni, A. Signer and M. Trott for useful discussions. We are especially grateful to C. Anastasiou for collaboration in the initial stages of the project, to M. Chala, for continuos discussions, suggestions and requests that allowed us to “milk matchmakereft for all its worth”, to T. Hahn, for patiently explaining many FORM tricks, and to G.P. Passarino, for daring us to “finish matchmakereft already!”. We would like to thank Nicolasa Navarrete for the design of the logo and her creative support. We would also like to thank the referees for their very detailed reports and Alejo Rossia for pointing some typos to us. This work has been partially supported by the Ministry of Science and Innovation and SRA (10.13039/501100011033) under grant PID2019-106087GB-C22, by the Junta de Andalucía grants FQM 101, A-FQM-211-UGR18 and P18-FR-4314 (FEDER). AC acknowledges funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 754446 and UGR Research and Knowledge Transfer Found - Athenea3i. PO is funded by an FPU grant from the Spanish government. Work in Mainz University by AC was supported by the Cluster of Excellence Precision Physics, Fundamental Interactions, and Structure of Matter (PRISMA+ EXC 2118/1) funded by the German Research Foundation(DFG) within the German Excellence Strategy (Project ID 39083149), and by grant 05H18UMCA1 of the German Federal Ministry for Education and Research (BMBF). 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. 2022-07-26T08:21:08Z 2022-07-26T08:21:08Z 2022-06-23 journal article 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] http://hdl.handle.net/10481/76347 10.21468/SciPostPhys.12.6.198 eng info:eu-repo/grantAgreement/EC/H2020/Marie Skłodowska-Curie Actions 754446 http://creativecommons.org/licenses/by/4.0/ open access Atribución 4.0 Internacional SciPost Foundation