I’ve started learning effective field theory (EFT), with a long-term view of finding possible applications to the experimental study of data excesses connected to simplified SUSY models and jet physics (substructure), my current areas of research. Here I want to lay out some basic concepts of EFT, as presented e.g. in Beneke’s notes; I might give a summary of the rest of the paper (which concerns heavy quark effective theory) in a subsequent blog post, as that seems like a good introductory example (or maybe even look at the Minimal Composite Higgs Model, following Ben Gripaios’ notes).
Imagine we’re doing a perturbative analysis of some process beyond tree-level, and rescale all loop momenta to , ultimately taking — which should be the same as integrating over all . Then we have , where is the so-called superficial degree of divergence. A standard example would be
where I’ve indicated the mass dimensions of the relevant terms. Logarithmic divergence is achieved for , while for the quantity would certainly diverge. Let’s now recast the Lagrangian of our theory in terms of operators , together with their respective couplings and proper dimensions (and some mass scale cut-off $M$):
For a field of type (whatever that is), a propagator would look like
for , and where is a spin factor. In fact, for scalar or massless vector fields, for fermions and for massive vector fields. The latter causes problems and so we decide to simply exclude it from our theory. Furthermore, calling the number of loops in a given diagram, the number of internal -type lines, the external ones, the number of -type vertices, the number of derivatives in and finally the number of -type fields in , the following relations hold (and can be verified by staring at Feynman diagrams long enough):
Putting them all together, we obtain an interesting expression for , in the form :
Why is this formula interesting? Because now, we can characterize the renormalizability of our theory (and the degree of divergence of relevant loops) in terms of the dimensions of the operators that go into it.
In this case, decreases with increasing , that is, only a finite number of diagrams are actually divergent.
is now independent of , and can be driven to negative values simply by adding enough external lines: only a finite number of couplings is needed.
Now diagrams with any number of external lines are susceptible to divergences if vertex occurs sufficiently often: we must include all as counterterms, up to arbitrary dimension.
Excelsior (Finite) ad Theoriam!
What have we learnt? Well, for one thing, we’ve recovered (thankfully) the well-known QFT result that only theories with (for all operators) are potential candidates for a fundamental theory valid at all energy scales. Indeed, these operators come with physically-sensible couplings that are either dimensionless or have positive mass dimension.
But consider now a scattering amplitude with mass dimension and a diagram with insertions of (). Then the contribution is of order
where is the scale of external momenta (roughly the energy scale of our experiment). Only a finite number of non-renormalizable interactions are relevant for . And so we have our first import result concerning EFTs:
EFTs are non-renormalizable theories valid for scale of non-renormalizable interactions.
The effect of states lying at energies is local in experiments at energies , and so a change in UV physics is translated as a change in the . Yet, since contains all possible and since is determined from experimental data, the description is UV-insensitive (high-energy fluctuations are “integrated out” and reside in the values of ).
In the absence of a full, fundamental “Theory of Everything”, we now have a tool to probe deviations from well-accepted partial models (such as the Standard Model of particle physics) through the introduction of higher-order operators up to some arbitrary dimension cut-off. Symmetries become all the more important since they protect our theories from super-renormalizable interactions (for instance, the mass term of a scalar field is and so would either be non-dynamical, or require unnatural fine-tuning ).