Functional prescription for EFT matching

We simplify the one-loop functional matching formalism to develop a streamlined prescription. The functional approach is conceptually appealing: all calculations are performed within the UV theory at the matching scale, and no prior determination of an Effective Field Theory (EFT) operator basis is required. Our prescription accommodates any relativistic UV theory that contains generic interactions (including derivative couplings) among scalar, fermion, and vector fields. As an example application, we match the singlet scalar extended Standard Model (SM) onto SMEFT.

Automated summary

The streamlined prescription developed simplifies the one-loop functional matching formalism, eliminating the need for a prior determination of an Effective Field Theory (EFT) operator basis. It can be applied to any relativistic UV theory that contains generic interactions among scalar, fermion, and vector fields, including derivative couplings. As an example application, it can be used to match the singlet scalar extended Standard Model (SM) onto SMEFT.