v0.4.2

Matchete is a Wolfram Mathematica^© package aimed at facilitating the functional matching procedure for generic weakly coupled UV models with a mass power counting. It is the first package fully automating functional one-loop matching computations for models containing heavy scalars and fermions. It is built upon (and superseeds) the SuperTracer package for the evaluation of funtional supertraces.

---

Overview

This website provides information on:

Summary of the Matchete core functionality:

• Fully automatic tree-level and one-loop matching of weakly coupled UV theories containing heavy scalars and fermions.
• Automatic reducion of redundant operators, including an automatic handeling of evanescent operators and an automatic mapping between different EFT bases.
• Many more feature in development.

---

Workflow

A schematic visualization of the different steps involved in the Matchete workflow can be found below:

The individual steps can be summarized as follows:

1. Model definition:
   Matchete provides a simple and user-friendly interface for entering the Lagrangian of a generic UV theory. First of all, the user has to specify all the (gauge) symmetry groups and representations of the model, then all fields and couplings can be defined. Afterwards, the Lagrangian can be written very close to a pen-and-paper form.

2. Matching:
   Afterwards, the Match routine can be applied to the UV Lagrangian to obtain the corresponding Effective Field Theory, where all heavy degrees of freedom have been integrated out, either at tree level, or at one loop.

3. Redundant operator reduction:
   The resulting EFT Lagrangian contains a (very) large number of redundant operators. These can be removed automatically by applying the routines GreensSimplify, which reduces the output to an off-shell Green’s basis, and EOMSimplify, which performs field redefinitions. The fully simplified result will then be in a physical four-dimensional basis of the corresponding EFT operator space.

4. Mapping onto specific bases:
   Alternatively, the routine MapEffectiveCouplings can be used to map the EFT Lagragian obtained from the matching onto a user specified basis of the EFT, such as the Warsaw basis for the SMEFT.

More information can be found in the Quickstart manual or in our Guide and Tutorials.

---

Authors

• Javier Fuentes-Martín - Universidad de Granada
• Matthias König - University of Mainz
• Julie Pagès - SLAC National Accelerator Laboratory
• Anders Eller Thomsen - University of Bern
• Felix Wilsch - RWTH Aachen University

Contributors

• Lukas Born - University of Bern
• Adrián Moreno-Sánchez - Universidad de Granada

---

Bugs and feature requests

Please submit bugs and feature requests using GitLab’s issue system.

---

License

Matchete is free software under the terms of the GNU General Public License v3.0.

This website is based on the Just the Docs theme and build with Jekyll. Both this website and the Just the Docs theme are licensed under the MIT License.