1. Introduction
Recent years have seen the development of a bewildering variety of alternative theories of gravity, in addition to the more traditional ones, such as scalar-tensor, higher derivative and dilaton gravities, just to mention a few examples. Many of these theories eventually predict some level of deviation from classical gravity, which is often parametrized either by a suitable set of post-Newtonian parameters or, more recently, by the introduction of a slip function [
1,
2,
3,
4]. The latter has been quite useful in describing deviations from classical General Relativity (GR) and specifically from the standard ΛCDM (Lambda Cold Dark Matter) model, when analyzing the latest cosmological CMB (Cosmic Microwave Background), weak lensing, supernovae and galaxy clustering data.
In this work, we will focus on the systematic analysis of departures from GR in the growth history of matter perturbations arising from a quantum running of
G, within the narrow context of the non-trivial ultraviolet fixed point scenario for Einstein gravity with a cosmological term. Thus, instead of looking at deviations from GR at very short distances, due to new interactions, such as the ones suggested by string theories [
5,
6], we will be considering here infrared effects, which could therefore become manifest at very large distances. We will argue here that such effects are in principle calculable and could therefore be confronted with present and future astrophysical observations. The classical theory of small density perturbations is by now well developed in standard textbooks, and the resulting theoretical predictions for the growth exponents are simple to state and well understood. Except possibly on the very largest scales, where the data so far is still rather limited, the predictions agree quite well with current astrophysical observations. Here, we will be interested in computing and predicting possible small deviations in the growth history of matter perturbations and specifically in the values of the growth exponents, arising from a very specific scenario, namely a weakly scale-dependent gravitational coupling, whose value very gradually increases with distance. The specific nature of the scenario we will be investigating here is motivated by the treatment of field-theoretic models of quantum gravity, based on the Einstein action with a bare cosmological term. Its long-distance scaling properties are derived from the existence of a non-trivial ultraviolet fixed point of the renormalization group in Newton’s constant,
G [
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20,
21].
The first step in analyzing the consequences of a running of
G is thus to re-write the expression for
in a coordinate-independent way, either by the use of a non-local Vilkovisky-type effective gravity action [
22,
23,
24,
25] or by the use of a set of consistent effective field equations. In going from momentum to position space, one employs
, which gives for the quantum-mechanical running of the gravitational coupling the replacement
. One then finds that the running of
G is given, in the vicinity of the Ultra Violet (UV) fixed point, by:
where
is the covariant d’Alembertian, and the dots represent higher order terms in an expansion in
. Current evidence from Euclidean lattice quantum gravity points toward
(implying infrared growth) and
[
15,
16,
17]. It is well known that for theories with a non-trivial ultraviolet fixed point [
26,
27,
28,
29,
30,
31], the long distance (and thus infrared) universal scaling properties are uniquely determined, up to subleading correction to exponents and scaling amplitudes, by the (generally nontrivial) scaling dimensions obtained by renormalization group methods in the vicinity of the UV fixed point [
32,
33,
34,
35,
36]. These sets of results form the basis for universal predictions in the non-linear sigma model [
37,
38,
39], which provides today the second most accurate test of quantum field theory [
40], after the
prediction for
(Quantum Electro-Dynamics) (for a comprehensive set of references, see [
8,
34], and the references therein). It is also an established fact of modern RG (Renormalization Group) theory that in lattice QCD (Quantum Chromo-Dynamics) the scaling behavior of the theory in the vicinity of the asymptotic freedom UV fixed point unambiguously determines the universal non-perturbative long distance scaling properties of the theory [
41], as quantified by hadron masses, vacuum condensates, decay amplitudes, anomalous baryon magnetic moments and the QCD string tension [
42,
43].
Within the quantum-field-theoretic renormalization group treatment, the quantity,
ξ, arises as an integration constant of the Callan–Symanzik renormalization group equations. One challenging issue, and of great relevance to the physical interpretation of the results, is a correct identification of the renormalization group invariant scale,
ξ. A number of arguments can be given in support of the suggestion that the infrared scale,
ξ (analogous to the
of QCD), can, in fact, be very large, even cosmological, in the gravity case (see, for example, [
8] and references therein). From these arguments, one would then first infer that the constant,
, can, to a very close approximation, be identified with the laboratory value of Newton’s constant,
. The appearance of the d’Alembertian □ in the running of
G then naturally leads to a set of non-local field equations; instead of the ordinary Einstein field equations with constant
G, one is now led to consider the modified effective field equations:
with a new non-local term due to the
. By being manifestly covariant, they still satisfy some of the basic requirements for a set of consistent field equations incorporating the running of
G. Not unexpectedly, though, the new nonlocal equations are much harder to solve than the original classical field equations for constant
G.
As stated above, physically, it would seem at first, based on the perturbative treatment alone [
7,
18], that the non-perturbative scale,
ξ, could take any value (including perhaps a very small one), which could then possibly preclude any observable quantum effects in the foreseeable future. In perturbation theory, the reason for this is that the non-perturbative scale,
ξ, appears, as in gauge theories, as an integration constant of the renormalization group equations and is therefore not fixed by perturbation theory alone. However, a number of recent non-perturbative results for the gravitational Wilson loop on the Euclidean lattice at strong coupling, giving an area law, and their subsequent interpretation in light of the observed large-scale semiclassical curvature [
8,
44,
45,
46], would suggest otherwise: namely that the non-perturbative scale,
ξ, appears, in fact, to be related to macroscopic curvature. From astrophysical observation, the average curvature on very large scales, or, stated in somewhat better terms, the measured cosmological constant,
λ, is very small. This would then suggest that the new scale,
ξ, can be very large, even cosmological, and comparable to the Hubble scale,
. This would then give a more concrete semi-quantitative estimate for the scale in the
of Equation (
1), namely
. Note that in common astronomical units (Mpcs), the reference scale appearing in
is then of the order of
Mpc.
A scale-dependent Newton’s constant is already expected to lead to small modifications of the standard cosmological solutions to the Einstein field equations. The starting point is the quantum effective field equations of Equation (
2), with
defined in Equation (
1). In the Friedmann–Lemaître–Robertson–Walker (FLRW) framework, these are applied to the standard homogeneous isotropic metric. In the following, we will mainly consider the case
(a spatially flat universe). The next step, therefore, is a systematic examination of the nature of the solutions to the full effective field equations, with
involving the relevant covariant d’Alembertian operator
. To start the process, one assumes, for example, that the matter,
, has the perfect fluid form:
for which one needs to compute the action of
on
and, then, analytically continue the answer to negative fractional values of
. Even in the simplest case, with
acting on a scalar, such as the trace of the energy-momentum tensor,
, one finds a rather unwieldy expression.
A more general calculation [
47] shows that a non-vanishing pressure contribution is generated in the effective field equations, even if one initially assumes a pressureless fluid,
. After a somewhat lengthy derivation, one obtains, for a universe filled with non-relativistic matter (
), a set of effective Friedmann equations incorporating the running of
G. It was also noted in [
47] that the effective field equations with a running
G can be recast in an equivalent, but slightly more appealing, form by defining a vacuum polarization pressure,
, and density,
, such that, for the FLRW background, one has:
with
given by:
The explicit computations also shows that
is of the same order as
in Equation (
1), and
[
47]; in the quoted reference, it was estimated
for the tensor box operator.
Then, the source term in the effective
field equation can be regarded as a combination of the two density terms
+
, while the effective
equation involves the new vacuum polarization pressure term,
. Just as one introduces the parameter,
w, describing the matter equation of state,
, with
for non-relativistic matter, one can do the same for the remaining contribution by setting
. This more compact notation allows one to finally re-write the field equations for the FLRW background (and
) as:
2. Relativistic Treatment of Matter Density Perturbations
Besides the modified cosmic scale factor evolution just discussed, the running of
given in Equation (
1) also affects the nature of matter density perturbations on very large scales. In computing these effects, it is customary to introduce a perturbed metric of the form:
with
the unperturbed scale factor and
a small metric perturbation; and
by the choice of coordinates. As will become clear later, we will mostly be concerned here with the trace mode,
, which determines the nature of matter density perturbations. After decomposing the matter fields into background and fluctuation contribution,
,
, and
, it is customary in these treatments to expand the density, pressure and metric trace perturbation modes in spatial Fourier modes,
and similarly for
,
and
, with
the comoving wavenumber.
The first equation one obtains is the zeroth (in the fluctuations) order energy conservation in the presence of
, which reads:
It will be convenient in the following to solve the energy conservation equation not for
, but instead for
. This requires that, instead of using the expression for
in Equation (
5), one uses the equivalent expression for
:
In this last expression, the power is
, since from Equation (
5), one has for non-relativistic matter
in the absence of a running
G. In the following, we will almost exclusively consider the case
[
15,
16,
17] for which, therefore,
. Then, in the above expression,
if
is identified with a scale factor appropriate for a universe of size
ξ; to a good approximation, this should correspond to the universe “today”, with the relative scale factor customarily normalized at such a time to
. Consequently, and with the above proviso, the constant
in Equation (
9) can safely be taken to be of the same order as the constant,
, appearing in the original expressions for
in Equation (
1). The solution to Equation (
8) for
can then be written as:
with
normalized, so that
. For
, the above expression reduces, of course, to the usual result for non-relativistic matter.
The zeroth order field equations with the running of
G included were already given in Equation (
6). The next step consists in obtaining the equations that govern the effects of small field perturbations. These equations will involve, apart from the metric perturbation,
, the matter and vacuum polarization contributions. The latter arise from:
with a nonlocal
. Fortunately, to zeroth order in the fluctuations, the results of [
47,
48,
49] indicated that the modifications from the nonlocal vacuum polarization term could simply be accounted for by the substitution
and
. Here, we will apply this last result to the small field fluctuations, as well, and set:
The underlying assumptions is, of course, that the equation of state for the vacuum fluid still remains roughly correct when a small perturbation is added. Furthermore, just like we had
and
with
, we now write for the fluctuations:
at least to leading order in the long wavelength limit,
. In this limit, we then have simply:
with
given in Equation (
5), and we have used Equation (
4), now applied to the fluctuation,
,
where the dots indicate possible additional
contributions. Indeed, a bit of thought reveals that the above treatment is incomplete, since
in the effective field equation of Equation (
2) contains, for the perturbed RW (Robertson-Walker) metric of Equation (
7), terms of order
, which need to be accounted for in the effective
. Consequently, the covariant d’Alembertian has to be Taylor expanded in the small field perturbation,
,
, and similarly for
:
To compute the correction of
to
, one needs to consider the relevant term in the expansion of
, which we write as:
This last form allows us to use the results obtained previously for the FLRW case in [
47,
48,
49], namely:
with here
, and (see Equation (
4)), to zeroth order in
h,
with
. Therefore, in light of the results of [
47,
48,
49], the problem has been dramatically reduced to just computing the much more tractable expression:
Still, in general, the resulting expression for
is rather complicated if evaluated for arbitrary functions. Here, we will resort, for lack of better insights, to a treatment where one assumes a harmonic time dependence for the metric trace fluctuation
and similarly for
and
. In the following, we will assume that the complex functions,
and
, can be treated as slowly varying, with the time fluctuation scale in
h comparatively smaller than the time scales relevant for the background quantities,
a and
ρ. One should then be allowed to do a derivative (or Wentzel-Kramers-Brillouin (WKB)) expansion on
and
, neglecting in a first approximation the derivative terms. In this way, one can separate fast (
h) from slow (
a,
ρ,
) modes, so that, for example,
. The specific nature of the time dependence of
will then depend on whether the slowly varying functions, Λ and
ω, are purely real or imaginary. One useful result in this context is the fact that, as shown below, the combination that is relevant here, namely
, can be traded for the growth exponent
. In the limit
, corresponding to
, one finds for the fluctuation,
:
The
correction factor,
, for the tensor box is then found to be:
with all other off-diagonal matrix elements vanishing. Furthermore, one finds to this order, but only for the specific choice
in the zeroth order
,
,
i.e., the
correction preserves the original result
.
As far as the magnitude of the correction,
, in Equation (
22), one can argue that from Equation (
23), one can relate the combination
to the growth index,
,
where
is the matter density contrast and
the known density growth index [
50]. Then, in the absence of a running
G (which is all that is needed here, to the order one is working), an explicit form for
is known in terms of suitable derivatives of a Gauss hypergeometric function. These can then be inserted into Equation (
22). Alternatively, one can make use again of the fact that for a scale factor referring to “today”
and for a matter fraction
, one knows that
, and thus, in Equation (
21),
. Furthermore, as an exercise, one can redo the whole calculation in the much simpler scalar box acting on the
case, where one finds the smaller value
.
Finally, one can do the same analysis in the opposite, but less physical, limit or . However, this second limit is, in our opinion, less physical, because of the fact that, now, the background is assumed to be varying more rapidly in time than the metric perturbation itself, . Furthermore, one disturbing, but not entirely surprising, general aspect of the whole calculation in this second limit is its extreme sensitivity as far as magnitudes and signs of the results are concerned, to the set of assumptions initially made about the time development of the background. For the reasons mentioned, in the following, we will no longer consider this limit of rapid background fluctuations any further.
To summarize, the results for a scalar box and for a very slowly varying background,
, give the
corrected expression for
in Equation (
21) and
with
, while the tensor box calculation, under essentially the same assumptions, gives the somewhat larger result
. From now on, these will be the only two choices we shall consider here.
The next step in the analysis involves the derivation of the energy-momentum conservation to first order in the fluctuations and a derivation of the relevant field equations to the same order. After that, energy conservation is used to eliminate the
h field entirely and, thus, obtain a single equation for the matter density fluctuation,
δ. First, we will look here at the implications of energy-momentum conservation,
, to first order in the fluctuations. After defining the matter density contrast,
, as the ratio
, the energy conservation equation to first order in the perturbations is found to be:
In the absence of a running
G (
), this reduces simply to
. This last result then allows us to solve explicitly, at the given order,
i.e., to first order in the fluctuations and to first order in
, for the metric perturbation,
, in terms of the matter density fluctuation,
and
.
Furthermore, to first order in the perturbations, the
and
effective field equations become, respectively,
and:
In the second
equation, the zeroth order
field equation of Equation (
6) has been used to achieve some simplification. It is easy to check the overall consistency of the first order energy conservation equation of Equation (
24) and of the two field equations given in Equations (
25) and (
26).
To obtain an equation for the matter density contrast
, one needs to eliminate the metric trace field,
, from the field equations. This is first done by taking a suitable linear combination of the two field equations in Equations (
25) and (
26), to get the equivalent equation:
Then, the first order energy conservation equations to zeroth and first order in
allow one to completely eliminate the
h,
and
field in terms of the matter density perturbation,
, and its derivatives. The resulting equation reads, for
and
,
This last equation then describes matter density perturbations to linear order, taking into account the running of
and is, therefore, the main result of this work. The terms proportional to
, which can be clearly identified in the above equation, describe the feedback of the metric fluctuations,
h, on the vacuum density,
, and pressure,
, fluctuations.
The above equation can now be compared with the corresponding, much simpler, equation obtained for constant
G,
i.e., for
and still
(see, for example, [
50,
51]):
It is common practice at this point to write an equation for the density contrast,
, as a function not of
t, but of the scale factor,
. This is done by utilizing simple derivative identities to relate derivatives with respect to
t to derivatives with respect to
, with
the Hubble constant. This last quantity can be obtained from the zeroth order
field equation, sometimes written in terms of current density fractions:
with
, where
z is the red shift and
the scale factor “today”. Then,
is the Hubble constant evaluated today, Ω the (baryonic and dark) matter density,
the space curvature contribution corresponding to a curvature,
k, term and
the dark energy or cosmological constant part, all again measured today. In the absence of spatial curvature
, one has today:
It is convenient at this stage to introduce a parameter,
θ, describing the cosmological constant fraction as measured today,
. While the following discussion will continue with some level of generality, in practice, one is mostly interested in the observationally favored case of a current matter fraction
, for which
. In terms of the parameter,
θ, the growing solution to the differential equation for the density contrast,
, for constant
G is:
where
is the Gauss hypergeometric function. The subscript, 0, in
is to remind us that this solution is appropriate for the case of constant
. To evaluate the correction to
coming from the terms proportional to
, one sets:
and inserts the resulting expression in Equation (28), written now as a differential equation in
. One only needs to determine the differential equations for density perturbations,
δ, up to first order in the fluctuations, so it will be sufficient to obtain an expression for Hubble constant,
H, from the
component of the effective field equation to zeroth order in the fluctuations, namely the first of Equations (
6). One has:
with
given in Equation (
9) and
in Equation (
10). In this last expression, the exponent is
for a matter dominated background universe, although more general choices, such as
, are possible and should be explored (see the discussion later). Furthermore,
if
is identified with a scale factor corresponding to a universe of size
ξ; to a good approximation, this corresponds to the universe “today”, with the relative scale factor customarily normalized at that time to
. In [
47], it was found that in Equation (
5),
in the scalar box case and
in the tensor box case; in the following, we will use the more relevant tensor box value.
After the various substitutions and insertions have been performed, one obtains, after expanding to linear order in , a second order linear differential equation for the correction, to , as defined in Equation (33). Since this equation looks rather complicated for general , it will not be recorded here, but it is easily obtained from Equation (28) by a sequence of straightforward substitutions and expansions. The resulting equation can then be solved for , giving the desired density contrast, , as a function of the parameter, Ω.
To obtain an explicit solution to the
equation, one needs to know the coefficient,
, and the exponent,
, in Equation (
9), whose likely values are discussed above and right after the quoted expression for
. For the exponent,
ν, one has
, whereas for the value for
, one finds, according to the discussion in the previous section,
for the tensor box case. Furthermore, one needs at some point to insert a value for the matter density fraction parameter,
θ, which, based on current observation, is close to
.
3. Relativistic Growth Index with
When discussing the growth of density perturbations in classical General Relativity, it is customary at this point to introduce a scale factor-dependent growth index,
, defined as:
which is, in principle, obtained from the differential equation for any scale factor,
. Nevertheless, here, one is mainly interested in the neighborhood of the present era,
. One therefore introduces today’s growth index parameter,
γ, via:
The solution of the above differential equation for
then determines an explicit value for the growth index,
γ, parameter, for any value of the current matter fraction, Ω. In the end, because of observational constraints, one is mostly interested in the range
, so the following discussion will be limited to this case only, although from the original differential equation for
, one can, in principle, obtain a solution for any sensible Ω.
It is known that in the absence of a running Newton’s constant
G (
, thus
), one has
and
for the standard ΛCDM scenario with
[
50]. On the other hand, when the running of
is taken into account, one finds from the solution to Equation (28) for the growth index parameter,
γ, at
the following set of results. For
γ, one has:
with
in the tensor box case (see Equation (
21)) and
in the scalar box case. In the Newtonian (non-relativistic) treatment, one finds the much smaller correction:
Among these last expressions, the tensor box case is supposed to give ultimately the correct answer; the scalar box case only serves as a qualitative comparison. The
term is responsible for the feedback of the metric fluctuations
h on the vacuum density,
, and pressure,
, fluctuations.
To quantitatively estimate the actual size of the correction in the above expressions for the growth index parameter,
γ, and to make some preliminary comparison to astrophysical observations, some additional information is needed. The first item is the coefficient
in Equation (
1), as obtained from lattice gravity calculations of invariant correlation functions at a fixed geodesic distance [
52]. We have re-analyzed and extended the results of [
52], which involve rather large uncertainties for this particular quantity; nevertheless, it would seem very difficult to accommodate values for
that are more than an order of magnitude smaller than the quoted value.
The next item that is needed here is a quantitative estimate for the magnitude of the coefficient,
, in Equation (
9) in terms of
in Equation (
5) and, therefore, in terms of
in the original Equation (
1). First of all, one has
, where
represents the current age of the universe (about 13.82 Gyrs), giving
. The factor
accounts for the fact that the two time scales,
(“today”) and
, do not coincide exactly and differ instead by a rather small, but relevant, amount. Regarding the numerical value of the coefficient,
, itself, it was found in [
47] that in Equation (
5),
in the scalar box case and
in the tensor box case. In both cases, these estimates refer to values obtained from the zeroth order covariant effective field equations. In the following, we will take for concreteness the tensor box value, thus
; then, for all three covariant calculations recorded above
, a rather large coefficient. From all of these considerations, one would tend to get estimates for the growth parameter,
γ, with rather large corrections! For example, in the tensor box case, the corrections would add up to
.
Nevertheless, it would seem that one should account somewhere for the fact that the largest galaxy clusters and superclusters studied today up to redshifts
extend for only about, at the very most,
the overall size of the visible universe. This would suggest then that the corresponding scale for the running coupling,
or
, in Equations (
5) and (
9), respectively, should be reduced by a suitable ratio of the two relevant length scales, one for the largest observed galaxy clusters or superclusters and the second for the very large, cosmological scale
, entering the expression for
in Equations (
1) and (
2). This would then reduce the overall magnitude of the quantum correction by a factor of
on slightly smaller scales, with the correction factor attaining unity only on the largest accessible scales, comparable to
ξ. Note that this cubic scaling is already implicit in the form of
or
given in Equation (
1) with
. When this suppression is taken properly into account, one finds that the quantum correction to the growth exponent,
γ, drops to about 10% on scales of 240 Mpc, to 5% on scales of 190 Mpc and to a rather small 1% effect on scales of about 110 Mpc.
It should also be emphasized here that, so far, all of the above results have been obtained by solving the differential equation for
with
given in Equation (
9) and exponent
relevant for a matter dominated background universe. However, it is this last choice that needs to be critically analyzed, as it might give rise to a definite bias. Our value for
, so far, reflects our choice of a matter dominated background. More general choices, such as an “effective”
with an “effective”
w, are, in principle, possible. Then, although Equation (28) for
remains unchanged, the differential equation for
needs to be solved with new parameters. Therefore, we will discuss here a number of options that should allow one to refine the accuracy of the above result and, in particular, correct the possible shortcomings coming so far from the specific choice of the exponent,
.
Before we used
in relating
in Equation (
9) to
in Equation (
5). In general, if
w is not small, one should use the more general equation relating the variable,
t, to
. The problem here is that, loosely speaking, for
, at least two
ws are involved,
(matter) and
(
λ term). This issue considerably complicates the problem of relating
to
and, therefore, the solution to the resulting differential equation for
[
53,
54,
55]. As a tractable approximation, we will set here instead
and, then, use an “effective” value of
, which would seem more appropriate for the final target value of a matter fraction
. For this choice, one then obtains a significantly reduced power in Equation (
9), namely
. Furthermore, the resulting differential equation for
is still relatively easy to solve, by the same methods used in the previous section.
One then obtains for the growth index parameter,
γ, at
the following set of results:
with, again as before,
in the tensor box case. Using again
and
for the tensor box case, with
from the lattice calculation, one has, as before,
. One then obtains for the growth parameter,
γ, a quantum correction of magnitude
. The latter number is the correction on the largest possible scales, comparable to the length scale,
ξ. On smaller scales, a suppression factor,
, needs to be taken into account. When this factor is included, one finds that the quantum correction to the growth exponent,
γ, drops to about 10% on scales of 360 Mpc, to 5% on scales of 280 Mpc, and to a rather small 1% effect on scales of about 170 Mpc. Note that these numbers are not very different from what was obtained earlier for the case of pure matter
. When the cosmological constant term is taken into account in Ω, one needs to go to slightly larger scales to get that same size correction to the growth exponent.
As a practical example, consider the galaxy clusters studied recently in [
56,
57,
58,
59,
60], which typically involve comoving radii of ∼8.5 Mpc and viral radii of ∼1.4 Mpc. For these, one would obtain an approximate overall scale reduction factor of
. This would give for the tensor box (
) correction to the growth index,
γ, in Equation (
39) the still rather small order of magnitude estimate, ∼
. To clearly see the corrections, larger clusters will be needed. Nevertheless this last case is suggestive of a trend, quite independent of the specific value of
and, therefore, of the overall numerical coefficient of the correction in Equation (
39): namely, that the correction to the growth index parameter is expected to be negative and will gradually and quite rapidly increase with the size of the cluster. In view of these results, it would seem rather worthwhile to further investigate, from an observational point of view, what happens on very large astrophysical scales, comparable to either
or
ξ.