Abstract:The ongoing Effective Field Theory (EFT) program at the LHC and elsewhere is motivated by streamlining the connection between experimental data and UV-complete scenarios of heavy new physics beyond the Standard Model (BSM). This connection is provided by matching relations mapping the Wilson coefficients of the EFT to the couplings and masses of UV-complete models. Building upon recent work on the automation of tree-level and one-loop matching in the SMEFT, we present a novel strategy automating the constraint-setting procedure on the parameter space of general heavy UV-models matched to dimension-six SMEFT operators. A new Mathematica package, match2fit, interfaces Matchmakereft, which derives the matching relations for a given UV model, and SMEFiT, which provides bounds on the Wilson coefficients by comparing with data. By means of this pipeline and using both tree-level and one-loop matching, we derive bounds on a wide range of single- and multi-particle extensions of the SM from a global dataset composed by LHC and LEP measurements. Whenever possible, we benchmark our results with existing studies. Our framework realises one of the main objectives of the EFT program in particle physics: deploying the SMEFT to bypass the need of directly comparing the predictions of heavy UV models with experimental data.

Tree-level UV completions for $N_R$SMEFT $d=6$ and $d=7$ operators

A complete tree-level dictionary between simplified BSM models and SMEFT (d $\leq$ 7) operators

Fermionic UV models for neutral triple gauge boson vertices

Complete tree-level dictionary between simplified BSM models and SMEFT operators

Complete UV resonances of the dimension-8 SMEFT operators

SMEFT goes dark: Dark Matter models for four-fermion operators

Mapping the SMEFT to discoverable models

Completing the one-loop $ν$SMEFT Renormalization Group Evolution

The Geometric $ν$SMEFT: Operators and Connections

UV Completion of Neutral Triple Gauge Couplings

Four-fermion operators at dimension 6: dispersion relations and UV completions

UV-complete Gauged Anomaly-free U(1) Froggatt-Nielsen Model

Renormalisation of SMEFT bosonic interactions up to dimension eight by LNV operators

Constraining $ν$SMEFT coefficients: the case of the extra $\text{U}(1)^\prime$

Exploring SMEFT induced nonstandard interactions: From COHERENT to neutrino oscillations

The automation of SMEFT-Assisted Constraints on UV-Complete Models

Systematic Study of One-Loop Realizations of D = 7 Long-Range 0νββ Decay Operators

Extending low energy effective field theory with a complete set of dimension-7 operators

UV Completions of Magnetic Inelastic Dark Matter and RayDM for the Fermi Line(s)

Tree-Level Superstring Amplitudes: The Neveu-Schwarz Sector