Quantum Field Theory – Locality of Interactions and Their High Energy Behavior

effective-field-theorylocalitynon-localityquantum-field-theoryrenormalization

In a classic Georgi review of EFT, I have read the following quote

The result of eliminating heavy particles is inevitably a
nonrenormalizable theory, in which the nontrivial effects of the heavy
particles appear in interactions with dimension higher than four. In
the full theory, these effects are included in the nonlocal
interactions obtained by integrating out the heavy particles. These
interactions, because of their nonlocal nature, get cut off for
energies large compared to the heavy particle masses. However, in the
effective theory, we replace the nonlocal interactions from virtual
heavy particle exchange with a set of local interactions, constructed
to give the same physics at low energies. In the process, we have
modified the high energy behavior of the theory, so that the effective
theory is only a valid description of the physics at energies below
the masses of the heavy particles. Thus the domain of utility of an
effective theory is necessarily bounded from above in energy scale.

Why are the new interactions, obtained in the EFT by integrating out the heavy fields, nonlocal? I can't see this as a direct consequence of the nonrenormalizability of the interaction or of the fact that it depends on the exchanged momentum.

I do understand that interactions mediated by massive particles are shortrange because the corresponding effective potential is damped by a real exponential term — but don't know if this has anything to do with my doubt and think that perhaps I'm confusing the concepts of 'local' and 'short range'.

Then, in the phrase

However, in the effective theory, we replace the nonlocal interactions from virtual
heavy particle exchange with a set of local interactions, constructed
to give the same physics at low energies.

I believe that Georgi is talking about the fact that we expand that new effective interaction in powers of $\left( \frac{p^2}{M^2}\right)$.

Why is the expanded perturbative interaction, now, local?

Best Answer

Suppose we start with a UV theory \begin{equation} \mathcal{L} = -\frac{1}{2} (\partial \phi)^2 - \frac{1}{2} (\partial \psi)^2 - \frac{1}{2} M^2 \phi^2 + g \phi \psi^2 \end{equation} where $\phi$ is a heavy field with mass $M$, and $\psi$ is a light field (taken to be massless for simplicity).

We integrate out $\phi$ by solving it's equation of motion. In other words, we make the following replacement in the action \begin{equation} \phi = \frac{g \psi^2}{-\square + M^2} \end{equation} The notation $(\square + M^2)^{-1}$ means to use an appropriate Green's function for the operator $\square + M^2$. You can think of it in momentum space, if you like.

Note that the expression for $\phi$ is non-local. This is because integrating $g\psi^2$ against the Green's function involves an integral over space and time. The integral is non-local, since it involves more than one spacetime point.

Plugging this back into the action, we get a non-local Lagrangian for $\psi$ \begin{equation} \mathcal{L} = - \frac{1}{2} (\partial \psi)^2 + \frac{1}{2}\psi^2 \frac{g^2 }{-\square + M^2}\psi^2 \end{equation} At this stage, the Lagrangian is non-local, but the physics is completely equivalent to the original Lagrangian.

Now we Taylor expand \begin{equation} \frac{1}{-\square + M^2} = \frac{1}{M^2} + \frac{\square}{M^4} + \cdots \end{equation} If we truncate the Taylor expansion, we are left with a local expression (local since there are only a finite number of derivatives and no integrations). The resulting effective theory involves only the light field $\psi$, is local, but is only valid while the Taylor expansion can be trusted, that is, for energies much less than $M$ (when the heavy field cannot be directly produced) \begin{equation} \mathcal{L}_{\rm eff} = -\frac{1}{2} (\partial \psi)^2 + \frac{g^2}{2 M^2} \psi^4+ \frac{g^2}{2 M^4} \psi^2 \square \psi^2 \end{equation} We could include additional terms, if we wanted a higher level of precision.

Related Question