# Renormalization group equation and scaling solutions for *f*(*R*) gravity in exponential parametrization

## Abstract

We employ the exponential parametrization of the metric and a “physical” gauge fixing procedure to write a functional flow equation for the gravitational effective average action in an *f*(*R*) truncation. The background metric is a four-sphere and the coarse-graining procedure contains three free parameters. We look for scaling solutions, i.e. non-Gaussian fixed points for the function *f*. For a discrete set of values of the parameters, we find simple global solutions of quadratic polynomial form. For other values, global solutions can be found numerically. Such solutions can be extended in certain regions of parameter space and have two relevant directions. We discuss the merits and the shortcomings of this procedure.

## 1 Introduction

Since decades the ultraviolet (UV) completion of gravity is one of the major open problems in theoretical physics. Several frameworks have been proposed, such as string theory, loop quantum gravity, causal dynamical triangulation, matrix models, and their generalizations such as tensor models and group field theory. Perturbative analyses in quantum field theory have shown that the gravitational interactions, considered at quantum level, are not renormalizable starting from two loops [1, 2, 3] (one loop in the presence of quantum matter [4, 5]). In this approach a weak coupling expansion is therefore unable to give a meaningful description of the quantum gravitational interactions up to UV scales, even if, due to the smallness of the Newton constant, it can be considered a low-energy effective theory including some quantum corrections in a consistent bottom-up approach [6, 7]. On the other hand, the possibility of having an interacting UV-complete quantum field theory of gravitation, originating from a non-Gaussian UV fixed point (FP) in the theory space, has been proposed by Weinberg [8] and fits naturally in the nonperturbative renormalization group framework. The existence of such a FP (scaling solution) would permit one to have a renormalization group (RG) trajectory in the theory space characterized by all the dimensionless couplings remaining finite when the UV cutoff is removed.

In order to make the critical theory at the FP physically meaningful, the corresponding conformal field theory should have a finite number of relevant deformations so that a finite number of measurements at low energy would be sufficient to completely fix the theory, i.e. all the (infinitely many) couplings at any scale. To decide if the latter fundamental property may be achieved, any kind of investigation in this direction should start from a sufficiently large (possibly infinite-dimensional) theory space, show the existence of one or more critical theories and eventually should be able to identify which one has the required properties under deformations that may lead to a definition of a UV complete and predictive theory.

The search of a gravitational FP has been conducted mostly using some approximation of the functional renormalization group equation (FRGE). In most cases, finite truncations (i.e. finitely many couplings) were studied and the general strategy was to establish that the addition of new couplings would not affect too strongly the results [9, 10, 11, 12, 13, 14]. While the number of couplings considered simultaneously has become quite high, these analyses still fall short of exploiting the full power of the FRGE machinery, which, as the name suggests, is designed to deal with the renormalization of whole functions, or equivalently infinitely many couplings.

*f*(

*R*) truncations

*f*had already been written in [11, 12], but the first serious attempt to solve the functional FP equations was made in [15, 16]. Negative results concerning the equations written in [11, 12] have been reported in [17, 18]. It has been argued that the solution may require truncations that go beyond functionals of the background field alone, which in this framework one cannot avoid to introduce, and taking into account the Ward identities of the quantum-background split symmetry. This is a general issue that goes beyond the

*f*(

*R*) truncations and progress in this direction has been made in [19, 20]. In the meantime solutions were found in simplified (lower-dimensional and/or conformally reduced) settings [21, 22] and recently also in the full four-dimensional case [23].

*GL*(

*d*) /

*O*(

*d*). It is natural to use for this nonlinear space an exponential map [25, 28, 29] and, as we shall show, in such a case the off-shell effective action expanded in perturbations appears to be simpler than the one obtained using a linear parametrization.

The same method has been used also in *f*(*R*) theory [30] and again some scaling solutions could be found in closed form, at least for specific cutoff procedures. In the present paper, we expand the analysis of [30] and also give details for the derivation of the equations. We then discuss the relation between these exact solutions and numerical solutions for generic values of the parameters, for which we give a constructive procedure.

In Sect. 2, we begin by deriving the Hessian for the *f*(*R*) gravity in *d* dimensions (Sect. 2.1), and discuss gauge fixing and the resulting determinants in Sect. 2.2. In Sect. 3, we give the details of the derivation of the flow equation. In particular in Sect. 3.1 we first set up the general form of the flow equation based on a coarse-graining procedure, dependent, for each irreducible spin component, on an endomorphism parameter, and use heat kernel to evaluate it in Sect. 3.2. Up to this point, our discussions are for arbitrary dimensions, but they are restricted to four dimensions from Sect. 3.3 onwards. We then discuss the alternative flow equation derived by the spectral sum in Sect. 3.4. In Sect. 4, we present global solutions of the spectral-sum-based flow equation, first quadratic ones in Sect. 4.1 and then more general numerical solutions in Sect. 4.2. In Sect. 5, we also present and discuss global solutions of the flow equation derived by the heat kernel. Since the structure of the flow equations are basically the same, we only describe the solutions briefly. Finally in Sect. 6, we summarize our results and discuss the limitations of the present results and possible ways of overcoming them.

## 2 *f*(*R*) truncation

### 2.1 Hessian

### 2.2 Gauge fixing

*s*and a new degree of freedom \(\chi \) defined as

*s*, and the gauge fixing is entirely in terms of the gauge degrees of freedom \(\xi \) and \(\chi \).

*h*-

*h*term in (2.11) goes away. The one-loop partition function is the product of several determinants. The determinants associated to the gauge-invariant variables \((h^{TT}, s)\) are manifestly gauge independent. The fields \((\xi , \chi )\) in the gauge fixing term contribute

*s*is non-propagating. In general, in

*f*(

*R*) gravity this degree of freedom propagates and contributes to the one-loop effective action.

*s*- and \(\chi \)-operators (as well as a

*s*–\(\chi \) mixing term). There are two choices that simplify the situation. For \(\beta =0\), in which case \(\chi =\sigma \), we have \(h=s-\Delta _0\chi \). In the case \(\beta \rightarrow \infty \) we have simply \(h=-\Delta _0\chi \). In this case the last term of (2.11) leaves the gauge-invariant modes \(h^{TT}\) and

*s*untouched and only produces a term proportional to \(\chi ^2\). However, for \(\beta \rightarrow \infty \) the gauge fixing strongly enforces the condition \(\chi =0\), independently of \(\alpha \), so in this gauge the quadratic action becomes the same off shell as on shell. We can further kill the \(\xi _\mu \) gauge degree of freedom by choosing \(\alpha =0\). This gauge should then be equivalent to what was called the “unimodular physical gauge” in [25].

*f*. We take this equivalence of the one-loop effective action to the on-shell result be a distinct advantage of the exponential parametrization and of our gauge choice, in the sense that using this procedure the off-shell results are less sensitive to the contributions of unphysical degrees of freedom.

## 3 Flow equations

### 3.1 Cutoff and functional renormalization group equation

For the definition of the coarse graining, we have to choose some reference operator. In the Hessian on the four-sphere (2.11), the operator \(\Delta =-\nabla ^2\) appears everywhere and is a natural choice. However, in order to gain some additional freedom, we follow [22, 23] and add to \(\Delta \) terms proportional to the scalar curvature, with coefficients \(-\alpha \), \(-\gamma \), and \(-\beta \) for spin two, one, and zero, respectively. These parameters should not be confused with the gauge fixing parameters which do not appear in the following.

*k*and \(P_k(z) = z +R_k(z)\), with the cutoff function \(R_k(z)\). Because of the implicit dependence on

*f*of the coarse-graining scheme, we refer to it as spectrally adjusted. The subscripts on the traces represent contributions from different spin sectors.

In order to guarantee that the operators \(\Delta -\alpha \bar{R}\), \(\Delta -\beta \bar{R}\), \(\Delta -\gamma \bar{R}\) have positive spectrum, the parameters \(\alpha \), \(\beta \), \(\gamma \) should satisfy certain bounds. The spectrum of \(\Delta \) is given in Appendix C. We recall that the \(\ell =1\) modes of \(\Delta \) acting on spin one fields are Killing vectors, so that they do not contribute to the spectrum of \(h_{\mu \nu }\) and have to be left out. For the same reason, the modes \(\ell =0\) and \(\ell =1\) of \(\Delta \) acting on scalars also have to be left out. Thus all spectra begin with \(\ell =2\).

### 3.2 Heat kernel evaluation

*z*, consider

*j*sector, where \(\tilde{W}(s)\) is the inverse Laplace transform of

*W*(

*z*):

*h*cannot be considered a gauge degree of freedom and therefore cannot be gauge fixed. One can choose a coarse-graining scheme where this infrared mode never appears in the flow equation. Its contributions would have to be added directly to the effective action only in the deep infrared at \(k=0\). Alternatively, we can consider the scheme where we add to the r.h.s. of Eq. (3.1) the following term:

### 3.3 Four dimensions

*h*, we have an additional term to the r.h.s. of Eq. (3.13)

Quadratic solutions of the spectral-sum FP equation. In the last column, we report the results for the positive critical exponents, evaluated in an ninth-order polynomial expansion. The critical exponent 4 is present in all solutions and is related to the cosmological term. Those in the second line converge slowly and may not be accurate estimates. The fixed points in the last two lines have eigenvalues greater than 4 and are not reliable

\(10^3\alpha \) | \(10^3\beta \) | \(10^3\gamma \) | \(10^3\tilde{g}_{0*}\) | \(10^3\tilde{g}_{1*}\) | \(10^3\tilde{g}_{2*}\) | Pos. crit. exp. |
---|---|---|---|---|---|---|

\(-97.8\) | 38.9 | 319 | 4.31 | \(-7.46\) | 2.85 | 4, 2.02 |

\(-438\) | \(-122\) | \(-21.0\) | 4.67 | \(-10.4\) | 3.14 | 4, 3.2, 0.17 |

134 | \(-2765\) | 551 | 2.82 | \(-7.70\) | 0.13 | 4, \(2.4\pm 0.8 i\), 0.13 |

505 | \(-715\) | 922 | 2.16 | \(-2.65\) | 0.21 | \(>\)4 |

\(-564\) | \(-63.8\) | \(-147\) | 7.83 | \(-6.80\) | 1.35 | \(>\)4 |

### 3.4 Spectral-sum approach for \(d=4\)

## 4 Solutions of the spectral-sum-based equation

We analyse the FP solutions of the flow for \(d=4\). In Ref. [30], we have presented exact quadratic solutions for both (3.13) and (3.18), so we first discuss this kind of solutions.

### 4.1 Global quadratic solutions

*N*is a polynomial of fifth order in

*r*and \(N=0\) can be solved for the six unknowns \(\alpha , \beta , \gamma , g_0, g_1\), and \(g_2\). We then find the following distinct solutions (Table 1), where the unknowns were evaluated numerically.

For these values of the couplings and endomorphisms, one has then to check the behavior of the denominator *D*. Since *D* has some zeros for at least one positive value of *r*, one may worry that the solutions might not exist at these possible singular points. However, *N* vanishes identically as a function of *r*, so the residues of *N* / *D* at the zeros of *D* are zero, implying that the solutions are valid through these points.

Actually there are also other possible fixed singularities, one which depends on \(\alpha \) at \(r_1=-\frac{6}{6\alpha +1}\) and a second one, coming from the vector ghost term which leads to a \(\gamma \)-dependent fixed singularity at \(r_2=-\frac{4}{4\gamma -1}\). We also note that for the quadratic solutions, there is no contribution from the term \(\varphi '''=0\), which otherwise could have given rise to other fixed singularities.

An analysis of the eigenperturbations of the solution, based on a polynomial expansion around the origin, leads to the following conclusions. The first solution has two relevant directions with critical exponents \(\theta ^{(1)}_i=(4, 2.03)\) while the second one has two relevant direction \(\theta ^{(2)}_i=(4,3.2)\) and possibly a third one with critical exponent close to zero. If the perturbation is at most quadratic in *r*, then its existence (at least for positive *r*) is subject to the same constraint as the solution itself. This is the case for \(\delta \varphi (r)=1\), which is the eigenperturbation with eigenvalue \(\lambda =-4\). We do not find other simple eigenperturbations of a finite polynomial form. Since the other eigenperturbations cannot be purely quadratic, the fixed singularities corresponding to the zeros of the coefficient of \(\varphi '''\) will appear. We find that for the first, fourth, and fifth solutions, the values of \(\alpha , \beta \), and \(\gamma \) lead to a linearized third order equation with three fixed singularities. Therefore there may be globally defined eigenperturbations in the domain \(r\ge 0\). On the other hand, the second and third solutions have values of \(\alpha , \beta \), and \(\gamma \) corresponding to four fixed singularities in the differential equation for the eigenperturbations, which therefore cannot exist globally, but only up to some maximum value of *r*.

### 4.2 Global numerical solutions

We now analyze the FP of the flow given in Eq. (3.18) at fixed endomorphisms, and search for global numerical solutions compatible with its analytical structure.

*r*, the possible singularities there must be canceled.

We have already seen that the potential singularities arise if there is an extremum in \(\varphi \), but a regular solution can exist if the minimum point \(r_\mathrm{min}\) is located at a zero of the coefficient \(d_2\), which depends on \(\alpha \). There are also two possible fixed singularities at \(r=-\frac{6}{6\alpha +1}\) and at \(r=-\frac{4}{4\gamma -1}\). Since the FP equation is of third order, its solutions contain three parameters. Regularity condition at a fixed singularity requires that the residue at the singularity should vanish, and this fixes one of the three parameters. Eventually there might also be moving singularities, as for example happens in the local potential approximation analysis for an interacting three-dimensional scalar field theory with \(Z_2\) symmetry, where a unique solution is selected, the Wilson–Fisher FP of the Ising model. We show in Fig. 1 the positions of the singularities and a possible minimum as a function of \(\alpha \), \(\beta \), and \(\gamma \).

*r*in addition to the singularity at \(r=0\). This leads to three constraints, which maximally restrict the initial value problem. This situation could be realized in several ways, provided the three singularities are kept different: either

*N*up to \(N=16\), investigated also the linearized evolution around the FP, and then diagonalized the corresponding stability matrix. The scaling exponents are extracted as its eigenvalues with the opposite sign. For orders \(N>10\), we find a high degree of stability. Here we give the first coefficients of the polynomial solution of order \(N=16\):

We also observe that the polynomial solutions have a minimum converging exactly to the point 6 / 5, which is one of the values necessary to remove the corresponding singularity. Therefore in our numerical search for the global solution we impose this property.

- 1.
We construct three polynomial expansions as functions of two free parameters at each of the three possible singular points \(r=0,6/5,2\) by imposing locally the regularity condition there. In particular we choose the following set of free parameters: (\(\varphi '(0),\varphi ''(0)\)), (\(\varphi (6/5),\varphi ''(6/5)\)), and (\(\varphi '(2),\varphi ''(2)\)), for the polynomial expansion at \(r=0\), \(r=6/5\) and \(r=2\), respectively.

- 2.
We then evolve \(\varphi (r)\) numerically from \(r=0+\) to \(r=6/5\) and using the shooting method, we search for a subset of the parameter plane (\(\varphi '(0),\varphi ''(0)\)) which gives solution with a minimum at 6/5, where the possible singularity is canceled by the zero of \(d_2\). This leads to a one-dimensional curve in the parameter plane. We repeat the same procedure for the evolution of \(\varphi (r)\) from \(r=2-\) to \(r=6/5\). We then find also a one-dimensional curve, this time in the parameter space (\(\varphi '(2),\varphi ''(2)\)). We show the results of this process in Fig. 3a, b. We note that in the plane (\(\varphi '(2),\varphi ''(2)\)) there are regions where one encounters moving singularities, but these regions do not overlap with the ones satisfying the regularity conditions.

- 3.
We map the two curves in (\(\varphi '(0),\varphi ''(0)\)) and in (\(\varphi '(2),\varphi ''(2)\)) obtained as conditions to cancel the singularities into the plane of parameters (\(\varphi (6/5),\varphi ''(6/5)\)). This can be done by numerical evolution.

- 4.
The intersection of the two curves fixes the unique value for (\(\varphi (6/5),\varphi ''(6/5)\)) which allow for a global solution. We show the results of the last two steps in Fig. 3c. The intersection appear to be at (\(\varphi (6/5)=-0.0007134 \ldots , \varphi ''(6/5)=0.006256\ldots \)), while, being a point of a minimum, one has \(\varphi '(6/5)=0\).

- 5.
Then we use the regular polynomial expressions to fix the boundary conditions around the singular points, and construct the solution by evolving \(\varphi (r)\) numerically from \(6/5 -\) to 0, from \(6/5 +\) to \(2-\) and from \(2+\) to the right. The result is presented in Fig. 4a, b.

- 6.
Finally we consider the leading asymptotic behavior as a function of a free real parameter

*A*, which we tune to obtain a match with the numerical solution. The result is shown in Fig. 4c.We give here the first few terms of the asymptotic expansion:$$\begin{aligned}&\varphi _{as}(r)=A r^2+\frac{1053 A r}{50-13{,}824 \pi ^2 A}\nonumber \\&\quad +\,\frac{1{,}051{,}066{,}368 \pi ^4 A^2+107{,}637{,}120 \pi ^2 A-1{,}943{,}075}{6144 \pi ^2 (25-6912 \pi ^2 A)^2}\nonumber \\&\quad +\,O\left( \frac{1}{r}\right) . \end{aligned}$$(4.9)

In general there are connected regions in the space of the parameters \(\alpha , \beta , \gamma \) inside which the global solutions can be continuously deformed. We have checked that similar solutions can be obtained for \(\alpha =-\frac{1}{6}\), \(\beta =\frac{1}{3}\), and any \(\gamma >\frac{1}{4}\). They look really as members of a single family of solutions which are connected by continuous deformation. Also the estimated values of the critical exponents show a mild dependence on \(\gamma \).

*f*(

*R*) truncation based on a background sphere, an operator is redundant if it can be written in the following form:

*a*(

*r*) in the full domain of interest. If the equation of motion a the fixed point have a nontrivial solution within the physical domain, then a regular eigenperturbation cannot be redundant. We find that the equation of motion are always satisfied by a positive value of

*r*such that \(r<r_\mathrm{min}\), implying that the eigenperturbations are essential.

### 4.3 Type I and type II cutoff

For the sake of comparison of our flow equation with others in the literature, we report also the ninth order polynomial solutions of the fixed point equations with the popular type I cutoff, where the reference operator is \(-\bar{\nabla }^2\) for all modes, and a type II cutoff where the reference operator contains precisely the \(\bar{R}\)-terms that are present in the Hessian.

*Type I cutoff*: \(\alpha =\beta =\gamma =0\).

*Type II cutoff*: \(\alpha =-1/6\), \(\beta =1/3\), \(\gamma =1/4\).

For both cutoff types the fixed points have two relevant directions. This is in sharp contrast to the polynomial solutions found previously [10, 11, 12, 13, 14] that had three relevant directions.

We also note that [37] finds, in unimodular gravity, polynomial solutions that have two relevant directions. Since the cosmological term is absent in unimodular gravity, this would presumably correspond to three relevant directions in the full theory. The source of this difference cannot be in the parametrization, which is exponential in both cases.

*r*.

Quadratic solutions of the heat kernel FP equation, grouped by the number of relevant directions. In the last column, we report the results for the positive critical exponents, evaluated in an seventh-order polynomial expansion. The critical exponent 4 is present in all solutions and is related to the cosmological term. Those in lines 3 and 4 converge slowly and may not be accurate estimates. The fixed point in the last line has eigenvalues greater than 4 and is not reliable

\(10^3\alpha \) | \(10^3\beta \) | \(10^3\gamma \) | \(10^3\tilde{g}_{0*}\) | \(10^3\tilde{g}_{1*}\) | \(10^3\tilde{g}_{2*}\) | pos. crit. exp. |
---|---|---|---|---|---|---|

\(-593\) | \(-73.5\) | \(-177\) | 7.28 | \(-8.42\) | 1.71 | 4, 3.78 |

\(-616\) | \(-70.7\) | \(-154\) | 7.42 | \(-8.64\) | 1.74 | 4, 3.75 |

\(-564\) | \(-80.3\) | \(-168\) | 6.82 | \(-8.77\) | 1.83 | 4, 3.65 |

\(-543\) | \(-87.4\) | \(-126\) | 6.31 | \(-9.47\) | 2.06 | 4, 3.47 |

\(-420\) | \(-100.5\) | \(-3.19\) | 4.90 | \(-10.2\) | 2.83 | 4, 2.93 |

\(-173\) | \(-2.98\) | 244 | 4.53 | \(-8.34\) | 2.70 | 4, 2.18 |

\(-146\) | \(-64973\) | 250 | 2.90 | \(-10.7\) | 0.0006 | 4, 2.58, 2.00 |

\(-109\) | \(-22267\) | 307 | 2.90 | \(-10.4\) | 0.0045 | 4, 2.45, 2.03 |

109 | \(-3564\) | 526 | 2.84 | \(-7.83\) | 0.094 | 4, \(2.3\pm 0.73i\), 0.07 |

377 | \(-1305\) | 794 | 2.57 | \(-4.37\) | 0.214 | \(>\)4 |

### 4.4 One-loop approximation

## 5 Some results for the case of the Heat kernel equation

A similar analysis can be carried out for the flow equation Eq. (3.13) obtained from a heat kernel expansion, and for the linear variations around it. Again there exist a discrete set of endomorphisms parametrized by \(\alpha , \beta \), and \(\gamma \) for which purely quadratic solutions exist. They were reported already in [30] and are given here in Table 2. The critical exponents have been obtained by a polynomial truncation. These numbers should only be taken as rough estimates.

As before, all the FP solutions have one trivial relevant direction associated to a constant eigenperturbation with eigenvalue \(-4\). No other deformations which are polynomials in *r* of order no greater than two exist. Then we find that for the last solution the third order differential equation for the eigenperturbations is characterized by three fixed singularities while for all the others there are four or more fixed singularities so that no global eigenperturbations can exist. As already mentioned in the case of the spectral-sum equation, this precludes the existence of global solutions in an infinitesimal neighborhood of the exact quadratic solutions. The continuous interpolations between the exact solutions that we have discussed in [30] are therefore necessarily restricted to a finite range of *r*. See Sect. 6 for a discussion of this point.

Let us now address the question how to find global numerical solutions using the same reasoning developed in Sect. 4. The zeros of coefficient \(\varphi '''\) of Eq. (3.13) are not simple analytically, so we give some numerical bounds. It is easy to see that for \(0.394474<\beta <0.678204\), one has only two fixed singularities at \(r=0\) and \(r=r_0(\beta )\). Then the coefficient \(c_1\) of \(1/\varphi '\) has at least one positive zero for \(\alpha <0.47552\). As we have already seen, the zeros of \(c_1\) in (3.14) naturally provide a simple mechanism for the cancellation of a possible singularity located at the minimum of \(\varphi (r)\), if present. In such a scenario in the presence of a minimum, which we have seen to be favored by the dynamics in several cases, we must require that no other singularities be present. These may arise from the poles at \(r=-\frac{6}{6\alpha +1}\) and at \(r=-\frac{4}{4\gamma -1}\), as for the spectral-sum case. Therefore we must require also \(\alpha \ge -\frac{1}{6}\) and \(\gamma \ge \frac{1}{4}\).

*N*rapidly converge to the expected value of \(r_\mathrm{min}\) given above, while in Fig. 5b we give the leading five eigenvalues (which include the two negative ones associated to the relevant deformations) for each polynomial solution available up to \(N=11\). In particular the nontrivial relevant direction for a polynomial approximation of order \(N=11\) is associated to \(\lambda =-1.799\). Again when we increase the order

*N*, we find new irrelevant deformations. The pattern at lower order is not much altered and numerical values of the lower eigenvalues are little sensitive to the increase of the order of the analysis. In this way we can construct global solutions.

## 6 Discussion

The present investigation is a step forward in the search of scaling solutions for *f*(*R*) gravity. It had been shown in [17, 18] that the flow equations for *f* written in [11, 12, 15, 16], either do not have scaling solutions, or the solutions are such that all their perturbations are redundant. It is therefore encouraging that the equations studied here do have some global scaling solutions. It is particularly striking that for some choices of cutoff, the scaling solutions have an extremely simple, quadratic form. This is probably due to the much simpler form of the equations.

Similar equations have also been written in [22], and in [37] for unimodular gravity, and it is worthwhile to comment on the differences between them. Our equation, as well as the one for unimodular gravity, has the property that the function *f* does not appear in its beta function in undifferentiated form. It only appears undifferentiated in the flow equation for the dimensionless variable \(\varphi \), through the classical scaling term. In the Einstein–Hilbert truncation, this fact corresponds to the absence of the cosmological constant from the beta function of Newton’s coupling. This is related to the absence of trace fluctuations in both calculations—in unimodular gravity by definition of the theory and in our calculation by gauge choice. This is in turn due to the fact that in the exponential parametrization only the volume term contributes to the Hessian of the trace. The other difference is in the gauge and ghost sector. In our equation, there are contributions due to a spin one and a spin zero ghost. The spin zero ghost is absent in unimodular gravity because there is no need to impose the tracelessness of \(h_{\mu \nu }\) as a gauge condition. On the other hand, no ghosts are present in [22]. In spite of these differences, the equation of [22] was shown in [23] to have a global scaling solution whose general shape is quite similar to ours. The equation for unimodular gravity has only been analyzed at polynomial level so far.

A potential problem of higher derivative gravity theories is the presence of physical ghosts. This is usually analyzed in a perturbative framework, but the significance of this analysis in the neighborhood of an interacting fixed point is questionable. Several mechanisms have been proposed that could get around this issue. In any case, we notice that in our analysis, which is restricted to an *f*(*R*) truncation in a de Sitter background, no physical ghosts are present.

The significance of the positive results we have found is reduced by several circumstances. The first is the restriction of the action to purely background-dependent terms, the so-called “single metric truncation”. The effective action at finite cutoff cannot be a function of a single metric, so the classical invariance under the “shift symmetry” \(\bar{g}_{\mu \nu }\rightarrow \bar{g}_{\mu \nu }+\epsilon _{\mu \nu }\), \(h_{\mu \nu }\rightarrow h_{\mu \nu }-\epsilon _{\mu \nu }\) (in the linear parametrization) is broken.^{1} The dangers of the single-field truncations have been discussed in [38, 39, 40, 41]. One should therefore consider truncations involving either two metrics [19] or the background metric and a fluctuation field [42, 43, 44, 45] or else solve the flow equation together with the modified Ward identities of split symmetry [20]. In any case the scaling solutions found here can be at best an approximation of a genuine scaling solution.

A major difference between our results and those obtained earlier for the *f*(*R*) truncation [11, 12, 13, 14] is the number of relevant directions. Previously there were three relevant directions (of which two had a complex pair of eigenvalues) involving a strong mixing of all operators, but mainly the cosmological term, the Hilbert term and the \(R^2\) term. Due to the exponential parametrization, the cosmological constant does not appear in our beta functions and is therefore an isolated relevant direction with eigenvalue \(-4\). Moreover, we only find one additional real relevant direction instead of two. This hints at some genuine difference between the results, but it is not clear at this point whether this is due to the different parametrization or we are looking at a different solution. In the section devoted to the search of numerical solutions we have discussed the regions in the parameter space, corresponding to different endomorphisms (coarse-graining schemes), which may allow the existence of different global solutions. We note that in unimodular *f*(*R*) gravity, Ref. [37] found two relevant directions for a polynomial approximation of the fixed point. Given that the cosmological term is absent in unimodular gravity, this agrees with the “old” counting, in spite of the use of the exponential parametrization. It would be interesting to know the spectrum of eigenperturbations of the solution in [23], which was obtained in the linear parametrization.

In connection with the exponential parametrization, we also remark that while desirable, parametrization independence is in practice hard to maintain at the quantum level. In the context of asymptotically safe gravity the Vilkovisky–de Witt formalism has been used in [46]. Our philosophy here is that one could instead try to exploit the parametrization dependence to one’s advantage by choosing a parametrization that reduces the dependence of the off-shell effective action on other choices.^{2} It seems to us that the exponential parametrization has such virtues. Whether it defines the same quantum theory as the linear parametrization is a question that we cannot answer for the time being.

Another issue is the use of a “spectrally adjusted” cutoff, which means that the cutoff contains the function *f*. At a conceptual level, it is desirable to have a definition of coarse graining that is independent of all couplings. With a spectrally adjusted cutoff, on the other hand, the definition of what one means by high and low momentum modes changes in the course of the flow. A practical consequence of this choice is the appearance of the third derivative in the flow equation. The reason for using these cutoffs in spite of these issues is that they lead to simpler equations. It would, however, be very important to consider a cutoff that does not have this feature [50].

A third issue had already been discussed earlier [21], and is related to the compactness of our background manifold. What is the meaning of coarse graining on length scales that are larger than the size of the manifold? Otherwise said, if the spectrum of all operators has a finite gap \(\delta \), then for \(k<\delta \) the flow equation does not integrate out any modes. If we imagine that the sphere has a fixed size \(\sim \bar{R}^{-1/2}\), then for \(r\gtrsim 1\), one is in the regime where \(k^2\lesssim \bar{R}\). This puts into question the physical meaning of the behavior of the scaling solution for large *r*.

*r*such that all three bounds are satisfied.

Conversely we could demand that \(\alpha \), \(\beta \), and \(\gamma \) be chosen such that for all *r* there is some mode contributing to the flow equation. This leads to requiring that the inequalities (3.2) be violated. The meaning of this is clear: one is precisely demanding that even when \(k\rightarrow 0\) there is some mode contributing to the flow, and this is equivalent to requiring that there are some modes with zero or negative eigenvalue. Such procedure would clearly be artificial, because it amounts to a shift of the eigenvalues which does not change the eigenfunctions. Even if the constant mode has formally infinite wavelength, it would still be the case that the largest physical length scale that one can talk of in such a space is its diameter.

It is sometimes said that the equation obtained from the spectral sum method is superior to the one obtained from the use of the heat kernel expansion, because the heat kernel equation uses an asymptotic expansion that makes it valid only for small *r*. On the other hand, the equation obtained from the spectral sum, at least when used for a compact background and in conjunction with the optimized cutoff, requires a smoothing procedure that introduces an element of arbitrariness, which is especially strong at the low end of the spectrum. In view of the preceding considerations, the behavior at small *k* is in any case of dubious physical significance, so the difference between the two procedures is probably not so important.

It appears from this discussion that one important source of ambiguities is the compactness of the background manifold. If one wants to understand better the existence of global scaling solutions in *f*(*R*) gravity within the realm of single-metric truncations, the best course seems to be to consider a non-compact background.

## Footnotes

## Notes

### Acknowledgments

We would like to thank Kevin Falls for valuable discussions. This work was supported in part by the Grant-in-Aid for Scientific Research Fund of the JSPS (C) No. 24540290.

## References

- 1.M.H. Goroff, A. Sagnotti, Quantum gravity at two loops. Phys. Lett. B
**160**, 81 (1985)ADSCrossRefGoogle Scholar - 2.M.H. Goroff, A. Sagnotti, The ultraviolet behavior of Einstein gravity. Nucl. Phys. B
**266**, 709 (1986)ADSCrossRefGoogle Scholar - 3.A.E.M. van de Ven, Two loop quantum gravity. Nucl. Phys. B
**378**, 309 (1992)ADSMathSciNetCrossRefGoogle Scholar - 4.G. ’t Hooft, M.J.G. Veltman, One loop divergencies in the theory of gravitation. Ann. Poincare Phys. Theor. A
**20**, 69 (1974)Google Scholar - 5.S. Deser, P. van Nieuwenhuizen, One loop divergences of quantized Einstein–Maxwell fields. Phys. Rev. D
**10**, 401 (1974)ADSCrossRefGoogle Scholar - 6.J.F. Donoghue, General relativity as an effective field theory: the leading quantum corrections. Phys. Rev. D
**50**, 3874 (1994). arXiv:gr-qc/9405057 - 7.C.P. Burgess, Quantum gravity in everyday life: general relativity as an effective field theory. Liv. Rev. Rel.
**7**, 5 (2004). arXiv:gr-qc/0311082. http://www.livingreviews.org/lrr-2004-5 - 8.S. Weinberg, Ultraviolet divergences in quantum theories of gravitation. In: Hawking, S.W., Israel, W. (ed.) General Relativity. Cambridge University Press, Cambridge, pp. 790–831 (1980)Google Scholar
- 9.O. Lauscher, M. Reuter, Flow equation of quantum Einstein gravity in a higher derivative truncation. Phys. Rev. D
**66**, 025026 (2002). arXiv:hep-th/0205062 ADSMathSciNetCrossRefGoogle Scholar - 10.A. Codello, R. Percacci, C. Rahmede, Ultraviolet properties of \(f(R)\)-gravity. Int. J. Mod. Phys. A
**23**, 143 (2008). arXiv:0705.1769 [hep-th]ADSCrossRefGoogle Scholar - 11.P.F. Machado, F. Saueressig, On the renormalization group flow of \(f(R)\)-gravity. Phys. Rev. D
**77**, 124045 (2008). arXiv:0712.0445 [hep-th]ADSMathSciNetCrossRefGoogle Scholar - 12.A. Codello, R. Percacci, C. Rahmede, Investigating the ultraviolet properties of gravity with a Wilsonian renormalization group equation. Ann. Phys.
**324**, 414 (2009). arXiv:0805.2909 [hep-th]ADSMathSciNetCrossRefMATHGoogle Scholar - 13.K. Falls, D. Litim, K. Nikolakopulos, C. Rahmede, A bootstrap towards asymptotic safety. arXiv:1301.4191 [hep-th]
- 14.K. Falls, D. Litim, K. Nikolakopulos, C. Rahmede, Further evidence for asymptotic safety of quantum gravity. arXiv:1410.4815 [hep-th]
- 15.D. Benedetti, F. Caravelli, The local potential approximation in quantum gravity. JHEP
**1206**, 017 (2012). arXiv:1204.3541 [hep-th].**(Erratum-ibid. 1210, 157 (2012))** - 16.D. Benedetti, On the number of relevant operators in asymptotically safe gravity. Europhys. Lett.
**102**, 20007 (2013). arXiv:1301.4422 [hep-th]ADSCrossRefGoogle Scholar - 17.J.A. Dietz, T.R. Morris, Asymptotic safety in the \(f(R)\) approximation. JHEP
**1301**, 108 (2013). arXiv:1211.0955 [hep-th]ADSMathSciNetCrossRefMATHGoogle Scholar - 18.J.A. Dietz, T.R. Morris, Redundant operators in the exact renormalisation group and in the \(f(R)\) approximation to asymptotic safety. JHEP
**1307**, 064 (2013). arXiv:1306.1223 [hep-th]ADSMathSciNetCrossRefMATHGoogle Scholar - 19.D. Becker, M. Reuter, En route to background independence: broken split-symmetry, and how to restore it with bi-metric average actions. Ann. Phys.
**350**, 225 (2014). arXiv:1404.4537 [hep-th]ADSMathSciNetCrossRefMATHGoogle Scholar - 20.J.A. Dietz, T.R. Morris, Background independent exact renormalization group for conformally reduced gravity. JHEP
**1504**, 118 (2015). arXiv:1502.07396 [hep-th] - 21.M. Demmel, F. Saueressig, O. Zanusso, Fixed-functionals of three-dimensional quantum Einstein gravity. JHEP
**1211**, 131 (2012). arXiv:1208.2038 [hep-th]ADSMathSciNetCrossRefGoogle Scholar - 22.M. Demmel, F. Saueressig, O. Zanusso, RG flows of quantum Einstein gravity in the linear-geometric approximation. Ann. Phys.
**359**, 141 (2015). arXiv:1412.7207 [hep-th] - 23.M. Demmel, F. Saueressig, O. Zanusso, A proper fixed functional for four-dimensional quantum Einstein gravity. JHEP
**1508**, 113 (2015). arXiv:1504.07656 [hep-th] - 24.G. Narain, R. Percacci, Renormalization group flow in scalar–tensor theories. I. Class. Quant. Grav.
**27**, 075001 (2010). arXiv:0911.0386 [hep-th] - 25.R. Percacci, G.P. Vacca, Search of scaling solutions in scalar-tensor gravity. Eur. Phys. J. C
**75**(5), 188 (2015). arXiv:1501.00888 [hep-th] - 26.P. Labus, R. Percacci, G.P. Vacca, Asymptotic safety in \(O(N)\) scalar models coupled to gravity. arXiv:1505.05393 [hep-th]
- 27.J. Borchardt, B. Knorr, Global solutions of functional fixed point equations via pseudospectral methods. Phys. Rev. D
**91**(10), 105011 (2015). arXiv:1502.07511 [hep-th] - 28.A. Nink, Field parametrization dependence in asymptotically safe quantum gravity. Phys. Rev. D
**91**, 044030 (2015). arXiv:1410.7816 [hep-th]ADSMathSciNetCrossRefGoogle Scholar - 29.M. Demmel, A. Nink, On connections and geodesics in the space of metrics. arXiv:1506.03809 [gr-qc]
- 30.N. Ohta, R. Percacci, G.P. Vacca, Flow equation for \(f(R)\) gravity and some of its exact solutions. Phys. Rev. D
**92**(6), 061501 (2015). arXiv:1507.00968 [hep-th] - 31.N. Ohta, R. Percacci, Higher derivative gravity and asymptotic safety in diverse dimensions. Class. Quant. Grav.
**31**, 015024 (2014). arXiv:1308.3398 [hep-th]ADSCrossRefMATHGoogle Scholar - 32.N. Ohta, R. Percacci, Ultraviolet fixed points in conformal gravity and general quadratic theories. arXiv:1506.05526 [hep-th]
- 33.D. Benedetti, Asymptotic safety goes on shell. N. J. Phys.
**14**, 015005 (2012). arXiv:1107.3110 [hep-th]CrossRefGoogle Scholar - 34.S.M. Christensen, M.J. Duff, Quantizing gravity with a cosmological constant. Nucl. Phys. B
**170**, 480 (1980)ADSMathSciNetCrossRefMATHGoogle Scholar - 35.D.F. Litim, Optimized renormalization group flows. Phys. Rev. D
**64**, 105007 (2001). arXiv:hep-th/0103195 ADSCrossRefGoogle Scholar - 36.R. Percacci, E. Sezgin, One loop beta functions in topologically massive gravity. Class. Quant. Grav.
**27**, 155009 (2010). arXiv:1002.2640 [hep-th]ADSMathSciNetCrossRefMATHGoogle Scholar - 37.A. Eichhorn, The renormalization group flow of unimodular \(f(R)\) gravity. JHEP
**1504**, 096 (2015). arXiv:1501.05848 [gr-qc]ADSMathSciNetCrossRefGoogle Scholar - 38.D.F. Litim, J.M. Pawlowski, Renormalization group flows for gauge theories in axial gauges. JHEP
**0209**, 049 (2002). arXiv:hep-th/0203005 ADSCrossRefGoogle Scholar - 39.E. Manrique, M. Reuter, Bimetric truncations for quantum Einstein gravity and asymptotic safety. Ann. Phys.
**325**, 785 (2010). arXiv:0907.2617 [gr-qc]ADSMathSciNetCrossRefMATHGoogle Scholar - 40.E. Manrique, M. Reuter, F. Saueressig, Matter induced bimetric actions for gravity. Ann. Phys.
**326**, 440 (2011). arXiv:1003.5129 [hep-th]ADSMathSciNetCrossRefMATHGoogle Scholar - 41.E. Manrique, M. Reuter, F. Saueressig, Bimetric renormalization group flows in quantum Einstein gravity. Ann. Phys.
**326**, 463 (2011). arXiv:1006.0099 [hep-th]ADSMathSciNetCrossRefMATHGoogle Scholar - 42.A. Codello, G. D’Odorico, C. Pagani, Consistent closure of RG flow equations in quantum gravity. Phys. Rev. D
**89**(8), 081701 (2014). arXiv:1304.4777 [gr-qc] - 43.P. Donà, A. Eichhorn, R. Percacci, Matter matters in asymptotically safe quantum gravity. Phys. Rev. D
**89**(8), 084035 (2014). arXiv:1311.2898 [hep-th] - 44.N. Christiansen, B. Knorr, J. Meibohm, J.M. Pawlowski, M. Reichert, Local Quantum Gravity. arXiv:1506.07016 [hep-th]
- 45.J. Meibohm, J.M. Pawlowski, M. Reichert, Asymptotic safety of gravity-matter systems. arXiv:1510.07018 [hep-th]
- 46.I. Donkin, J.M. Pawlowski, The phase diagram of quantum gravity from diffeomorphism-invariant RG-flows. arXiv:1203.4207 [hep-th]
- 47.K. Falls, On the renormalisation of Newton’s constant. arXiv:1501.05331 [hep-th]
- 48.K. Falls, Critical scaling in quantum gravity from the renormalisation group. arXiv:1503.06233 [hep-th]
- 49.D. Benedetti, Essential nature of Newton’s constant in unimodular gravity. arXiv:1511.06560 [hep-th]
- 50.G. Narain, R. Percacci, On the scheme dependence of gravitational beta functions. Acta Phys. Polon. B
**40**, 3439 (2009). arXiv:0910.5390 [hep-th]Google Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Funded by SCOAP^{3}