Abstract
Studying the impact of newphysics models on lowenergy observables necessitates matching to effective field theories at the relevant mass thresholds. We introduce the first public version of Matchete, a computer tool for matching weaklycoupled models at oneloop order. It uses functional methods to directly compute all matching contributions in a manifestly gaugecovariant manner, while simplification methods eliminate redundant operators from the output. We sketch the workings of the program and provide examples of how to match simple Standard Model extensions. The package, documentation, and example notebooks are publicly available at https://gitlab.com/matchete/matchete.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The advent of the LHC heralded a new era for beyondtheStandardModel (BSM) physics. With the discovery of the Higgs boson and no direct signs of new resonances, we see indications of a mass gap up to the scale of yettobediscovered new physics (NP). The focus of the community is shifting to precision flavor and electroweak physics in order to search for indirect signs of new particles and potentially probe scales far beyond the reach of resonance searches. The result has been a renaissance of Effective Field Theories (EFTs) applied to BSM physics often using the Standard Model Effective Theory (SMEFT), whose basis was first determined after the LHC went into service [1]. The use of EFTs goes all the way back to Fermi’s theory and has long since reached maturity within the Standard Model (SM), facilitating SM predictions for many precision observables. Now, new methods are rapidly being developed for BSM physics with an aspiration of reaching a similar level of maturity. The new challenge to achieving this goal is the need for a nearcomplete level of generality, as the nature of NP has yet to be revealed.
To determine the lowenergy effects of highscale NP, one typically has to perform sequential matching to consecutive EFTs at the relevant mass thresholds and renormalization group (RG) running between these scales. In the absence of any light new particles, the running and matching machinery is already available to handle computations below the NP mass threshold: the oneloop RG equations in the SMEFT [2,3,4,5], the matching to the LowEnergy Effective Theory (LEFT) at the weak scale [6,7,8], and the LEFT RG equations [9] have been determined and even implemented in computational tools [10,11,12]. Many tools are also available for phenomenological analyses of theories within the SMEFT and LEFT frameworks [13,14,15,16,17,18,19,20,21,22,23,24].
The sticking point for a long time has been performing the matching computation of BSM models to their EFTs. Although it is tempting to think of the target EFT as the SMEFT, we should bear in mind that realistic BSM constructions can contain a rich NP sector spanning large ranges of energy scales, calling for intermediatescale EFTs. Alternatively, the presence of additional light fields, for example axionlike or darkmatter particles, demands extensions of the SMEFT (see, e.g., [25,26,27,28,29]). The unclear nature of both the UV model and the target EFT makes matching a formidable task. Functional methods promise a direct approach to the problem [30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49]. They entirely circumvent the matching of individual amplitudes and produce the EFT Lagrangian directly, albeit unsimplified, without requiring any prior knowledge about its structure or symmetries. The method has produced general results in the form of the Universal OneLoop Effective Action [50,51,52,53,54], several tools to assist part of the matching computations [55,56,57,58], and has been used for a number of simple BSM models [59,60,61,62,63,64]. Nevertheless, the package we present here represents the first truly automated, endtoend oneloop matching tool based on functional methods, making it competitive with the diagrammatic matchmakereft [65] but with the advantages of the functional approach. Thanks to these new tools, fast and competent matching requiring little more than the press of a button is finally becoming feasible. Not only that, matching tools can easily be repurposed to compute RG equations for other EFTs, as both types of computations require the evaluation of loop integrals in the hard region.
Here we introduce a first public, proofofconcept version (v0.1.0) of the Mathematica package Matchete– Matching Effective Theories Efficiently – to solve the problem of matching weaklycoupled UV models to their EFTs at the relevant mass thresholds. It uses functional methods [44,45,46], which facilitates direct matching without the need for specifying a target basis for the EFT. This feature is especially useful in theories that match into EFTs other than the SMEFT or when extending EFT matching beyond dimensionsix operators. The automated application of these methods was previously demonstrated by the authors in the SuperTracer package [57], which Matchete supersedes. Furthermore, we make significant headway with the challenging task of automatically simplifying the EFT Lagrangian to an onshell basis. The design of the package includes a simple and userfriendly interface that considerably simplifies the user input while still allowing for very generic implementations. In essence, the user can write down the Lagrangian in a Mathematica notebook, in manner that is very close to a penandpaper form, and leave the rest to the package. While there are still many features and capabilities that we would like to implement over the next years, this proofofconcept release already represents a major leap in the development of (functional) matching tools and can greatly assist many matching computations, including those in multiple BSM scenarios. The limitations in this release are reflected in the discussion of the future prospects of the package in Sect. 4.
This paper is meant as a short introduction to give a flavor of the first public version of Matchete. The paper contains a brief description of the underlying package structure and gives some handson examples of how to use it. It is not a comprehensive guide to the use of the program. For more detailed instructions, the user is encouraged to consult the documentation notebook included with the distribution. Section 2 presents the organization and use of the package in broad scopes, touching on the specific methods used in the computation. This is followed with some concrete usage example in Sect. 3, including simple extensions of the SM, to give the reader a feel for the practical applications. We conclude the paper in Sect. 4 with a short discussion of the direction of future package developments.
2 Organization of the package
Matchete is organized around Lagrangians and operators, which are the objects the user will interact with in the workflow illustrated in Fig. 1. With standard functional methods, a UV Lagrangian is matched to an EFT Lagrangian at tree and oneloop level. However, by nature of the functional approach, the EFT Lagrangian is not simplified and contains many redundant operators that need to be reduced to a basis. A core part of Matchete consists of powerful methods for simplifying the matching result to a (near)basis to bridge the gap to a useful EFT Lagrangian. Various functions are also available for manipulating the output in various ways and identifying individual contributions. The simplification methods do not handle evanescent contributions yet, so the output is in a ddimensional basis, which is redundant in a physical renormalization scheme [66].
2.1 Model setup and internal representations
Much of the user experience invariably concerns the input of models into the program. First, one must specify what (gauge) groups and representations are available for objects to transform under before one can specify what manner of fields and couplings are involved. Only then can a Lagrangian be written down. To achieve this, Matchete contains specific methods for Lorentz contractions and Dirac algebra.
2.1.1 Symmetry groups
All manner of group invariants show up in quantumfieldtheory computations. These can be as simple as Kronecker deltas or generators of a representation, or they can be much more complicated once more exotic representations are involved. We will refer to all such invariant tensors as Clebsch–Gordan (CG) coefficients in line with the wellknown \( \textrm{SU}(2) \) case. We are unaware of analytic rules for evaluating generic contractions of CG coefficients that apply to all cases, so a more constructive approach is used in Matchete.
Matchete contains a module for handling all things related to group and representation theory, to allow for generic gauge and/or symmetry groups. Upon specifying a simple Lie group, the module can determine the weights, dimensions, and other information regarding the representations with standard methods.^{Footnote 1} To determine CG coefficients, which describe how to combine weights from multiple representations in an invariant manner, we implemented the algorithm of Refs. [68, 69], which casts the problem in terms of linear algebra. With this method, the program can explicitly construct the CG tensors.
When the user specifies a simple (gauge) group to be included in a model, Matchete automatically generates several common representations and CG coefficients and more can be initialized by the user with buildin routines. The CGs are referred to symbolically for all input and output purposes. However, when contracting CG objects, the symbols are replaced internally with numerical tensors, contracted, and, finally, projected to a basis of CG coefficients. This procedure allows for efficient evaluation of CG products, with a minimum of inconvenience to the user.
2.1.2 Fields and couplings
All objects in a Lagrangian have properties associated with them that are necessary for determining what algebraic manipulations are possible. The field and coupling objects appearing in Matchete Lagrangians carry most of this information with them as they are passed along to various routines. Although concise, the amount of information contained in a Lagrangian, or even an operator, is considerable, which can be useful for careful manipulations of the output should the user so desire. In most common cases, the user will want to exploit the convenience of the notebook format to view the output in a more legible form, and buildin routines allow the user to print Matchete objects in the format of a regular textbook.
Despite all the information contained in field objects, users can simply refer to them with their label (name) and the indices they might have. All that is required for the user is to define the properties of a field: spin, mass, flavor and gauge representations, and whether if it selfconjugate (real for scalars, Majorana for fermions). Gauge fields are even easier to implement, as they are automatically defined with their gauge group. Couplings, similarly, need to be defined beforehand to specify their flavor indices and mass dimensions.
2.2 Matching step
The input UV Lagrangian is matched to an EFT under the assumption that all heavy masses are of the same order \( M_a \sim \Lambda \) (otherwise, the matching will have to be performed sequentially accounting for RG running), which sets the heavy scale of the problem. This allows for arranging the EFT as a double expansion in the heavy scale and the loop order:
Matchete features routines for computing \( \mathcal {L}_{\scriptscriptstyle \textrm{EFT}}^{(0, n)} \) and \( \mathcal {L}_{\scriptscriptstyle \textrm{EFT}}^{(1, n)} \). There is no fundamental obstacle preventing the evaluation of higherdimensional terms with the current implementation, although limits of computing power make pushing beyond dimensionsix for oneloop terms time intensive. In practice, the mass expansion is performed in terms of the light dimensions, counting the canonical dimension of light fields, covariant derivatives, and light masses/dimensional couplings.
2.2.1 Tree level
Matching at tree level comes down to solving the equations of motion (EOMs) of the heavy fields as it is commonly done by hand. This approach has also been applied to automated treelevel matching in MatchingTools [55]. Schematically, with heavy fields \( \Phi _a \) and light fields \( \phi \), the UV action is , where is the appropriate kinetic operator for the heavy fields and \(S_\textrm{int}\) is the interacting part of the action (including both heavy and light fields). The solution to the heavyfield EOMs in the presence of light fields reads
Matchete is equipped with routines to take functional derivatives of the action after which this equation can be solved iteratively order by order in the mass expansion. With the solution in hand, the treelevel EFT is given by
An efficient truncation of higherorder terms ensures excellent performance of this method.
2.2.2 Oneloop level
Oneloop contributions to the EFT encode the highenergy components of oneloop effects in the UV theory. In the functional formalism, there is but a single functional topology at oneloop order, which is captured by a supertrace – a generalization of the functional trace that accounts for the presence of mixed bosonic and fermionic objects. The key object to consider is the fluctuation operator
where again denotes the kinetic operator and \( X_{ij} \) are interaction terms. The master formula for the oneloop matching in terms of these objects is
Here, hard indicates that loop integrands are expanded around loop momenta \( q\sim \Lambda \), following the method of expansion by regions [70, 71]. This form allows for a straightforward counting of light mass dimensions, and the resulting series can be truncated at the relevant order in the mass expansion.
For the actual computation of Eq. (2.5), we follow the implementation outlined in Ref. [57] based on the developments of Refs. [44,45,46]. The procedure allows for simultaneous treatment of all particle spins and mixed heavy and light states in the loop. Furthermore, the traces can be evaluated in a manifestly gauge covariant manner using the Covariant Derivative Expansion (CDE) [30,31,32]. Altogether, the method allows for a very algorithmic and efficient approach to evaluating all loop contributions simultaneously. Moreover, it remains possible to pinpoint specific contributions based on the fields propagating in the loops by targeting specific supertraces.
2.3 Simplifications
Properly simplifying the output Lagrangian is a challenge related to the longstanding problem of finding a basis for the higherdimensional operators of an EFT. We distinguish between simplification with exact identities (integrationbyparts and group identities, and commutation relations), taking the Lagrangian to the Green’s basis, and using field redefinitions to produce a simplified Lagrangian with onshell equivalence. The exact simplification relates operators linearly, and can be applied to individual operators as well as the full EFT Lagrangian. On the other hand, field redefinitions work nonlinearly and make sense only when acting on the EFT Lagrangian as a whole.
2.3.1 Green’s basis
To reduce EFT Lagrangians to a Green’s basis, we use methods from linear algebra, as this allows for efficient and robust simplifications. One can think of \( \mathcal {L}_{\scriptscriptstyle \textrm{EFT}}\) as an element in the vector space O equipped with a basis \( \{\mathcal {O}_a \} \) consisting of all operators in the absence of any exact identities. That is, the elements of this basis span the complete set of gauge and Lorentzinvariant monomials of the fields, their covariant derivatives, and CG coefficients (including Dirac matrices). This vector space is redundant once the exact identities, relating the basis operators, are accounted for. Each identity relation can be represented as a vector that is equivalent to 0. Together, the identity vectors span a subspace \( I \subseteq O \), and we can identify the coset O/I with the set of Green’s basis Lagrangians. Simplifying \( \mathcal {L}_{\scriptscriptstyle \textrm{EFT}}\) then comes down to finding a convenient basis for O/I and determining the representative element of the equivalence class \( [\mathcal {L}_{\scriptscriptstyle \textrm{EFT}}] \) defined by the coset.
To arrive at the Green’s basis in Matchete, we employ the following strategy: For all basis elements (operators) we encounter, we generate the complete set of possible identities using integration by parts, Jacobi identities, commutation of covariant derivatives, and gamma matrix identities (such as \( \gamma _\mu \gamma _\nu = g_{\mu \nu }  i \sigma _{\mu \nu } \)). Denoting the vectors in O corresponding to the resulting identities by \( \mathcal {I}_n \), it follows that \( I = \textrm{span} \big (\{ \mathcal {I}_n\} \big ) \). The operator basis of O allows for the decomposition
which in turn defines a matrix M with the coordinate vectors of the identities as its rows. With standard methods, M is brought to reduced row echelon form \( M' \), and we observe that the nonzero rows describe a basis (in coordinate space) for I. Conveniently, the first “1” in each nonzero row of \( M' \) effectively picks out a set of redundant operators \( \{\mathcal {O}_r\}_{r \in R} \), which can be eliminated in the EFT Lagrangian. The rows of \( M' \), thus, describe a set of identities for the equivalence classes:
Using these identities, all \( \{\mathcal {O}_r\}_{r\in R} \) can be eliminated from the representative element of \( [\mathcal {L}_{\scriptscriptstyle \textrm{EFT}}] \), that is, the Green’s basis Lagrangian. By absorption of gauge couplings into gauge fields, all entries in M are numbers, allowing for efficient matrix manipulations of M. The main challenge to implementing the simplification procedure described above is that of identifying identical operators based on their internal representation. To this end, Matchete relies heavily on pattern matching to identify, e.g., different labeling of the dummy indices, permutations of indices on symmetric tensors, and orderings of terms in products. By choosing an ordering of the basis \( \{\mathcal {O}_a \} \), it is possible to dictate a preference as to what operators are considered redundant, that is, in \( \{ \mathcal {O}_r\}_{r \in R} \). While the choice is somewhat arbitrary, we can ensure that the maximal number of operators that can be removed with field redefinitions are kept in the basis. Additional requirements are enforced to ensure that the output Lagrangian is manifestly Hermitian.
The main limitation of our current approach is the need to hardcode all possible identity types in Matchete. However, additional identities can be added in a modular manner. The initial version notably does not include Fierz identities, as the proper handling of these necessitate the evaluation of evanescent contributions [66]. This is something we expect to address in future updates. In any event, the lack of implementation of identities does not result in an invalid result from the simplification method, merely a nonminimal operator basis for \( \mathcal {L}_{\scriptscriptstyle \textrm{EFT}}\) as the full identity space I is not found.
2.3.2 Field redefinitions
After the simplifications outlined in the previous section have been performed, we are left with a Lagrangian that contains redundant operators that can be removed by field redefinitions. To classify these operators, we first define for each field type the object \(\mathcal {D}\left( \psi \right) \) corresponding to the kinetic piece of the field EOM and whose definition is given in Table 1. Operators with at least one occurrence of \(\mathcal {D}\left( \psi \right) \) can be removed from the Lagrangian employing a field redefinition of the field \(\psi \). For operators at the highest power (that is, dimensionsix operators when one is working up to dimensions six), such field redefinitions are equivalent to replacing the field EOM at leading power in the corresponding operator. In the presence of effective operators of different powercounting orders, this procedure misses some of the higherorder terms in powercounting and yields an incorrect result [72,73,74,75,76,77,78,79]. We, therefore, employ field redefinitions for the sake of generality.
The general procedure is as follows: First, one identifies all instances of \(\mathcal {D}\left( \psi \right) \) for all fields \(\psi \) appearing in the Lagrangian. Then one reads off the overall coefficient \(\mathcal {D}\left( \psi \right) \) and performs a field redefinition by these coefficients. For illustration, consider a real scalar Lagrangian of the form
The field redefinition \(\varphi \rightarrow \varphi + \frac{c}{\Lambda ^2}\varphi ^3\) removes the redundant operator when inserted into the kinetic term and produces a quartic operator when inserted into the mass term:
For complex fields as well as Majorana fermions, one reads off the coefficients of the conjugated EOM objects and averages over them. The complete list of field redefinitions for each field type is given in Table 2.
When eliminating a redundant operator with \( \mathcal {D}\left( \psi \right) \), the field redefinitions will generate contributions only at higher order in the EFT power counting or at the same dimension but with fewer derivatives. In practice, therefore, one proceeds in an iterative fashion, seeking out redundant operators at the lowest order in the EFT counting and removing them by field redefinitions. The lowestorder operators that can appear here are kineticmixing terms at dimension four. At higher powers, the procedure needs to be repeated since operators may contain more than one \(\mathcal {D}\left( \psi \right) \) object, and the redefinition removes only one occurrence. Once all redundant terms are removed at a given order in powercounting, the procedure is repeated at the next order, until no more redundant operators remain.
Special care needs to be taken in the case of Abelian gauge fields. Since removing kineticmixing terms between gauge fields amounts to complicated redefinitions of the charges under the associated gauge groups, we choose to keep them explicit.^{Footnote 2} Hence, in the presence of kinetic mixing, field redefinitions should be modified as follows: consider a set of vector fields \(A_\mu ^i\) that exhibit kinetic mixing parameterized by a mixing matrix Z and a redundant operator involving the vector fields:
The appropriate field redefinition is . As long as the deviation of Z from identity is perturbative (in either loop counting or EFT powercounting), its inverse can be easily obtained.
An important subtlety arises from matching corrections to the couplings of operators of massdimension lower than four. That is, mass terms and cubic scalar interactions. For example – as is famously the case with the Higgs boson in the SM – if heavy degrees of freedom coupled to light scalars are integrated out at loop level, the latter receive mass corrections proportional to the hard scale. This upsets the powercounting of the effective theory, since a mass term for a light scalar of the form
is formally of dimension two in the EFT counting even if \( c_1 \) is loop suppressed. In this case, Matchete introduces an effective coupling \(m_{\varphi ,\textrm{eff}}^2\),
that is treated as EFT dimension two, such that the term is of dimension four again. In doing so, the program assumes a (finetuned) cancellation between the treelevel mass and the loop correction when the power enhancement from \(\Lambda ^2\) is large enough to overcome the loop suppression from \(c_1\).
2.4 Conventions
In this section we clearly state the overarching conventions used in Matchete to prevent unnecessary confusion on the matter. For the metric we use the “mostlyminus” signature: \(g_{\mu \nu } = \mathop {\textrm{diag}}(+1, 1, 1, 1) \). Meanwhile, we take the antisymmetric Levi–Civita tensor to satisfy \( \varepsilon ^{0 1 2 3} =  \varepsilon _{0 1 2 3} = +1 \) while the chiral spinor projectors are \(P_\textrm{L}= \tfrac{1}{2}(1  \gamma _5)\) and \(P_\textrm{R}= \tfrac{1}{2}(1 + \gamma _5) \). The covariant derivatives of the gauge groups are automatically generated and used throughout the package. They are defined by \(D_\mu = \partial _\mu  i g T^a A^a_\mu \) (note the sign) for nonAbelian groups with gauge field \( A_\mu \), with g being the coupling and \(T^a\) the Hermitian generators, which normalize as \( \mathop {\textrm{tr}} [T^a T^b] = \tfrac{1}{2} \delta ^{ab} \) for fundamental representations. For the Abelian gauge groups, \( T^a \) is replaced by the charge.
All computations are performed in dimensional regularization (DR) with spacetime dimension \(d = 4  2 \epsilon \). The renormalization scheme is in line with most BSM computations. The treatment of \( \gamma _5 \) is a point of contention in DR and fraught with potential errors. In this initial release, we employ naive dimensional regularization (NDR). Namely, we use the anticommuting \( \gamma _5 \) and impose the fourdimensional identity
Trace cyclicity is lost in this manner, but as long as the EFT computations follow the Diractrace reading point of the matching computation, all ambiguities cancel [57]. The source of the few ambiguities in the matching stem from IR divergences in loops with heavy and light fermions. In these cases, Matchete reading points can be inferred, since it will always read these supertraces starting with a heavyfermion propagator. This is not a particularly elegant solution, and we plan to explore other approaches for handling \( \gamma _5 \) in future updates.
3 Using Matchete
The Matchete package is free software under the terms of the GNU General Public License v3.0 and is publicly available in the GitLab repository
https://gitlab.com/matchete/matchete
The package can be installed in one of two ways:

i)
Automatic installation: The simplest way to download and install Matchete is to run the following command in a Mathematica notebook:
This will download and install Matchete in the Applications folder of Mathematica ’s base directory.

ii)
Manual installation: The user can also manually download the package from the GitLab repository. In this case, the user has to specify the location of the downloaded package with^{Footnote 3}
where is the path to the Matchete folder.
Once installed, the user can load Matchete in a fresh Mathematica kernel by running:
The user can check for updates and install them (when available) by simply running the CheckForUpdate[] command in a Mathematica notebook.
Once Matchete is installed and loaded, the user can start implementing models and matching to their EFTs with the routines provided by the package. Below, we demonstrate the usage of the tool with illustrative examples.
3.1 Vectorlike fermion toymodel
To illustrate the use of Matchete with a simple but comprehensive example, we consider a variation of the toy model of Ref. [57] with a \(\textrm{U}(1)\) gauge symmetry, two charged vectorlike fermions \(\psi \) and \(\Psi \), and a real scalar singlet \(\phi \). The Lagrangian is given by
where \(D_\mu \psi =\partial _\mu \psi ie\, A_\mu \psi \) (and similarly for \(\Psi \)). We take \(\psi \) to be massless, \(\phi \) to have a light mass \(m_\phi \), and \(\Psi \) to have a heavy mass M. The lowenergy EFT, describing physics at energies much lower than M, is obtained by integrating out \(\Psi \). We proceed to show how the matching is performed in Matchete.^{Footnote 4}
As a first step, the user has to define all (gauge) symmetries of the theory. We define the \(\textrm{U}(1)\) symmetry of the present example, labeled , by
which initializes a gauge coupling and the corresponding fieldstrength tensor, labeled . Next, all matter fields are defined:
where we assign charges of \( +1 \) to both fermions under the \(\textrm{U}(1)\) gauge group, declare the field as heavy (for matching purposes) with mass label , set as massless, and set to be a real field with light mass, automatically generating the mass label . Finally, we have to define the Yukawa coupling
which by default is understood as a complex parameter that does not influence the EFT power counting (i.e. ).
After all symmetries, fields, and couplings are defined, the Lagrangian of the free theory can be automatically generated with the routine. The interactions are manually added to obtain the UV Lagrangian
where the routine automatically adds the Hermitian conjugate of its argument. With the formatting, we can then verify that the Lagrangian does in fact agree with our expectations:
Next, we integrate out the heavy fermion with the routine:
where the option prescribes the EFT expansion is terminated at dimensionsix operators, and indicates that the matching is performed at oneloop order. The resulting EFT Lagrangian is given in a redundant, unsimplified form. It can be simplified to an offshell Green’s basis by calling
More commonly, we wish to also use field redefinitions to achieve an even more simplified EFT that still reproduces the same onshell physics. Simplification to the onshell basis is performed by the means of field redefinitions (see Sect. 2.3.2) by calling the routine:
where we set all the poles to zero, assuming that both the UV Lagrangian and the EFT Lagrangian are properly renormalized in the scheme. In a slight abuse of notation, \(\hbar \) is used in the output to denote the loop factor and ensure consistent truncation of the loop expansion, i.e. for oneloop computations Matchete sets \(\hbar ^2=0\). For numerical values, one simply needs to replace \(\hbar \rightarrow {1}/{(16\pi ^2)}\). We observe that there are no redundant operators left in this EFT Lagrangian. The simplified output has canonically normalized kinetic terms for the matter fields, leaving only the nontrivial factor on the gauge kinetic term in lieu of a coupling correction.
The coupling is automatically introduced to account for the hard scale contribution to the mass correction of the scalar field, as described in Sect. 2.3.2. The user is notified when such replacements happen and can retrieve the definitions of the effective couplings in the resulting Lagrangian using the PrintEffectiveCouplings command:
If desired, the effective couplings can be replaced by their definitions in terms of the original input couplings using the ReplaceEffectiveCouplings command.
3.2 Real singlet scalar BSM extension
Our first BSM example is the venerable singlet extension of the SM previously matched in Refs. [81, 82]. A real, heavy scalar field \( \phi \), which is a singlet under the SM gauge group is added to the SM. The resulting Lagrangian for this UV model is
Assuming the mass of the scalar to be heavy compared to the electroweak scale, the singlet can be integrated out from the theory to arrive at the corresponding SMEFT Lagrangian. We have validated the full oneloop dimensionsix result of this matching and obtained agreement with the calculation of Ref. [82].^{Footnote 5} Here, we will show how this simple SM extension can be implemented in Matchete and how to select specific contributions from the matching computation.
Since we are dealing with a SM extension, the task of inputting the model is simpler. The first step is to load the SM Lagrangian, which is already predefined in Matchete, by running^{Footnote 6}
where we rename the Higgs mass parameter to and the quartic Higgs coupling to . This command defines all SM symmetries, couplings and fields, and saves the SM Lagrangian into the variable. For completeness, we also provide the full SM definition in Matchete in Appendix A. The implementation shown there agrees with the internal implementation that is loaded when using .
Next, we have to define the BSM field with mass by
followed by the definition of all NP couplings:
Using these definitions, none of the couplings above carry a light mass dimension, i.e., we have \(=\mathcal {O}(M)\) and \(=\mathcal {O}(M)\). The Lagranigian of the full NP model can then be specified with
The matching to the SMEFT is again performed with the routine. For the treelevel matching, we find
where we only print the NP contributions in the EFT after applying offshell operator simplification, such as integrationbyparts identities. The first operator is a modification of the Higgs quartic coupling, the second is \(Q_{H}\) in the Warsaw basis (defined in [1]), the third can be exchanged for the operator \(Q_{H\Box }\) of the Warsaw basis,^{Footnote 7} and the last term can be removed by applying appropriate field redefinitions or the Higgs EOM. This last simplification step can be performed by applying . For brevity, we do not show the result here, but it can be found in the example notebook Examples/Singlet_Scalar_Extension.nb, included in the public release of Matchete. This notebook contains the full matching of this model at one loop as well as the comparison to the results presented in Ref. [82].
The oneloop matching and the full simplification of the resulting EFT Lagrangian is performed similarly:
Again, the resulting Lagrangian is too long to show here, but it can be found in the example notebook. In the following, we demonstrate how to extract a particular contribution from the EFT Lagrangian, using the routine. As an example, we extract the fully leptonic fourfermion operator
where the second argument specifies the field content of the operator(s) to be extracted, and the last argument gives the number of derivatives. The result shown above is not in the Warsaw basis, since the current version Matchete is not applying Fierz identities. Manually, using the identity \((\overline{e}^s\ell ^r)(\overline{\ell }^t e^p)=\frac{1}{2}(\overline{\ell }^t \gamma _\mu \ell ^r)(\overline{e}^s \gamma ^\mu e^p)\) gives the desired result for \(Q_{\ell e}\) in the Warsaw basis. Similarly, we extract the \(Q_{HW}\) operator:
In general, results obtained with the routine do not coincide with the matching conditions for the Warsaw basis. This is because of the \(Q_{H\Box }=(H^\dagger H)\Box (H^\dagger H)\) operator being replaced in favor of the operator \(Q_{HD}^{\,\prime }=(H^\dagger H)[(D_\mu H^\dagger ) (D^\mu H)]\) in Matchete. These operators are related by integration by parts, but their difference is an operator that can be removed by applying Higgs field redefinitions. Therefore, the choice between \(Q_{H\Box }\) or \(Q_{HD}^{\,\prime }\) affects the matching conditions for a wide set of different operator classes. The examples shown here are, however, not affected by this. In the example notebook, we show how to manually match the results provided by Matchete to the Warsaw basis.
3.3 Vectorlike lepton BSM extension
As our final example, we consider a vectorlike lepton extension of the SM with the same quantum numbers as the SM lepton singlet, namely . The Lagrangian for this model is given by
where H is the SM Higgs, \(\ell ^p\) is the SM \(\textrm{SU}(2)_L\) lepton doublet, and the index p denotes SM flavor. The NP model parameters \(M_E\) and \(y_E^p\) are a real scalar and a complex flavor vector, respectively. The matching result of this model was already presented as an example for the matchmakereft matching tool [65], which uses a diagrammatic approach. We find full agreement with this result, hence providing essential validation for both implementations.
In what follows, we show how to input the Lagrangian (3.3) and illustrate the Matchete functions relevant to the cross check. As in the previous example, we are dealing with a SM extension and the first step is to load the SM Lagrangian, which is already predefined:
This command defines all SM symmetries, couplings and fields, and saves the SM Lagrangian into the variable. The next step is to define the NP field^{Footnote 8}
and Yukawa coupling
The complete UV Lagrangian is then entered as
where and are used for \(\textrm{SU}(2)_L\) and flavor indices, respectively. As in previous examples, this Lagrangian can easily be matched to its EFT with the routine. For example, at tree level we have
This result is not manifestly Hermitian but it can be recast into a manifestly Hermitian form using IBP identities via the routine:
Finally, this last term of the result above can be eliminated in favor of a Warsaw basis operator using field redefinitions (which at this order are equivalent to EOM identities). The field redefinitions are applied with the routine:
A final group identity, \(\delta _{ik}\delta _{jl}=\tfrac{1}{2}(\delta _{ij}\delta _{kl}+\tau ^a_{ij}\tau ^a_{kl})\), would be needed to recast the last term into elements of the Warsaw basis. At present, the automated reduction to the Warsaw basis is not implemented in Matchete and this and other identities need to be applied manually. In this example we were careful to apply to the full EFT Lagrangian. Unlike the exact identities used by , field redefinitions cannot be applied to individual terms. Eliminating operators with field redefinitions will typically shuffle all kinds of contributions between many other operators.
The dimensionsix output at oneloop order is rather lengthy and is provided in the example notebook Examples/E_VLL_model.nb included in the public Matchete release along with the details of the comparison with Ref. [65]. Instead of showing the full result, we illustrate the use of here. This Matchete routine provides the contribution from individual supertraces (or, equivalently, individual covariant loop topologies). For instance, to compute the contribution to the \((H^\dagger H)^3\) operator arising from the fermion hexagon graph (involving 3 vectorlike and 3 SM leptondoublet propagators), we simply run
which coincides with the six NP Yukawa term in Eq. (6.15) of Ref. [65].
3.4 Further examples and applications
Despite its limitations, this proofofconcept version of Matchete already automates EFT matching computations for a wide class of weaklycoupled UV models. Models with an arbitrary particle content can be matched at treelevel, and automated oneloop matching for any model with heavy scalars and/or fermions (but no heavy vectors) is now possible. These matching steps can be performed up to arbitrary order in the heavymass expansion without requiring any further input from the user. This is subject to constraints from the fast growth in computing time and memory requirements with increasing mass dimension, an area in which there is still room for improvement in future releases. While these functionalities certainly leave out many relevant models, they can already be used in multiple phenomenologically interesting applications. A nonexhaustive list of recent literature results for which Matchete could have been particularly useful include the matching of BSM models featuring:

(i)
Heavy scalars, like SMsinglets [81, 82] (see Sect. 3.2), extra Higgses [83], electroweak triplets [61, 62], flavorful triplets [84], or colorful new states [60, 85, 86].

(ii)
Heavy fermions, such as sterile neutrinos [59, 61, 84, 87], other vectorlike leptons [61, 65] (see Sect. 3.3), and vectorlike quarks [88].

(iii)
Any combination of heavy scalars and fermions [63, 64, 89, 90].
As we discuss in the next section, we intend to expand these functionalities to cover an even wider range of applications.
Moreover, the automated simplification routines contained in Matchete, although not exhaustive, introduce entirely new capabilities to the EFT toolbox. While other tools [91,92,93] deduce a suitable EFT basis, the simplification routines of Matchete automatically simplify an EFT with redundant operators and bring it to a form with mostly basis operators.^{Footnote 9} Despite some redundant operators persisting in some cases, the current implementation goes most of the way towards producing an EFT in a basis form. Failures to reach the basis with the current implementation are not critical, as on/offshell equivalence is preserved. To our knowledge, this is the first attempt at automatic simplification without any basisspecific hardcoded identities. These routines becomes particularly useful in studies where higherdimensional operators are involved (see e.g. Refs. [83, 84, 94,95,96] for recent literature examples), as the operatorreduction identities needed to obtain a basis are typically harder to implement due to the large proliferation of terms.
4 Conclusions and future prospects
In this article, we have introduced the first version of Matchete and sketched out the workings of its routines. Already in this first version, it has great utility and versatility and can perform the matching of a wide range of UV models without any additional input for group theory or EFT bases: In its current form, Matchete is able to integrate out heavy scalars and fermions at the oneloop level, as well as heavy vectors at treelevel, with no restriction on the mass dimension of the effective theory, other than computing time limitations. As demonstrated in Sect. 3, this already proves useful for a variety of concrete applications. Furthermore, the simplification routines can be used to automatically reduce Lagrangians to a closetobasis form, even if the tool is not used for matching.
It is also clear that we can enhance the capabilities of Matchete even further. Our roadmap for future functionality includes addressing the following points:

Currently, the matching is performed in strictly d dimensions, which prevents EFT simplifications to the fourdimensional basis. We intend to implement the methods of Ref. [66] for defining a physical projection on the operator space and matching the remnant evanescent operator to the physical space.

After the implementation of routines for handling the evanescent operators, it will be possible to reduce EFT Lagrangians all the way to specific fourdimensional bases. The idea is to use this to obtain matching results as Wilson coefficients of known EFT bases, such as the Warsaw basis for the SMEFT or the LEFT basis of Ref. [7]. Hence, it will be possible to interface the result with phenomenology packages through export in the WCxf [97] format. The interface with other phenomenology tools and/or commonly used formats, such as UFO [98], would also be desirable.

The restriction of heavy states to scalars and fermions is the primary limitation of Matchete v0.1.0. In weaklycoupled theories, heavy vectors must arise from spontaneous symmetry breaking. This results in a complicated interplay between vectors, ghosts, and Goldstone bosons, especially in the background field gauge. So as to avoid having to derive and input all interactions manually, we wish to provide (semi)automated methods to determine the broken phase Lagrangian.

With small changes to the matching procedure, it is possible to determine the EFT counterterms and, thereby, the RG functions. Implementing this functionality in Matchete will allow for finding the RG functions for intermediatescale EFTs and vastly simplify sequential matching scenarios.
In Fig. 2 we show how the future functionalities fit into the Matchete workflow. The roadmap is our vision for the future of the Matchete package. It is of course subject to changes, as we determine what features are most important, or if the implementation of the functions becomes problematic.
Automated tools like Matchete have the potential to fundamentally change the workflow of BSM physics. They allow the practitioner to focus less on mechanical tasks and instead concentrate on finding answers to open questions in physics. Even with its current limitations, the proof of concept for Matchete already provides a valuable tool for NP phenomenology, and it demonstrates that functional methods offer a natural formulation of the matching (and RG running) procedure.
Data Availability
The manuscript has associated data in a data repository. [Authors’ comment: The associated data can be found in the GitLab repository https://gitlab.com/matchete/matchete].
Notes
We found Ref. [67] very useful as a primer and reminder for relevant Lie algebra methods.
Kineticmixing terms are ubiquitous in BSM models with new \( \textrm{U}(1) \) symmetries, which can mix with the hypercharge field. They are typically kept explicit in the Lagrangian until symmetry breaking.
We recommend placing the Matchete folder in the Applications folder of Mathematica ’s base directory. Then the location does not need be specified before loading the package.
A preliminary implementation of this model in Matchete was also presented in [80].
Actually, agreement with this reference is only obtained for \({\bar{\mu }}=M^2\), as we find that the results provided there for the logterms contain contributions that cannot be generated by matching. The logterms have been partially crosschecked against the Greens’ basis results in Ref. [46], finding agreement for the nonlogarithmic contributions as well.
The complete list of available models (including the one of this example) can be checked by GetModels[] in a Mathematica notebook or by looking into the Models folder of the public release.
Matchete automatically applies the product rule for derivatives. Therefore, it is not possible to directly obtain \(Q_{H\Box }\) in the matching result. The issues related to this basis mismatch are discussed below.
We write EE for the field label because E is reserved in Mathematica for the Euler number.
Some redundant operators are retained due to a lack of a more robust handling of flavor indices and an implementation of Fierz (and other fourdimensional) identities. As discussed in the next section, the latter is due to the appearance of evanescent operators, which need a dedicated treatment.
References
B. Grzadkowski, M. Iskrzynski, M. Misiak, J. Rosiek, Dimensionsix terms in the Standard Model Lagrangian. JHEP 10, 085 (2010). https://doi.org/10.1007/JHEP10(2010)085. arXiv:1008.4884
E.E. Jenkins, A.V. Manohar, M. Trott, Renormalization group evolution of the Standard Model dimension six operators I: formalism and lambda dependence. JHEP 10, 087 (2013). https://doi.org/10.1007/JHEP10(2013)087. arXiv:1308.2627
E.E. Jenkins, A.V. Manohar, M. Trott, Renormalization group evolution of the Standard Model dimension six operators II: Yukawa dependence. JHEP 01, 035 (2014). https://doi.org/10.1007/JHEP01(2014)035. arXiv:1310.4838
R. Alonso, E.E. Jenkins, A.V. Manohar, M. Trott, Renormalization group evolution of the Standard Model dimension six operators III: gauge coupling dependence and phenomenology. JHEP 04, 159 (2014). https://doi.org/10.1007/JHEP04(2014)159. arXiv:1312.2014
R. Alonso, H.M. Chang, E.E. Jenkins, A.V. Manohar, B. Shotwell, Renormalization group evolution of dimensionsix baryon number violating operators. Phys. Lett. B 734, 302 (2014). https://doi.org/10.1016/j.physletb.2014.05.065. arXiv:1405.0486
J. Aebischer, A. Crivellin, M. Fael, C. Greub, Matching of gauge invariant dimensionsix operators for \(b\rightarrow s\) and \(b\rightarrow c\) transitions. JHEP 05, 037 (2016). https://doi.org/10.1007/JHEP05(2016)037. arXiv:1512.02830
E.E. Jenkins, A.V. Manohar, P. Stoffer, Lowenergy effective field theory below the electroweak scale: operators and matching. JHEP 03, 016 (2018). https://doi.org/10.1007/JHEP03(2018)016. arXiv:1709.04486
W. Dekens, P. Stoffer, Lowenergy effective field theory below the electroweak scale: matching at one loop. JHEP 10, 197 (2019). https://doi.org/10.1007/JHEP10(2019)197. arXiv:1908.05295
E.E. Jenkins, A.V. Manohar, P. Stoffer, Lowenergy effective field theory below the electroweak scale: anomalous dimensions. JHEP 01, 084 (2018). https://doi.org/10.1007/JHEP01(2018)084. arXiv:1711.05270
A. Celis, J. FuentesMartin, A. Vicente, J. Virto, DsixTools: the Standard Model effective field theory toolkit. Eur. Phys. J. C 77, 405 (2017). https://doi.org/10.1140/epjc/s1005201749676. arXiv:1704.04504
J. Aebischer, J. Kumar, D.M. Straub, Wilson: a Python package for the running and matching of Wilson coefficients above and below the electroweak scale. Eur. Phys. J. C 78, 1026 (2018). https://doi.org/10.1140/epjc/s1005201864927. arXiv:1804.05033
J. FuentesMartin, P. RuizFemenia, A. Vicente, J. Virto, DsixTools 2.0: the effective field theory toolkit. Eur. Phys. J. C 81, 167 (2021). https://doi.org/10.1140/epjc/s1005202008778y. arXiv:2010.16341
I. Brivio, Y. Jiang, M. Trott, The SMEFTsim package, theory and tools. JHEP 12, 070 (2017). https://doi.org/10.1007/JHEP12(2017)070. arXiv:1709.06492
GAMBIT Flavour Workgroup collaboration, FlavBit: A GAMBIT module for computing flavour observables and likelihoods. Eur. Phys. J. C 77, 786 (2017). https://doi.org/10.1140/epjc/s1005201751572. arXiv:1705.07933
J. Aebischer, J. Kumar, P. Stangl, D.M. Straub, A global likelihood for precision constraints and flavour anomalies. Eur. Phys. J. C 79, 509 (2019). https://doi.org/10.1140/epjc/s100520196977z. arXiv:1810.07698
D.M. Straub, flavio: a Python package for flavour and precision phenomenology in the Standard Model and beyond. arXiv:1810.08132
I. Brivio et al., Computing Tools for the SMEFT. arXiv:1910.11003
J. De Blas et al., HEPfit: a code for the combination of indirect and direct constraints on high energy physics models. Eur. Phys. J. C 80, 456 (2020). https://doi.org/10.1140/epjc/s100520207904z. arXiv:1910.14012
A. Dedes, M. Paraskevas, J. Rosiek, K. Suxho, L. Trifyllis, SmeftFR: Feynman rules generator for the Standard Model effective field theory. Comput. Phys. Commun. 247, 106931 (2020). https://doi.org/10.1016/j.cpc.2019.106931. arXiv:1904.03204
N.P. Hartland, F. Maltoni, E.R. Nocera, J. Rojo, E. Slade, E. Vryonidou et al., A Monte Carlo global analysis of the Standard Model effective field theory: the top quark sector. JHEP 04, 100 (2019). https://doi.org/10.1007/JHEP04(2019)100. arXiv:1901.05965
G. Uhlrich, F. Mahmoudi, A. Arbey, MARTY: Modern ARtificial Theoretical phYsicist A C++ framework automating theoretical calculations Beyond the Standard Model. Comput. Phys. Commun. 264, 107928 (2021). https://doi.org/10.1016/j.cpc.2021.107928. arXiv:2011.02478
J. Ellis, M. Madigan, K. Mimasu, V. Sanz, T. You, Top, Higgs, diboson and electroweak fit to the Standard Model effective field theory. JHEP 04, 279 (2021). https://doi.org/10.1007/JHEP04(2021)279. arXiv:2012.02779
EOS Authors collaboration, EOS: a software for flavor physics phenomenology. Eur. Phys. J. C 82, 569 (2022). https://doi.org/10.1140/epjc/s10052022101774. arXiv:2111.15428
L. Allwicher, D.A. Faroughy, F. Jaffredo, O. Sumensari, F. Wilsch, HighPT: a tool for high\(p_T\) Drell–Yan tails beyond the Standard Model. arXiv:2207.10756
J.C. Criado, A. Djouadi, M. PerezVictoria, J. Santiago, A complete effective field theory for dark matter. JHEP 07, 081 (2021). https://doi.org/10.1007/JHEP07(2021)081. arXiv:2104.14443
J. Aebischer, W. Altmannshofer, E.E. Jenkins, A.V. Manohar, Dark matter effective field theory and an application to vector dark matter. JHEP 06, 086 (2022). https://doi.org/10.1007/JHEP06(2022)086. arXiv:2202.06968
M. Chala, G. Guedes, M. Ramos, J. Santiago, Running in the ALPs. Eur. Phys. J. C 81, 181 (2021). https://doi.org/10.1140/epjc/s10052021089682. arXiv:2012.09017
M. Bauer, M. Neubert, S. Renner, M. Schnubel, A. Thamm, The lowenergy effective theory of axions and ALPs. JHEP 04, 063 (2021). https://doi.org/10.1007/JHEP04(2021)063. arXiv:2012.12272
A.M. Galda, M. Neubert, S. Renner, ALPSMEFT interference. JHEP 06, 135 (2021). https://doi.org/10.1007/JHEP06(2021)135. arXiv:2105.01078
M. Gaillard, The effective one loop Lagrangian with derivative couplings. Nucl. Phys. B 268, 669 (1986). https://doi.org/10.1016/05503213(86)902646
L.H. Chan, Derivative expansion for the one loop effective actions with internal symmetry. Phys. Rev. Lett. 57, 1199 (1986). https://doi.org/10.1103/PhysRevLett.57.1199
O. Cheyette, Effective action for the Standard Model with large Higgs mass. Nucl. Phys. B 297, 183 (1988). https://doi.org/10.1016/05503213(88)902052
L. Chan, Effective action expansion in perturbation theory. Phys. Rev. Lett. 54, 1222 (1985). https://doi.org/10.1103/PhysRevLett.54.1222
C. Fraser, Calculation of higher derivative terms in the one loop effective Lagrangian. Z. Phys. C 28, 101 (1985). https://doi.org/10.1007/BF01550255
I. Aitchison, C. Fraser, Fermion loop contribution to Skyrmion stability. Phys. Lett. B 146, 63 (1984). https://doi.org/10.1016/03702693(84)906440
I. Aitchison, C. Fraser, Derivative expansions of fermion determinants: anomaly induced vertices, GoldstoneWilczek currents and Skyrme terms. Phys. Rev. D 31, 2605 (1985). https://doi.org/10.1103/PhysRevD.31.2605
I. Aitchison, C. Fraser, Trouble with boson loops in Skyrmion physics. Phys. Rev. D 32, 2190 (1985). https://doi.org/10.1103/PhysRevD.32.2190
O. Cheyette, Derivative expansion of the effective action. Phys. Rev. Lett. 55, 2394 (1985). https://doi.org/10.1103/PhysRevLett.55.2394
S. Dittmaier, C. GrosseKnetter, Deriving nondecoupling effects of heavy fields from the path integral: a heavy Higgs field in an SU(2) gauge theory. Phys. Rev. D 52, 7276 (1995). https://doi.org/10.1103/PhysRevD.52.7276. arXiv:hepph/9501285
S. Dittmaier, C. GrosseKnetter, Integrating out the standard Higgs field in the path integral. Nucl. Phys. B 459, 497 (1996). https://doi.org/10.1016/05503213(95)00551X. arXiv:hepph/9505266
B. Henning, X. Lu, H. Murayama, How to use the Standard Model effective field theory. JHEP 01, 023 (2016). https://doi.org/10.1007/JHEP01(2016)023. arXiv:1412.1837
A. Drozd, J. Ellis, J. Quevillon, T. You, The universal oneloop effective action. JHEP 03, 180 (2016). https://doi.org/10.1007/JHEP03(2016)180. arXiv:1512.03003
B. Henning, X. Lu, H. Murayama, Oneloop matching and running with covariant derivative expansion. JHEP 01, 123 (2018). https://doi.org/10.1007/JHEP01(2018)123. arXiv:1604.01019
J. FuentesMartin, J. Portoles, P. RuizFemenia, Integrating out heavy particles with functional methods: a simplified framework. JHEP 09, 156 (2016). https://doi.org/10.1007/JHEP09(2016)156. arXiv:1607.02142
Z. Zhang, Covariant diagrams for oneloop matching. JHEP 05, 152 (2017). https://doi.org/10.1007/JHEP05(2017)152. arXiv:1610.00710
T. Cohen, X. Lu, Z. Zhang, Functional prescription for EFT matching. JHEP 02, 228 (2021). https://doi.org/10.1007/JHEP02(2021)228. arXiv:2011.02484
F. del Aguila, Z. Kunszt, J. Santiago, Oneloop effective Lagrangians after matching. Eur. Phys. J. C 76, 244 (2016). https://doi.org/10.1140/epjc/s1005201640811. arXiv:1602.00126
M. Boggia, R. GomezAmbrosio, G. Passarino, Low energy behaviour of standard model extensions. JHEP 05, 162 (2016). https://doi.org/10.1007/JHEP05(2016)162. arXiv:1603.03660
S. Dittmaier, S. Schuhmacher, M. Stahlhofen, Integrating out heavy fields in the path integral using the backgroundfield method: general formalism. Eur. Phys. J. C 81, 826 (2021). https://doi.org/10.1140/epjc/s10052021095877. arXiv:2102.12020
S.A.R. Ellis, J. Quevillon, T. You, Z. Zhang, Mixed heavylight matching in the universal oneloop effective action. Phys. Lett. B 762, 166 (2016). https://doi.org/10.1016/j.physletb.2016.09.016. arXiv:1604.02445
S.A.R. Ellis, J. Quevillon, T. You, Z. Zhang, Extending the universal oneloop effective action: heavylight coefficients. JHEP 08, 054 (2017). https://doi.org/10.1007/JHEP08(2017)054. arXiv:1706.07765
M. Krämer, B. Summ, A. Voigt, Completing the scalar and fermionic universal oneloop effective action. JHEP 01, 079 (2020). https://doi.org/10.1007/JHEP01(2020)079. arXiv:1908.04798
A. Angelescu, P. Huang, Integrating out new fermions at one loop. JHEP 01, 049 (2021). https://doi.org/10.1007/JHEP01(2021)049. arXiv:2006.16532
S.A. Ellis, J. Quevillon, P.N.H. Vuong, T. You, Z. Zhang, The fermionic universal oneloop effective action. JHEP 11, 078 (2020). https://doi.org/10.1007/JHEP11(2020)078. arXiv:2006.16260
J.C. Criado, MatchingTools: a Python library for symbolic effective field theory calculations. Comput. Phys. Commun. 227, 42 (2018). https://doi.org/10.1016/j.cpc.2018.02.016. arXiv:1710.06445
T. Cohen, X. Lu, Z. Zhang, STrEAMlining EFT matching. SciPost Phys. 10, 098 (2021). https://doi.org/10.21468/SciPostPhys.10.5.098. arXiv:2012.07851
J. FuentesMartin, M. König, J. Pagès, A.E. Thomsen, F. Wilsch, SuperTracer: a calculator of functional supertraces for oneloop EFT matching. JHEP 04, 281 (2021). https://doi.org/10.1007/JHEP04(2021)281. arXiv:2012.08506
S.D. Bakshi, J. Chakrabortty, S.K. Patra, CoDEx: Wilson coefficient calculator connecting SMEFT to UV theory. Eur. Phys. J. C 79, 21 (2019). https://doi.org/10.1140/epjc/s1005201864442. arXiv:1808.04403
D. Zhang, S. Zhou, Complete oneloop matching of the typeI seesaw model onto the Standard Model effective field theory. JHEP 09, 163 (2021). https://doi.org/10.1007/JHEP09(2021)163. arXiv:2107.12133
A. Dedes, K. Mantzaropoulos, Universal scalar leptoquark action for matching. JHEP 11, 166 (2021). https://doi.org/10.1007/JHEP11(2021)166. arXiv:2108.10055
Y. Du, X.X. Li, J.H. Yu, Neutrino seesaw models at oneloop matching: discrimination by effective operators. JHEP 09, 207 (2022). https://doi.org/10.1007/JHEP09(2022)207. arXiv:2201.04646
X. Li, D. Zhang, S. Zhou, Oneloop matching of the typeII seesaw model onto the Standard Model effective field theory. JHEP 04, 038 (2022). https://doi.org/10.1007/JHEP04(2022)038. arXiv:2201.05082
Y. Liao, X.D. Ma, Oneloop matching of scotogenic model onto standard model effective field theory up to dimension 7. JHEP 12, 053 (2022). https://doi.org/10.1007/JHEP12(2022)053. arXiv:2210.04270
G. Guedes, P. Olgoso, A bridge to new physics: proposing new and reviving oldexplanations of \(\text{ a}_{\mu }\). JHEP 09, 181 (2022). https://doi.org/10.1007/JHEP09(2022)181. arXiv:2205.04480
A. Carmona, A. Lazopoulos, P. Olgoso, J. Santiago, Matchmakereft: automated treelevel and oneloop matching. SciPost Phys. 12, 198 (2022). https://doi.org/10.21468/SciPostPhys.12.6.198. arXiv:2112.10787
J. FuentesMartín, M. König, J. Pagès, A.E. Thomsen, F. Wilsch, Evanescent operators in oneloop matching computations. JHEP 02, 031 (2023). https://doi.org/10.1007/JHEP02(2023)031. arXiv:2211.09144
R.N. Cahn, Semisimple Lie Algebras and Their Representations (The Benjamin/Cummings Publishing Company, 1984)
R.M. Sousa da Fonseca, Renormalization in supersymmetric models, Ph.D. thesis, Lisbon, CENTRA (2013). arXiv:1310.1296
R.M. Fonseca, GroupMath: a mathematica package for group theory calculations. Comput. Phys. Commun. 267, 108085 (2021). https://doi.org/10.1016/j.cpc.2021.108085. arXiv:2011.01764
M. Beneke, V.A. Smirnov, Asymptotic expansion of Feynman integrals near threshold. Nucl. Phys. B 522, 321 (1998). https://doi.org/10.1016/S05503213(98)001382. arXiv:hepph/9711391
B. Jantzen, Foundation and generalization of the expansion by regions. JHEP 12, 076 (2011). https://doi.org/10.1007/JHEP12(2011)076. arXiv:1111.2589
J.S.R. Chisholm, Change of variables in quantum field theories. Nucl. Phys. 26, 469 (1961). https://doi.org/10.1016/00295582(61)901067
S. Kamefuchi, L. O’Raifeartaigh, A. Salam, Change of variables and equivalence theorems in quantum field theories. Nucl. Phys. 28, 529 (1961). https://doi.org/10.1016/00295582(61)900566
P.P. Divakaran, Equivalence theorems and point transformations in field theory. Nucl. Phys. 42, 235 (1963). https://doi.org/10.1016/00295582(63)907314
R.E. Kallosh, I.V. Tyutin, The equivalence theorem and gauge invariance in renormalizable theories. Yad. Fiz. 17, 190 (1973)
A. Salam, J.A. Strathdee, Equivalent formulations of massive vector field theories. Phys. Rev. D 2, 2869 (1970). https://doi.org/10.1103/PhysRevD.2.2869
R.D. Ball, R.S. Thorne, Renormalizability of effective scalar field theory. Ann. Phys. 236, 117 (1994). https://doi.org/10.1006/aphy.1994.1109. arXiv:hepth/9310042
C. Arzt, Reduced effective Lagrangians. Phys. Lett. B 342, 189 (1995). https://doi.org/10.1016/03702693(94)01419D. arXiv:hepph/9304230
J.C. Criado, M. PérezVictoria, Field redefinitions in effective theories at higher orders. JHEP 03, 038 (2019). https://doi.org/10.1007/JHEP03(2019)038. arXiv:1811.09413
F. Wilsch, Towards matching effective theories efficiently, in 35th Recontres de Physique de la Vallée d’Aoste, vol. 7 (2022). arXiv:2207.10956
M. Jiang, N. Craig, Y.Y. Li, D. Sutherland, Complete oneloop matching for a singlet scalar in the Standard Model EFT. JHEP 02, 031 (2019). https://doi.org/10.1007/JHEP02(2019)031. arXiv:1811.08878
U. Haisch, M. Ruhdorfer, E. Salvioni, E. Venturini, A. Weiler, Singlet night in Feynmanville: oneloop matching of a real scalar. JHEP 04, 164 (2020). https://doi.org/10.1007/JHEP04(2020)164. arXiv:2003.05936
S. Dawson, D. Fontes, S. Homiller, M. Sullivan, Role of dimensioneight operators in an EFT for the 2HDM. Phys. Rev. D 106, 055012 (2022). https://doi.org/10.1103/PhysRevD.106.055012. arXiv:2205.01561
C.H. de Lima, D. Stolarski, Exploring the vacuum structure of gravitationally induced neutrino masses. Phys. Rev. D (2023). https://doi.org/10.1103/physrevd.107.075035
V. Gherardi, D. Marzocca, E. Venturini, Matching scalar leptoquarks to the SMEFT at one loop. JHEP 07, 225 (2020). https://doi.org/10.1007/JHEP07(2020)225. arXiv:2003.12525
V. Gherardi, D. Marzocca, E. Venturini, Lowenergy phenomenology of scalar leptoquarks at oneloop accuracy. JHEP 01, 138 (2021). https://doi.org/10.1007/JHEP01(2021)138. arXiv:2008.09548
T. Ohlsson, M. Pernow, Oneloop matching conditions in neutrino effective theory. Nucl. Phys. B 978, 115729 (2022). https://doi.org/10.1016/j.nuclphysb.2022.115729. arXiv:2201.00840
A. Crivellin, M. Kirk, T. Kitahara, F. Mescia, Large t\(\rightarrow \)cZ as a sign of vectorlike quarks in light of the W mass. Phys. Rev. D 106, L031704 (2022). https://doi.org/10.1103/PhysRevD.106.L031704. arXiv:2204.05962
P. Arnan, L. Hofer, F. Mescia, A. Crivellin, Loop effects of heavy new scalars and fermions in \(b\rightarrow s\mu ^+\mu ^\). JHEP 04, 043 (2017). https://doi.org/10.1007/JHEP04(2017)043. arXiv:1608.07832
A. Crivellin, M. Hoferichter, Consequences of chirally enhanced explanations of (g \(\) 2)\(_{\mu }\) for h \(\rightarrow \)\(\mu \mu \) and Z \(\rightarrow \)\(\mu \mu \). JHEP 07, 135 (2021). https://doi.org/10.1007/JHEP07(2021)135. arXiv:2104.03202
J.C. Criado, BasisGen: automatic generation of operator bases. Eur. Phys. J. C 79, 256 (2019). https://doi.org/10.1140/epjc/s1005201967695. arXiv:1901.03501
B. Gripaios, D. Sutherland, DEFT: a program for operators in EFT. JHEP 01, 128 (2019). https://doi.org/10.1007/JHEP01(2019)128. arXiv:1807.07546
R.M. Fonseca, The Sym2Int program: going from symmetries to interactions. J. Phys. Conf. Ser. 873, 012045 (2017). https://doi.org/10.1088/17426596/873/1/012045. arXiv:1703.05221
M. Chala, J. Santiago, Positivity bounds in the standard model effective field theory beyond tree level. Phys. Rev. D 105, L111901 (2022). https://doi.org/10.1103/PhysRevD.105.L111901. arXiv:2110.01624
U. Banerjee, J. Chakrabortty, C. Englert, S.U. Rahaman, M. Spannowsky, Integrating out heavy scalars with modified equations of motion: matching computation of dimensioneight SMEFT coefficients. Phys. Rev. D 107, 055007 (2023). https://doi.org/10.1103/PhysRevD.107.055007. arXiv:2210.14761
M. Chala, Constraints on anomalous dimensions from the positivity of the Smatrix. arXiv:2301.09995
J. Aebischer et al., WCxf: an exchange format for Wilson coefficients beyond the Standard Model. Comput. Phys. Commun. 232, 71 (2018). https://doi.org/10.1016/j.cpc.2018.05.022. arXiv:1712.05298
C. Degrande, C. Duhr, B. Fuks, D. Grellscheid, O. Mattelaer, T. Reiter, UFO: the universal FeynRules output. Comput. Phys. Commun. 183, 1201 (2012). https://doi.org/10.1016/j.cpc.2012.01.022. arXiv:1108.2040
Acknowledgements
We thank José Santiago for his help with the crosschecks of the vectorlike lepton example in Sect. 3.3. The authors are grateful to the Mainz Institute for Theoretical Physics (MITP) of the Cluster of Excellence \(\hbox {PRISMA}^+\) (Project ID 39083149) for its hospitality and support. JF thanks Matthias Neubert and the Theoretical High Energy Physics Department at JGU Mainz for hospitality and support during his stay as a visitor. The work of JF has been supported by the Spanish Ministry of Science and Innovation (MCIN) and the European Union NextGenerationEU/PRTR under grant IJC2020043549I, by the MCIN grant PID2019106087GBC22, and by the Junta de Andalucía grants P21_00199, P18FR4314 (FEDER) and FQM101. This research was supported in part by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) through the SinoGerman Collaborative Research Center TRR110 “Symmetries and the Emergence of Structure in QCD” (DFG ProjectID 196253076, NSFC Grant No. 2070131001,  TRR 110). JP and FW received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement 833280 (FLAY), and by the Swiss National Science Foundation (SNF) under contract 200020204428. The work of JP is supported by the U.S. Department of Energy (DOE) under award number DESC0009919. The work of AET has received funding from the Swiss National Science Foundation (SNF) through the Eccellenza Professorial Fellowship “Flavor Physics at the High Energy Frontier” project number 186866.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Defining the SM in Matchete
Appendix A: Defining the SM in Matchete
To illustrate the ease of defining general quantum field theories in Matchete, we showcase how to input the SM Lagrangian. When using Matchete for a BSM theory, it is not necessary to repeat the SM input, as its definition can be loaded running the routine, as shown in the examples in Sec. 3.2 and 3.3.
In a first step, we use the routine to define the SM gauge group \(\textrm{SU}(3)_c \times \textrm{SU}(2)_L \times \textrm{U}(1)_Y\) by
where the groups are labeled , , and , respectively. This automatically defines also the associated fieldstrength tensors, labeled , , and , and the gauge couplings , , and . The optional arguments and determine how fundamental and adjoint indices are displayed when using the routine. Flavor indices and their printing style can be defined similarly:
Next, we define the field content of the SM using the routine. We begin with the fermions:
For example, the lefthanded quark doublet is afterwards written in Matchete by typing , where , , and are the \(\textrm{SU}(3)_c\), \(\textrm{SU}(2)_L\), and flavor indices, respectively, given in the order used in . The Higgs doublet is defined similarly:
The Higgs is defined as massless, because the mass parameter of the Higgs doublet is tachyonic. We will therefore include it manually as an interaction below.
The last missing definitions are for the (nongauge) coupling constants for which we use the routine. The Yukawa matrices can be added with
Similarly, we can define the parameters of the Higgs potential by
where the option specifies that the Higgs mass parameter should be counted as having lightmass dimension one in the EFT power counting.
We can now write down the SM Lagrangian. Starting with the Yukawa interactions, we have
The scalar potential is written as
Eventually, we can write the full SM Lagrangian
where we used to canonically relabel all indices in the Lagrangian, to include the Hermitian conjugate of the Yukawa Lagrangian defined above, and to collect hermitian conjugated terms for the printing.
We can also use the routine to perform a series of checks on the Lagrangian, ensuring for example that is Hermitian, gaugeinvariant, is free of gauge anomalies, and more:
These checks are also internally applied by the routine, before performing the matching, which can only be done for Lagrangians passing all tests of .
The addition of further BSM fields, and couplings works analogously. For BSM theories with extended gauge symmetries, the BSM Lagrangian would have to be provided to Matchete in the broken phase, where only the residual SM gauge symmetry remains unbroken. The complexity of the resulting Lagrangian with ghosts, heavy vectors, and gauge fixing, and the precise relations among them needed to obtain meaningful results is why this is not presently supported.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP^{3}. SCOAP^{3} supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
FuentesMartín, J., König, M., Pagès, J. et al. A proof of concept for matchete: an automated tool for matching effective theories. Eur. Phys. J. C 83, 662 (2023). https://doi.org/10.1140/epjc/s10052023117261
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052023117261