Abstract
The derivation of effective quantum gravity corrections to Newton’s potential is an important step in the whole effective quantum field theory approach. We hereby add new strong arguments in favor of omitting all the diagrams with internal lines of the massive sources, and we also recalculate the corrections to the Newtonian potential using functional methods in an arbitrary parametrization of the quantum fluctuations of the metric. The general proof of the gauge- and parametrization-independence within this approach is also explicitly given. On top of that, we argue that the universality of the result holds regardless of the details of the ultraviolet completion of quantum gravity theory. Indeed, it turns out that the logarithm quantum correction depends only on the low energy spectrum of the theory that is responsible for the analytic properties of loop’s amplitudes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Quantum corrections to Newton’s potential for the classical gravitational force is a kind of theoretical “standard candle” for the effective quantum gravity theory. The first calculation of these corrections are half a century old [1], but the explosion of interest to the particular example and the effective quantum gravity in general, started from the seminal works due to Donoghue [2, 3]. The total amount of publications (see, e.g., [4, 5] and [6] and references therein) is very large, such that we are probably not aware of all of them. However, in our opinion, there remain at least two relevant issues which were not sufficiently well discussed.
First, starting from the paper [7] there was a growing understanding that the gauge-fixing independence of the quantum corrections is an important and useful criterion for the correctness and consistent definition of these corrections. In the mentioned paper, the simplified model of scalar electrodynamics was used to prove that disregarding some of the diagrams is inconsistent as this procedure does not provide the gauge-fixing independence of the potential. In the subsequent papers, i.e., [4, 5], all the diagrams were taken into account and the invariance was proved (see, e.g., [8, 9]). However, it turns out that there are serious reasons to take out some of these diagrams [11, 13].
The calculations in most of the mentioned (and many other) papers were done using Feynman diagrams where two massive scalar fields model the massive bodies. Then, the complete set of diagrams includes those of L- and P-type. The first, L-type subset consists of the graphs with internal lines of massless gravitons and massless gauge (Faddeev–Popov) ghosts. These diagrams give only a very small \({{\mathcal {O}}}(r^{-3})\)-type addition to the Newton potential between the two-point masses. Phenomenologically, these graphs may be irrelevant, but conceptually they are the most important ones since the much stronger contributions coming from the P-type diagrams should be disregarded because of physical reasons [13]. The point is that our final purpose is to get the quantum corrections to the force between two macroscopic bodies, which are modeled by the scalar field. Taking into account the internal lines of these scalars means that we are regarding the massive macroscopic bodies as quantum objects. For example, if the purpose is to explore the quantum effects on the motion of an asteroid around the Sun, we are quantizing this asteroid and the Sun. Or we are quantizing, e.g., the Earth and the Moon. Indeed, the Moon does not like to be quantized. Thus, we may commit a serious mistake in this way.
Two other arguments for omitting the P-type diagrams are as follows. The macroscopic body is made from atoms, and most of the mass of the atom nucleons is due to the quantum effects. Thus, the argument concerning the expansions in \(\hbar \) is not operational in this case. Furthermore, nowadays there are strong experimental confirmations of not quantizing the classical source in a physically similar situation. It is good to remember the success of the theoretical description of Casimir force (see, e.g., [14]). Despite the existing controversies (see, for example, the critical discussion in [15]), there are no many doubts that the Casimir effect is experimentally detected, and we know that its theoretical description does not involve the quantization of the sources (such as conducting plates) but only the electromagnetic field. There are no reasons to assume that things should be different for the gravitational Casimir effect because the basic formalism is, in general, similar [16]. Thus, the correct procedure is to separate and use only L-type diagrams, i.e., those with only massless internal lines. From the quantum field theory viewpoint, this means that the object of our interest is the functional integral
where \(g=g_{\alpha \beta }\) is the quantum metric, \({{\bar{c}}}={{\bar{c}}}_\alpha \) and \(c=c^\beta \) are gauge ghosts, and \(\Phi \) represent the external massive sources. The approach described above was pursued in important work [10] and, most recently, in [11]. Following the last reference, in the calculations described below, we choose these sources as a massive point-like mass and a light point-like test particle, but in principle, the integral (1) can be explored for arbitrary massive sources, e.g., for the dark matter (DM), finite-size stars, or interstellar gas. In all these cases, the integration over \(\Phi \) is not included for the reasons described above. This means that the variables \(\Phi \) play the role of external parameters, independent of the quantum variables such as the metric components.
A general observation is in order. There are relevant aspects of the semiclassical approach (when metric is a classical background while matter fields quantum), related to the possible transformations which are mixing classical and quantum variables [12]. One can try to elaborate the same idea in the anti-semiclassical approach, when only gravity is quantized. However, in the effective framework, in the IR only the massless fields are relevant, leaving only the effects of graviton and photon [2]. In this effective setting, our anti-semiclassical approach emerges naturally and the mixing of the massless degree of freedom with the ones of massive (macroscopic) degrees of freedom describing the classical sources does not look reasonable.
In practice, one can use the background field method for the useful definition and derivation of the integral (1). Then, the effective action in the l.h.s. is \(\Gamma (g,\Phi )\) and the integral variables change accordingly. We shall discuss the explicit formulas below.
The paper is organized in the following way. Section 2 describes the derivation of the relevant part of \(\Gamma (g,\Phi )\). Section 3 aims to define the gravitational field in the Newtonian approximation, in the theory with quantum effective contributions. Section 4 describes the motion of test particles and defined the final form of the corrected Newtonian potential. Section 5 is devoted to the general proof of the gauge- and parametrization-independence of the effective quantum correction to Newton’s potential. In Section 6 we elaborate on the constrains that an effective field theory should satisfy in order to be consistent in the quantum field theory framework, and after that we explain the universality of the leading correction to Newton’s potential, which only depends on the fundamental theory low-energy spectrum. Finally, in Sect. 7 we draw our conclusions.
The notations include the Minkowski metric \(\eta _{\mu \nu } = \,\text{ diag }\,(1,-1,-1,-1)\), while the Riemann curvature tensor is defined as
The definitions of the Ricci tensor and the scalar curvature are \(R_{\mu \nu } = R^\alpha _. {}_{\mu \alpha \nu }\) and \(R = g^{\mu \nu } R_{\mu \nu }\), respectively. We also adopt the units system with \(c = 1\) and \(\hbar = 1\).
2 Derivation of effective action
In the effective quantum gravity [3, 6], it is assumed that the low-energy effects are described by Einstein’s general relativity with zero cosmological constant because this term is irrelevant at the astrophysical scale where the Newtonian limit applies. The possible contributions of higher derivative terms either decouple (see, e.g., [17] for preliminary analysis, coherent with the standard approach in particle physics [18, 19]) or regarded as small perturbations by definition [20]. The reader can consult [21] and [22] for a general discussion of different approaches. However, the net result is that we have to start from the classical action of the form
where \(\kappa ^2 = 16 \pi G\) and G is the Newton constant. As the source term, we shall consider the action of the free massive particle \(S_M\), with coordinates \(y^\mu \)
To quantize the gravitational field, we apply the background field method with the most general (at the one-loop level) parametrization of the metric, as formulated in Ref. [23] (see also [24]), namely
In this formula, \(g_{\mu \nu }\) is the background field and \(\sigma \), \(\phi _{\mu \nu }\) are quantum fields. The indices are lowered and raised with the background metric \(g_{\mu \nu }\). Also, \(\phi = g_{\mu \nu } \phi ^{\mu \nu }\). Finally, \(\gamma _{0,1,\ldots ,6}\) are arbitrary coefficients which parameterize quantum variables.
Treating the conformal factor \(\sigma \) as a new field introduces an artificial conformal symmetry [25]. In order to remove the corresponding degeneracy, we implement the conformal gauge fixing
where \(\lambda \) is a gauge-fixing parameter. Using (6) and expanding the exponential, one can rewrite Eq. (5) in the form
where
and
with
To fix the diffeomorphism invariance and simplify the calculations,Footnote 1 we introduce the following minimal gauge fixing action [23],
Performing the expansion of (5) in (3) with the minimal gauge-fixing term, we arrive at the bilinear, in the quantum metric, part of the action
where
with
where we used the notations:
Furthermore, in the source sector,
is the point-like mass energy–momentum tensor and
It is worth noting that the boldface notation are used for the operators depending on the parametrization and gauge fixing. Also, in (16) and (17),
is the particle four-velocity and the delta function is introduced through the relation
The standard Schwinger–DeWitt technique for the one-loop divergences requires to reduce the Hessian (13) to the standard expression for the minimal operator, i.e., \({\hat{1}} \Box + {\hat{\mathbf{P}}} - (1/6) {\hat{1}} R\). Therefore, we multiply (13) with the negative inverse of (14), namely
where
Adopting the suppressed index notation of Ref. [26], we get
where \({\hat{1}} = \delta _{\,\,\,\,\,\mu \nu }^{\alpha \beta }\) is the identity matrix for symmetric rank-2 tensors and
Performing the substitution (5) in (1), we have the one-loop contribution to the effective action
where \({\hat{\mathbf{H}}}_{gh}\) is the bilinear part of the Faddeev–Popov ghost action. The contribution of this term to (24) is the same as in Ref. [23] hence we do not repeat it here.
The divergent part of the first term in (24) can be evaluated by the trace of the coincidence limit of the Schwinger-DeWitt expansion \({\hat{a}}_2\) coefficient [27] (we do not include here the surface terms, as they are irrelevant for our purpose)
where
and \(\mu \) is the renormalization group scale.
To simplify (25), we use the identity \(g_{\mu \nu } u^\mu u^\nu = 1\) which implies in the following equations for the expressions (16) and (17):
where
is the trace of the energy-momentum tensor for a massive point-like particle. There are also equations analogous to (27) for other index contractions since \(M^{\mu \nu ,\alpha \beta }\) is totally symmetric.
The evaluation of (25) follows the scheme explained in detail in [23]. Thus, skipping the algebra, we get, for the one-loop divergences
where the dimensionless coefficients are given by
where \(Z=\gamma _1+ 4 \gamma _2 + 8 \gamma _0 \lambda \), and the bulky expressions for the parametrization dependent coefficients \(\xi _i\) can be found in Appendix A.
In the limit \(\gamma _1 \rightarrow 1\), \(\gamma _{2,\ldots ,6} \rightarrow 0\) and \(\gamma _0 \rightarrow 0\) for the parameters of (5), Eq. (31) reproduces the result of Ref. [11], evaluated in the standard parametrization in the minimal gauge.
Using the classical equations of motion
and (29), Eq. (24) boils down to
independently of the choice of parametrization and gauge parameters, exactly as it should be.
To consider the Newtonian limit it is useful to rewrite Eq. (31) in a more convenient Weyl basis, using the relations
Here \(C^2 = R_{\mu \nu \alpha \beta }^2 - 2 R_{\mu \nu }^2 + 1/3 \, R^2\,\) is the square of the Weyl tensor and \(E = R_{\mu \nu \alpha \beta }^2 - 4 R_{\mu \nu }^2 + R^2\,\) is the integrand of the (topological at \(n=4\)) Gauss–Bonnet term. Discarding the non essential for us topological term, we get for (31):
with the following relations between the coefficients,
To reconstruct the effective action we use the rule (see, e.g., [22] for the introduction and further references, including the generalizations for the loops of massive fields)
that is valid for the massless fields contributions such as the graviton. In this way, we finally get
3 Gravitational field in the Newtonian limit with quantum contributions
Here we are going to obtain the gravitational field in the Newtonian limit taking into account one-loop quantum corrections. The effective action is given by the classical action S, defined in (3), and the one-loop correction (40), i.e.,
To obtain the metric potentials with logarithm quantum corrections, we follow Refs. [29, 30] (see also [31,32,33]). First, we consider small perturbations of the background metric around the Minkowiski spacetime,
and expand the action (41) to the relevant order in the weak-field approximation. In this way, we get
where we defined the form factors
Let us note that in (43), \(\Box = \eta ^{\mu \nu } \partial _\mu \partial _\nu \) is the flat space d’Alembertian. Also, the term proportional to \(\beta _{\scriptscriptstyle TT}\) is discarded here because it is \(\propto M^2\) and, therefore, is beyond the weak-field approximation.
Then, taking the functional derivative with respect to \(h_{\mu \nu }\) we get the equations of motion
The second step is to consider the perturbation in the isotropic Newtonian form
and choose, as a source of the gravitational potentials, a static point-like mass located at the origin. In this case, \(u^\mu = \delta ^\mu _0\), and Eq. (16) becomes
The metric potentials (46) can be obtained from the 00–component and the trace of Eq. (45), which are given respectively by
where we traded \(\Box \) for \(- \Delta \) since the metric is static.
To solve (48) and (49) we perform the loop expansion of the potentials,
where \(\varphi ^{(l)}\) and \(\psi ^{(l)}\) are of the order \({{\mathcal {O}}}(\hbar ^l)\). Since \(\beta _i = {{\mathcal {O}}}(\hbar )\), we get the equations at zero and first orders in \(\hbar \) in the form
In the three-dimensional Fourier space, we obtain the following solutions for the transformed potentials:
where \(\,k = \vert \mathbf{k} \vert \). Next, using the following inverse Fourier transforms,
we arrive at the general results
We do not write the explicit expression for the potentials in terms of the parameters \(\gamma _{1,\ldots ,6}\), \(\gamma _0\) and \(\lambda \) since they are too cumbersome and not very illuminating. At the same time, it is easy to see, using Eqs. (37)–(38), that the obtained potentials depend on the parametrization and gauge-fixing parameters. On the other hand, the potentials \(\varphi (r)\) and \(\psi (r)\) do not depend on the parametrization of the background field (42). Indeed, the dependence on the parametrization of the quantum fields and the gauge-fixing should be expected, because the effective equations of motion are gauge and parametrization dependent [28].
In the standard \(g_{\mu \nu } + \phi _{\mu \nu }\) parametrization limit, \(\gamma _1 \rightarrow 1\), \(\gamma _{2,\ldots ,6} \rightarrow 0\) and \(\gamma _0 \rightarrow 0\). Then, Eqs. (57) and (58) become
Formula (59) matches the result presented in [11] for the \(h_{00}\) component of the background metric evaluated in the standard parametrization with the minimal DeWitt gauge.
4 The motion of a test particle
Let us now follow the main idea of Ref. [11] that even though the loop corrections to the gravitational field generated by a point-like mass is parametrization and gauge-fixing dependent, the physical observables should be invariant. As an example, consider the acceleration of a test particle moving in the gravitational field described in the previous section. The key observation is that the test particle also couples with the quantum metric and, as a consequence of this, its geodesic equation receives quantum corrections. Thus, the two types of quantum corrections are supposed to combine into the invariant result. Finally, in the non-relativistic limit, we expect to meet invariant quantum corrections to Newton’s law, \(m \mathbf{a} = \mathbf{F}\).
The classical action for a test particle is given by equation (4), but with another mass,
and coordinates \(x^\mu = (t, \mathbf{r})\). We assume that \(m \ll M\), such that we can neglect contribution of the small mass m to the potentials (57) and (58). The one-loop corrections to (61) can be obtained from (40) by the substitution \(T^{\mu \nu } \longrightarrow T^{\mu \nu } + T^{\mu \nu }_m\) [11], where
Applying this procedure yields
The total action for the test particle is \(\Gamma _m = S_m + {\bar{\Gamma }}^{(1)}_m\). Taking the functional derivative with respect to \(x_\mu \), we find
where \(\Gamma ^{\mu }_{\alpha \beta }\) is the Christoffel symbol. In the non-relativistic limit, this equation boils down to
is the particle acceleration.
To evaluate the functional derivative in (65), all the metric functions in Eq. (63) should be taken at the order \({{\mathcal {O}}}(\hbar ^0)\), owing to the one-loop approximation and the fact \(\beta _i \sim {{\mathcal {O}}}(\hbar )\). On top of that, in the non-relativistic limit we can take \(s = t\), \(u^\mu = (1,0)\). Thus, using Eq. (47) for the source energy-momentum tensor, we get for (63), in the weak-field approximation,
The \({{\mathcal {O}}}(\hbar ^0)\) curvatures can be evaluated through the relations for the 00-component of the Ricci tensor and for the scalar curvature and also using Eq. (52),
Finally, using the Eq. (56) in the coordinate space,
we find
implying that
Plugging this equation into (65) and using Eq. (57), we get
The quantum corrected Newtonian potential is defined through the relation [11]
Finally, using Eqs. (37)–(38) we get
which does not depend on parametrization or gauge parameters. Let us note that the cancellation of the gauge and parametrization dependencies in this expression looks rather impressive, taking the (somehow scaring) form of the expressions in Appendix A.
The coefficient 17/20 does not agree with the value presented in Ref. [11]. This discordance is due to a missing factor of four in formula (35) of [11], as we explain in the Appendix B. It is remarkable that the complicated calculation in this work has only this small mistake and is otherwise correct.
5 General proof of gauge independence
We have evaluated the coefficients \(\beta _i\) explicitly in the most general parametrization for the quantum field and the particular case of massive point-like masses. However, given Eq. (36), we provided an expression for the Newtonian potential (73) independently on the explicit values of the \(\beta _i\). Therefore, to prove that the potential (73) does not depend on the gauge-fixing and parametrization choices, it is enough to prove that the following combination,
is a gauge and parametrization invariant quantity. For this, we follow [23, 34, 35], i.e., we employ the general statement about the gauge-fixing and parametrization independence of the on-shell effective action. In particular, the difference between the divergences of two versions of the one-loop effective action, evaluated using different gauge and parametrizations \(\alpha _i\) and \(\alpha _0\), is proportional to the classical equations of motion,
As the divergences are local and covariant quantities with mass dimension four, the tensor function \(f_{\mu \nu }\) has the following general structure
where the parameters \(b_{1,2,3,4}\) depend on the choice of the gauge and parametrization parameters \(\alpha _i\). Thus, replacing (77) in (76) and using the definition (29) we get:
So, under a gauge and/or parametrization transformation, the coefficients in (31) transform according to:
It is a simple exercise to check that, besides \(c_1\), there is the following gauge- and parametrization-independent combination:
In particular, in the notations of (36), the formula (80) implies that (75) is truly gauge and parametrization invariant. This also means the physical results derived on the basis of usual effective action and for the unique Vilkovisky–DeWitt effective action [28] will be the same. The reader can consult [26] for the first calculation in quantum gravity in this formalism and the more recent Ref. [24] for the explicit verification of the parameterization independence, including the conformal mode (5).
In fact, the generalization of the calculations done in [24] to include the massive point particles is straightforward. Without entering in the full details, the result for the one-loop divergences in the theory (3), using the Vilkovisky–DeWitt definition for the effective action and the general parametrization (5), has the same form as Eq. (31), but now with the following gauge and parametrization independent coefficients,
Using (38) and (73), it is easy to verify that (81) provides the same Newtonian potential of Eq. (74). Thus, the cancellation observed in (74) is a necessary feature of effective quantum gravity, especially in the case when only metric is a quantum field, while the macroscopic massive bodies are treated as classical sources, according to the arguments of [11, 13].
As the massive sources are regarded classical, one can certainly expect the parametrization independence to hold for other configurations of matter, including non-point mass distributions, such as, e.g., dark matter.
6 Universality of the effective field theory result
The effective field theory approach cannot be taken lightly, as we cannot write down all possible action operators without having any guiding principle. Indeed, it is well known that any higher derivative theory has a number of ghost-like states depending on the number of derivatives that catastrophically make the vacuum decay instantaneously in ghost and normal particles. This is a trivial consequence of the energy conservation since ghosts carry negative energy [41]. Therefore, EFTs make sense and are well defined only if they turn out to be the low-energy approximation, or large distance limit, of more fundamental theories consistent with unitarity (perturbative), and (super-)renormalizability or finiteness.
One example of finite and unitarity theory is string theory, but we here focus on ultraviolet complete gravitational theories in the quantum field theory framework. In the latter case, we have two classes of well-defined theories: higher derivative theories à la Lee–Wick [42,43,44,45,46] or more general higher derivative theories [47], in which unitarity can be formally achieved by means of the Anselmi–Piva prescription, which is an extension of conventional Wick rotation, operational for the higher derivative models [48,49,50]; or nonlocal theories without ghost-like perturbative degrees of freedom [51,52,53,54,55]. In Lee–Wick quantum gravity, the ghost particles may only have complex mass square [44, 45], while in general higher derivative theories [47] we also have real ghosts, but in both cases, such states do not appear as asymptotic states. Indeed, such homogeneous solutions of the linear equations of motion can be removed from the spectrum of the theory by hand and, most importantly, they are not created again in the loop amplitudes once the Anselmi-Piva prescription is implemented. This is very similar to what happens with the BRST ghosts that appear because of the quantum gauge invariance. Indeed, we can safely fix the number of external BRST ghosts to zero, because in the loop amplitudes, they are exactly canceled by the non-physical polarization states of the gauge bosons. Similarly, in higher derivative theories, we can fix the number of external ghosts to zero because they are not regenerated in the loop amplitudes at any perturbative order whether the prescription [48,49,50] is implemented.
Differently, in nonlocal quantum gravity [51,52,53,54,55], the perturbative degrees of freedom are the same as the local theory [60, 61] and the convergence of the loop amplitudes is achieved by introducing an exponential (but asymptotically polynomial [51,52,53]) form factor that has no poles in the whole complex plane. At the quantum level, the loop amplitudes are computed in the Euclidean signature, and afterwards, the physical amplitudes are obtained using an analytic continuation of the external energies from the Euclidean space to Minkowski spacetime [56, 57]. A unified nonlocal theory of all fundamental interactions with the aforementioned properties of the purely gravitational theories has been recently proposed in [62, 63]. In the ultraviolet regime all nonlocal gravitational theories (or local with more than ten derivatives in four dimensions) are asymptotically free [58] or finite [54, 59]. Theories with a number of derivatives from six to eight are super-renormalizable but, to prove asymptotic freedom, quantitative analysis and explicit computations are needed because there are divergences also at two and/or three loops. The last theory which deserves special attention is the four derivatives or Stelle’s theory [66].
Said this, it is very interesting to investigate the infrared properties of any of the theories described above. In particular, in this work, we are interested in the leading correction to the Newtonian potential. Such correction is strictly related to the analytic properties of the one-loop amplitude regardless of the renormalizability or finiteness of the theory. Indeed, the analyticity only depends on the Landau singularities of the one-loop amplitude, namely when the denominators of the amplitude are zero for the same value of the external energy. This property depends only on the low-energy spectrum of the theory, and, hence, the contribution of the massive states is sub-dominant. Therefore, the main corrections to the quantum effective action at large distance come only from the massless states.
As an example we can consider a nonlocal scalar theory with an exponential form factor [64]. This theory is ultraviolet finite, but the one-loop amplitude at low energy, namely when \(p^2/\Lambda ^2 \lesssim 1\) (here \(\Lambda \) is the non-locality scale), shows up exactly the same logarithmic non-analyticity of the local theory. This result is understandable whether we identify \(\Lambda \) with the cut-off of the local theory.
Let us expand on the case of the scalar model. The nonlocal Lagrangian that we would like to consider reads:
where H(z) is an analytic function without poles in the complex plane at finite distance. The propagator of the scalar field is:
The one-loop amplitude turns out to be:
where \(k_{\mathrm{E}}\) and \(p_{\mathrm{E}}\) are respectively the internal and external purely imaginary four-momenta. For the simplest non-locality, \(H = \Box = - k^2/\Lambda ^2 = k_{\mathrm{E}}^2/\Lambda ^2\), the above amplitude (84) turns into a simple Gaussian integral. The explicit computation was done for the first time in [64] and more recently in [65]. The result after the analytic continuation from purely imaginary to real external energy reads:
where \(\mathrm{Ei}(z)\) is the exponential integral. Notice that the result is finite without need of any regularization.
We now consider the low energy limit \(p^2/\Lambda ^2 \lesssim 1\). In order to investigate such limit, we remind the Taylor expansion of the exponential integral \(\mathrm{Ei}(z)\),
Using the above expansion in (85) we get:
Therefore, (85) at low energy resembles the result in the local quantum field theory up to proper identification of the non-locality scale with the cut-off of the local renormalizable theory, which we give here for completeness:
As another example, let us now consider a nonlocal theory without perturbative degrees of freedom around the usual trivial background \(\phi _{\mathrm{B}} = 0\). The theory reads:
Clearly, at the zero-order in \(\lambda \) the perturbative solution of the free-theory equation of motion is \(\phi = 0\), namely
Therefore, there are no perturbative degrees of freedom propagating around the trivial background. Equivalently, the propagator in momentum space, which can be obtained from (83) removing \(k^2\) from the denominator, has no poles in the whole complex plane at finite energy,
consistently with the classical solution in (90). Now we are ready to compute one-loop bubble diagram for the theory (89). The one-loop amplitude reads:
Again for the case of a Gaussian non-locality, namely \(H = \Box + m^2 = (- k^2+m^2)/\Lambda ^2 = (k_{\mathrm{E}}^2+m^2)/\Lambda ^2\), the amplitude (92) simplifies to:
which is analytic in the whole complex plane according to the absence of perturbative degrees of freedom in the theory (89).
We conclude that the logarithm correction to the quantum effective action is universally related to the low energy spectrum of the theory regardless of the ultraviolet completion of the theory.
The same argument applies to a general nonlocal or higher derivative theory, being finite or (super-)renormalizable, with the graviton the only massless state in the spectrum. The action for a general local higher derivative gravitational theory reads:
where the last term plays the role of a potential because it is at least cubic in the Riemann tensor and, then, it does not contribute to the propagator around the Minkowski’s background. Moreover, the potential contains at most \(2 \mathrm{N} + 4\) derivatives in order to not spoil the super-renormalizability of the theory. However, the presence of \(V\left( {{\mathcal {O}}}\big (\mathrm{Riem}^3 \big ) \right) \) is crucial to making the theory finite [53, 54]. The particle spectrum of the higher derivative action (94) contains a massless graviton and a finite number of massive states (including complex and real ghosts) whose masses are defined in terms of the constants \(\kappa \), \(\omega _{0,n}\), and \(\omega _{2,n}\). As said above, the theory (94) can be finite, namely all the loop amplitudes are convergent. However, at an energy scale much smaller than the mass of all the massive states, the one-loop quantum effective action has the same form as (40) for a proper identification (which means up to an overall dimensionless rescaling) of the renormalization group invariant scale \(\mu \) in (40) with the mass scale that is implicitly hidden in the parameters \(\omega _{0,n}\) and \(\omega _{2,n}\). In other words, at low energy, the higher derivative operators play the role of a higher derivative regularization. Once again, this is not surprising because they are related to the analytic properties of the one-loop quantum effective action that only depends on the Landau singularities of the amplitude. Moreover, in the low energy limit the contribution of the massive states is sub-leading with respect to the massless graviton.
7 Conclusions and discussions
We have reconsidered the arguments for taking into account only the gravitational loops in effective quantum gravity. The physical reasons and, in particular, the analogy with the Casimir force show that the massive sources should not be quantized. Taking this into account, it is well-known that the numerical effects of quantum corrections are too small to be measured in the laboratory. However, this does not make irrelevant the consistent derivation of the quantum corrections and the discussion of their (non)universality.
The main part of the work reports on a calculation similar to the previously done in [11], but in an arbitrary parametrization of quantum perturbation of the metric. As a result, we have found that the effective quantum gravity correction to Newton’s gravitational potential is completely independent of the choice of the parametrization. Together with the mentioned qualitative arguments and the gauge-fixing independence established in [11], our result ensures that the final outcome (73) is correct. In principle, this result can be generalized for more complicated distributions of mass. In this respect, the more general proof of invariance given in Sect. 5 is relevant, as it provides a good expectation to obtain sound results.
Furthermore, we discussed in Sect. 6 the universality and independence of the leading correction to Newton’s potential in the effective field theories resulting in the low-energy limit of ultraviolet complete theories of quantum gravity in the quantum field theory framework. In particular, we showed that the leading quantum correction to Newton’s potential is strictly related to the low-energy spectrum of the fundamental theory rather than the details of the ultraviolet complete quantum gravity theory, in accordance with the general effective quantum field theory approach. Indeed, the logarithm quantum correction is related to the Landau singularities and the analytic properties of the one-loop amplitude, which only depend on the low-energy spectrum of the classical theory. Therefore, not all the quantum effective theories produce the same result. The latter statement has been shown explicitly with simple examples.
Taking the parametrization and gauge invariance, the direct relation to the beta functions, and the fact that the quantum corrections are the same as in the usual and Vilkovisky–DeWitt versions of the effective actions, the main result for the quantum corrected potential can be compared to the invariant version of the renormalization group improved classical action [36, 37]. In the present framework, when dealing with the Newtonian interaction between two massive particles, the interpretation of the renormalization group scale is straightforward. This interpretation is much more subtle and complicated in other physical situations, e.g., in Cosmology [38], where some specially designed procedures can be applied [39, 40], but still do not guarantee unique interpretation of the scale. Thus, it would be interesting to compare the two ways of scale identification in the cases like the one considered above, with a well-defined procedure [11].
In conclusion, let us note that the main approximation in effective quantum gravity is supposed to hold between the Planck scale in the UV and the Hubble scale in the IR . In particular, this interval includes all the physically and astronomically interesting high-energy gravitational phenomena related to early cosmology and black hole physics. Thus, there still is a possibility to find applications to the results based on correctly defined quantum gravity corrections to classical gravity.
Data Availability Statement
The manuscript has associated data in a data repository. [Authors’ comment: All data included in this manuscript are available upon request by contacting with the corresponding author.]
Notes
The non-minimal gauge was considered in [11] and proved to give a gauge-independent result for the one-loop contribution to Newton’s gravitational potential, so we avoid discussing it here.
References
Y. Iwasaki, Quantum theory of gravitation vs. classical theory—fourth-order potential. Prog. Theor. Phys. 46, 1587 (1971)
J.F. Donoghue, Leading quantum correction to the Newtonian potential. Phys. Rev. Lett. 72, 2996 (1994). arXiv:gr-qc/9310024
J.F. Donoghue, General relativity as an effective field theory: the leading quantum corrections. Phys. Rev. D 50, 3874 (1994). arXiv:gr-qc/9405057
I.B. Khriplovich, G.G. Kirilin, Quantum power correction to the Newton law. J. Exp. Theor. Phys. 95, 981 (2002). arXiv:gr-qc/0207118
N.E.J. Bjerrum-Bohr, J.F. Donoghue, B.R. Holstein, Quantum gravitational corrections to the nonrelativistic scattering potential of two masses. Phys. Rev. D 67, 084033 (2003). Erratum: [Phys. Rev. D 71, 069903 (2005)]. arXiv:hep-th/0211072
J.F. Donoghue, The effective field theory treatment of quantum gravity. AIP Conf. Proc. 1483, 73 (2012). arXiv:1209.3511
J.A. Helayël-Neto, A. Penna-Firme, I.L. Shapiro, Scalar QED h-Planck corrections to the Coulomb potential. JHEP 01, 009 (2000). arXiv:hep-th/9910080
K.A. Kazakov, P.I. Pronin, Gauge dependence of effective gravitational field. Phys. Rev. D 62, 044043 (2000). arXiv:hep-th/9912129
T.S. Gribouk, K.A. Kazakov, P.I. Pronin, Gauge dependence of effective gravitational field. 2. Point-like measuring device. Phys. Rev. D 69, 024005 (2004). arXiv:hep-th/0306233
M.J. Duff, Quantum corrections to the schwarzschild solution. Phys. Rev. D 9, 1837 (1974)
D.A.R. Dalvit, F.D. Mazzitelli, Geodesics, gravitons and the gauge fixing problem. Phys. Rev. D 56, 7779 (1997). arXiv:hep-th/9708102
M.J. Duff, Inconsistency of quantum field theory in curved space-time, in Oxford Conference on Quantum Gravity, pp. 81–105. OUP Report number: ICTP/79-80/38
I.L. Shapiro, Polemic notes on IR perturbative quantum gravity. Int. J. Mod. Phys. A 24, 1557 (2009). arXiv:0812.3521
M. Bordag, G.L. Klimchitskaya, U. Mohideen, V.M. Mostepanenko, Advances in the Casimir effect (Oxford University Press, New York, 2009)
S.K. Lamoreaux, Review on the book [13]. Phys. Today 63, 50 (2010)
J.Q. Quach, Gravitational Casimir effect. Phys. Rev. Lett. 114, 081104 (2015) [Erratum: Phys. Rev. Lett. 118, 139901 (2017)]. arXiv:1502.07429
T.G. Ribeiro, I.L. Shapiro, Scalar model of effective field theory in curved space. JHEP 1910, 163 (2019). arXiv:1908.01937
A.V. Manohar, Effective field theories. Lect. Notes Phys. 479, 311 (1997). arXiv:hep-ph/9606222
V. Ilisie, Concepts in quantum field theory. A practitioner’s toolkit (Springer, Cham, 2016)
J.Z. Simon, Higher-derivative Lagrangians, nonlocality, problems, and solutions. Phys. Rev. D 41, 3720 (1990)
C.P. Burgess, Quantum gravity in everyday life: General relativity as an effective field theory. Living Rev. Relativ. 7, 5 (2004). arXiv:gr-qc/0311082
I.L. Buchbinder, I.L. Shapiro, Introduction to quantum field theory with applications to quantum gravity (Oxford University Press, Oxford, 2021)
J.D. Gonçalves, T. de Paula Netto, I.L. Shapiro, Gauge and parametrization ambiguity in quantum gravity. Phys. Rev. D 97, 026015 (2018). arXiv:1712.03338
B.L. Giacchini, T. de Paula Netto, I.L. Shapiro, Vilkovisky unique effective action in quantum gravity. Phys. Rev. D 102, 106006 (2020). arXiv:2006.04217
G.B. Peixoto, A. Penna-Firme, I.L. Shapiro, One loop divergences of quantum gravity using conformal parametrization. Mod. Phys. Lett. A 15, 2335 (2000). arXiv:0103043
A.O. Barvinsky, G.A. Vilkovisky, The generalized Schwinger–DeWitt technique in gauge theories and quantum gravity. Phys. Rep. 119, 1 (1985)
B.S. DeWitt, Dynamical theory of groups and fields (Gordon and Breach, New York, 1965)
G.A. Vilkovisky, The unique effective action in quantum field theory. Nucl. Phys. B 234, 125 (1984)
N. Burzillà, B.L. Giacchini, T. de Paula Netto, L. Modesto, Newtonian potential in higher-derivative quantum gravity. Phys. Rev. D 103, 064080 (2021). arXiv:2012.06254
N. Burzillà, B.L. Giacchini, T. de Paula Netto, L. Modesto, Higher-order regularity in local and nonlocal quantum gravity. Eur. Phys. J. C 81, 462 (2021). arXiv:2012.11829
L. Modesto, T. de Paula Netto, I.L. Shapiro, On Newtonian singularities in higher derivative gravity models. JHEP 04, 098 (2015). arXiv:1412.0740
B.L. Giacchini, T. de Paula Netto, Weak-field limit and regular solutions in polynomial higher-derivative gravities. Eur. Phys. J. C 79, 217 (2019). arXiv:1806.05664
B.L. Giacchini, T. de Paula Netto, Effective delta sources and regularity in higher-derivative and ghost-free gravity. JCAP 07, 013 (2019). arXiv:1809.05907
E.S. Fradkin, A.A. Tseytlin, Renormalizable asymptotically free quantum theory of gravity. Nucl. Phys. B 201, 469 (1982)
I.L. Shapiro, A.G. Jacksenaev, Gauge dependence in higher derivative quantum gravity and the conformal anomaly problem. Phys. Lett. B 324, 286 (1994)
B.L. Giacchini, T. de Paula Netto, I.L. Shapiro, On the Vilkovisky–DeWitt approach and renormalization group in effective quantum gravity. JHEP 10, 011 (2020). arXiv:2009.0412
T. Taylor, G. Veneziano, Quantum gravity at large distances and the cosmological constant. Nucl. Phys. B 345, 210 (1990)
D.C. Rodrigues, P.S. Letelier, I.L. Shapiro, Galaxy rotation curves from general relativity with quantum corrections. JCAP 04, 020 (2010). arXiv:0911.4967
A. Babic, B. Guberina, R. Horvat, H. Stefancic, Renormalization-group running cosmologies. A scale-setting procedure. Phys. Rev. D 71, 124041 (2005). arXiv:astro-ph/0407572
S. Domazet, H. Stefancic, Renormalization group scale-setting in astrophysical systems. Phys. Lett. B 703, 1 (2011). arXiv:1010.3585
J.M. Cline, S. Jeon, G.D. Moore, The phantom menaced: constraints on low-energy effective ghosts. Phys. Rev. D 70, 043543 (2004). arXiv:hep-ph/0311312
T.D. Lee, G.C. Wick, Negative metric and the unitarity of the S matrix. Nucl. Phys. B 9, 209 (1969)
T.D. Lee, G.C. Wick, Finite theory of quantum electrodynamics. Phys. Rev. D 2, 1033 (1970)
L. Modesto, I.L. Shapiro, Superrenormalizable quantum gravity with complex ghosts. Phys. Lett. B 755, 279 (2016). arXiv:1512.07600
L. Modesto, Super-renormalizable or finite Lee–Wick quantum gravity. Nucl. Phys. B 909, 584 (2016). arXiv:1602.02421
D. Anselmi, On the quantum field theory of the gravitational interactions. JHEP 06, 086 (2017). arXiv:1704.07728
M. Asorey, J.L. Lopez, I.L. Shapiro, Some remarks on high derivative quantum gravity. Int. J. Mod. Phys. A 12, 5711 (1997). arXiv:hep-th/9610006
D. Anselmi, M. Piva, A new formulation of Lee–Wick quantum field theory. JHEP 06, 066 (2017). arXiv:1703.04584
D. Anselmi, M. Piva, Perturbative unitarity of Lee–Wick quantum field theory. Phys. Rev. D 96, 045009 (2017). arXiv:1703.05563
D. Anselmi, Fakeons and Lee–Wick models. JHEP 02, 141 (2018). arXiv:1801.00915
Y.V. Kuz’min, The convergent nonlocal gravitation (in Russian). Sov. J. Nucl. Phys. 50, 1011 (1989)
Y.V. Kuz’min, Yad. Fiz. 50, 1630 (1989)
L. Modesto, Super-renormalizable Quantum Gravity. Phys. Rev. D 86, 044005 (2012). arXiv:1107.2403
L. Modesto, L. Rachwal, Super-renormalizable and finite gravitational theories. Nucl. Phys. B 889, 228 (2014). arXiv:1407.8036
L. Modesto, L. Rachwal, Nonlocal quantum gravity: a review. Int. J. Mod. Phys. D 26, 1730020 (2017)
F. Briscese, L. Modesto, Cutkosky rules and perturbative unitarity in Euclidean nonlocal quantum field theories. Phys. Rev. D 99, 104043 (2019). arXiv:1803.08827
F. Briscese, L. Modesto, Non-unitarity of Minkowskian non-local quantum field theories. Eur. Phys. J. C 81, 730 (2021). arXiv:2103.00353
F. Briscese, L. Modesto, Unattainability of the trans-Planckian regime in nonlocal quantum gravity. JHEP 09, 056 (2020). arXiv:1912.01878
L. Rachwał, L. Modesto, A. Pinzul, I.L. Shapiro, Renormalization group in six-derivative quantum gravity. arXiv:2104.13980
F. Briscese, L. Modesto, Nonlinear stability of Minkowski spacetime in Nonlocal Gravity. JCAP 07, 009 (2019). arXiv:1811.05117
F. Briscese, G. Calcagni, L. Modesto, Nonlinear stability in nonlocal gravity. Phys. Rev. D 99, 084041 (2019). arXiv:1901.03267
L. Modesto, The Higgs mechanism in nonlocal field theory. JHEP 06, 049 (2021). arXiv:2103.05536
L. Modesto, Nonlocal spacetime-matter. arXiv:2103.04936
A. Smailagic, E. Spallucci, Lorentz invariance, unitarity in UV-finite of QFT on noncommutative spacetime. J. Phys. A 37, 1 (2004). [Erratum: J. Phys. A 37, 7169 (2004)]. arXiv:hep-th/0406174
J. Liu, Q. Li, F. Briscese, G. Calcagni, L. Modesto, work in progress
K.S. Stelle, Renormalization of higher derivative quantum gravity. Phys. Rev. D 16, 953 (1977)
Wolfram’s Mathematica, Version 12.0 (Wolfram Research, Champaign, 2019)
J.M. Martín-García, xAct: efficient tensor computer algebra for the Wolfram Language. http://xact.es
T. Nutma, xTras: a field-theory inspired xAct package for mathematica. Comput. Phys. Commun. 185, 1719 (2014). arXiv:1308.3493
Acknowledgements
Authors are grateful to Michael Bordag, Michael Duff and Diego Mazzitelli for useful and friendly discussions. I.Sh. was partially supported by Conselho Nacional de Desenvolvimento Científico e Tecnológico - CNPq (Brazil) under the grant 303635/2018-5, by Fundação de Amparo à Pesquisa de Minas Gerais - FAPEMIG under the project PPM-00604-18, and by the Ministry of Education of Russian Federation under the project No. FEWF-2020-0003. L.M. was supported by the Basic Research Program of Science, Technology and Innovation Commission of Shenzhen Municipality (Grant No. JCYJ20180302174206969).
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A
The explicit expressions for the coefficients in (31) were obtained using Wolfram Mathematica [67] and the auxiliary tensor algebra package xAct [68, 69]. For the sake of completeness, we present the list of the coefficients used in Eq. (32):
The parameters \(\gamma _{0,1,2,\ldots ,6}\) in these expressions represent the ambiguity in the parametrization of quantum metric (5). Let us note that these bulky formulas, anyway, admit a completely invariant result when used in the potential (73), providing the very compact Eq. (74).
Appendix B
Here we derive the equation DM(35). All equations like DM(35) are numbered according to Ref. [11]. For comparison reasons, the notations in this section also follows [11]. The principal difference with the main text conventions is the opposite sign for the metric signature.
The starting expression is
where DM(15) gives
Hereafter, \({\dot{x}}_\mu = \frac{d x_\mu }{d\tau '}\) and \({\dot{z}}_\mu = \frac{d z_\mu }{d\tau }\). Before substituting (101) into (100), we take into account that the massive source M is static and situated at the origin, such that \(x^0=\tau \) and \(x^k \equiv 0\). Furthermore,
Then, the contractions in (100) give
Taking into account (102), the formula (103) boils down to
Taking the integral over \(y^0\) and changing the order of integration, we get \(y^0 \rightarrow \tau \). Similarly, taking \(d^3{\mathbf{y}}\) results in \({\mathbf{y}}\rightarrow {\mathbf{z}}(\tau )\). Assuming non relativistic \(z^\mu \), i.e., \(z^0=\tau \) and \({\dot{z}}_k=0\), we get
that is four time more than DM(35). Correcting the missing factor of 4, the coefficient in DM(43) is \(-1/6\) instead of 7/12. This gives a Newtonian potential in the form (74).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
de Paula Netto, T., Modesto, L. & Shapiro, I.L. Universal leading quantum correction to the Newton potential. Eur. Phys. J. C 82, 160 (2022). https://doi.org/10.1140/epjc/s10052-022-10077-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10077-7