Mapping to EFT operator bases

After matching and operator reduction, the EFT Lagrangian is expressed in Matchete’s internal basis. MapEffectiveCouplings projects it onto a target basis — such as the Warsaw basis of the SMEFT — by solving for the Wilson coefficients of that basis in terms of the UV parameters.

---

Usage

(* Load the target basis *)
LSMEFT = LoadModel["SMEFT_Warsaw"];

(* Map the matched Lagrangian onto the Warsaw basis *)
mc = MapEffectiveCouplings[LEFT, LSMEFT,
  ShiftRenCouplings            -> True,
  AppendEffectiveCouplingsDefs -> True
];

ShiftRenCouplings -> True absorbs threshold corrections into the renormalizable parameters of the target basis (e.g., the Higgs quartic). AppendEffectiveCouplingsDefs -> True includes definitions for any effective couplings introduced during that shifting step.

---

Output format

MapEffectiveCouplings returns a list of replacement rules of the form $C_i \to f(\text{UV parameters})$, one per Wilson coefficient of the target basis. Vanishing coefficients are included and can be filtered out:

mc /. Rule[_, 0] -> Nothing;

---

Available bases

A collection of target-basis model files (Warsaw basis, Mainz basis, dimension-eight SMEFT, 2HDM-EFT, …) is available in the model database. Custom bases can also be defined in a model file and loaded via LoadModel.

For a full worked example see the Quickstart.