## 1 Introduction

The functional renormalization group (FRG) is a way of studying the flow of infinitely many couplings as functions of an externally imposed cutoff. The idea originates from Wilson’s understanding of the renormalization group (RG) as the change in the action that is necessary to obtain the same partition function when the ultraviolet (UV) cutoff is lowered [1, 2]. Early implementations of this idea were based on discrete RG transformations, but soon there appeared equations describing the change of the action under continuous shifts of the cutoff. The first such equation was the Wegner–Houghton equation [3], which has been widely used to study statistical models and, in a particle physics context, to put bounds on the Higgs mass [4]. Another related equation that has been used originally to gain new insights in the renormalizability of $$\phi ^4$$ theory is the Polchinski equation [5]. In particle physics one is usually more interested in the effective action (EA) than in the partition function, so one may anticipate that an equation describing the flow of the generator of 1PI Green functions may be of even greater use. For this purpose, the convenient functional to use is the effective average action (EAA) $$\Gamma _k$$. It is defined in the same way as the ordinary effective action, with the following modifications. First, one adds to the bare action $$S[\phi ]$$ a cutoff term characterized by a cutoff scale k, of the form

\begin{aligned} \Delta S_{k}[\phi ]=\frac{1}{2}\int \mathrm{d}^{d}q\,\phi (-q)\, R_{k}(q^2)\,\phi (q). \end{aligned}
(1)

Thus, the partition function becomes

\begin{aligned} e^{W_k[j]}=\int (\mathrm{d}\phi )e^{-S[\phi ]-\Delta S_k[\phi ] -\int \mathrm{d}x j\,\phi }. \end{aligned}
(2)

Second, after performing the Legendre transform one subtracts the same term: $$\Gamma _k[\varphi ]=-W_k[j]+\int \mathrm{d}x j\,\varphi -\Delta S_k[\varphi ]$$, where $$\varphi =\langle \phi \rangle$$. For general reviews see e.g. [69]. The effect of this term is to suppress the propagation of low momentum modes leaving the vertices unchanged. The cutoff kernel $$R_k(z)$$ is required to go to zero fast when its argument z (which in flat spacetime applications can be thought of as momentum squared) is greater than the cutoff scale $$k^2$$. In typical application this decay could be a polynomial of sufficiently high degree or an exponential. The cutoff kernel is also required to tend to zero (for all z) when $$k\rightarrow 0$$. This implies that when $$k\rightarrow 0$$ the EAA reduces to the ordinary effective action.

The k-dependence of the EAA is described by the Wetterich equation [1012]

\begin{aligned} \partial _t\Gamma _k= \frac{1}{2}\mathrm {S}\,\mathrm {Tr}\left( \frac{\delta ^{2}\Gamma _k}{\delta \varphi \delta \varphi }+R_{k}\right) ^{-1}\partial _t R_k\ , \end{aligned}
(3)

where $$t=\log (k/k_0)$$, $$k_0$$ is an arbitrary reference scale and the supertrace in the r.h.s. stands (in flat spacetime) for an integration over coordinate and momentum space and a trace over any representation of internal and spacetime symmetries that the fields may carry. Due to the fast fall-off of the cutoff kernel, also the function $$\partial _t R_k$$, which appears inside the trace in the r.h.s. of (3), decays fast for large z. This makes the trace in the r.h.s. of (3) convergent.

The functional renormalization group equation (FRGE) has been widely used in studies of the infrared (IR) properties of statistical and particle physics models, in particular of phase transitions and critical phenomena. It has also been used to study the ultraviolet behaviour of gravity, in particular to establish the existence of a non-trivial fixed point which may be used to define a continuum limit [1315]. Here we would like to discuss some examples taken mostly from particle physics where the Wetterich equation is used instead as a tool to compute the effective action.

The basic idea is as follows. Assume that $$\Gamma _k$$ is the most general functional of the given fields which is invariant under the assumed symmetries of the system. In many applications it is justified to assume that it is a semi-local functional [19, 20], meaning that it admits an expansion into infinitely many local terms constructed with the fields and their derivatives of arbitrary degree. We call “theory space” the space of these functionals. Equation (3) defines a vector field on this space whose integral lines are the RG trajectories. We can now fix an arbitrary initial point in theory space and identify it as the “bare” action of the theory at some UV scale $$\Lambda$$. Typically one will choose this bare action to be local and simple, but this is not essential. One can integrate the RG flow in the direction of decreasing t and the IR endpoint of the flow for $$t\rightarrow -\infty$$ represents the effective action. The couplings in the effective action can be interpreted as renormalized couplings, and the integral of their beta functions from $$k=0$$ to $$k=\Lambda$$ is the relation between bare and renormalized couplings.

One can also ask what would happen if we tried to take the limit $$\Lambda \rightarrow \infty$$. This is equivalent to solving the FRGE in the direction of increasing t with the same initial condition. (Since the initial condition at the original value of $$\Lambda$$ is kept fixed, also the effective action will remain fixed, so this is very similar to the Wilsonian procedure of changing the action at the UV cutoff “keeping the physics fixed”.) There is a variety of possible behaviours. If some coupling blows up at finite t (a Landau pole), the RG flow stops there and one has to interpret the theory as an effective field theory with an upper limit to its validity. On the other hand if the trajectory ends at a fixed point, one may expect all physical observables to be well behaved. In this case the theory is UV complete. The main point is that by integrating the flow towards the UV one can study the UV divergences of the theory and argue about its UV completeness.

Below we will calculate the r.h.s. of the Wetterich equation for several theories, and then we integrate the flow down to $$k=0$$ to obtain the effective action. Of course, given that the effective action of any non-trivial theory is infinitely complicated, we can only obtain partial information as regards such a theory, and then only in certain approximations. Here we will exploit the great flexibility of the FRGE with regards to approximation schemes. In typical previous applications of the FRGE, for example in the study of the Wilson–Fisher fixed point, it is often enough to retain only the zero-momentum part of the effective action, but it is important to retain the full field dependence. In particle physics one usually considers the scattering of a few particles at a time and the full field dependence is not needed. On the other hand, there one is interested in the full momentum dependence. Clearly, a different type of approximation is needed.

In the following, unless otherwise stated, we will calculate the r.h.s. of the flow equation keeping $$\Gamma _k$$ fixed at its ultraviolet form $$\Gamma _\Lambda$$.Footnote 1 In perturbation theory this is equivalent to working at one-loop. The one-loop EAA is given by

\begin{aligned} \Gamma ^{(1)}_{k}[\varphi ]=S[\varphi ]+\frac{1}{2}\text {Tr}\log \left( \frac{\delta ^{2}S}{\delta \varphi \delta \varphi }+R_{k}\right) \end{aligned}
(4)

and satisfies the equation

\begin{aligned} \partial _t\Gamma _k^{(1)}=\frac{1}{2}\mathrm {Tr}\left( \frac{\delta ^{2}S}{\delta \varphi \delta \varphi }+R_{k}\right) ^{-1}\partial _t R_k. \end{aligned}
(5)

We will use known results on the non-local heat kernel to compute the trace on the r.h.s. and in this way obtain the flow of the non-local part of the EAA. A similar calculation in the full flow equation is beyond currently available techniques. Integrating the flow we will derive the non-local, finite parts of the effective action containing up to two powers of the field strength. (By “field strength” we mean here in general the curvature of the metric or of the Yang–Mills fields or the values of the scalar condensates.) Such terms can be used to describe several physical phenomena, such as self-energies and, in some cases, scattering amplitudes. In each of the cases that we shall consider one can find some justification for the approximations made, as we shall discuss below.

We now give a brief overview of the main results and of the content of the subsequent sections. In Sect. 2 we review the mathematical results for the non-local heat kernel expansion of a function of a Laplace-type operator of Eq. (6). The operator will generally depend on background fields such as metric, Yang–Mills field (if it acts on fields carrying non-zero charges of the gauge group) or scalar condensates. The trace of the heat kernel of the operator admits a well-known asymptotic expansion whose coefficients are integrals of powers of the field strengths. The non-local heat kernel expansion is a sum of infinitely many such terms, containing a fixed number of field strengths but arbitrary powers of derivatives. It can thus be viewed as a vertex expansion of the heat kernel. One can expand the trace of any operator, and hence also the trace on the r.h.s. of Eq. (3), as a sum of these non-local expressions, with coefficients that depend on the particular function that is under the trace. There are certain ambiguities in these calculations: one may choose to regard the r.h.s. as a function of different operators, and one has the freedom of choosing different cutoff functions $$R_k$$. We shall see, however, that physical results are independent of these choices.

As a warmup in Sect. 3 we will begin by using this technique to calculate the EA of a scalar field. We will see that the integration of the FRGE yields the familiar relations between the bare and renormalized couplings and that in the limit $$\Lambda \rightarrow \infty$$ there are only three divergences. Integration of the flow equation down to $$k=0$$ yields an EA that encodes the familiar formula for the one-loop scattering amplitude.

In Sect. 4 we compute the EA for photons in QED which is obtained by integrating out the fermion fields. We reproduce the known vacuum polarization effects, and, within an expansion in inverse powers of the electron mass, the four-photon interactions described by the Euler–Heisenberg Lagrangian. In Sect. 5 we calculate the vacuum polarization effects in Yang–Mills theory. In this case, unlike all other cases considered in this paper, due to IR divergences it is not possible to integrate the flow equation down to $$k=0$$. We thus have to restrict our attention to a finite range of momenta for which the theory remains in a neighbourhood of its asymptotically free UV fixed point.

The remaining two sections are devoted to examples of effective field theories (EFTs). In Sect. 6 we consider the chiral nonlinear sigma model, which describes the low energy interactions of pions (and also, in a different interpretation, the low energy scattering of longitudinal W bosons). As expected, in this case we find divergences that are not of the same form as in the original action. The effective action is organized as an expansion in powers of $$p/ F_\pi$$, where p is momentum and $$F_\pi$$ is the pion decay constant. We compute in the one-loop approximation the four-point function and we show that it reproduces the well-known result of Gasser and Leutwyler [45].

Finally in Sect. 7 we consider the theory of a scalar field coupled to dynamical gravity. We compute the FRGE keeping terms with two field strengths but all powers of momentum. This calculation is justified by an expansion in powers of $$p/M_\mathrm{Planck}$$. In this case we obtain for the first time unambiguous covariant formulae for the logarithmic terms in the EA.

## 2 The non-local heat kernel expansion

The r.h.s. of Eq. (3) is the trace of a function of an operator $$\Delta$$. In the simplest cases this operator is a second-order Laplace-type operator. In the presence of general background fields (gravity, Yang–Mills fields) this operator will be a covariant Laplacian, related to the inverse propagator of the theory in question. In general it will have the form

\begin{aligned} \Delta =-D^2\mathbf {1}+\mathbf {U}, \end{aligned}
(6)

where D is a covariant derivative with respect to all the background fields and $$\mathbf {U}$$ is a non-derivative part that is a matrix in the appropriate representations of all the symmetry groups that are carried by the fields (it thus carries both internal and spacetime indices).

Before discussing any physical application, we outline here the heat kernel method we employ in the calculation of the trace. The typical expression that we need to trace is

\begin{aligned} h_k(\Delta ,\omega )=\frac{\partial _t R_k(\Delta )}{\Delta +\omega +R_k(\Delta )}. \end{aligned}
(7)

Sometimes one has an additional term $$-\eta R_k(\Delta )$$ in the numerator, where $$\eta$$ is called ‘anomalous dimension’. This term can be neglected in one-loop calculations. The typical form of the Wetterich equation is then

\begin{aligned} \partial _t\Gamma _k= \frac{1}{2}\text{ Tr }\,h_k(\Delta ,\omega ). \end{aligned}
(8)

Let us introduce the Laplace transform $${{\tilde{h}}}_k(s,\omega )$$ by

\begin{aligned} h_k(\Delta ,\omega )=\int _0^\infty \mathrm{d}s\, {{\tilde{h}}}_k(s,\omega ) e^{-s\Delta }. \end{aligned}
(9)

If we insert Eq. (9) in the r.h.s. of Eq. (8), by linearity the trace goes through the integral and we remain with

\begin{aligned} \partial _t\Gamma _k= \frac{1}{2}\int _0^\infty \mathrm{d}s\, {{\tilde{h}}}_k(s,\omega ) \text{ Tr }\,e^{-s\Delta }. \end{aligned}
(10)

One can now use the asymptotic expansion for the trace of the heat kernel

\begin{aligned}&\text{ Tr }\,e^{-s\Delta }=\frac{1}{(4\pi s)^{d/2}}\int \mathrm{d}^dx\sqrt{g} \text{ tr }\,\nonumber \\&\quad \times [\mathbf {b}_0(\Delta )+\mathbf {b}_2(\Delta ) s+\mathbf {b}_4(\Delta )s^2\nonumber \\&\quad +\cdots +\mathbf {b}_d(\Delta )s^{d/2}+\cdots ], \end{aligned}
(11)

whose first three coefficients are

\begin{aligned} \mathbf {b}_0(\Delta )= & {} \mathbf {1} \nonumber \\ \mathbf {b}_2(\Delta )= & {} \frac{R}{6}\mathbf {1}-\mathbf {U} \nonumber \\ \mathbf {b}_4(\Delta )= & {} \frac{1}{2}\mathbf {U}^2+\frac{1}{6}D^2\mathbf {U}+\frac{1}{12}\mathbf {\Omega }_{\mu \nu }\mathbf {\Omega }^{\mu \nu }-\frac{R}{6}\mathbf {U} \nonumber \\&+\mathbf {1}\left( \frac{1}{180}R_{\mu \nu \alpha \beta }^2-\frac{1}{180}R_{\mu \nu }^2+\frac{1}{72}R^2-\frac{1}{30}D^2R\right) \nonumber \\ \end{aligned}
(12)

where the spacetime curvatures are constructed using the Levi-Civita connection and $$\mathbf {\Omega }_{\mu \nu }=[D_\mu ,D_\nu ]$$ is the field strength tensor. The first d / 2 terms in Eq. (11) come with an overall negative power of s, while all subsequent terms have positive powers. When we insert this expansion in Eq. (10) we can write

\begin{aligned} \partial _t\Gamma _k&= \frac{1}{2}\frac{1}{(4\pi )^{d/2}}\int \mathrm{d}^d x\sqrt{g}\,\text{ tr }\,\nonumber \\&\quad \times \lbrace \mathbf {b}_0(\Delta )Q_{\frac{d}{2}}[h_k] +\mathbf {b}_2(\Delta )Q_{\frac{d}{2}-1}[h_k]\nonumber \\&\quad + \mathbf {b}_4(\Delta )Q_{\frac{d}{2}-2}[h_k] +\dots +\mathbf {b}_d(\Delta )Q_0[h_k]+\cdots \rbrace \nonumber \\ \end{aligned}
(13)

where the “Q-functionals” are defined by

\begin{aligned} Q_n[f]=\int _0^\infty \mathrm{d}s s^{-n}{\tilde{f}}(s). \end{aligned}
(14)

For n a positive integer one can use the definition of the Gamma function to rewrite (14) as a Mellin transform

\begin{aligned} Q_{n}[f]=\frac{1}{\Gamma (n)}\int _{0}^{\infty }\mathrm{d}w\, w^{n-1}f(w), \end{aligned}
(15)

while for m a positive integer or $$m=0$$

\begin{aligned} Q_{-m}[f] = (-1)^{m}f^{(m)}(0). \end{aligned}
(16)

This expansion is useful to study the UV divergences, which are always given by local expressions. In particular, one finds that the first d terms in the expansion (13) give rise to divergences in the effective action.

In order to calculate non-local, finite parts of the effective action we need a more sophisticated version of the heat kernel expansion which includes an infinite number of heat kernel coefficients. This expansion has been developed in [2124] and retains the infinite number of heat kernel coefficients in the form of non-local “structure functions” or “form factors”. For an alternative derivation see [25]. Keeping terms up to second order in the fields strengths, the non-local heat kernel expansion reads as follows:

\begin{aligned}&\text{ Tr }\,e^{-s\Delta } \nonumber \\&\quad =\frac{1}{(4\pi s)^{d/2}} \int \mathrm{d}^{d}x\sqrt{g}\,\text{ tr }\,\nonumber \\&\qquad \times \,\left\{ \mathbf {1}-s \mathbf {U}+s\mathbf {1}\frac{R}{6} + s^{2}\left[ \mathbf {1}R_{\mu \nu }f_\mathrm{Ric}(-sD^2)R^{\mu \nu } \right. \right. \nonumber \\&\qquad \left. +\, \mathbf {1}R\, f_{R}(-sD^2)R + \, R\,f_{RU}(-sD^2)\mathbf {U} \right. \nonumber \\&\qquad \left. \left. +\, \mathbf {U}f_{U}(-sD^2)\mathbf {U}+ \, \mathbf {\Omega }_{\mu \nu }f_{\Omega }(-sD^2)\mathbf {\Omega }^{\mu \nu }\right] +\cdots \right\} .\nonumber \\ \end{aligned}
(17)

The structure functions in Eq. (17) are given by

\begin{aligned}&f_\mathrm{Ric}(x) = \frac{1}{6x}+\frac{1}{x^{2}}\left[ f(x)-1\right] \nonumber \\&f_{R}(x) = \frac{1}{32}f(x)+\frac{1}{8x}f(x)-\frac{7}{48x} -\frac{1}{8x^{2}}\left[ f(x)-1\right] \nonumber \\&f_{RU}(x) = -\frac{1}{4}f(x)-\frac{1}{2x}\left[ f(x)-1\right] \nonumber \\&f_{U}(x) = \frac{1}{2}f(x)\nonumber \\&f_{\Omega }(x) = -\frac{1}{2x}\left[ f(x)-1\right] , \end{aligned}
(18)

where the basic heat kernel structure function f(x) is defined in terms of the parametric integral

\begin{aligned} f(x)=\int _{0}^{1}\mathrm{d}\xi \, e^{-x\xi (1-\xi )}. \end{aligned}
(19)

Using in Eq. (18) the Taylor expansion of the basic structure function $$f(x)=1-\frac{x}{6}+\frac{x^{2}}{60}+O(x^{4})$$, we obtain the following “short time” expansion for the structure functions:

\begin{aligned} \begin{aligned}&f_\mathrm{Ric}(x) = \frac{1}{60}-\frac{x}{840}+\frac{x^{2}}{15120}+O(x^{4})\\&f_{R}(x) = \frac{1}{120}-\frac{x}{336}+\frac{11x^{2}}{30240}+O(x^{4})\\&f_{RU}(x) = -\frac{1}{6}+\frac{x}{30}-\frac{x^{2}}{280}+O(x^{4})\\&f_{U}(x) = \frac{1}{2}-\frac{x}{12}+\frac{x^{2}}{120}+O(x^{4})\\&f_{\Omega }(x) = \frac{1}{12}-\frac{x}{120}+\frac{x^{2}}{1680}+O(x^{4}). \end{aligned} \end{aligned}
(20)

If we insert Eq. (20) in Eq. (17), the first term reproduces the coefficients of the local heat kernel expansion discussed previously. If we compare with Eq. (11) we see that not all coefficients match exactly. This is because the local heat kernel expansion is derived by calculating the un-integrated coefficients while the non-local heat kernel expansion is derived by calculating the integrated ones. So the coefficients derived by expanding the structure functions Eq. (18) may differ from the local ones Eq. (12) by a total derivative or a boundary term. For example, only two of the three possible curvature square invariants present in Eq. (11) appear in Eq. (17), the third one has been eliminated using Bianchi’s identities and discarding a boundary term. For this reason also the total derivative terms in the coefficient $$B_{4}(\Delta )$$ are not present in the non-local expansion. Thus, in general, a straightforward series expansion of the non-local heat kernel structure functions will not reproduce exactly the same heat kernel coefficients of the local expansion. See [22] for more details on this point.

Inserting Eq. (17) in Eq. (10) we obtain

\begin{aligned} \partial _t\Gamma _k&= \frac{1}{2}\frac{1}{(4\pi )^{d/2}} \int \mathrm{d}^{d}x\sqrt{g}\,\text{ tr }\,\nonumber \\&\quad \times \left\{ \mathbf {1}\left[ \int _0^\infty \mathrm{d}s\, {{\tilde{h}}}_k(s,\omega )s^{-d/2}\right] \right. \nonumber \\&\qquad -\mathbf {U}\left[ \int _0^\infty \mathrm{d}s\, {{\tilde{h}}}_k(s,\omega )s^{-d/2+1}\right] \nonumber \\&\qquad +\frac{R}{6}\mathbf {1}\left[ \int _0^\infty \mathrm{d}s\, {{\tilde{h}}}_k(s,\omega )s^{-d/2+1}\right] \nonumber \\&\qquad +\mathbf {1}R_{\mu \nu }\left[ \int _0^\infty \mathrm{d}s\, {{\tilde{h}}}_k(s,\omega )s^{-d/2+2}f_\mathrm{Ric}(sz) \right] R^{\mu \nu }\nonumber \\&\qquad +\mathbf {1}R\left[ \int _0^\infty \mathrm{d}s\, {{\tilde{h}}}_k(s,\omega )s^{-d/2+2}f_{R}(sz) \right] R \nonumber \\&\qquad +R\left[ \int _0^\infty \mathrm{d}s\, {{\tilde{h}}}_k(s,\omega )s^{-d/2+2}f_{RU}(sz) \right] \mathbf {U} \nonumber \\&\qquad + \mathbf {U}\left[ \int _0^\infty \mathrm{d}s\, {{\tilde{h}}}_k(s,\omega )s^{-d/2+2}f_{U}(sz) \right] \mathbf {U} \nonumber \\&\qquad \left. + \mathbf {\Omega }_{\mu \nu } \left[ \int _0^\infty \mathrm{d}s\, {{\tilde{h}}}_k(s,\omega )s^{-d/2+2}f_{\Omega }(sz) \right] \mathbf {\Omega }^{\mu \nu } \right. \nonumber \\&\qquad \left. +O(\mathcal {R}^{3})\right\} \nonumber \\&= \frac{1}{2}\frac{1}{(4\pi )^{d/2}} \int \mathrm{d}^{d}x\sqrt{g}\,\left\{ Q_{\frac{d}{2}}[h_k]\,\text{ tr }\,\!\mathbf {1}\right. \nonumber \\&\qquad +Q_{\frac{d}{2}-1}[h_k]\,\text{ tr }\,\!\!\left( \frac{R}{6}\mathbf {1}-\mathbf {U}\right) +R_{\mu \nu }g_\mathrm{Ric}R^{\mu \nu }\,\text{ tr }\,\!\mathbf {1} \nonumber \\&\qquad +\,R\,g_R R\,\text{ tr }\,\!\mathbf {1} +R\,g_{RU}\,\text{ tr }\,\!\mathbf {U} +\text{ tr }\,\! \left( \mathbf {U}g_U\mathbf {U} \right) \nonumber \\&\qquad \left. +\text{ tr }\,\!\left( \mathbf {\Omega }_{\mu \nu }\,g_\Omega \, \mathbf {\Omega }^{\mu \nu } \right) +\cdots \right\} . \end{aligned}
(21)

Here and in the following $$z=-D^2$$. The first three terms are local and have been rewritten in terms of Q-functionals as in the first terms of Eq. (13). In the remaining ones we have defined

\begin{aligned} g_A=g_A( z, \omega ,k)= \int _0^\infty \mathrm{d}s\, {\tilde{h}}_k(s,\omega )s^{-d/2+2}f_A(sz), \end{aligned}
(22)

for $$A=\{\mathrm{Ric},R,RU,U,\Omega \}$$. From the definition of the Laplace transform we see that shifting the argument of $$h_k$$ by a is the same as multiplying the Laplace transform by $$e^{-sa}$$. Then:

\begin{aligned} \int _0^\infty \mathrm{d}s\,s^{-n}e^{-sa}{\tilde{h}}_k(s,\omega )=Q_n[h_{k,\omega }^a], \end{aligned}
(23)

where

\begin{aligned} h_{k,\omega }^a(z)\equiv h_k(z+a,\omega );\, h_{k,\omega }(z)\equiv h_k(z,\omega ). \end{aligned}
(24)

We can use this to write the functions $$g_A$$ in terms of Q-functionals of shifted arguments:

\begin{aligned} g_\mathrm{Ric}(z,\omega ,k)= & {} \frac{1}{6z}Q_{\frac{d}{2}-1}[h_{k,\omega }]- \frac{1}{z^2}Q_{\frac{d}{2}}[h_{k,\omega }] \nonumber \\&+\frac{1}{z^2}\int _0^1 \mathrm{d}\xi \, Q_{\frac{d}{2}}[h_{k,\omega }^{z\xi (1-\xi )}] \nonumber \\ g_R(z,\omega ,k)= & {} -\frac{7}{48z}Q_{\frac{d}{2}-1}[h_{k,\omega }] +\frac{1}{8z^2}Q_{\frac{d}{2}}[h_{k,\omega }] \nonumber \\&+\frac{1}{32}\int _0^1 \mathrm{d}\xi \, Q_{\frac{d}{2}-2}[h_{k,\omega }^{z\xi (1-\xi )}] \nonumber \\&+\frac{1}{8z}\int _0^1 \mathrm{d}\xi \, Q_{\frac{d}{2}-1}[h_{k,\omega }^{z\xi (1-\xi )}]\nonumber \\&-\frac{1}{8z^2}\int _0^1 \mathrm{d}\xi \, Q_{\frac{d}{2}}[h_{k,\omega }^{z\xi (1-\xi )}] \nonumber \\ g_{RU}(z,\omega ,k)= & {} \frac{1}{2z}Q_{\frac{d}{2}-1}[h_{k,\omega }] -\frac{1}{4}\int _0^1 \mathrm{d}\xi \, Q_{\frac{d}{2}-2}[h_{k,\omega }^{z\xi (1-\xi )}]\nonumber \\&-\frac{1}{2z}\int _0^1 \mathrm{d}\xi \, Q_{\frac{d}{2}-1}[h_{k,\omega }^{z\xi (1-\xi )}] \nonumber \\ g_U(z,\omega ,k)= & {} \frac{1}{2}\int _0^1 \mathrm{d}\xi \, Q_{\frac{d}{2}-2}[h_{k,\omega }^{z\xi (1-\xi )}] \nonumber \\ g_\Omega (z,\omega ,k)= & {} \frac{1}{2z}Q_{\frac{d}{2}-1}[h_{k,\omega }] \nonumber \\&-\frac{1}{2z}\int _0^1 \mathrm{d}\xi \, Q_{\frac{d}{2}-1}[h_{k,\omega }^{z\xi (1-\xi )}]. \end{aligned}
(25)

These formulae can be made more explicit by choosing a specific cutoff kernel. We will use the piecewise linear or “optimized” cutoff [26]

\begin{aligned} R_k(z)=(k^2-z)\theta (k^2-z)=k^2(1-{\tilde{z}})\theta (1-{\tilde{z}})\ , \end{aligned}
(26)

where $${\tilde{z}}=z/k^2$$. It has the virtue that the Q-functionals can be evaluated in closed form. In $$d=4$$ we will need the functionals $$Q_2$$, $$Q_1$$ and $$Q_0$$ for both unshifted and shifted argument. The unshifted Q-functionals are

\begin{aligned} Q_n\left[ h_k\right] ={2k^{2n}\over \Gamma (n+1)}\frac{1}{1+{\tilde{\omega }}}\qquad \mathrm{for}\ n=0,1,2\ldots \end{aligned}
(27)

where $${\tilde{\omega }}=\omega /k^2$$. The parametric integrals of the shifted functionals can be calculated using

\begin{aligned} \int _{0}^{1}\mathrm{d}\xi \, Q_{0}[h_{k}^{z\xi (1-\xi )}]= & {} \frac{2k^2}{k^2+\omega }\nonumber \\&\times \left[ 1-\sqrt{1-\frac{4k^{2}}{z}}\theta (z-4k^{2})\right] \nonumber \\ \end{aligned}
(28)
\begin{aligned}&\int _{0}^{1}\mathrm{d}\xi Q_{1}[h_{k}^{z\xi (1-\xi )}]\nonumber \\&\quad =\frac{2k^{4}}{k^2+\omega } \left[ 1-\frac{z}{6k^{2}}+\frac{z}{6k^{2}}\left( 1-\frac{4k^{2}}{z}\right) ^{\frac{3}{2}}\theta (z-4k^{2})\right] \nonumber \\ \end{aligned}
(29)
\begin{aligned} \int _{0}^{1}\mathrm{d}\xi \, Q_{2}[h_{k}^{z\xi (1-\xi )}]= & {} \frac{k^{6}}{k^2+\omega }\left[ 1-\frac{z}{3k^{2}}+\frac{z^{2}}{30k^{4}}\right. \nonumber \\&\left. -\frac{z^{2}}{30k^{4}}\left( 1-\frac{4k^{2}}{z}\right) ^{\frac{5}{2}}\theta (z-4k^{2})\right] .\nonumber \\ \end{aligned}
(30)

Plugging these expressions into Eq. (25) we see that (in $$d=4$$) the functions $$g_A$$ depend only on $${\tilde{z}}$$ and $${\tilde{\omega }}$$. In this case it is convenient to define $$g_A({\tilde{z}}, {\tilde{\omega }})\equiv g_A(z,\omega ,k)$$. These functions are explicitly given by

\begin{aligned} g_\mathrm{Ric}({\tilde{z}},{\tilde{\omega }})= & {} \frac{1}{30}\frac{1}{1+{\tilde{\omega }}}\left[ 1-\left( 1-\frac{4}{{\tilde{z}}}\right) ^{5/2}\theta ({\tilde{z}}-4) \right] \end{aligned}
(31)
\begin{aligned} g_R({\tilde{z}},{\tilde{\omega }})= & {} \frac{1}{1+{\tilde{\omega }}}\left[ \frac{1}{60} -\frac{1}{16}\left( 1-\frac{4}{{\tilde{z}}}\right) ^{1/2}\theta ({\tilde{z}}-4)\right. \nonumber \\&+\frac{1}{24}\left( 1-\frac{4}{{\tilde{z}}}\right) ^{3/2}\theta ({\tilde{z}}-4)\nonumber \\&\left. +\frac{1}{240}\left( 1-\frac{4}{{\tilde{z}}}\right) ^{5/2}\theta ({\tilde{z}}-4) \right] \end{aligned}
(32)
\begin{aligned} g_{RU}({\tilde{z}},{\tilde{\omega }})= & {} \frac{1}{1+{\tilde{\omega }}}\left[ -\frac{1}{3}+\frac{1}{2}\sqrt{1-\frac{4}{{\tilde{z}}}}\theta ({\tilde{z}}-4)-\frac{1}{6}\right. \nonumber \\&\left. \times \left( 1-\frac{4}{{\tilde{z}}}\right) ^{\frac{3}{2}}\theta ({\tilde{z}}-4) \right] \end{aligned}
(33)
\begin{aligned} g_U({\tilde{z}},{\tilde{\omega }})= & {} \frac{1}{1+{\tilde{\omega }}}\left[ 1-\left( 1-\frac{4}{{\tilde{z}}}\right) ^{1/2}\theta ({\tilde{z}}-4) \right] \end{aligned}
(34)
\begin{aligned} g_\Omega ({\tilde{z}},{\tilde{\omega }})= & {} \frac{1}{6}\frac{1}{1+{\tilde{\omega }}}\left[ 1-\left( 1-\frac{4}{{\tilde{z}}}\right) ^{3/2}\theta ({\tilde{z}}-4) \right] . \end{aligned}
(35)

With these relations we can now compute the functional traces on the rhs of the FRGE.

## 3 Real scalar

We begin considering Euclidean scalar theories defined by the following bare action:

\begin{aligned} S[\varphi ]= & {} \Gamma _\Lambda [\varphi ]\nonumber \\= & {} \int \mathrm{d}^{d}x\,\left\{ E_\Lambda + \frac{1}{2}\partial _{\mu }\varphi \partial ^{\mu }\varphi +\frac{m_\Lambda ^{2}}{2}\varphi ^{2} +\frac{\lambda _\Lambda }{4!}\varphi ^4\right\} . \nonumber \\ \end{aligned}
(36)

The field-independent term has been put in for later convenience but it is unimportant as long as gravity can be neglected. The restriction to a quartic potential is not dictated by arguments of renormalizability and to deal with arbitrary potential is not problematic in the context of the FRGE. In general, all the higher dimensional operators—which are generated by the quartic interaction—have an effect on the running of the quartic coupling itself. We ignore these terms because we are interested in reproducing the standard result for the one-loop four-point amplitude.

Using Eq. (36), the first step is to compute the Hessian entering in the one-loop RG flow of Eq. (5)

\begin{aligned} \frac{\delta S}{\delta \varphi \delta \varphi }=-\Box +m_\Lambda ^2+\frac{\lambda _\Lambda }{2}\varphi ^2. \end{aligned}
(37)

In order to properly account for threshold effects, it is convenient to choose the argument of the cutoff $$R_k(\Delta )$$ to be the operator $$\Delta =-\Box +\frac{\lambda _\Lambda }{2}\varphi ^2$$. Thus we have $$\mathbf {U}=\frac{\lambda _\Lambda }{2}\varphi ^2$$. In this way the function to be traced in the flow equation assumes the standard form of Eq. (7) discussed in the previous section. Equation (10) reads

\begin{aligned}&\partial _{t}\Gamma _{k}[\varphi ] = \frac{1}{2}\text{ Tr }\,h_{k}\left( -\Box +\frac{\lambda _\Lambda }{2}\varphi ^2,m_\Lambda ^2\right) \nonumber \\&\quad =\frac{1}{2}\int _{0}^{\infty }\mathrm{d}s\,{{\tilde{h}}}_{k}(s,m_\Lambda ^{2})\,\text {Tr}\, e^{-s\left( -\Box +\frac{\lambda _\Lambda }{2}\varphi ^2\right) }. \end{aligned}
(38)

We evaluate the trace in Eq. (38) using the non-local heat kernel expansion. Setting $$\mathbf {U}=\frac{\lambda _\Lambda }{2}\varphi ^2$$ in the general result of Eq. (21) gives

\begin{aligned}&\partial _{t}\Gamma _{k}[\varphi ] = \frac{1}{2}\frac{1}{(4\pi )^{d/2}}\int \mathrm{d}^{d}x\int _{0}^{\infty }\mathrm{d}s\,{\tilde{h}}_{k}(s,m_{\Lambda }^{2})\, s^{-d/2}\nonumber \\&\quad \times \left[ 1-\frac{\lambda _\Lambda }{2}s\varphi ^2 +\frac{\lambda _\Lambda ^2}{4}s^{2}\varphi ^2 f_U\left( sz\right) \varphi ^2 \right] , \end{aligned}
(39)

where $$z=-\Box$$. Using Eqs. (14) and (25) we obtain the following form for the beta functional:

\begin{aligned}&\partial _{t}\Gamma _{k}[\varphi ] = \frac{1}{2}\frac{1}{(4\pi )^{d/2}}\int \mathrm{d}^{d}x\nonumber \\&\left\{ Q_{\frac{d}{2}}[h_{k}] -\frac{\lambda _\Lambda }{2}Q_{\frac{d}{2}-1}[h_{k}]\varphi ^2\right. \nonumber \\&\quad \left. +\frac{\lambda _\Lambda ^2}{8}\varphi ^2\int _0^1 \mathrm{d}\xi \, Q_{\frac{d}{2}-2}[h_k^{z \xi (1-\xi )}] \varphi ^2\right\} . \end{aligned}
(40)

At this point we make the following ansatz for the EAA entering in the l.h.s. of Eq. (38), bearing in mind that we are interested in terms up to fourth order in the scalar fields:

\begin{aligned} \Gamma _{k}[\varphi ]= & {} \int \mathrm{d}^{d}x\,\left\{ E_k+\frac{Z_{k}}{2}\partial _\mu \varphi \partial ^\mu \varphi \right. \nonumber \\&+\left. \frac{m^2_k}{2}\varphi ^2+\frac{1}{4!}\varphi ^2 F_{k}(-\Box )\varphi ^2\right\} , \end{aligned}
(41)

with $$F_{k}(0)=\lambda _k$$. Plugging the ansatz for $$\Gamma _k[\varphi ]$$ in Eq. (40) we read off the beta functions

\begin{aligned} \partial _t E_k= & {} \frac{1}{2}\frac{1}{(4\pi )^{d/2}}Q_{\frac{d}{2}}\left[ h_{k}\right] , \nonumber \\ \partial _{t}Z_{k}= & {} 0 ,\nonumber \\ \partial _{t}m_{k}^{2}= & {} -\frac{1}{2}\frac{\lambda _{\Lambda }}{(4\pi )^{d/2}}Q_{\frac{d}{2}-1}\left[ h_{k}\right] \end{aligned}
(42)

and the flow of the structure function

\begin{aligned} \partial _{t}F_{k}(z)=\frac{3}{2}\frac{\lambda _{\Lambda }^{2}}{(4\pi )^{d/2}}\int _{0}^{1}\mathrm{d}\xi \, Q_{\frac{d}{2}-2}\left[ h_{k}^{z\xi (1-\xi )}\right] . \end{aligned}
(43)

Taking $$z\rightarrow 0$$ in the last equation we obtain the beta function for the self-interaction coupling constant

\begin{aligned} \partial _{t}\lambda _{k} = \frac{3}{2}\frac{\lambda _{\Lambda }^{2}}{(4\pi )^{d/2}}Q_{\frac{d}{2}-2}\left[ h_{k}\right] . \end{aligned}
(44)

From now on we restrict ourselves to $$d=4$$, using Eq. (27) to evaluate the Q-functionals, we see that the beta functions for $$m_{k}^{2}$$ and $$\lambda _{k}$$ are

\begin{aligned} \partial _{t}m_{k}^{2}= & {} -\frac{\lambda _{\Lambda }}{(4\pi )^{2}}\frac{k^2}{k^2+{m}_{\Lambda }^{2}},\end{aligned}
(45)
\begin{aligned} \partial _{t}\lambda _{k}= & {} \frac{3\lambda _{\Lambda }^{2}}{(4\pi )^{2}}\frac{k^2}{k^2+{m}_{\Lambda }^{2}}. \end{aligned}
(46)

One can now perform the RG improvement and make the substitutions $$m_{\Lambda } \rightarrow m_{k}$$, $$\lambda _{\Lambda } \rightarrow \lambda _{k}$$ in the r.h.s. of the beta functions and show, for example, that the theory (36) in trivial. We will not repeat this discussion here, since we are interested to show how to compute the four-point amplitude in the context of the FRGE. Introducing the dimensionless mass $${{\tilde{m}}}_k^{2}=k^{-2}{m}_k^{2}$$ and expanding for small $${{\tilde{m}}}_k^{2}$$ we get the standard perturbative and scheme independent result:

\begin{aligned} \partial _{t}{{\tilde{m}}}_{k}^{2}= & {} -2{{\tilde{m}}}_{\Lambda }^{2}-\frac{1}{(4\pi )^{2}}\frac{\lambda _{\Lambda }}{1+{{\tilde{m}}}_{\Lambda }^{2}}\\= & {} \left( -2+\frac{\lambda _{\Lambda }}{(4\pi )^{2}}\right) {{\tilde{m}}}_{\Lambda }^{2}-\frac{\lambda _{\Lambda }}{(4\pi )^{2}}+\cdots ,\\ \partial _{t}\lambda _{k}= & {} \frac{3}{(4\pi )^{2}}\frac{\lambda _{\Lambda }^{2}}{1+{{\tilde{m}}}_{\Lambda }^{2}}= \frac{3\lambda _{\Lambda }^{2}}{(4\pi )^{2}}+\cdots \end{aligned}

We compute now the finite part of the EAA by integrating the flow of the structure function Eq. (43). Using Eq. (27) and (34) to compute the beta functional of Eq. (40) we get

\begin{aligned} \partial _{t}\Gamma _{k}[\varphi ]= & {} \frac{1}{2}\frac{1}{(4\pi )^{2}}\int \mathrm{d}^4x\left\{ \frac{k^6}{k^2+ m^2_{\Lambda }} -\lambda _{\Lambda }\frac{k^4}{k^2+ m_{\Lambda }^2}\varphi ^2\right. \nonumber \\&\left. +\frac{\lambda _{\Lambda }^2}{4}\frac{k^2}{k^2+m_{\Lambda }^{2}} \varphi ^2\nonumber \right. \\&\left. \times \left[ 1-\sqrt{1-\frac{4k^{2}}{z}}\theta (z-4k^{2})\right] \varphi ^2\right\} . \end{aligned}
(47)

The one-loop effective action $$\Gamma _0[\varphi ]$$ is recovered by integrating Eq. (47) from $$k=\Lambda$$ down to $$k=0$$

\begin{aligned}&\Gamma _0[\varphi ]=\Gamma _\Lambda [\varphi ]-\frac{1}{4}\frac{1}{(4\pi )^2}\int \mathrm{d}^4x\nonumber \\&\quad \times \left\{ \left( \frac{1}{2}\Lambda ^4-\Lambda ^2m_{\Lambda }^2+m^4_{\Lambda }\log \frac{\Lambda ^2+m_{\Lambda }^2}{m_{\Lambda }^2}\right) \right. \nonumber \\&\quad -\lambda _{\Lambda }\left( \Lambda ^2-m_{\Lambda }^2\log \frac{\Lambda ^2+m_{\Lambda }^2}{m_{\Lambda }^2}\right) \varphi ^2\nonumber \\&\quad +\frac{\lambda _{\Lambda }^2}{2}\left( 1+\frac{1}{2}\log {\frac{\Lambda ^2+m_{\Lambda }^2}{m_{\Lambda }^2}} \right) \varphi ^4\nonumber \\&\quad \left. -\frac{\lambda _{\Lambda }^2}{2}\varphi ^2\sqrt{1+\frac{4m_{\Lambda }^2}{z}}\text{ ArcTanh }\frac{1}{\sqrt{1+\frac{4m_{\Lambda }^2}{z}}}\varphi ^2\right\} . \end{aligned}
(48)

If we try to take the limit $$\Lambda \rightarrow \infty$$ this expression contains quartic, quadratic and logarithmic divergences. The renormalized action is of the form (41), with finite “renormalized” couplings $$E_0$$, $$m_0$$, $$\lambda _0$$. The relation between these and the “bare” couplings $$E_\Lambda$$, $$m_\Lambda$$, $$\lambda _\Lambda$$ is contained in renormalization conditions, which in the present context amount to a choice of initial condition $$\Gamma _\Lambda$$. The finite part of the renormalized couplings is arbitrary and has to be determined by fitting the theory to experimental observations. Here we choose renormalization conditions that simply remove all the local terms contained in the integral in (48):

\begin{aligned} E_\Lambda= & {} E_0+\frac{1}{4}\frac{1}{(4\pi )^2}\left( \frac{1}{2}\Lambda ^4{-}\Lambda ^2m_{\Lambda }^2 {+}m_{\Lambda }^4\log \frac{\Lambda ^2+m_{\Lambda }^2}{m_{\Lambda }^2}\right) , \nonumber \\ m^2_\Lambda= & {} m_0^2 -\frac{1}{4}\frac{\lambda _{\Lambda }}{(4\pi )^2} \left( \Lambda ^2 -m_{\Lambda }^2\log \frac{\Lambda ^2+m_{\Lambda }^2}{m_{\Lambda }^2}\right) , \nonumber \\ \lambda _\Lambda= & {} \lambda _0 +\frac{1}{8}\frac{\lambda _{\Lambda }^2}{(4\pi )^2} \left( 1+\log \frac{\Lambda ^2 +m_{\Lambda }^2}{m_{\Lambda }^2}\right) . \end{aligned}
(49)

At this point the EA $$\Gamma _0$$ contains a local part of the same form of (36) except for the replacement of the subscripts $$\Lambda$$ by subscripts 0, plus a non-local part that is given by the last line of (48). In this part, using the perturbative logic, the bare couplings can also be replaced by renormalized ones, up to terms of higher order. It is clear that this step only makes mathematical sense if $$\Lambda$$ is bounded (the bound depending on the smallness of the coupling). In any case the EA then takes the form

\begin{aligned} \Gamma _0[\varphi ]= & {} \int \mathrm{d}^4x\left\{ E_0 +\frac{1}{2}m_0^2\varphi ^2 +\frac{1}{4!}\lambda _0\varphi ^4\right. \nonumber \\&+\frac{\lambda _{0}^2}{8(4\pi )^2}\varphi ^2\sqrt{1+\frac{4m_{0}^2}{z}}\text{ ArcTanh }\nonumber \\&\times \left. \left( \frac{1}{\sqrt{1+\frac{4m_{0}^2}{z}}}\right) \varphi ^2\right\} . \end{aligned}
(50)

The scattering amplitude for the process $$\varphi \varphi \rightarrow \varphi \varphi$$ is obtained by taking four functional derivatives of the effective action with respect to $$\varphi$$ after performing the analytic continuation to Minkowski space. Evaluating the expression in Fourier space, we get

\begin{aligned} A(s,t,u;m_0)= & {} \lambda _0 +\sum _{w=s,t,u}\frac{\lambda _{0}^2}{(4\pi )^2}\sqrt{1 +\frac{4m_{0}^2}{-w}}\text{ ArcTanh }\nonumber \\&\times \frac{1}{\sqrt{1+\frac{4m_{0}^2}{-w}}} \end{aligned}
(51)

where $$s=(p_1+p_2)^2$$, $$t=(p_1+p_3)^2$$ and $$u=(p_1+p_4)^2$$ and all momenta are taken to be incoming.

Notice that the expression entering in the r.h.s. of Eq. (51) can be written in terms of the following Feynman integral, which results from the computation of one-loop bubble diagrams:

\begin{aligned}&\sqrt{1 +\frac{4m_{0}^2}{z}}\text{ ArcTanh }\frac{1}{\sqrt{1+\frac{4m_{0}^2}{z}}}\nonumber \\&\quad =\int _0^1\mathrm{d}x\left\{ \frac{1}{2}\log \left[ 1+\frac{z x (1-x)}{m_0^2} \right] +1\right\} . \end{aligned}
(52)

For an FRGE computation beyond the one-loop approximation see for example [27].

## 4 Quantum electrodynamics

We now consider Euclidean Quantum Electrodynamics (QED) in $$d=4$$, which is a perturbatively renormalizable theory characterized by the following bare action:

(53)

where $$e_\Lambda$$ is the bare electric charge, $$m_{e}\equiv m_{e,\Lambda }$$ is the bare electron mass, is the Dirac operator, $$D_{\mu }=\partial _{\mu }+iA_{\mu }$$ is the covariant derivative and $$F_{\mu \nu }$$ is the photon field strength tensor

\begin{aligned} \Omega _{\mu \nu }=\left[ D_{\mu },D_{\nu }\right] =iF_{\mu \nu }=i(\partial _\mu A_\nu -\partial _\nu A_\mu ). \end{aligned}
(54)

To quantize the theory we have to introduce a gauge-fixing term which can be taken to be

\begin{aligned} S_{gf}[A]=\frac{1}{2e^2_\Lambda \alpha }\int \mathrm{d}^{4}x\,(\partial _{\mu }A^{\mu })^{2}, \end{aligned}
(55)

where $$\alpha$$ is the gauge-fixing parameter. Notice that the Faddeev–Popov determinant can be safely discarded because on a flat spacetime the ghost term decouples. The one-loop effective action is given by

(56)

It is useful to rewrite the fermionic trace as

(57)

where

(58)

and $$\sigma ^{\mu \nu }=\frac{i}{2}\left[ \gamma ^{\mu },\gamma ^{\nu }\right]$$. We will work in the gauge $$\alpha =1$$ where the one-loop EAA for QED can be obtained introducing the cutoff kernels directly into Eq. (56):

(59)

Notice that in Eq. (59) we choose the argument of the gauge cutoff function to be the flat-space Laplacian $$-\partial ^{2}$$, while for the fermion cutoff we take the covariant operator $$\Delta$$.

The one-loop flow equation is obtained by differentiating Eq. (59) with respect to the RG parameter t. Here we are interested only in the fermion contribution to the photon effective action $$\Gamma _{k}[A]\equiv \Gamma _{k}[A,0,0]$$, we have

\begin{aligned} \partial _{t}\Gamma _{k}[A]= & {} \frac{1}{2}\text {Tr}\frac{\partial _{t}R_{k}(-\partial ^{2})^{\mu \nu }}{-\partial ^{2}g^{\mu \nu }+R_{k}(-\partial ^{2})^{\mu \nu }}\nonumber \\&-\frac{1}{2}\text {Tr}\frac{\partial _{t}R_{k}(\Delta )}{\Delta +m_{e}^{2}+R_{k}(\Delta )}. \end{aligned}
(60)

The flow equation for $$\Gamma [A]$$ is now of the form of Eq. (8). The first trace in Eq. (60) does not depend on the photon field and thus will not generate any $$A_{\mu }$$ contribution to $$\partial _{t}\Gamma _{k}[A]$$. This reflects the fact that QED is an abelian gauge theory with no photon self-interactions. Thus to one-loop order, all the contributions to the running of the gauge part of the EAA stem from the fermionic trace. From now on we will discard the gauge trace.

We calculate the fermion trace in r.h.s. of Eq. (60) using the non-local heat kernel expansion in Eq. (17). From Eq. (58) we see that $$\Delta$$ is the generalized Laplacian operator of Eq. (6) with $${\mathbf U}=-\sigma ^{\mu \nu } F_{\mu \nu }/2$$. The function to be traced is

\begin{aligned} h_{k}(\Delta ,m_{e}^{2})=\frac{\partial _{t}R_{k}(\Delta )}{\Delta +m_{e}^{2}+R_{k}(\Delta )}\, \end{aligned}
(61)

We can now specialize Eq. (21) to the QED case:

\begin{aligned} \partial _{t}\Gamma _{k}[A]= & {} -\frac{1}{2}\frac{1}{(4\pi )^{2}}\int d^{4}x\left\{ \text {tr}\mathbf {1}\int _{0}^{\infty }\mathrm{d}s\,s^{-2}{\tilde{h}}_{k}(s,m_{e}^{2})\right. \nonumber \\&\left. +\,F_{\mu \nu }\left[ \int _{0}^{\infty }\mathrm{d}s\,{\tilde{h}}_{k}(s,m_{e}^{2})\, f_{F^{2}}\left( sz\right) \right] F^{\mu \nu }\right\} ,\nonumber \\ \end{aligned}
(62)

where $$z=-D^2$$. The structure function $$f_{F^{2}}(x)$$ is given byFootnote 2

\begin{aligned} f_{F^{2}}(x)= & {} 2f_{U}(x)-4f_{\Omega }(x)=f(x)+\frac{2}{x}\left[ f(x)-1\right] \nonumber \\= & {} 4\int _{0}^{1}\mathrm{d}\xi \,\xi (1-\xi )\, e^{-x\xi (1-\xi )}. \end{aligned}
(63)

Plugging Eq. (63) into Eq. (62) and using Eq. (23) we get

\begin{aligned} \partial _{t}\Gamma _{k}[A]= & {} -\frac{1}{2}\frac{1}{(4\pi )^{2}}\int \mathrm{d}^{4}x\nonumber \\&\times \bigg \{ 4\, Q_2[h_k]+4\,F_{\mu \nu } \nonumber \\&\times \int _{0}^{1}\mathrm{d}\xi \,\xi (1-\xi )\,Q_{0}[h_k^{z\xi (1-\xi )}]F^{\mu \nu }\bigg \}. \end{aligned}
(64)

The first constant piece is the renormalization of the vacuum energy and we will drop it here. To proceed we need to specify the form of the ansatz for $$\Gamma _{k}[A]$$, to be inserted in the l.h.s. of Eq. (62). We choose

\begin{aligned} \Gamma _{k}[A]= & {} \int \mathrm{d}^4x\nonumber \\&\times \left[ \frac{Z_{A,k}}{4}F_{\mu \nu }F^{\mu \nu }+\frac{1}{4}F_{\mu \nu }Z_{A,k}\Pi _{k}(-D^{2})F^{\mu \nu }\right] ,\nonumber \\ \end{aligned}
(65)

where $$Z_{A,k}$$ is the photon wave-function renormalization which is related to the electric charge via the following identification:

\begin{aligned} Z_{A,k}=\frac{1}{e_k^2}. \end{aligned}
(66)

The quantity $$\Pi _{k}(-D^2)$$ is the running photon polarization which is a function of the gauge-covariant Laplacian. The t-derivative of Eq. (65) gives

\begin{aligned} \partial _{t}\Gamma _{k}[A]= & {} \partial _{t}Z_{A,k}\frac{1}{4}\int \mathrm{d}^{4}x\, F_{\mu \nu }F^{\mu \nu } \nonumber \\&+\frac{1}{4}\int \mathrm{d}^{4}x\, F_{\mu \nu }\partial _{t}\left[ Z_{A,k}\Pi _{k}\left( -D^{2}\right) \right] F^{\mu \nu }. \end{aligned}
(67)

Comparing Eq. (64) with Eq. (67) finally gives the flow equation

\begin{aligned}&\partial _{t}Z_{A,k}+\partial _{t}\left[ Z_{A,k}\Pi _{k}(z)\right] \nonumber \\&\quad =-\frac{1}{2\pi ^{2}}\int _{0}^{1}\mathrm{d}\xi \,\xi (1-\xi )\,Q_0[h_{k}^{z\xi (1-\xi )}]. \end{aligned}
(68)

Since $$\Pi _k(0)=0$$, the beta function for the wave-function renormalization of the photon field is obtained by evaluating Eq. (68) at $$z=0$$:

\begin{aligned} \partial _{t}Z_{A,k}= & {} -\frac{1}{2\pi ^{2}}\int _{0}^{1}\mathrm{d}\xi \,\xi (1-\xi )Q_{0}[h_{k}]\nonumber \\= & {} -\frac{1}{6\pi ^{2}}\frac{k^2}{k^2+m_{e}^{2}}, \end{aligned}
(69)

where in the last step we have used Eq. (27). Using the relation in Eq. (66) we can derive from Eq. (69) the beta function for the electric charge

\begin{aligned} \partial _{t}e^2_{k}=\frac{e_{k}^{4}}{6\pi ^{2}}\frac{k^2}{k^2+m_{e}^{2}}. \end{aligned}
(70)

The anomalous dimension of the photon field is given by

\begin{aligned} \eta _{A,k}=-\frac{\partial _{t}Z_{A,k}}{Z_{A,k}}=\frac{e_{k}^{2}}{6\pi ^{2}}\frac{k^{2}}{k^{2}+m_{e}^{2}}. \end{aligned}
(71)

Notice that in the limit $$m_e \ll k$$ the fraction in Eq. (70) becomes equal to one and we recover the standard beta function found in perturbation theory with a mass independent regularization scheme [28]. On the other hand, for $$k\ll m_e$$ the denominator becomes large and the beta function goes to zero. This threshold behaviour is the manifestation of the decoupling of the electron at low energy.

If we integrate the beta function for the electric charge in Eq. (70) from an UV scale $$\Lambda$$ down to an IR scale k, we find

\begin{aligned} e_{k}^{2}=\frac{e_{\Lambda }^{2}}{1+\frac{e_{\Lambda }^{2}}{12\pi ^{2}}\log \frac{1+\Lambda ^{2}/m_{e}^{2}}{1+k^{2}/m_{e}^{2}}}. \end{aligned}
(72)

Equation (72) is interesting for several reasons. First, it shows the screening effect of the vacuum: electron–positron pairs polarize the vacuum around an electric charge so that the effective electric charge $$e_{k}$$, at the scale k, is smaller than the electric charge $$e_{\Lambda }$$ at the higher scale $$\Lambda$$. Second, for $$k\rightarrow 0$$, it gives the relation between the bare electric charge $$e_{\Lambda }$$ and the renormalized electric charge $$e_{0}$$:

\begin{aligned} e_{0}^{2}=\frac{e_{\Lambda }^{2}}{1+\frac{e_{\Lambda }^{2}}{12\pi ^{2}}\log \left( 1+\frac{\Lambda ^{2}}{m_{e}^{2}}\right) }. \end{aligned}
(73)

Third, it shows that QED, as defined by the bare action in Eq. (53), is a trivial quantum field theory: if we take the limit $$\Lambda \rightarrow \infty$$ in Eq. (73), at fixed finite $$e_{\Lambda }$$, we get a zero renormalized electric charge $$e_{0}$$. Conversely, if we solve Eq. (73) for the bare charge $$e_{\Lambda }^{2}$$ and we set the renormalized charge $$e_{0}^{2}$$ to some fixed value, then the bare coupling will diverge at the finite “Landau pole” scale

\begin{aligned} \Lambda _{L}=m_{e}^{2}\left( e^{12\pi ^{2}/e_{0}^{2}}-1\right) . \end{aligned}
(74)

These are the two faces of QED’s triviality. So, even if the theory is perturbatively renormalizable, it cannot be a fundamental theory valid at arbitrarily high energy scales. To find an explanation for the success of QED, we have to take the effective field theory point of view.

We now come back to consider the full momentum structure of the r.h.s. of Eq. (68). Using Eqs. (66) and (69) we can read off the running of the photon polarization function

\begin{aligned}&\partial _{t}\Pi _{k}(z)=\frac{e_{k}^2}{6\pi ^{2}} \frac{k^{2}}{k^2+m_{e}^{2}}\nonumber \\&\times \left[ 1+\Pi _{k}(z)\right] -\frac{e_{k}^{2}}{2\pi ^{2}}\int _{0}^{1}\mathrm{d}\xi \,\xi (1-\xi )\, Q_0\left[ h_{k}^{z\,\xi (1-\xi )}\right] .\quad \end{aligned}
(75)

We can find the one-loop renormalized polarization function $$\Pi _{0}(x)$$ integrating Eq. (75) from the UV scale $$\Lambda$$ down to $$k=0$$ after having set the coupling $$e_k$$ to its bare value $$e_\Lambda$$. Notice that the term proportional to $$\Pi _{k}(z)$$ in the r.h.s. of Eq. (75) is at least of order $$e^{4}$$ and we will discard it in performing the integration since we are interested in reproducing the one-loop result. As we did in the section for the real scalar, we use the optimized cutoff of Eq. (26) to evaluate the Q-functional entering in Eq. (75). Performing the integral we obtain

\begin{aligned} \Pi _{\Lambda }(z)-\Pi _{0}(z)= & {} \frac{e_{\Lambda }^{2}}{2\pi ^{2}}\int _{0}^{1}\mathrm{d}\xi \,\xi (1-\xi )\,\log \nonumber \\&\times \left[ 1+\xi (1-\xi )\frac{z}{m_{e}^{2}}\right] . \end{aligned}
(76)

Notice that Eq. (76) does not contain divergent pieces, which are local.

Setting the initial condition $$\Pi _\Lambda (z)=0$$, we see that the renormalized photon vacuum polarization function is given by

\begin{aligned} \Pi _{0}(z)=-\frac{e_{\Lambda }^{2}}{2\pi ^{2}}\int _{0}^{1}\mathrm{d}\xi \,\xi (1-\xi )\log \left[ 1+\xi (1-\xi )\frac{z}{m_{e}^{2}}\right] .\nonumber \\ \end{aligned}
(77)

Inserting Eq. (77) in Eq. (65) and redefining $$A_\mu \rightarrow A_\mu /Z_A^{1/2}$$ we obtain the following one-loop photon effective action:

\begin{aligned} \Gamma _0[A]= & {} \frac{1}{4}\int \mathrm{d}^{4}x\, F_{\mu \nu }F^{\mu \nu } \nonumber \\&-\frac{e_\Lambda ^{2}}{8\pi ^{2}}\int \mathrm{d}^{4}x\, F_{\mu \nu }\nonumber \\&\times \left( \int _{0}^{1}\mathrm{d}\xi \,\xi (1-\xi )\text {log}\left[ 1+\xi (1-\xi )\frac{-D^{2}}{m_{e}^{2}}\right] \right) \nonumber \\&\times F^{\mu \nu } +\,O(F^{4}). \end{aligned}
(78)

Equation (78) is the full QED one-loop effective action for the photon which is quadratic in the field strength. Although the polarization function in Eq. (78) is a function of $$-D^2$$, in an abelian theory like QED it boils down to a function of just the flat Laplacian $$-\partial ^{2}$$ and thus does not give a non-zero contribution to higher vertices of the effective action.

With similar methods one can calculate the local terms in the EAA which are of quartic order in the field strength (and in the derivatives):

\begin{aligned} \Gamma _k[A]\Big |_{F^4}= & {} a_{k}\int \mathrm{d}^{4}x\,\left( F_{\mu \nu }F^{\mu \nu }\right) ^{2}\nonumber \\&+b_{k}\int \mathrm{d}^{4}x\,F_{\mu \nu }F^{\nu \alpha }F_{\alpha \beta }F^{\beta \mu }, \end{aligned}
(79)

where $$a_k$$ and $$b_k$$ are the Euler–Heisenberg coefficients with negative quartic mass dimension. We can compute the fermionic trace in Eq. (60) using the local heat kernel expansion of Eq. (11). Contributions of order $$F^4$$ are given by the coefficient $$\mathbf {b}_8(\Delta )$$ of the expansion, which, for constant field strength, has the following form [29]:

\begin{aligned} \mathbf {b}_8(-D^2)= & {} \frac{1}{24}\mathbf {U}^4-\frac{1}{6}\mathbf {U}^2\,\mathbf {\Omega }_{\mu \nu }\mathbf {\Omega }^{\mu \nu } \nonumber \\&+\left[ \frac{1}{288}(\mathbf {\Omega }_{\mu \nu }\mathbf {\Omega }^{\mu \nu })^2 +\frac{1}{360}\mathbf {\Omega }_{\mu \nu }\mathbf {\Omega }^{\nu \alpha }\mathbf {\Omega }_{\alpha \beta }\mathbf {\Omega }^{\beta \mu }\right] .\nonumber \\ \end{aligned}
(80)

Using

\begin{aligned} \text {tr}\,\mathbf {U}^4= & {} -\frac{1}{6}F_{\mu \nu }F^{\nu \alpha }F_{\alpha \beta }F^{\beta \mu }+\frac{1}{8}(F_{\mu \nu }F^{\mu \nu })^2\qquad \text{ and }\qquad \nonumber \\&\text {tr}\,\mathbf {\Omega }_{\mu \nu }\mathbf {\Omega }^{\nu \alpha }\mathbf {\Omega }_{\alpha \beta }\mathbf {\Omega }^{\beta \mu } =F_{\mu \nu }F^{\nu \alpha }F_{\alpha \beta }F^{\beta \mu } \end{aligned}
(81)

we get

\begin{aligned} \partial _t a_k= & {} \frac{1}{2}\frac{e^4_{\Lambda }}{(4\pi )^{2}}\frac{1}{18}Q_{-2}[h_k], \nonumber \\ \partial _t b_k= & {} -\frac{1}{2}\frac{e^4_{\Lambda }}{(4\pi )^{2}}\frac{7}{45}Q_{-2}[h_k]. \end{aligned}
(82)

The Euler–Heisenberg coefficients $$a_0$$ and $$b_0$$ entering in the one-loop effective action are obtained by integrating Eq. (82) from $$k=\infty$$ down to $$k=0$$. If we use the mass cutoff shape function for evaluating the Q-functionals, we obtain

\begin{aligned} a_{0}= & {} \frac{1}{36}\frac{e^{4}_{\Lambda }}{(4\pi )^{2}}\int _{0}^{\infty }\frac{\mathrm{d}k}{k}\frac{4k^{2}}{\left( k^{2}+m_{e}^{2}\right) ^{3}}=\frac{1}{36}\frac{1}{(4\pi )^{2}}\frac{e^{4}_{\Lambda }}{m_{e}^{4}},\nonumber \\ b_{0}= & {} -\frac{7}{90}\frac{e^{4}_{\Lambda }}{(4\pi )^{2}}\int _{0}^{\infty }\frac{\mathrm{d}k}{k}\frac{4k^{2}}{\left( k^{2}+m_{e}^{2}\right) ^{3}}=-\frac{7}{90}\frac{1}{(4\pi )^{2}}\frac{e^{4}_{\Lambda }}{m_{e}^{4}},\nonumber \\ \end{aligned}
(83)

where we imposed the initial condition $$a_{\infty }=b_{\infty }=0$$. These values coincide with the well-known result for the Euler–Heisenberg coefficients.

By plugging these values back into Eq. (79) and combining them with the $$O(\partial ^4)$$ term of Eq. (78) we obtain

\begin{aligned} \Gamma _{0}[A]\Big |_{\partial ^{4}}= & {} \frac{1}{(4\pi )^{2}}\int \mathrm{d}^{4}x \left[ \frac{1}{15}\frac{e^{2}_{\Lambda }}{m_{e}^{2}}F_{\mu \nu }\square F^{\mu \nu }\right. \nonumber \\&\left. +\frac{1}{36}\frac{e^{4}_{\Lambda }}{m_{e}^{4}}\left( F_{\mu \nu }F^{\mu \nu }\right) ^{2}{-}\frac{7}{90}\frac{e^{4}_{\Lambda }}{m_{e}^{4}}F_{\mu \nu }F^{\nu \alpha }F_{\alpha \beta }F^{\beta \mu }\right] .\nonumber \\ \end{aligned}
(84)

which is the $$p^4$$ part of the photon effective action [28]. The first term in Eq. (84) is responsible of the Uehling effect [30], while the other two describe the low energy scattering of photons mediated by virtual electrons [31]. For a non-perturbative use of the FRGE in QED see for example [32].

## 5 Yang–Mills

The situation for the non-abelian case is quite similar to the abelian one, except for the fact that the gauge bosons are now interacting. We begin by considering the Euclidean Yang–Mills action for the gauge fields $$A_\mu ^i$$ in dimension d:

\begin{aligned} S_{YM}[A]=\frac{1}{4}\int \mathrm{d}^{d}x\, F_{\mu \nu }^i F^{\mu \nu i}. \end{aligned}
(85)

In Eq. (85) the quantity $$F^i_{\mu \nu }$$ is the gauge field strength tensor defined by

\begin{aligned} F^i_{\mu \nu }= \partial _\mu A^i_\nu -\partial _\nu A^i_\mu + i g f^i{}_{jk}A_\mu ^j A_\nu ^k , \end{aligned}
(86)

where $$f^i{}_{jk}$$ are the structure constants of the gauge symmetry group and g is the coupling constant. The EAA is constructed using the background field method [33, 34]. The gauge field is split as follows:

\begin{aligned} A_\mu =\bar{A}_\mu +a_\mu , \end{aligned}
(87)

where $$a_\mu$$ parametrizes the gauge fluctuations around the background field $$\bar{A}_\mu$$. In the following we will remove the bar and we will denote the background field simply by $$A_\mu$$. In order to properly quantize the theory we choose as a gauge-fixing condition $$\chi ^i=D_\mu a^{\mu i}$$, where D is the covariant derivative constructed with the background connection acting on fields in the adjoint representation. The gauge-fixing action then reads

\begin{aligned} S_{gf}[a;A]=\frac{1}{2\alpha }\int \mathrm{d}^d x D_\mu a^{\mu i} D_\nu a^{\nu i}, \end{aligned}
(88)

where $$\alpha$$ is the gauge-fixing parameter. The background ghost action reads

\begin{aligned} S_{gh}[a,\bar{c},c;A] = \int \mathrm{d}^d x {\hat{ D}}_\mu \bar{c}^i\,D^\mu c^i, \end{aligned}
(89)

where $$\bar{c}$$ and c are the ghost fields and $${\hat{D}}$$ is the covariant derivative constructed with the full field. The total action is then obtained by summing the three contributions

\begin{aligned} S[a,\bar{c},c;A]\,{=}\,S_{YM}[A+a]{+}S_{gf}[a;A]+S_{gh}[a,\bar{c},c;A].\nonumber \\ \end{aligned}
(90)

The background effective action $$\Gamma _k[a,\bar{c},c;A]$$ which is constructed using the background field method is a functional of the background field ($$A_\mu$$) and of the classical fields conjugated to the currents coupled to the quantum fluctuations, which we denote again by ($$a_\mu ,\bar{c},c$$). The background EA is invariant under the simultaneous gauge transformation of both. One can define the gauge invariant EAA by setting the classical fields to zero $$\Gamma _k[A]\equiv \Gamma _k[0,0,0;A]$$. In the following we will study the RG flow of $$\Gamma _k[A]$$. (Note that in this case $${\hat{D}}$$ can be replaced by D in the ghost action.)

The exact RG equation for $$\Gamma _k[A]$$ can be found in [35]. Using Eq. (90) we obtain

\begin{aligned} \partial _{t}\Gamma _{k}[A] = \frac{1}{2}\text {Tr}\frac{\partial _{t}R_{k}(D_T)}{D_T+R_{k}(D_T)} -\frac{1}{2}\text {Tr}\frac{\partial _{t}R_{k}(-D^{2})}{-D^{2}+R_{k}(-D^{2})},\nonumber \\ \end{aligned}
(91)

where the gauge-covariant Laplacian is $$(D_T)^{ij\,\mu \nu }\equiv (-D^2)^{ij}\eta ^{\mu \nu }+\mathbf {U}^{ij\,\mu \nu }$$, with $$\mathbf {U}^{ij\,\mu \nu }=2f^{ij}{}_lF^{l\,\mu \nu }$$. The commutator of covariant derivatives is $$[D_\mu ,D_\nu ]^{ij}=\mathbf {\Omega }_{\mu \nu }^{ij}=-f^{ij}{}_l F^l_{\mu \nu }$$.

We can now use the non-local heat kernel expansion of Eq. (21) to compute the r.h.s. of Eq. (91). For the gauge group SU(N), we get

\begin{aligned} \partial _{t}\Gamma _{k}[A]\Big |_{F^{2}}= & {} \frac{N}{(4\pi )^{d/2}}\int \mathrm{d}^{d}x\,F_{\mu \nu }^{i}\nonumber \\&\times \left[ \int _{0}^{\infty }\mathrm{d}s\,{\tilde{h}}_{k}(s,0)\, s^{2-d/2}\, f_{F^{2}}(-sD^{2})\right] F^{i\mu \nu },\nonumber \\ \end{aligned}
(92)

where the structure function $$f_{F^{2}}(x)$$ is given by

\begin{aligned} f_{F^{2}}(x)= & {} \frac{1}{2}[4f_U(x)-df_\Omega (x)]\nonumber \\&+f_\Omega (x)=f(x)+\frac{d-2}{4x}\left[ f(x)-1\right] . \end{aligned}
(93)

We need now to make an ansatz for the l.h.s. of the flow equation. Retaining terms up to second order in the field strength, but with arbitrary momentum dependence, the EAA has the form

\begin{aligned} \Gamma _{k}[A]= & {} \frac{Z_{A,k}}{4}\int \mathrm{d}^{d}x\, F_{\mu \nu }^{a}F^{a\mu \nu }\nonumber \\&+\frac{Z_{A,k}}{4}\int d^{d}x\, F_{\mu \nu }^{a}\Pi _{k}(-D^{2})^{ab}F^{b\mu \nu }+O(F^{3}),\nonumber \\ \end{aligned}
(94)

where $$Z_{A,k}=1/g_k^{2}$$ and $$\Pi _{k}(z)$$ is the running vacuum polarization function.

Notice that the background wave-function renormalization constant, and so the gauge coupling, enters the flow of $$\Pi _{k}(x)$$ only as an overall factor.

Comparing the expression of Eq. (94) with Eq. (92) and using Eq. (25), we get the flow equation for the running vacuum polarization function:

\begin{aligned}&\partial _{t}Z_{A,k}+\partial _{t}\left[ Z_{A,k}\Pi _{k}(z)\right] \nonumber \\&\quad =\frac{N}{(4\pi )^{d/2}}\left\{ 4\int _{0}^{1}\mathrm{d}\xi \, Q_{\frac{d}{2}-2}[h_k^{z\xi (1-\xi )}]\right. \nonumber \\&\qquad \left. +\frac{d-2}{z}\left( \int _{0}^{1}\mathrm{d}\xi \, Q_{\frac{d}{2}-1}[h_k^{z\xi (1-\xi )}] -Q_{\frac{d}{2}-1}[h_{k}]\right) \right\} ,\nonumber \\ \end{aligned}
(95)

where z stands for the covariant Laplacian $$-D^2$$. Evaluating the Q-functionals for the optimized cutoff (26) in dimension $$d=4$$ gives

\begin{aligned}&\partial _{t}Z_{A,k}+\partial _{t}\left[ Z_{A,k}\Pi _{k}(z)\right] =\frac{N}{(4\pi )^{2}}\nonumber \\&\quad \times \left[ \frac{22}{3}-\left( \frac{22}{3}+\frac{8k^{2}}{3z}\right) \sqrt{1-\frac{4k^{2}}{z}}\theta (z-4k^{2})\right] . \end{aligned}
(96)

Since $$\Pi _k(0)=0$$ we can rewrite the above equation as

\begin{aligned} \eta _{A,k}=-\frac{\partial _t Z_{A,k}}{Z_{A,k}}=-\frac{22}{3}\frac{N}{(4\pi )^{2}}g^2_k \end{aligned}
(97)

and

\begin{aligned} \partial _{t}\Pi _{k}(z)=\eta _{A,k}\Pi _{k}(z)+\frac{g_{k}^{2}N}{(4\pi )^{2}}g_{F^2}\left( {\tilde{z}}\right) . \end{aligned}
(98)

The function $$g_{F^2}({\tilde{z}})$$ is

\begin{aligned} g_{F^2}({\tilde{z}})=-\left( \frac{22}{3}+\frac{8}{3{\tilde{z}}}\right) \sqrt{1-\frac{4}{{\tilde{z}}}}\,\theta ({\tilde{z}}-4). \end{aligned}
(99)

Notice that the k dependence in Eq. (98) enters only via the combination $${\tilde{z}}=z/k^{2}$$ and we used the relation $$g_{k}^{2}=Z_{A,k}^{-1}$$.

From the anomalous dimension in Eq. (97) we find immediately the beta function for the gauge coupling:

\begin{aligned} \partial _{t}g_{k}=\frac{1}{2}\eta _{A,k}g^2_k=-\frac{N}{(4\pi )^{2}}\frac{11N}{3}g_{k}^{3}, \end{aligned}
(100)

which is the standard one-loop result. Integrating the one-loop beta function for the gauge coupling from the UV scale $$\Lambda$$ to the IR scale k we find

\begin{aligned} g_{\Lambda }^{2}=\frac{g_{k}^{2}}{1+\frac{g_{k}^{2}}{(4\pi )^{2}}\frac{22N}{3}\log \frac{\Lambda }{k}}. \end{aligned}
(101)

A mass scale M can be defined by the relation

\begin{aligned} 1=\frac{g_{k}^{2}}{(4\pi )^{2}}\frac{22N}{3}\log \frac{k}{M}, \end{aligned}
(102)

if we insert Eq. (102) in Eq. (101) we can write

\begin{aligned} \alpha _{\Lambda }=\frac{2\pi }{\frac{11}{3}N\,\log \frac{\Lambda }{M}}, \end{aligned}
(103)

where we defined $$\alpha _{\Lambda }=\frac{g_{\Lambda }^{2}}{4\pi }$$. This is the standard result found in perturbation theory.

We now go back to the running of the vacuum polarization in Eq. (98). The term $$\eta _{A,k}\Pi _{k}(z)$$ is at least of order $$g_{k}^{4}$$ and we will discard it here since we are interested in reproducing the one-loop result. Moreover, we set the running coupling to its bare value $$g_{\Lambda }$$. We can now integrate the flow of $$\Pi _{k}(z)$$ in Eq. (98) from an UV scale $$\Lambda$$ down to an IR scale k. We get

\begin{aligned} \Pi _{\Lambda }(z)-\Pi _{k}(z)=\frac{g_{\Lambda }^{2}N}{2(4\pi )^{2}}\int _{z/\Lambda ^{2}}^{z/k^{2}}\frac{du }{ u}\, g_{F^2}(u). \end{aligned}
(104)

The integral in Eq. (104) is finite in the limit $$\Lambda \rightarrow \infty$$ and no renormalization is needed. The function $$g_{F^2}$$ has no constant term so for every z and k big enough the flow of $$\Pi _k(z)$$ is zero and no divergences can develop. In this limit, the vacuum polarization function goes to its boundary value, i.e. $$\Pi _{\Lambda }(z)=0$$. Using the general integrals of Eqs. (28)–(30), the vacuum polarization function at the scale k is finally found to be

\begin{aligned} \Pi _{k}(z)= & {} -\frac{g_{\Lambda }^{2}N}{(4\pi )^{2}}\left\{ -\frac{22}{3}\left[ \frac{1}{2}\log \frac{z}{k^{2}}+\log \frac{1+\sqrt{1-\frac{4k^{2}}{z}}}{2}\right] \right. \nonumber \\&\left. +\left( \frac{64}{9}+\frac{8k^{2}}{9z}\right) \sqrt{1-\frac{4k^{2}}{z}}\right\} \end{aligned}
(105)

for $$z/k^2\ge 4$$ and $$\Pi _{k}(z) =0$$ for $$z/k^2 < 4$$. From Eq. (105) we see that we cannot send $$k\rightarrow 0$$, since the first logarithm diverges in this limit. For $$k^{2}\ll z$$, Eq. (105) gives the following contribution to the gauge invariant EAA:

\begin{aligned} \frac{g_{\Lambda }^{2}N}{64\pi ^{2}}\int \mathrm{d}^{4}x\, F_{\mu \nu }^{i}\left[ \frac{11}{3}\log \frac{(-D^{2})^{ab}}{k^{2}}-\frac{64}{9}\delta ^{ab}\right] F^{i\mu \nu }. \end{aligned}
(106)

We can interpret the obstruction to taking the limit $$k\rightarrow 0$$ in Eq. (105) as a signal of the breakdown of the approximation used in its derivation, where we considered the flow of $$\Pi _{k}(z)$$ as driven only by the operator $$\frac{1}{4}\int F^{2}$$. In order to be able to continue the flow of the EAA in the deep IR, we need the full non-perturbative power of the exact RG flow equation that becomes available if we insert the complete ansatz (94) in the r.h.s. side of it [3644].

## 6 The chiral model

In the previous sections we have considered perturbatively renormalizable theories. In the remaining two we shall consider non-renormalizable ones. The standard way of treating non-renormalizable theories is the method of effective field theories [28]. We shall see here how to recover some well-known results of the EFT approach using the FRGE. Previous application of the FRGE to the nonlinear sigma models have been discussed in [4651]. The dynamics of Goldstone bosons is described by the nonlinear sigma model, a theory of scalar fields with values in a homogeneous space. In particular in QCD with N massless quark flavours the Goldstone bosons of spontaneously broken $$SU_L(N)\times SU_R(N)$$ symmetry correspond to the meson multiplet. These theories are known as the chiral models. They have derivative couplings and their perturbative expansion is ill-defined in the UV. A related and phenomenologically even more pressing issue is the high energy behaviour of the tree level scattering amplitude, which grows like $$s/F_\pi ^2$$, where s is the c.m. energy squared and $$F_\pi$$ (the “pion decay constant”) is the inverse of the perturbative coupling. This leads to violation of unitarity at energies of the order $$\sim$$ $$4\pi F_\pi$$, which is usually taken as the first sign of the breakdown of the theory.

The chiral NLSM that we consider here is a theory of three scalar fields $$\pi ^\alpha (x)$$, called the “pions”, parametrizing (in a neighbourhood of the identity) the group SU(2). Geometrically, they can be regarded as normal coordinates on the group. We call U the fundamental representation of the group element corresponding to the field $$\pi ^\alpha$$: $$U=\exp (f\mathbf{\pi })$$, $$\mathbf{\pi }=\pi ^\alpha T_\alpha$$, $$T_\alpha =\frac{i}{2}\sigma _\alpha$$, $$T_\alpha ^\dagger =-T_\alpha$$, $$\text{ tr }\,(T_\alpha T_\beta )=-\frac{1}{2}\delta _{\alpha \beta }$$, $$\alpha =1,2,3$$. The coupling f is related to the pion decay constant as $$F_\pi =2/f$$. The standard $$SU(2)_L\times SU(2)_R$$-invariant action for the chiral model isFootnote 3

\begin{aligned} S[\pi ]=-\frac{1}{f^2_{\Lambda }}\int \mathrm{d}^4x\,\text{ tr }\,U^{-1}\partial _{\mu } U\,U^{-1}\partial ^{\mu } U. \end{aligned}
(107)

This is the term with the lowest number of derivatives. Terms with more derivatives will be discussed later. Introducing the above formulae and keeping terms up to six powers of $$\pi$$ we get

\begin{aligned} S[\pi ]= & {} \frac{1}{2}\int \mathrm{d}^4x\, \left\{ (\partial _\mu \pi ^\alpha )^2-\frac{1}{12}f^2_{\Lambda }\right. \nonumber \\&\times \left[ \pi ^\alpha \pi _\alpha (\partial _\mu \pi ^\beta )^2-(\pi ^\alpha \partial _\mu \pi _\alpha )^2\right] \nonumber \\&+\frac{1}{360}f^4_{\Lambda } \left[ (\pi ^\alpha \pi _\alpha )^2(\partial _\mu \pi ^\beta )^2-\pi ^\alpha \pi _\alpha (\pi ^\beta \partial _\mu \pi _\beta )^2\right] \nonumber \\&\left. +O(\pi ^8)\right\} . \end{aligned}
(108)

If we define the dimensionless fields $$\varphi ^\alpha =f\pi ^\alpha$$ and the metric

\begin{aligned} h_{\alpha \beta }(f_{\Lambda }\pi )= & {} \delta _{\alpha \beta }-\frac{1}{12}f^2\times (\pi ^\sigma \pi _\sigma \delta _{\alpha \beta }-\pi _\alpha \pi _\beta )\nonumber \\&+\frac{1}{360}f^4\,[(\pi ^\sigma \pi _\sigma )^2 \delta _{\alpha \beta }\nonumber \\&-\pi ^\sigma \pi _\sigma \pi _\alpha \pi _\beta ]+O(\pi ^8), \end{aligned}
(109)

we can rewrite Eq. (108) as a non-linear sigma model:

\begin{aligned} S[\varphi ]=\frac{1}{2f^2}\int \mathrm{d}^4x\, h_{\alpha \beta }(\varphi )\partial _\mu \varphi ^\alpha \partial ^\mu \varphi ^\beta . \end{aligned}
(110)

Note that the pion fields $$\pi ^\alpha$$ are canonically normalized and the metric is dimensionless, whereas the fields $$\varphi ^\alpha$$ are dimensionless.

Following [5255] we use the background field method and expand a field $$\varphi$$ around a background $$\bar{\varphi }$$ using the exponential map: $$\varphi (x)=\exp _{\bar{\varphi }(x)}\xi (x)$$ where the quantum field $$\xi$$ is geometrically a vector field along $$\bar{\varphi }$$. The EAA will be, in general, a function of the background field and the Legendre transform of sources coupled linearly to $$\xi$$, which we will denote by the same symbol hoping that this will cause no confusion. We also omit the bar over the background field so that we can write the EAA as $$\Gamma _k[\xi ;\varphi ]$$. For our purposes it will be sufficient to compute this EAA at $$\xi =0$$: $$\Gamma _k[\varphi ]\equiv \Gamma _k[0;\varphi ]$$. The RG flow for $$\Gamma _k[\varphi ]$$ is driven by the Hessian $$\Gamma _k^{(2)}[\varphi ]$$. In the one-loop approximation that we shall use, this is equal to

\begin{aligned} S^{(2)}[\varphi ]_{\alpha \beta } = \frac{1}{f^2} \left( -\square \,h_{\alpha \beta }+U_{\alpha \beta } \right) \ , \end{aligned}
(111)

where $$\square \equiv \nabla _\mu \nabla ^\mu$$, $$\nabla _\mu$$ is the covariant derivative with respect to the Riemannian connection of $$h_{\alpha \beta }$$, $$U_{\alpha \beta }=- R_{\epsilon \alpha \eta \beta } \partial _\mu \varphi ^\epsilon \partial ^\mu \varphi ^\eta$$. We have expressed the second variation in terms of the dimensionless background fields $$\varphi ^\alpha$$, which produces the overall factor $$1/f^2$$. In the one-loop approximation the running of couplings in the r.h.s. of the FRGE is neglected and f has to be kept fixed along the flow.

Since geometrically SU(2) is a three-sphere with radius two [47], the Riemann tensor can be written in the form $$R_{\alpha \beta \gamma \delta }=\frac{1}{2}(h_{\alpha \gamma }h_{\beta \delta }-h_{\alpha \delta }h_{\beta \gamma })$$. The appearance of the covariant Laplacian suggests the choice of $$\Delta =-\square +U$$ as argument of the cutoff kernel function. In this way the cutoff combines with the quadratic action to produce the function $$h_k(\Delta ,\omega )$$ given in Eq. (7), with $$\omega =0$$.

Evaluation of the trace follows the steps outlined in Sect. 2 and one arrives at the beta functional:

\begin{aligned} \partial _t \Gamma _k[\pi ]= & {} \frac{1}{2}\frac{1}{(4\pi )^2}\int \mathrm{d}^4x \left\{ k^2f^2\,\partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha -\frac{1}{12}k^2f^4\right. \nonumber \\&\times \left( \partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha \pi _\beta \pi ^\beta - \partial _\mu \pi ^\alpha \partial ^\mu \pi ^\beta \pi _\alpha \pi _\beta \right) \nonumber \\&+\frac{1}{16}f^4\left[ \partial _\mu \pi ^\alpha \partial ^\mu \pi _\alpha \,g_U (-\square /k^2) \partial _\nu \pi ^\beta \partial ^\nu \pi _\beta \right. \nonumber \\&\left. +\partial _\mu \pi ^\alpha \partial ^\mu \pi _\beta \,g_U (-\square /k^2) \partial _\nu \pi ^\beta \partial ^\nu \pi _\alpha \right] \nonumber \\&+\frac{1}{8}f^4\left[ \partial ^\mu \pi ^\beta \partial _\nu \pi _\alpha \,g_{\Omega } (-\square /k^2) \partial _\mu \pi ^\alpha \partial ^\nu \pi _\beta \nonumber \right. \\&\left. -\,\partial ^\mu \pi _\alpha \partial _\nu \pi ^\beta \,g_{\Omega } (-\square /k^2) \partial _\mu \pi ^\alpha \partial ^\nu \pi _\beta \right] \nonumber \\&\left. +O(\pi ^6)\right\} , \end{aligned}
(112)

where we have used $$\Omega _{\mu \nu \,\alpha \beta }=\partial _\mu \varphi ^\epsilon \partial _\nu \varphi ^\eta R_{\alpha \beta \epsilon \eta }$$ and Eqs.(34)–(35). The form factors $$g_U(-\square /k^2)$$ and $$g_\Omega (-\square /k^2)$$ correspond to $$g_U(-\square ,0,k)$$ and $$g_\Omega (-\square ,0,k)$$ in the notation of Sect. 2. It is important to stress that in the derivation of this result no regularization was needed: the integrals we had to perform were IR and UV finite. This is a general property of the beta functional $$\partial _t\Gamma _k$$.

Another important fact to note is that the first two terms appear in the same ratio as in the original action of Eq. (108). This is just a consequence of the fact that the cutoff preserves the $$SU_L(2)\times SU_R(2)$$ invariance of the theory. As a result, in the RG flow the metric $$h_{\alpha \beta }(\varphi )$$ gets only rescaled by an overall factor when expressed in terms of the dimensionless field $$\varphi$$.

We see that in addition to terms of the same type of the original action, quantum fluctuations generate new terms with four derivatives of the fields. To this order one can write an ansatz for the EAA that contains generic four-derivative terms:

\begin{aligned} \Gamma _k[\pi ]= & {} \int \mathrm{d}^4x\,\left\{ \frac{1}{2} \partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha -\frac{1}{24}f_k^2\right. \nonumber \\&\times \left( \partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha \pi _\beta \pi ^\beta - \partial _\mu \pi ^\alpha \partial ^\mu \pi ^\beta \pi _\alpha \pi _\beta \right) \nonumber \\&+\,\partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha f_k^4\gamma _{U,k}(\square ) \partial _\nu \pi _\beta \partial ^\nu \pi ^\beta \nonumber \\&+\,\partial _\mu \pi ^\alpha \partial ^\mu \pi ^\beta f_k^4\gamma _{U,k}(\square ) \partial _\nu \pi _\alpha \partial ^\nu \pi _\beta \nonumber \\&-\,\partial ^\mu \pi ^\alpha \partial ^\nu \pi ^\beta f_k^4\gamma _{\Omega ,k}(\square ) \partial _\mu \pi _\alpha \partial _\nu \pi _\beta \nonumber \\&+\,\partial ^\mu \pi ^\beta \partial ^\nu \pi ^\alpha f_k^4\gamma _{\Omega ,k}(\square ) \partial _\mu \pi _\alpha \partial _\nu \pi _\beta \nonumber \\&\left. +O(\pi ^6)\right\} . \end{aligned}
(113)

Here the coupling $$f_k$$ and the dimensionless form factors $$\gamma _{U,k}$$ and $$\gamma _{\Omega ,k}$$ are functions of the scale k. The local parts of the form factors $$\gamma _{U,k}(0)$$ and $$\gamma _{\Omega ,k}(0)$$ can be combined as

\begin{aligned} \Gamma _k[\pi ]= & {} \int \mathrm{d}^4x\,\left\{ \frac{1}{2} \partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha -\frac{1}{24}f_k^2\right. \nonumber \\&\times \left( \partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha \pi _\beta \pi ^\beta - \partial _\mu \pi ^\alpha \partial ^\mu \pi ^\beta \pi _\alpha \pi _\beta \right) \nonumber \\&+\,\frac{\ell _{1,k}}{2}f_k^4\,\partial _\mu \pi _\alpha \partial _\nu \pi ^\alpha \partial ^\mu \pi _\beta \partial ^\nu \pi ^\beta \nonumber \\&\left. +\frac{\ell _{2,k}}{2}f_k^4\,\partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha \partial _\nu \pi _\beta \partial ^\nu \pi ^\beta +O(\pi ^6)\right\} ,\nonumber \\ \end{aligned}
(114)

where

\begin{aligned} \frac{\ell _{1,k}}{2}&=\gamma _{U,k}(0)+\gamma _{\Omega ,k}(0)\qquad \text{ and }\nonumber \\ \frac{\ell _{2,k}}{2}&=\gamma _{U,k}(0)-\gamma _{\Omega ,k}(0). \end{aligned}
(115)

Up to this point we have interpreted an infinitesimal RG transformation as the result of an integration over an infinitesimal shell of momenta $$a k<p<k$$, with $$a=1-\epsilon$$ and $$\epsilon >0$$. In the literature on the Wilsonian RG, however, this is complemented by two additional transformations: a rescaling of all momenta by a factor a and a rescaling of all fields so that they remain canonically normalized. The rescaling of the momenta is effectively taken into account by the rescaling of the couplings $${\tilde{f}}_k=k f_k$$, etc. We will now explicitly implement the rescaling of the fields:

\begin{aligned} \delta \pi ^\alpha = -\frac{1}{2}\frac{1}{(4\pi )^2}{\tilde{f}}^2\,\pi ^\alpha \delta t\ .\quad \end{aligned}
(116)

Defining $${\hat{\partial }}_t$$ by

\begin{aligned} {\hat{\partial }}_t=\partial _t +\frac{\delta \pi ^a}{\delta t}\frac{\delta }{\delta \pi ^a}, \end{aligned}

we obtain

\begin{aligned} {\hat{\partial }}_t \Gamma _k[\pi ]= & {} \frac{1}{(4\pi )^2}\int d^4x \left\{ \frac{1}{24}k^2f^4\right. \nonumber \\&\times \left( \partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha \pi _\beta \pi ^\beta - \partial _\mu \pi ^\alpha \partial ^\mu \pi ^\beta \pi _\alpha \pi _\beta \right) \nonumber \\&+f^4\left[ \partial _\mu \pi ^\alpha \partial ^\mu \pi _\alpha \left( \frac{1}{32}g_U (-\square /k^2){-}2{\tilde{f}}^2\gamma _{U,k}(\square )\right) \right. \nonumber \\&\partial _\nu \pi ^\beta \partial ^\nu \pi _\beta \nonumber \\&\quad +\partial _\mu \pi ^\alpha \partial ^\mu \pi _\beta \left( \frac{1}{32}g_U (-\square /k^2){-}2{\tilde{f}}^2\gamma _{U,k}(\square )\right) \nonumber \\&\partial _\nu \pi ^\beta \partial ^\nu \pi _\alpha \nonumber \\&\quad +\partial ^\mu \pi ^\beta \partial _\nu \pi _\alpha \left( \frac{1}{16}g_{\Omega }(-\square /k^2){-}2{\tilde{f}}^2\gamma _{\Omega ,k}(\square )\right) \nonumber \\&\partial _\mu \pi ^\alpha \partial ^\nu \pi _\beta \nonumber \\&\quad -\partial ^\mu \pi _\alpha \partial _\nu \pi ^\beta \left( \frac{1}{16}g_{\Omega }(-\square /k^2){-}2{\tilde{f}}^2\gamma _{\Omega ,k}(\square )\right) \nonumber \\&\left. \left. \partial _\mu \pi ^\alpha \partial ^\nu \pi _\beta \right] {+}O(\pi ^6)\right\} . \end{aligned}
(117)

Comparing the t-derivative of Eq. (113) with Eq. (117) we see that, by construction, the kinetic term does not change along the RG flow while for the second term we find instead

\begin{aligned} {\hat{\partial }}_t f^2_k=-\frac{k^2 f^4}{16\pi ^2}. \end{aligned}
(118)

For the non-local form factors, one obtains

\begin{aligned} {\hat{\partial }}_t\gamma _{U,k}(\square )= & {} \frac{1}{16\pi ^2}\frac{1}{32}\,g_U (-\square /k^2),\nonumber \\ {\hat{\partial }}_t \gamma _{\Omega ,k}(\square )= & {} \frac{1}{16\pi ^2}\frac{1}{16}\,g_{\Omega }(-\square /k^2). \end{aligned}
(119)

In order to recover the standard perturbative result for the effective action we integrate Eq. (117) from some initial UV scale $$k=\Lambda$$, which we can view as the “UV cutoff”, down to $$k=0$$, keeping the Goldstone coupling f fixed at the value it has in the bare action ($$f_\Lambda$$) and neglecting corrections of order $$\mathcal{O}(f^4{\tilde{f}}^2)$$ to the flow of the form factors. In fact, from the integration of Eq. (118) we will see that the coupling $$f^2$$ changes by a factor $$1+\frac{{\tilde{f}}_\Lambda ^2}{32\pi ^2}$$, which is a number close to one in the domain of validity of the effective field theory (even if $$\Lambda \approx f^{-1}$$, f changes only by a few percent). Thus we have

\begin{aligned} \Gamma _\Lambda {-}\Gamma _0&=\int _0^\Lambda \frac{\mathrm{d}k}{k} {\hat{\partial }}_t \Gamma _k[\pi ]\nonumber \\&=\int _0^\Lambda \frac{\mathrm{d}k}{k}\int \mathrm{d}^4x\, \left\{ -\frac{1}{24}{\hat{\partial }}_t f^2_k\right. \nonumber \\&\quad \times \left( \partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha \pi _\beta \pi ^\beta - \partial _\mu \pi ^\alpha \partial ^\mu \pi ^\beta \pi _\alpha \pi _\beta \right) \nonumber \\&\quad + f^4\left[ \partial _\mu \pi ^\alpha \partial ^\mu \pi _\alpha {\hat{\partial }}_t\gamma _{U,k}(\square ) \partial _\nu \pi ^\beta \partial ^\nu \pi _\beta \right. \nonumber \\&\quad +\partial _\mu \pi ^\alpha \partial ^\mu \pi _\beta {\hat{\partial }}_t\gamma _{U,k}(\square )\partial _\nu \pi ^\beta \partial ^\nu \pi _\alpha \nonumber \\&\quad +\partial ^\mu \pi ^\beta \partial _\nu \pi _\alpha {\hat{\partial }}_t\gamma _{\Omega ,k}(\square ) \partial _\mu \pi ^\alpha \partial ^\nu \pi _\beta \nonumber \\&\quad \left. \left. -\partial ^\mu \pi _\alpha \partial _\nu \pi ^\beta {\hat{\partial }}_t\gamma _{\Omega ,k}(\square ) \partial _\mu \pi ^\alpha \partial ^\nu \pi _\beta \right] {+}O(\pi ^6)\right\} .\nonumber \\ \end{aligned}
(120)

The effective action is then obtained by integrating Eqs. (118) and (119). We get

\begin{aligned} f^2_\Lambda -f^2_0=\int _0^\Lambda \frac{\mathrm{d}k}{k} {\hat{\partial }}_t f_k^2 =-\frac{1}{2}\frac{f_\Lambda ^4}{16\pi ^2}\Lambda ^2 \end{aligned}
(121)

and

\begin{aligned}&\gamma _{U,\Lambda }(\square )-\gamma _{U,0}(\square )\nonumber \\&\quad =\int _0^\Lambda \frac{\mathrm{d}k}{k} {\hat{\partial }}_t\gamma _{U,k}(\square )\nonumber \\&\quad =\frac{1}{32}\frac{1}{16\pi ^2}\left( 1-\frac{1}{2}\log \frac{-\square }{\Lambda ^2}\right) , \end{aligned}
(122)
\begin{aligned}&\gamma _{\Omega ,\Lambda }(\square )-\gamma _{\Omega ,0}(\square )\nonumber \\&\quad =\int _0^\Lambda \frac{\mathrm{d}k}{k} {\hat{\partial }}_t\gamma _{k,\Omega }(\square )\nonumber \\&\quad =\frac{1}{16}\frac{1}{16\pi ^2}\left( \frac{2}{9}-\frac{1}{12}\log \frac{-\square }{\Lambda ^2}\right) . \end{aligned}
(123)

In this effective field theory approach the need to renormalize does not arise so much from having to eliminate divergences, since $$\Lambda$$ corresponds to some finite physical scale and all integrals are finite anyway. Instead, it is dictated by the desire to eliminate all dependence on high energy couplings, which are unknown or only poorly known, and to express everything in terms of quantities that are measurable in the low energy theory.Footnote 4 So, in order to eliminate the quadratic dependence on $$\Lambda$$, we define the renormalized coupling to be

\begin{aligned} f_0^2=f_\Lambda ^2+\frac{f_\Lambda ^4}{32\pi ^2}\Lambda ^2. \end{aligned}
(124)

To get rid of the logarithmic dependence on $$\Lambda$$ we define the renormalized values of $$\ell _1$$ and $$\ell _2$$, introduced in Eq. (115), to be

\begin{aligned}&\ell _{1,0}=\ell _{1,\Lambda }+\frac{4}{3}\frac{f_\Lambda ^4}{512\pi ^2}\log \frac{\mu ^2}{\Lambda ^2}\ , \nonumber \\&\ell _{2,0}=\ell _{2,\Lambda }+\frac{2}{3}\frac{f_\Lambda ^4}{512\pi ^2}\log \frac{\mu ^2}{\Lambda ^2}. \end{aligned}
(125)

Here the couplings with subscripts $$\Lambda$$ can be interpreted as the “bare” couplings and the ones with subscripts 0 can be interpreted as the “renormalized” ones. Notice that, once subtracted, the quadratic dependence completely disappears, but due to the need to compensate for the dimension of the Laplacian in the logarithms, one has to define the renormalized $$\ell _1$$ and $$\ell _2$$ at some (infrared) scale $$\mu$$ and therefore there unavoidably remains a residual scale dependence.

After this renormalization procedure, the effective action can be written, in perturbation theory, as a function of the renormalized coupling:

\begin{aligned} \Gamma _0[\pi ]= & {} \int \mathrm{d}^4x\,\left\{ \frac{1}{2} \partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha -\frac{1}{24}f^2\right. \nonumber \\&\times \left( \partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha \pi _\beta \pi ^\beta - \partial _\mu \pi ^\alpha \partial ^\mu \pi ^\beta \pi _\alpha \pi _\beta \right) \nonumber \\&+\,\frac{\ell _{1}}{2}f^4\,\partial _\mu \pi _\alpha \partial _\nu \pi ^\alpha \partial ^\mu \pi _\beta \partial ^\nu \pi ^\beta \nonumber \\&+\frac{\ell _{2}}{2}f^4\,\partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha \partial _\nu \pi _\beta \partial ^\nu \pi ^\beta \nonumber \\&-\frac{1}{32}\frac{f^4}{16\pi ^2}\partial _\mu \pi _\alpha \partial ^\mu \pi ^\alpha \nonumber \\&\times \left( 1-\frac{1}{2}\log \frac{-\square }{\mu ^2}\right) \partial _\nu \pi _\beta \partial ^\nu \pi ^\beta \nonumber \\&-\frac{1}{32}\frac{f^4}{16\pi ^2}\partial _\mu \pi ^\alpha \partial ^\mu \pi _\beta \left( 1{-}\frac{1}{2}\log \frac{-\square }{\mu ^2}\right) \partial _\nu \pi ^\beta \partial ^\nu \pi _\alpha \nonumber \\&-\frac{1}{16}\frac{f^4}{16\pi ^2}\partial ^\mu \pi ^\beta \partial _\nu \pi _\alpha \nonumber \\&\times \left( \frac{2}{9}-\frac{1}{12}\log \frac{-\square }{\mu ^2}\right) \partial _\mu \pi ^\alpha \partial ^\nu \pi _\beta \nonumber \\&+\frac{1}{16}\frac{f^4}{16\pi ^2}\partial ^\mu \pi _\alpha \partial _\nu \pi ^\beta \left( \frac{4}{9}-\frac{1}{6}\log \frac{-\square }{\mu ^2}\right) \nonumber \\&\times \left. \partial _\mu \pi ^\alpha \partial ^\nu \pi _\beta +O(\pi ^6)\right\} , \end{aligned}
(126)

where we have eliminated the subscripts from the couplings. The renormalized couplings f, $$\ell _1$$ and $$\ell _2$$ have to be measured experimentally, but the non-local terms are then completely determined and constitute therefore low energy predictions of the theory.

These non-local terms enter in the computation of the Goldstone boson scattering amplitude $$A(\pi _\alpha \pi _\beta \rightarrow \pi _\sigma \pi _\rho )=A(s,t,u)\delta _{\alpha \beta }\delta _{\sigma \rho }+A(t,s,u)\delta _{\alpha \sigma }\delta _{\beta \rho }+A(u,t,s)\delta _{\alpha \rho } \delta _{\beta \sigma }$$, which is obtained by taking four functional derivatives of the effective action in Eq. (126) with respect to $$\pi ^\alpha$$ after performing the analytic continuation to Minkowski space and evaluating the expression at the particles external momenta. We get

\begin{aligned} A(s,t,u;\mu )= & {} \frac{f^2}{4} s + \frac{\ell _1}{2}f^4 (t^2+u^2) +\ell _2 f^4s^2 \nonumber \\&-\frac{1}{3}\frac{f^4}{512\pi ^2}\left( 2s^2\log \frac{-s}{\mu ^2}+t(t-u)\log \right. \nonumber \\&\left. \frac{-t}{\mu ^2}+u(u-t)\log \frac{-u}{\mu ^2}\right) , \end{aligned}
(127)

where $$s=(p_1+p_2)^2$$, $$t=(p_1+p_3)^2$$ and $$u=(p_1+p_4)^2$$ and all momenta are taken to be incoming. This result is well known in the literature on chiral models [45].

## 7 Gravity with scalar field

In this section we will consider another example of effective action for an effective field theory, namely a scalar coupled minimally to gravity. As first argued in [56, 57] and confirmed by explicit calculations [58, 59] low energy gravitational scattering amplitudes can be calculated unambiguously in this effective field theory, in spite of its perturbative non-renormalizability. The reason is that low energy effects correspond to non-local terms in the effective action that are non-analytic in momentum. Such terms are not affected by the divergences, which manifest themselves as terms analytic in momentum. Here we shall follow the logic of previous chapters and derive the terms in the effective action containing up to two powers of curvature, by integrating the flow equation. There have been several calculations of divergences for a scalar coupled to gravity, including also a generic potential [6063]. As we shall see, some of these terms are related to the low energy ones by simple properties, so that the two calculations partly overlap. From a different point of view, the flow of scalar couplings due to gravity has also been discussed in [64], and with the aim of establishing the existence of an UV fixed point, in [65, 66]. Previous application of the FRGE to the calculation of some terms in the gravitational EA have been given in [6771].

Action All calculations will be done in the Euclidean field theory. We will study the flow of the EAA driven by an action of the form

\begin{aligned} \Gamma _k[h,\bar{C},C;g]&=S_H[g+h] +S_{m}[g+h,\phi ] +S_{gf}[h;g]\nonumber \\&\quad +S_{gh}[h,\bar{C},C;g], \end{aligned}
(128)

where $$h_{\mu \nu }$$ is the metric fluctuation, $$\bar{C}^\mu$$ and $$C_\mu$$ are anticommuting vector ghosts for diffeomorphisms, $$g_{\mu \nu }$$ is the background metric. The term

\begin{aligned} S_H[g+h]=-\frac{1}{\kappa }\int \mathrm{d}^{d}x\sqrt{\det (g+h)}R(g+h), \end{aligned}
(129)

with $$\kappa =16\pi G$$, is the Hilbert action,

\begin{aligned} S_{m}[g+h,\phi ]= & {} \int \mathrm{d}^{d}x\sqrt{\det (g+h)}\nonumber \\&\times \left[ \frac{1}{2}(g+h)^{\mu \nu }\partial _{\mu }\phi \partial _{\nu }\phi +V(\phi )\right] \end{aligned}
(130)

is the matter action and

\begin{aligned} S_{gf}[h;g]&=\frac{1}{2}\int \mathrm{d}^{d}x\sqrt{g}\chi _{\mu }\chi ^{\mu }\ , \mathrm {with}\nonumber \\ \chi _{\mu }&=\nabla ^{\nu }h_{\mu \nu }-\frac{1}{2}\nabla _{\mu }h \end{aligned}
(131)

is the Feynman–de Donder-type gauge-fixing term (the gauge parameter $$\alpha$$ is set to one). We will only need the ghost action for $$h=0$$, in which case it has the form

\begin{aligned} S_{gh}[0,\bar{C},C;g]=\int \mathrm{d}^{d}x\sqrt{g}\,\bar{C}_{\mu }\left( -\square \delta _{\nu }^{\mu }-R_{\nu }^{\mu }\right) C^{\nu }. \end{aligned}
(132)

The covariant derivative $$\nabla$$ and the curvature R are constructed with the background metric and we denote $$\square =\nabla _{\mu }\nabla ^{\mu }$$.

Using Eq. (5), this action generates all possible diffeomorphism-invariant terms. We retain only those that are quadratic in ”curvatures”, where we include among curvatures the Riemann tensor and its contractions, terms with two derivatives acting on one or two scalar fields the potential and its derivatives.Footnote 5 Within this class of EAA’s we can calculate the RG flow and integrate it analytically to obtain an EA, which consists of both local and non-local terms. In a more accurate treatment these new terms would all contribute to the r.h.s. of the flow equation, but such calculations would be far more involved.

Hessian Arranging the fluctuation fields $$h_{\mu \nu }$$, $$\delta \phi$$ in a $$d(d+1)/2+1$$-dimensional column vector $$\delta \Phi$$, the total quadratic part can be written as

\begin{aligned}&\frac{1}{2\kappa }\int \mathrm{d}^{d}x\sqrt{g}\, \delta \Phi ^T \mathbb {H}\, \delta \Phi \nonumber \\&\quad =\frac{1}{2\kappa }\int \mathrm{d}^{d}x\sqrt{g}\, \left( \begin{array}{cc} h_{\alpha \beta }&\delta \phi \end{array}\right) \left( \begin{array}{c c} \mathbb {H}^{\alpha \beta \mu \nu }&{} \mathbb {H}^{\alpha \beta \,\cdot }\\ \mathbb {H}^{\,\cdot \,\mu \nu }&{}\mathbb {H}^{\,\cdot \,\cdot } \end{array}\right) \left( \begin{array}{c} h_{\mu \nu }\\ \delta \phi \end{array}\right) \nonumber \\ \end{aligned}
(133)

where the dot refers to the components in the space spanned by $$\delta \phi$$. The Hessian $$\mathbb {H}$$ has the form

\begin{aligned} \mathbb {H}=\mathbb {K}(-\square )+2\mathbb {V}^{\delta }\nabla _{\delta }+\mathbb {U}. \end{aligned}
(134)

The coefficient of the second-derivative term is a quadratic form in field space,

\begin{aligned} \mathbb {K}=\left( \begin{array}{cc} K^{\alpha \beta \mu \nu } &{} 0\\ 0 &{} \kappa \end{array}\right) \end{aligned}
(135)

where

\begin{aligned} K^{\alpha \beta \mu \nu }= & {} \frac{1}{2}\left( \delta ^{\alpha \beta ,\mu \nu }-\frac{1}{2}g^{\alpha \beta }g^{\mu \nu }\right) \nonumber \\= & {} \frac{1}{4}\left( g^{\mu \alpha }g^{\nu \beta }+g^{\nu \alpha }g^{\mu \beta }-g^{\alpha \beta }g^{\mu \nu }\right) \end{aligned}
(136)

is the DeWitt metric. (We denote by $$\delta _{\alpha \beta }{}^{\mu \nu }$$ the identity in the space of symmetric tensors.) Furthermore,

\begin{aligned}&\mathbb {V}^{\delta } = \left( \begin{array}{cc} 0 &{} -\kappa K^{\alpha \beta }{}^{\gamma \delta }\nabla _{\gamma }\phi \\ \kappa K^{\mu \nu \,\gamma \delta }\nabla _{\gamma }\phi &{} 0 \end{array}\right) , \end{aligned}
(137)
\begin{aligned} \mathbb {U}= & {} \left( \begin{array}{cc} U^{\alpha \beta \mu \nu } &{} \frac{1}{2}\kappa g^{\alpha \beta }V'(\phi )\\ 2\kappa K^{\mu \nu \gamma \delta }\nabla _{\gamma }\nabla _{\delta }\phi +\frac{1}{2}\kappa g^{\mu \nu }V'(\phi ) &{} \kappa V''(\phi ) \end{array}\right) ,\nonumber \\ \end{aligned}
(138)

with

\begin{aligned} U^{\alpha \beta \mu \nu }= & {} K^{\alpha \beta \mu \nu }R +\frac{1}{2}(g^{\mu \nu }R^{\alpha \beta } +R^{\mu \nu }g^{\alpha \beta })\nonumber \\&-\frac{1}{4}\left( g^{\alpha \mu }R^{\beta \nu } +g^{\alpha \nu }R^{\beta \mu } +g^{\beta \mu }R^{\alpha \nu } +g^{\beta \nu }R^{\alpha \mu }\right) \nonumber \\&-\frac{1}{2}(R^{\alpha \mu \beta \nu }+R^{\alpha \nu \beta \mu })+\kappa \left[ -\frac{1}{2}K^{\alpha \beta \mu \nu }(\nabla \phi )^2\right. \nonumber \\&-\frac{1}{4}(g^{\alpha \beta }\nabla ^\mu \phi \nabla ^\nu \phi +g^{\mu \nu }\nabla ^\alpha \phi \nabla ^\beta \phi ) \nonumber \\&+\frac{1}{4}\left( g^{\alpha \mu }\nabla ^{\beta }\phi \nabla ^\nu \phi +g^{\alpha \nu }\nabla ^{\beta }\phi \nabla ^\mu \phi \right. \nonumber \\&\left. \left. +g^{\beta \mu }\nabla ^{\alpha }\phi \nabla ^\nu \phi +g^{\beta \nu }\nabla ^{\alpha }\phi \nabla ^\mu \phi \right) -K^{\alpha \beta \mu \nu }V\right] .\nonumber \\ \end{aligned}
(139)

It is convenient to extract an overall factor of $$\mathbb {K}$$ and write the Hessian as $$\mathbb {H}=\mathbb {K}\Delta$$ where

\begin{aligned} \Delta =\mathbb {I}(-\square )+2\mathbb {Y}^{\delta }\nabla _{\delta }+\mathbb {W} \end{aligned}
(140)

is a linear operator in field space and therefore has the index structure

\begin{aligned} \Delta = \left( \begin{array}{c c} \Delta _{\alpha \beta }{}^{\mu \nu }&{} \Delta _{\alpha \beta }{}^{\cdot }\\ \Delta _{\,\cdot }{}^{\mu \nu }&{}\Delta _{\,\cdot }{}^{\cdot } \end{array}\right) . \end{aligned}
(141)

The coefficients in the operator $$\Delta$$ are related to those of the Hessian by $$\mathbb {Y}^\delta =\mathbb {K}^{-1}\mathbb {V}^{\delta }$$, $$\mathbb {W}=\mathbb {K}^{-1}\mathbb {U}$$, where

\begin{aligned} K^{-1}_{\mu \nu }{}^{\alpha \beta }= 2\delta _{\mu \nu }{}^{\alpha \beta }-\frac{2}{d-2}g_{\mu \nu }g^{\alpha \beta }\ . \end{aligned}
(142)

Note $$\mathbb {W}$$ need not to be symmetric, in fact the question is not even well posed because of the different position of the indices. Explicit calculation leads to the following expressions:

\begin{aligned} \mathbb {Y}^{\delta }= \left( \begin{array}{cc} 0 &{} -\kappa \delta _{\alpha \beta }{}^{\gamma \delta }\nabla _{\gamma }\phi \\ K^{\mu \nu \,\gamma \delta }\nabla _{\gamma }\phi &{} 0 \end{array}\right) , \end{aligned}
(143)
\begin{aligned} \mathbb {W}= \left( \begin{array}{cc} W_{\alpha \beta }{}^{\mu \nu } &{} -\frac{2}{d-2}\kappa g_{\alpha \beta }V'(\phi )\\ 2 K^{\mu \nu \,\gamma \delta }\nabla _{\gamma }\nabla _{\delta }\phi +\frac{1}{2}g^{\mu \nu }V'(\phi ) &{} V''(\phi ) \end{array}\right) ,\nonumber \\ \end{aligned}
(144)

where

\begin{aligned}&W_{\alpha \beta }{}^{\mu \nu } = 2\,U_{\alpha \beta }{}^{\mu \nu } -\frac{d-4}{d-2}\,g_{\alpha \beta }\nonumber \\&\left[ R^{\mu \nu }-\frac{1}{2}R\,g^{\mu \nu } -\frac{\kappa }{2}\left( \nabla ^\mu \phi \nabla ^\nu \phi -\frac{1}{2}g^{\mu \nu }(\nabla \phi )^2\right) \right] \nonumber \\&\quad -\frac{\kappa }{2}g_{\alpha \beta }g^{\mu \nu }V. \end{aligned}
(145)

Completing the square In order to use the standard heat kernel formulae for minimal Laplace-type operators, we have to eliminate the first-order terms $$\mathbb {Y}\cdot \nabla$$. This can be achieved by absorbing them in a redefinition of the covariant derivative: $${\tilde{\nabla }}_{\mu }=\nabla _{\mu }\mathbb {I}-\mathbb {Y}_{\mu }$$. Then $$\Delta$$ in (141) can be rewritten as

\begin{aligned} \Delta= & {} -{\tilde{\nabla }}_{\mu }{\tilde{\nabla }}^{\mu }+{\tilde{\mathbb {W}}}\end{aligned}
(146)
\begin{aligned} {\tilde{\mathbb {W}}}= & {} \mathbb {W}-\nabla _{\mu }\mathbb {Y}^{\mu } +\mathbb {Y}_{\mu }\mathbb {Y}^{\mu }. \end{aligned}
(147)

To compute $$\tilde{\mathbb {W}}$$ we need the following intermediate results:

\begin{aligned} \nabla _\mu \mathbb {Y}^\mu= & {} \left( \begin{array}{cc} 0 &{} -\kappa \nabla _{\alpha }\nabla _{\beta }\phi \\ K^{\mu \nu \,\gamma \delta }\nabla _{\delta }\nabla _{\gamma }\phi &{} 0 \end{array}\right) , \nonumber \\ \mathbb {Y}_\mu \mathbb {Y}^\mu= & {} \left( \begin{array}{cc} -\kappa \delta _{\alpha \beta }{}^{\gamma \delta }K^{\mu \nu \,\epsilon }{}_\delta \nabla _{\gamma }\phi \nabla _{\epsilon }\phi &{} 0\\ 0 &{} -\kappa (\nabla \phi )^{2} \end{array}\right) \end{aligned}
(148)

and

\begin{aligned} K_{\gamma \delta }{}^{\epsilon \delta }= & {} \frac{d}{4}\delta _{\gamma }^{\epsilon } \quad \delta _{\alpha \beta }{}^{\gamma \delta } K^{\mu \nu \,\epsilon }{}_\delta \nabla _{\gamma }\phi \nabla _{\epsilon }\phi \nonumber \\= & {} -\frac{1}{2}\delta _{(\alpha }^{(\mu }\nabla _{\beta )}\phi \nabla ^{\nu )}\phi +\frac{1}{4}g^{\mu \nu }\nabla _{\alpha }\phi \nabla _{\beta }\phi . \end{aligned}
(149)

Collecting, we find

\begin{aligned} {\tilde{\mathbb {W}}}=\left( \begin{array}{cc} A_{\alpha \beta }{}^{\mu \nu } &{} B_{\alpha \beta }\\ C^{\mu \nu } &{} D \end{array}\right) \end{aligned}
(150)

with

\begin{aligned}&A_{\alpha \beta }{}^{\mu \nu } = W_{\alpha \beta }{}^{\mu \nu } -\frac{1}{2}\kappa \delta _{(\alpha }^{(\mu }\nabla _{\beta )}\phi \nabla ^{\nu )}\phi +\frac{1}{4}\kappa g^{\mu \nu }\nabla _{\alpha }\phi \nabla _{\beta }\phi \\&B_{\alpha \beta } = -\frac{2}{d-2}\kappa g_{\alpha \beta }V'(\phi ) +\kappa \nabla _{\alpha }\nabla _{\beta }\phi \\&C^{\mu \nu } = K^{\mu \nu \,\alpha \beta }\nabla _{\alpha }\nabla _{\beta }\phi +\frac{1}{2} g^{\mu \nu }V'(\phi )\\&D = -\kappa (\nabla \phi )^{2}+V''(\phi ). \end{aligned}

The curvature of covariant derivatives, $${{\tilde{\Omega }}}_{\mu \nu }=[{\tilde{\nabla }}_\mu ,{\tilde{\nabla }}_\nu ]$$, is related to the curvature of the original covariant derivative, $$\Omega =[\nabla _\mu ,\nabla _\nu ]$$ by

\begin{aligned} {\tilde{\Omega }}_{\mu \nu }=\Omega _{\mu \nu }-\nabla _{\mu }\mathbb {Y}_{\nu } +\nabla _{\nu }\mathbb {Y}_{\mu } +\mathbb {Y}_{\mu }\mathbb {Y}_{\nu }-\mathbb {Y}_{\nu }\mathbb {Y}_{\mu }. \end{aligned}
(151)

To compute $${\tilde{\Omega }}_{\kappa \lambda }$$ we need

\begin{aligned} 2\nabla _{[\kappa }\mathbb {Y}_{\lambda ]}=\left( \begin{array}{cc} 0 &{} -2\kappa \delta _{\alpha \beta }{}^{\gamma \delta }g_{[\lambda |\delta |} \nabla _{\kappa ]}\nabla _{\gamma }\phi \\ 2K^{\mu \nu \,\gamma \delta }g_{[\lambda |\delta |}\nabla _{\kappa ]}\nabla _{\gamma }\phi &{} 0 \end{array}\right) \nonumber \\ \end{aligned}
(152)

and

\begin{aligned} 2\mathbb {Y}_{[\kappa }\mathbb {Y}_{\lambda ]}=\left( \begin{array}{cc} -2\kappa \delta _{\alpha \beta \,\gamma [\kappa }Z_{|\epsilon |\lambda ]}^{\mu \nu }\nabla ^{\gamma }\phi \nabla ^{\epsilon }\phi &{}\quad 0\\ 0 &{}\quad 0 \end{array}\right) . \end{aligned}
(153)

Then we find

\begin{aligned} {\tilde{\Omega }}_{\kappa \lambda } = \left( \begin{array}{cc} ({\tilde{\Omega }}_{\kappa \lambda })_{\alpha \beta }{}^{\mu \nu } &{} ({\tilde{\Omega }}_{\kappa \lambda })_{\alpha \beta }{}^{\,\cdot }\\ ({\tilde{\Omega }}_{\kappa \lambda })_{\,\cdot }{}^{\mu \nu } &{} 0 \end{array}\right) , \end{aligned}
(154)

where

\begin{aligned} ({\tilde{\Omega }}_{\kappa \lambda })_{\alpha \beta }{}^{\mu \nu }= & {} (\Omega _{\kappa \lambda })_{\alpha \beta }{}^{\mu \nu } -2\kappa \delta _{\alpha \beta \,\gamma [\kappa |}K_{\epsilon |\lambda ]}{}^{\mu \nu }\nabla ^{\gamma }\phi \nabla ^{\epsilon }\phi , \\ ({\tilde{\Omega }}_{\kappa \lambda })_{\alpha \beta }{}^{\,\cdot }= & {} 2\kappa \delta _{\alpha \beta }{}^{\gamma \delta }g_{[\lambda |\delta }\nabla _{|\kappa ]}\nabla _{\gamma }\phi , \\ ({\tilde{\Omega }}_{\kappa \lambda })_{\,\cdot }{}^{\mu \nu }= & {} -2 K^{\mu \nu \,\gamma \delta }g_{[\lambda |\delta }\nabla _{|\kappa ]}\nabla _{\gamma }\phi . \end{aligned}

Heat kernel coefficients We compute first the local heat kernel coefficients of the operator $$\Delta$$, using (12). The first two are

\begin{aligned}&\text{ tr }\,\mathbf {b}_0(\Delta )=11\ ,\nonumber \\&\text{ tr }\,\mathbf {b}_2(\Delta )=-\frac{25}{6}R+2\kappa ((\nabla \phi )^2)^2-V''+10\kappa V. \end{aligned}
(155)

For the calculation of $$\mathbf {b}_4$$ we need a few preliminary results. Using $$\text{ tr }\,\mathbb {I}=11$$ and defining $$\mathbb {P}={\tilde{\mathbb {W}}}-\frac{R}{6}\mathbb {I}$$, the heat kernel coefficient (12) can be rewritten, in four dimensions, in the more compact form

\begin{aligned} \text{ tr }\,b_4(\Delta )= \frac{11}{180}(\mathrm{Riem}^{2}-\mathrm{Ric}^{2}) +\frac{1}{2}\text {tr}\,\mathbb {P}^2+\frac{1}{12}\text {tr}{\tilde{\Omega }}^{2}. \end{aligned}
(156)

In the evaluation of the last two terms we use the following traces:

\begin{aligned}&\text {tr}\,\mathbb {P}^2= \text{ tr }\,{\tilde{\mathbb {W}}}^2-\frac{1}{3}R\,\text{ tr }\,{\tilde{\mathbb {W}}}+\frac{11}{36}R^2\ , \\&\text {tr}\,{\tilde{\mathbb {W}}}=A_{\mu \nu }{}^{\mu \nu }+D\ , \\&A_{\mu \nu }{}^{\mu \nu }=6R-\kappa (\nabla \phi )^2-10\kappa V\ , \\&\text {tr}\,{\tilde{\mathbb {W}}}^2 = A_{\mu \nu }{}^{\alpha \beta }A_{\alpha \beta }{}^{\mu \nu }+2B_{\alpha \beta }C^{\alpha \beta }+D^{2} , \\&A_{\mu \nu }{}^{\alpha \beta }A_{\alpha \beta }{}^{\mu \nu }= 3R_{\mu \nu \rho \sigma }R^{\mu \nu \rho \sigma } -6R_{\mu \nu }R^{\mu \nu }+5R^2 \\&\quad -\frac{3}{2}\kappa R(\nabla \phi )^2 -12\kappa V\,R \\&\quad +\frac{7}{4}\kappa ^2((\nabla \phi )^2)^2 +2\kappa ^2 V(\nabla \phi )^2 +10\kappa ^2V^2 ,\\&B_{\alpha \beta }C^{\alpha \beta }= \kappa V'\nabla ^2\phi -2\kappa V^{\prime 2} \nonumber \\&\quad +\frac{1}{2}\kappa \nabla _\mu \nabla _\nu \phi \nabla ^\mu \nabla ^\nu \phi -\frac{1}{4}\kappa (\nabla ^2\phi )^2 ,\\&\frac{1}{2}\text{ tr }\,\mathbb {P}^2 = \frac{3}{2}\text {Riem}^{2}-3\text {Ric}^{2}+\frac{119}{72}R^{2}\\&\quad +\frac{11}{8}\kappa ^2\nabla _{\alpha }\phi \nabla ^{\alpha }\phi \nabla _{\beta }\phi \nabla ^{\beta }\phi \nonumber \\&\quad -\frac{1}{4}\kappa \nabla ^{2}\phi \nabla ^{2}\phi +\frac{1}{2}\kappa \nabla _{\beta }\nabla _{\alpha }\phi \nabla ^{\beta }\nabla ^{\alpha }\phi \\&\quad +\kappa \left( \kappa V(\phi )-\frac{5}{12}R-V''(\phi )\right) \nabla _{\alpha }\phi \nabla ^{\alpha }\phi \\&\quad +\kappa V'(\phi )\nabla ^{2}\phi +5\kappa ^2V^{2}(\phi )-\frac{13}{3}\kappa R\, V(\phi )\\&\quad -2\kappa V'(\phi )^{2}-\frac{R}{6}V''(\phi )+\frac{V''(\phi )^2}{2}. \end{aligned}

For the last term in (156) we need

\begin{aligned} \text {tr}\,{\tilde{\Omega }}_{\mu \nu }{\tilde{\Omega }}^{\mu \nu }= & {} ({\tilde{\Omega }}_{\mu \nu })_{\alpha \beta }{}^{\gamma \delta } ({\tilde{\Omega }}^{\mu \nu })_{\gamma \delta }{}^{\alpha \beta }\nonumber \\&+2({\tilde{\Omega }}_{\mu \nu })_{\alpha \beta }({\tilde{\Omega }}^{\mu \nu })^{\alpha \beta }, \end{aligned}
(157)

where

\begin{aligned} ({\tilde{\Omega }}_{\mu \nu })_{\alpha \beta }{}^{\gamma \delta } ({\tilde{\Omega }}^{\mu \nu })_{\gamma \delta }{}^{\alpha \beta }= & {} -6R_{\mu \nu \rho \sigma }R^{\mu \nu \rho \sigma }\\&+\kappa R(\nabla \phi )^{2} +2\kappa R_{\mu \nu }\nabla ^{\mu }\phi \nabla ^{\nu }\phi \nonumber \\&-\frac{3}{2}\kappa ((\nabla \phi )^2)^2\\&\times 2({\tilde{\Omega }}_{\mu \nu })_{\alpha \beta }({\tilde{\Omega }}^{\mu \nu })^{\alpha \beta }\nonumber \\= & {} \kappa ((\nabla ^2\phi )^{2}-4\nabla _{\mu }\nabla _{\nu }\phi \nabla ^{\mu }\nabla ^{\nu }\phi ). \end{aligned}

We thus arrive at

\begin{aligned} \text{ tr }\,\mathbf {b}_{4}(\Delta )= & {} \frac{191}{180}\text {Riem}^{2} -\frac{551}{180}\text {Ric}^{2} +\frac{119}{72}R^{2}\\&+\frac{5}{4}\kappa ^2((\nabla \phi )^2)^2 -\frac{1}{6}\kappa \nabla ^{2}\phi \nabla ^{2}\phi \nonumber \\&+\frac{1}{6}\kappa \nabla _{\beta }\nabla _{\alpha }\phi \nabla ^{\beta }\nabla ^{\alpha }\phi +\frac{1}{6}\kappa R_{\alpha \beta }\nabla ^{\alpha }\phi \nabla ^{\beta }\phi \\&+\kappa \left( \kappa V(\phi )-\frac{1}{3}R-V''(\phi )\right) (\nabla \phi )^2\nonumber \\&+\kappa V'(\phi )\nabla ^{2}\phi \\&+5\kappa ^2V^{2}(\phi )-2\kappa V'(\phi )^{2}-\frac{13}{3}\kappa R\, V(\phi )\\&-\frac{R}{6}V''(\phi )+\frac{V''(\phi )^2}{2}. \end{aligned}

Using the relations

\begin{aligned} \frac{1}{6}R_{\alpha \beta }\nabla ^{\alpha }\phi \nabla ^{\beta }\phi -\frac{1}{6}\nabla ^{2}\phi \nabla ^{2}\phi +\frac{1}{6}\nabla _{\beta }\nabla _{\alpha }\phi \nabla ^{\beta }\nabla ^{\alpha }\phi =0,\nonumber \\ \end{aligned}
(158)
\begin{aligned} -V''(\phi )(\nabla \phi )^2+V'(\phi )\nabla ^2\phi =-2V''(\phi )(\nabla \phi )^2, \end{aligned}
(159)
\begin{aligned} R_{\mu \nu \rho \sigma }R^{\mu \nu \rho \sigma }= 4R_{\mu \nu }R^{\mu \nu }-R^2, \end{aligned}
(160)

which hold under an integral modulo surface terms, one can rewrite

\begin{aligned} \text{ tr }\,\mathbf {b}_{4}(\Delta )= & {} \frac{71}{60}\text {Ric}^{2}+\frac{71}{120}R^{2}\nonumber \\&-\frac{1}{3}\kappa R(\nabla \phi )^2 -\frac{13}{3}\kappa R\, V(\phi ) -\frac{1}{6}RV''(\phi )\nonumber \\&+\frac{5}{4}\kappa ^2((\nabla \phi )^2)^2 \nonumber \\&+\kappa ^2V(\phi )(\nabla \phi )^2 -2\kappa V''(\phi )(\nabla \phi )^2\nonumber \\&+5\kappa ^2V^{2}(\phi )-2\kappa V'(\phi )^{2}\nonumber \\&+\frac{V''(\phi )^2}{2}. \end{aligned}
(161)

The non-local heat kernel can be computed from Eq. (17). Using again the traces given above, the coefficient of $$s^2$$ is found to be

\begin{aligned}&R_{\mu \nu }(11f_\mathrm{Ric}+6f_U-24f_\Omega )R^{\mu \nu }\nonumber \\&\quad +\,R(11f_R+6f_{RU}+2f_U+6f_\Omega )R \nonumber \\&\quad +\,\kappa R\left( -2f_{RU}-\frac{3}{2}f_U+f_\Omega \right) (\nabla \phi )^2 +2\kappa R^{\mu \nu }f_\Omega \nabla _\mu \phi \nabla _\nu \phi \nonumber \\&\quad +\,R f_{RU}V'' +\kappa R(-10f_{RU}-12f_U)V \nonumber \\&\quad +\,\kappa \nabla _\mu \nabla _\nu \phi (f_U-4f_\Omega )\nabla ^\mu \nabla ^\nu \phi +\kappa \nabla ^2\phi \left( -\frac{1}{2}f_U+f_\Omega \right) \nabla ^2\phi \nonumber \\&\quad +\,2\kappa \nabla ^2\phi f_U V' -2\kappa (\nabla \phi )^2 f_U V'' \nonumber \\&\quad +\,2\kappa ^2 V f_U (\nabla \phi )^2 -4\kappa V' f_U V' +V'' f_U V''\nonumber \\&\quad +\,\left( \frac{11}{4}f_{U}-\frac{3}{2}f_{\Omega }\right) \kappa ^{2}\left( \left( \nabla \phi \right) ^{2}\right) ^{2} +10\kappa ^2 V f_U V. \end{aligned}
(162)

Using the expansion (20) one can check that the local part of this expression agrees with (161).

One can compute in a similar way the heat kernel of the ghost operator $$(\Delta _{gh})_\mu ^\nu =-\nabla ^2\delta _\mu ^\nu -R_\mu ^\nu$$. We find, in four dimensions, the local heat kernel coefficients

\begin{aligned}&\text{ tr }\,\mathbf {b}_0(\Delta _{gh})=4;\, \text{ tr }\,\mathbf {b}_2(\Delta _{gh})=-\frac{1}{3}R;\nonumber \\&\text{ tr }\,\mathbf {b}_4(\Delta _{gh})=\frac{7}{30}R_{\mu \nu }R^{\mu \nu }+\frac{17}{60}R^2, \end{aligned}
(163)

where we used again (160). The coefficient of $$s^2$$ in (17) is

\begin{aligned} R_{\mu \nu }(4f_\mathrm{Ric} +f_U-4f_\Omega )R^{\mu \nu } +R(4f_R-f_{RU}+f_\Omega )R.\nonumber \\ \end{aligned}
(164)

We are now ready to write the flow equation.

Flow equations We write the one-loop flow equation for the “single metric” bEAA $$\Gamma _k[g]\equiv \Gamma _k[0,0,0;g]$$. It consists of two terms:

\begin{aligned} {\partial _{t}}{\Gamma }_{k}[g]=\frac{1}{2}\mathrm{Tr}\frac{\partial _{t}R_{k}(\Delta )}{\Delta +R_{k}(\Delta )}-{\mathrm{Tr}}\frac{\partial _{t}R_{k}(\Delta _{gh})}{\Delta _{gh}+R_{k}(\Delta _{gh})}.\end{aligned}
(165)

The first comes from the graviton and scalar fluctuations, the second from the ghosts. Using Eq. (21) and the heat kernel discussed in the previous section, the flow equation for the bEAA is

\begin{aligned} \partial _t\Gamma _k[g]= & {} \frac{1}{32\pi ^2}\int d^4x\sqrt{g}\left\{ 3k^4 +k^2\right. \nonumber \\&\times \,\left( -\frac{29}{3}R +4\kappa (\nabla \phi )^2 -2 V'' +20\kappa V\right) \nonumber \\&+\,R_{\mu \nu }\,g_1({\tilde{z}})\,R^{\mu \nu } +R g_2({\tilde{z}})R \nonumber \\&+\,\kappa R g_3({\tilde{z}})(\nabla \phi )^2 +\kappa R^{\mu \nu }g_4({\tilde{z}}) \nabla _\mu \phi \nabla _\nu \phi \nonumber \\&+\,R g_5({\tilde{z}})V''\nonumber \\&+\,\kappa R g_6({\tilde{z}}) V \nonumber \\&+\,\kappa \nabla _\mu \nabla _\nu \phi \, g_7({\tilde{z}})\nabla ^\mu \nabla ^\nu \phi +\kappa \nabla ^2\phi \, g_8({\tilde{z}})\nabla ^2\phi \nonumber \\&+\,\kappa ^2(\nabla \phi )^2 g_9({\tilde{z}}) (\nabla \phi )^2 \nonumber \\&+\,\kappa \nabla ^2\phi \, g_{10}({\tilde{z}}) V' -\kappa (\nabla \phi )^2 g_{10}({\tilde{z}}) V''\nonumber \\&+\,\kappa ^2 (\nabla \phi )^2 g_{10}({\tilde{z}}) V \nonumber \\&-\,2\kappa V' g_{10}({\tilde{z}}) V' +\frac{1}{2}V'' g_{10}({\tilde{z}}) V'' \nonumber \\&\left. +\,5\kappa ^2 V g_{10}({\tilde{z}}) V \right\} , \end{aligned}
(166)

where the functions $$g_a$$, $$a=1,\ldots ,10$$, are linear combinations of the functions $$g_\mathrm{Ric}$$, $$g_R$$, $$g_U$$, $$g_{RU}$$, $$g_\Omega$$ given in the second column of the following table:

a

$$g_a$$

$$A_a$$

$$B_a$$

$$C_a$$

1

$$3g_\mathrm{Ric}+4g_U-16g_\Omega$$

$$\frac{43}{30}$$

$$-\frac{148}{15}$$

$$-\frac{8}{5}$$

2

$$3g_R+2g_U+8g_{RU}+4g_\Omega$$

$$\frac{1}{20}$$

$$\frac{37}{5}$$

$$\frac{1}{5}$$

3

$$-2g_{RU}-\frac{3}{2}g_U+g_\Omega$$

$$-\frac{2}{3}$$

$$-\frac{2}{3}$$

0

4

$$2 g_\Omega$$

$$\frac{1}{3}$$

$$\frac{4}{3}$$

0

5

$$g_{RU}$$

$$-\frac{1}{3}$$

$$\frac{2}{3}$$

0

6

$$-10g_{RU}-12g_U$$

$$-\frac{26}{3}$$

$$-\frac{20}{3}$$

0

7

$$g_U-4g_\Omega$$

$$\frac{1}{3}$$

$$-\frac{8}{3}$$

0

8

$$-\frac{1}{2}g_U+g_\Omega$$

$$-\frac{1}{3}$$

$$\frac{2}{3}$$

0

9

$$\frac{11}{4}g_U-\frac{3}{2}g_\Omega$$

$$\frac{5}{2}$$

$$-1$$

0

10

$$2 g_U$$

2

0

0

Note that only the first two receive contributions from the ghosts. Next we recall that using the optimized cutoff, the functions $$g_\mathrm{Ric}$$, ..., $$g_\Omega$$ are given by Eqs. (31)–(35). In the present case there is no dependence on $$\omega$$, so dropping this argument the functions $$g_a({\tilde{z}})=g_a(z,k)$$ can all be written in the form

\begin{aligned} g_a({\tilde{z}})=A_a+\left( -A_a+\frac{B_a}{{\tilde{z}}}+\frac{C_a}{{\tilde{z}}^{2}}\right) \sqrt{1-\frac{4}{{\tilde{z}}}}\,\theta ({\tilde{z}}-4)\ , \end{aligned}
(167)

where the coefficients $$A_a$$, $$B_a$$, and $$C_a$$ are given in the remaining columns of the table above.

Integration of the flow We have found that the classical action (128) generates the flow (166). The flow is finite but integrating over k up to some scale $$\Lambda$$ and taking the limit $$\Lambda \rightarrow \infty$$ it generates divergences in the effective action. The first line is proportional to terms that are already present in the action and, upon integration over k, correspond to quartic and quadratic divergences. The remaining terms were not originally present in the action. Equation (167) allows us to split these terms into local parts (the first term) and non-local parts (the rest). The local parts correspond to logarithmic UV divergences. The non-local parts vanish for $$k^2>z/4$$, signalling its infrared character.

The new terms in the flow equation force us to consider a more general class of EAA’s that, in addition to the terms that were originally present in (128) also contains for each $$g_a({\tilde{z}})\equiv g_a(z,k)$$, $$a=1,\ldots ,10$$, in (166), a corresponding form factor $$f_{a,k}(z)$$. In principle all the terms in the last two lines of (166) could appear with different couplings, but in the present truncation they all renormalize in the same way. The functions $$g_a$$ are the beta functions of the form factors $$f_a$$:

\begin{aligned} \partial _t f_{a,k}(z)=\frac{1}{32\pi ^2}g_a({\tilde{z}}). \end{aligned}
(168)

Even though our main interest is in infrared physics, it is useful to consider first the divergent part of the action. For a fixed z and for $$k^2>z/4$$, the step function in (167) vanishes. In this case the integration of the flow only gives power and logarithmic terms. We find for large $$\Lambda$$

\begin{aligned} \Gamma _\Lambda [g]= & {} \frac{1}{32\pi ^2}\int \mathrm{d}^4x\sqrt{g}\left\{ 3\Lambda ^4 \right. \nonumber \\&+\left( -\frac{29}{3}R +4\kappa (\nabla \phi )^2 -2 V'' +20\kappa V\right) \Lambda ^2 \nonumber \\&+\left( \frac{43}{30}R_{\mu \nu }R^{\mu \nu } +\frac{1}{20}R^2 -\frac{2}{3}\kappa R (\nabla \phi )^2 \right. \nonumber \\&-\frac{26}{3}\kappa R\, V(\phi ) -\frac{1}{3}RV''(\phi ) \nonumber \\&+\frac{5}{2}\kappa ^2((\nabla \phi )^2)^2 +2\kappa ^2V(\phi )(\nabla \phi )^2\nonumber \\&-4\kappa V''(\phi )(\nabla \phi )^2 \nonumber \\&\left. +10\kappa ^2V^{2}(\phi ) -4\kappa V'(\phi )^{2} +V''(\phi )^2\right) \log \left( \frac{\Lambda ^2}{\mu ^2}\right) \nonumber \\&\left. +\mathrm {finite\ terms} \right\} , \end{aligned}
(169)

where we have introduced an arbitrary renormalization scale $$\mu$$. The last three lines agree with the results of [63], specialized to a single component field. The finite terms have the same structure as the ones that are written but with $$\Lambda$$-independent, finite, coefficients. These correspond to the arbitrariness in the choice of the initial conditions for the flow.

We now integrate the flow equations from the UV scale $$\Lambda$$ down to zero. The first line in (166), which depends on powers of the cutoff scale k, produces simply the terms in the first line of (169).

Next we discuss the logarithmic terms. For each form factor the integration is to be performed keeping z fixed. For a generic IR scale k we have

\begin{aligned} f_{a,\,\Lambda }(z)-f_{a,\, k}(z)= & {} \frac{1}{32\pi ^2}\int _{k}^{\Lambda }\frac{\mathrm{d}k'}{k'}g_a\left( \frac{z}{k'^{2}}\right) \nonumber \\= & {} \frac{1}{64\pi ^2}\int _{z/\Lambda ^2}^{z/k^2} \frac{\mathrm{d}u}{u}{\tilde{g}}_a(u), \end{aligned}
(170)

where in the second step we changed variables of integration to $$u=z/k^2$$. Now we insert the explicit form (167). We assume that $$z/\Lambda ^2\ll 4$$ and $$z/k^2\gg 4$$. The integration can be done explicitly and in the limit $$k\rightarrow 0$$ one finds

\begin{aligned} f_{a,0}(z)= & {} f_{a,\Lambda }(z) -\frac{A_a}{64\pi ^2}\log \left( \frac{\Lambda ^2}{\mu ^2}\right) \nonumber \\&+\frac{A_a}{64\pi ^2}\log \left( \frac{z}{\mu ^2}\right) -\frac{1}{32\pi ^2}\left( A_a+\frac{B_a}{12}+\frac{C_a}{120}\right) .\nonumber \\ \end{aligned}
(171)

Note the following fact: if we had just integrated the local part of the form factor, namely the first term in (167), from k to $$\Lambda$$, we would have obtained $$\frac{A}{32\pi ^2}\log (\Lambda ^2/k^2)$$, which is both UV and IR divergent. When we integrate the full form factor, for $$k\rightarrow 0$$ in (167) $${\tilde{z}}$$ becomes large, the theta function is one and the square root tends to one, so that the A-terms cancel. Thus, by integrating the full non-local form factor, we obtain a result that is UV divergent but IR finite.

While the non-local terms are finite and entirely unambiguous, the local terms in the effective action $$\Gamma _0$$ are not fixed and have to be determined by matching the form of the EA with experimental data. This is achieved by means of renormalization conditions. In the present formalism, these correspond to the choice of $$\Gamma _\Lambda$$.

The initial conditions for the form factors can be chosen to eliminate the $$\Lambda$$-dependence in the EA. This requires

\begin{aligned} f_{a,\Lambda }(z)= \frac{A_a}{64\pi ^2}\log \left( \frac{\Lambda ^2}{\mu ^2}\right) +\gamma _a, \end{aligned}
(172)

where $$\gamma _a$$ are arbitrary constants, corresponding to the finite terms in (169). Then the form factors in the EA are

\begin{aligned} f_{a,0}(z)= & {} \frac{A_a}{64\pi ^2}\log \left( \frac{z}{\mu ^2}\right) \nonumber \\&+\gamma _a-\frac{1}{32\pi ^2}\left( A_a+\frac{B_a}{12}+\frac{C_a}{120}\right) , \end{aligned}
(173)

and the EA has the form

\begin{aligned} \Gamma _0[g]= & {} \frac{1}{32\pi ^2}\int d^4x\sqrt{g}\left\{ \frac{43}{30}R_{\mu \nu }\log \left( \frac{-\Box }{\mu ^2}\right) \,R^{\mu \nu }\right. \nonumber \\&+\frac{1}{20}R \log \left( \frac{-\Box }{\mu ^2}\right) R \nonumber \\&-\frac{2}{3}\kappa R \log \left( \frac{-\Box }{\mu ^2}\right) (\nabla \phi )^2\nonumber \\&+\frac{1}{3}\kappa R^{\mu \nu }\log \left( \frac{-\Box }{\mu ^2}\right) \nabla _\mu \phi \nabla _\nu \phi \nonumber \\&-\frac{1}{3}R \log \left( \frac{-\Box }{\mu ^2}\right) V''\nonumber \\&-\frac{26}{3}\kappa R \log \left( \frac{-\Box }{\mu ^2}\right) V \nonumber \\&+\frac{1}{3}\kappa \nabla _\mu \nabla _\nu \phi \, \log \left( \frac{-\Box }{\mu ^2}\right) \nabla ^\mu \nabla ^\nu \phi \nonumber \\&-\frac{1}{3}\kappa \nabla ^2\phi \, \log \left( \frac{-\Box }{\mu ^2}\right) \nabla ^2\phi \nonumber \\&+\frac{5}{2}\kappa ^2(\nabla \phi )^2 \log \left( \frac{-\Box }{\mu ^2}\right) (\nabla \phi )^2\nonumber \\&+2\kappa \nabla ^2\phi \, \log \left( \frac{-\Box }{\mu ^2}\right) V' \nonumber \\&-2\kappa (\nabla \phi )^2 \log \left( \frac{-\Box }{\mu ^2}\right) V''\nonumber \\&+2\kappa ^2 (\nabla \phi )^2\log \left( \frac{-\Box }{\mu ^2}\right) V \nonumber \\&+10\kappa ^2 V \log \left( \frac{-\Box }{\mu ^2}\right) V\nonumber \\&-4\kappa V' \log \left( \frac{-\Box }{\mu ^2}\right) V' +V'' \log \left( \frac{-\Box }{\mu ^2}\right) V'' \nonumber \\&\left. +\mathrm {local\ terms} \right\} . \end{aligned}
(174)

The local terms are operators of the form appearing in (169), with arbitrary finite coefficients. These coefficients are related to the “bare” couplings by renormalization conditions. To discuss them it is more transparent to specify the form of the potential, e.g.

\begin{aligned} V(\phi )=E+\frac{1}{2}m^2\phi ^2 +\frac{1}{24}\phi ^4. \end{aligned}

Recalling that all the couplings in the EAA are k-dependent, we denote by subscripts $$\Lambda$$ and 0 the “bare” and “renormalized” couplings, respectively. Then we find that the terms that are already present in the action are renormalized as follows:

\begin{aligned} E_0= & {} E_\Lambda +\frac{1}{32\pi ^2}\left[ 3\Lambda ^4 +(20\kappa E-2m^2)\Lambda ^2\right. \nonumber \\&\left. +(10\kappa ^2 E^2+m^4)\log \left( \frac{\Lambda ^2}{\mu ^2}\right) \right] \end{aligned}
(175)
\begin{aligned} \frac{1}{2}m^2_0= & {} \frac{1}{2}m^2_\Lambda +\frac{1}{32\pi ^2} \left[ (10m^2\kappa -\lambda )\Lambda ^2+(10\kappa ^2 E m^2\right. \nonumber \\&\left. -4\kappa m^4+m^2\lambda )\log \left( \frac{\Lambda ^2}{\mu ^2}\right) \right] \end{aligned}
(176)
\begin{aligned} \frac{1}{24}\lambda _0= & {} \frac{1}{24}\lambda _\Lambda +\frac{1}{32\pi ^2}\left[ \frac{20}{24}\lambda \kappa \Lambda ^2 +\left( \frac{5}{2}\kappa ^2 m^4\right. \right. \nonumber \\&\left. \left. +\frac{5}{6}\lambda \kappa ^2 E -\frac{2}{9}\lambda \kappa m^2 +\frac{1}{4}\lambda ^2\right) \!\log \left( \frac{\Lambda ^2}{\mu ^2}\right) \right] , \end{aligned}
(177)
\begin{aligned} Z_0= & {} 1+ \frac{1}{32\pi ^2}\nonumber \\&\times \left[ 4\kappa \Lambda ^2 +\left( 2\kappa ^2E-4\kappa m^2 \right) \log \left( \frac{\Lambda ^2}{\mu ^2}\right) \right] . \end{aligned}
(178)

The renormalization of Newton’s constant is given by

\begin{aligned} \frac{1}{\kappa _0}= & {} \frac{1}{\kappa _\Lambda }\nonumber \\&-\frac{1}{32\pi ^2}\left[ \frac{29}{3}\Lambda ^2 +\left( -\frac{26}{3}\kappa E -\frac{1}{3} m^2 \right) \log \left( \frac{\Lambda ^2}{\mu ^2}\right) \right] .\nonumber \\ \end{aligned}
(179)

In addition the following terms, not initially present in the action, are generated:

\begin{aligned} \xi _2\phi ^2 R+ & {} \xi _4\phi ^4 R+\tau (\nabla \phi )^2 R+w(\nabla \phi )^4\nonumber \\+ & {} \alpha R^2+\beta R_{\mu \nu }R^{\mu \nu }, \end{aligned}
(180)

with effective couplings

\begin{aligned} \xi _2= & {} \frac{1}{32\pi ^2} \left( -\frac{13}{3}\kappa m^2 -\frac{1}{6}\lambda \right) \log \left( \frac{\Lambda ^2}{\mu ^2}\right) , \end{aligned}
(181)
\begin{aligned} \xi _4= & {} -\frac{1}{32\pi ^2} \frac{13}{36}\kappa \lambda \log \left( \frac{\Lambda ^2}{\mu ^2}\right) ,\end{aligned}
(182)
\begin{aligned} \tau= & {} -\frac{1}{32\pi ^2} \frac{2}{3}\kappa \log \left( \frac{\Lambda ^2}{\mu ^2}\right) \end{aligned}
(183)
\begin{aligned} w= & {} \frac{1}{32\pi ^2} \frac{5}{2}\kappa ^2 \log \left( \frac{\Lambda ^2}{\mu ^2}\right) ,\end{aligned}
(184)
\begin{aligned} \alpha= & {} \frac{1}{32\pi ^2} \frac{1}{20}\log \left( \frac{\Lambda ^2}{\mu ^2}\right) ,\end{aligned}
(185)
\begin{aligned} \beta= & {} \frac{1}{32\pi ^2} \frac{43}{30}\log \left( \frac{\Lambda ^2}{\mu ^2}\right) . \end{aligned}
(186)

The last term in (181) is due entirely to scalar loops and would also be present if gravity was treated as an external field. In this context this term has been discussed several times in the literature; for example, see [72, 73].

We note that all the renormalized couplings depend on the reference scale $$\mu$$. This dependence encodes a different notion of renormalization group. For the cosmological constant and Newton’s constant this has been discussed e.g. in [7477].

Finally let us comment on the finite local terms in (174). The choice $$\gamma _a=\frac{1}{32\pi ^2}\left( A_a+\frac{B_a}{12}+\frac{C_a}{120}\right)$$ has the effect that all the local terms vanish. The choice $$\gamma _a=0$$ leaves a residual finite term that can easily be calculated from (173) and the table. For example the first term in the last line of (166) would leave in this case $$\frac{1}{8\pi ^2}\kappa m^4\phi ^2$$. We see that the gravitational correction to the scalar mass is suppressed by the ratio $$(m/M_\mathrm{Planck})^2$$, as one would naturally guess from the weakness of gravity at low energy. In any case the constants $$\gamma _a$$ cannot be calculated but have to be fixed by comparison to experiment.

From the point of view of the effective field theory approach, the action (174) contains part of the terms needed to reconstruct the scalar–graviton vertex in a perturbative expansion about flat space. More precisely, it contains the terms with two generalized curvatures, which correspond to Feynman diagrams with a three-graviton and two-scalar–two-graviton vertices. Other contributions corresponding to triangle diagrams are encoded in terms with three generalized curvatures, which we have not evaluated.

## 8 Conclusions

We have presented several calculations of one-loop effective actions in quantum field theories of increasing complexity: from a simple linear scalar field to gauge theories (QED and non-abelian Yang–Mills theory), to chiral sigma models and finally to gravity coupled to a scalar. In each case we have derived the first few terms in an expansion of the action in powers of generalized “field strengths”, meaning either the potential or curvatures.

Instead of calculating directly a functional integral, we have obtained the effective action following Wilson’s idea of integrating out field modes one momentum shell at a time. The FRGE gives us a formula for the “beta functional” of the theory, i.e. the derivative of the EAA $$\Gamma _k$$ with respect to the cutoff k. The ordinary effective action is recovered by integrating the flow from some initial condition $$\Gamma _\Lambda$$ at a UV scale $$k=\Lambda$$ down to $$k=0$$. The choice of $$\Gamma _\Lambda$$ corresponds to the choice of renormalization conditions. The main conceptual advantage of the method used here is that one never encounters divergent quantities. The r.h.s. of the flow equation (3) is both ultraviolet- and infrared-finite, due to the fall-off properties of the cutoff term (1). To be sure, the divergences of the QFT are still present: they appear if one tries to send $$\Lambda \rightarrow \infty$$, which corresponds to integrating the flow equation towards the UV. However, they appear only in this final stage of the integration and they do not arise as an obstacle in the calculation of the effective action. By postponing the integration over the momentum cutoff $$\Lambda$$ to the last step, the structure of the QFT is conceptually clearer, not being marred by the issue of the divergences.

Ideally, in this program, one would like to use the exact FRGE (3). In practice, one has to make some approximation. Here we have restricted ourselves to the one-loop approximation, which amounts to keeping $$\Gamma _k=\Gamma _\Lambda$$ in the r.h.s. of the FRGE. This approximation is dictated by the current status of the techniques for calculating functional traces, which allow us to compute the trace of a function of a Laplace-type operator. This is the case when $$\Gamma _k$$ is a local functional of the fields containing up to two derivatives. Integration of the FRGE immediately generates all sorts of operators, including non-local terms, which would lead outside the domain of applicability of current heat kernel techniques.

Another limitation of the work presented here is that we studied mainly terms up to quadratic in field strengths in the effective action; however, we got their exact one-loop momentum dependence. This was motivated by our main interest in models of particle physics, where only few particles scatter at a time. Of course, we admit that general one-loop effective action (in any interacting QFT) possesses the structure with operators up to infinitely many derivatives as well as infinitely many curvatures. Again due to the computational techniques used we restricted ourselves to the simplest case of terms up to quadratic in curvatures. However, within this approximation, we were able to find some scattering amplitudes, like a four-point one in scalar field theory.

Still, within the one-loop approximation, we have been able to derive the flow equations for the non-local structure functions, which upon integration give non-trivial finite parts of the effective action. The origin of these non-local terms from the IR part of the momentum integration, and their independence of UV physics, is particularly transparent. Another application of such an alternative method of computation leading to EA is that the one-loop approximation can be taken as a first step towards a reformulation of the QFT, where non-perturbative effects are taken into account. As an example of such computations, in [27] the running of the couplings in the r.h.s. of the flow equation for three-dimensional scalar theory has been taken into account, improving the calculation of Sect. 3. This leads to a different expression for the four-point amplitude that is automatically finite also in the limit $$\Lambda \rightarrow \infty$$, curing both the UV and the IR divergences. It would be very interesting to perform this type of calculation also for the other models considered here.