
operates to “integrate out” BSM states to obtain a low energy effective description that is
determined by the SM’s particle and symmetry content.
Efforts to apply EFT to the multi-scale processes of the LHC environment have
received considerable interest recently, reaching from theory-led proof-of-principle fits to
LHC data [
2
–
7
] (with a history of almost a decade) over the adoption of these techniques
by the LHC experiments (e.g. [
8
,
9
] for recent examples), to perturbative improvements
of the formalism [
10
–
21
]. In doing so, most attention has been devoted to SMEFT at
dimension-six level [22]
L=LSM +X
i
ci
Λ2Oi.(1.1)
While EFT is a formidable tool to put correlations at the forefront of BSM searches,
the significant energy coverage of the LHC can lead to blurred sensitivity estimates even
in instances when Eq.
(1.1)
is a sufficiently accurate expansion. When pushing the cut-off
scale Λ to large values, the experimental sensitivity to deviations from the SM can be too
small to yield perturbatively meaningful or relevant constraints when matched to concrete
UV scenarios (see e.g. [
23
]). In contrast, dimension-eight contributions can be sizeable when
the new physics cut-off Λ is comparably low in the case of more significant BSM signals at
the LHC. To understand the ramifications for concrete UV models, it is then important
to (i) have a flexible approach to mapping out the dimension-eight interactions and (ii)
gauge the importance of dimension-eight contributions relative to those of dimension-six to
quantitatively assess the error of the (potential) dimension-eight truncation.
A common bottleneck in constructing EFT interactions is removing redundancies. This
is historically evidenced by the emergence of the so-called Warsaw basis [
22
]. Equations
of motion are typically considered in eliminating redundant operators. Still, they are
not identical to general (non-linear) field redefinitions, which are the actual redundant
parameters of the field theory [
24
–
28
]. When truncating a given operator dimension, this
can be viewed as a scheme-dependence not too unfamiliar from renormalisable theories,
however, with less controlled side-effects when the new physics scale is comparably low.
Additional operator structures need to be included to elevate classical equations of motion
to field re-definitions [
28
,
29
] to achieve a consistent classification at the dimension-eight
level.
In this work, we devise a generic approach to this issue which enables us to provide a
complete framework to match any dimension-eight structure that emerges in the process
of integrating-out a heavy non-SM scalar and obtaining the form of the WCs. Along the
way of systematically re-organising the operators into a non-redundant basis, resembling
the one discussed in Refs. [
30
,
31
], we show that removing the higher-derivative operators
produced at the dimension-six level itself can induce a non-negligible effect on dimension-
eight matching coefficients along with the direct contribution to the same which can be
computed following the familiar methodologies of the Covariant Derivative Expansion
(CDE) [
32
,
33
] of the path integral [
34
–
36
], or diagrammatic approach [
37
,
38
]. Finally, it is
worth mentioning that, even though the one-loop effective action at dimension eight is yet
to be formulated, it is possible to receive equally suppressed, loop-induced corrections from
– 2 –