1. Introduction
Efforts towards the unification of General Relativity and Quantum Mechanics into a coherent theory of Quantum Gravity were started long ago and have been intensifying in the last decades. In spite of big progress in loop Quantum Gravity [
1,
2], asymptotic safety [
3] and discrete spacetime models [
4,
5,
6,
7], “the revolution is still unfinished”, in the words of C. Rovelli. The spin-offs of this research work, however, are manifold and remarkable in their own right. In general, it is fair to say that the quest for unification has led to a better comprehension of both General Relativity and Quantum Mechanics.
We made some early contributions to Quantum Gravity in the covariant formulation by showing that the Wilson loop vanishes to leading order [
8] and proposing an alternative expression for the static potential of two sources [
9]. This formula was used by Muzinich and Vokos [
10] and by Hamber and Liu [
11], respectively in perturbation theory and in non-perturbative Regge calculus, to give an estimate of quantum corrections to the Newton potential. The vanishing of the Wilson loop (and of curvature correlations [
12]) to leading order is only one of the peculiar aspects of the quantum field theory of gravity, that sets it apart from other successful quantum field theories like QED and QCD.
One of the problems with defining quantum theories of gravity is that, unlike for other quantum mechanical systems, there is no action or Hamiltonian that would be bounded from below. As a result any formal definition of a path integral or partition function would be plagued by divergences and be dominated by configurations which have arbitrarily negative energy. This paper reports on a study in this context, where we only restrict to spherically symmetric configurations. The goal is to identify configurations with zero or almost zero action, which would all equally contribute to a quantum path integral (being unsuppressed by an action factor). This is done numerically and the paper reports on results as the number of steps in the discretisation is increased.
Although many possible extensions and generalizations of the Einstein action have been proposed [
13], which could help in addressing open issues in cosmology, the Einstein action is the natural action at intermediate energies and arises directly from the quantization of massless spin 2 fields.
In our opinion, the indefinite sign of the Einstein action gives us a chance to explore a phenomenon that is otherwise unknown in quantum field theory and more generally in Quantum Mechanics, namely the existence of configurations for which the action is zero, like for the classical vacuum, but not a stationary point. We call them zero modes of the action and we have proven analytically their existence for the Einstein action as well as for a peculiar elementary quantum system (the massless harmonic oscillator [
14,
15]).
The purpose of this work is to show that if the condition defining the zero modes is relaxed to , then a large ensemble of these modes can be numerically constructed via a Metropolis–Monte Carlo algorithm. The condition implies that these modes can play an important role in the path integral, although they are very different from classical solutions. In this sense the Einstein action offers an example of a dynamical system with unique quantum properties and a possible prototype for similar systems in other branches of physics.
The algorithm for the generation of the zero modes ensemble has been presented in [
16], but the application was limited to metric configurations at the Planck scale, and accordingly the discretization limited to
space sub-intervals. Several authors have found, with various techniques, that the vacuum state of quantum gravity has a non-trivial structure at that scale. In particular, field configurations with spherical symmetry have been considered by [
17,
18]. One may wonder how this structure scales up to larger distances, and that is the main purpose of this work. After returning to more transparent physical units, we have performed several simulations looking for quantum zero modes with
at a scale
and in the continuum limit
. It turns out that just the continuum limit allows to obtain such modes. The exact scaling dependence on
L and
N is reported in
Section 3.
Our results, though obtained in a different setting and with different methods, appear to be close to what is found in a paper by Bonanno and Reuter ([
19]; see also [
20]). In this work, the authors have added an
term to the action to make it bounded from below, and they find indications for a ground state which violates translational symmetry and displays a “rippled” structure. They argue that a “kinetic condensate” characterizes the vacuum state of asymptotically safe quadratic gravity theories, so that if this scenario is realized in the full theory, the vacuum state of gravity is the gravitational analogous to the Savvidy vacuum in Quantum Chromo-Dynamics. A more detailed comparison between our results and those of [
19] will be given in
Section 4.3.
The outline of the paper is the following. In
Section 2 we recall the form of the Einstein action reduced for spherically symmetric and time-independent metrics, first in the continuum version and then in the discretized version. We also recall our previous results from simulations at the Planck scale, made using a small number
N of sub-intervals. In
Section 3 we analyze the scaling properties of the discretized action with respect to
N, up to
, and also the scaling with respect to the inverse temperature
of the Metropolis algorithm and the length scale
L of the vacuum fluctuations. In
Section 3.3 the observed polarization patterns of the metrics are reported and discussed.
Section 4.1 offers for illustration purposes a mathematical example of zero modes in an oscillating 2D integral.
Section 4.2 considers a possible extension to higher dimensions. Finally,
Section 4.4 briefly summarizes our conclusions.
2. The Discretized Action
Our physical model [
16] is defined by the Einstein action of the gravitational field, computed for a metric with spherical symmetry and independent from time. The only field variable is the metric component
, with
. This kind of dimensional reduction of gravity has been already employed in several classical and quantum models.
This is derived from the usual expression of the Einstein action in units such that , and in which the integral over time has been replaced by a factor , meaning that the metrics we are considering are stationary but have a limited duration . This is clearly an approximation, and eventually we should introduce a function of time describing an adiabatic switch on/off; we expect the corresponding time derivatives to give a negligible contributions to the curvature. for the values of and L considered in this paper. (This can be checked for simplicity in the linearized approximation, where the scalar curvature is simply given by ; with the chosen form of the metric, the only time-dependent contribution is .)
In principle it is possible to improve the model by increasing the number of degrees of freedom, making the algorithms more complicated but still manageable, at least in two ways: (1) besides the component
, consider as variable also the component
, which at the moment is taken constant and equal to 1; (2) introduce a dependence on an angle
. The full expression of
R in this case is given in [
16] and refs.
In the discretized version of the action the variable r runs on an interval divided into N parts. After defining , we can say that r takes the values 0, , , …, , or . The field takes values , , corresponding to .
The boundary condition on the right end of the interval is , while on the left, for , we do not set any constraint. We suppose that for . As a consequence, we are not considering metric perturbations extended to infinity, but only fields different from flat space in (localized fluctuations). Clearly, L must be regarded as one of the parameters for which we will need a scaling analysis.
Upon quantization the variables
,
, …
become the integration variables of a path integral, with measure given by the DeWitt super-metric (see [
4], Section 2.4). Since the action is not positive definite, we suppose at the beginning that this path integral is of the Lorentzian kind, with weight
.
In the continuum action (
1) we replace the integral with a sum and so we obtain the discretized action
with
and
We are looking for anomalous fluctuations with respect to the trivial classical solution
everywhere, which gives
(flat space). Our idea is to use the path integral as follows: if there is an ensemble of non-trivial metrics such that
, we suppose that they may describe important vacuum fluctuations. They do not need to be stationary points of the action like the classical configurations; they can also be exact zero modes of the action (for example, those we have found already with analytical techniques [CQG]) or modes with almost-zero action. An important requirement to make them relevant is that they must have a large volume in configuration space: the Montecarlo simulations will tell us if this is the case, and we may also expect (as confirmed in [
16]) that according to the same simulations certain exact analytical zero modes will turn out to be too little probable to be physically relevant. A further discussion of this idea in relation to the stationary phase principle can be found in
Section 4.
Results at the Planck Scale
In [
16] we chose units such that
, and we chose to explore a duration and length scale
,
(Planck scale). We took
in order to have a meaningful but “quick” discretization and we run a Metropolis algorithm [
21] with a return probability
or
in order to avoid the instability problems related to the indefinite sign of the action.
The result of the simulations is that for suitable values of the inverse temperature one finds an ensemble of equilibrium configurations in which and or less. The sum is found to oscillate around zero with an amplitude .
In other words, after starting formally with a Lorentzian weight in order to skip the instability problems, and after realizing that the weight cannot be implemented numerically, the trick of using a weight or in the algorithm is not meant as a solution of the instability or a way to study the full dynamics, but only as a way to obtain explicitly a set of fields with almost-zero action and a large volume in configuration space.
In this context, the choice of the inverse temperature is a matter of convenience. After some trials we find that if is too small (high temperature) the algorithm stabilizes quickly but the configurations obtained have values of the action fluctuating in a wide range. On the other hand, if is too large (low temperature) equilibrium cannot be obtained in a reasonable number of steps and the system keeps “drifting” in some direction. In general, a Metropolis algorithm is in equilibrium at a certain temperature when the ratio between the frequency of steps towards lower energy/action and the frequency of steps towards higher energy/action remains approximately constant. As seen from Table 2, however, we can fulfil the condition above by choosing in a certain range. For instance, for N = 12,800 we easily obtain thermalization in the range .
The
configurations of the equilibrium ensemble have a peculiar dependence on the coordinate
r (
): a sort of polarization with a step in the middle of the interval and
in the inner region,
in the outer region. Intuitively this matches the expectation of a cancellation between contributions to the integral of
R over different regions, which is also a typical feature of some of the analytical zero modes [
22]. One can check that the inner region has always negative
R, while the opposite holds for the outer region. We shall see below that when the number
N of sub-intervals in the discretized action grows (continuum limit), this simple pattern of “polarization into two regions” changes.
3. Scaling Properties
Up to this point, what we can conclude is that at a length scale of the order of the discretized action permits the existence in the path integral of configurations which display strong deviations from flat space and polarization in R. In order to analyse the behavior at larger scale, we use natural units, in which . In these units the unit of length is 1 cm and the time is also expressed in cm, with the conversion 1 sec = 1 cm. The Newton constant G in natural units is equal to the square of the Planck length: cm2.
It follows that as magnitude order we can rewrite the discretized action (
2) as
Due to the factor , it seems very difficult to obtain in the discretized model, as soon as L and are larger than the Planck scale cm. If, however, we consider the continuum limit , it may be possible that the action of the configurations built in our simulations becomes , provided the scaling of in N is such that quickly enough. For this reason we made several Metropolis simulations in order to compute with increasing N.
3.1. Results at “Macroscopic” L
In the first set of numerical trials that we performed in order to investigate the scaling for we fixed the length L to 10 units and the time to 1 unit. (Thinking of the field configurations in terms of vacuum fluctuations, L represents their size and their duration.) The purpose of this choice is to compare and connect the present data, at the numerical level, with those obtained in our previous work. Here, however, the physical units employed are different and means cm. This is a macroscopic scale and certainly not our final target. We shall see that it is straightforward to pass from results at this scale to results at a length L more appropriate to vacuum fluctuations (atomic and subatomic scale). That is because in the Metropolis algorithm employed the parameters and L are multiplied by each other, so any reduction of L can be compensated by an increase in the reciprocal temperature without affecting the thermal convergence of the algorithm.
In order to make contact with our previous data, let us start with a number of sub-intervals
and proceed by repeatedly multiplying
N by 2. In this first series of trials we change
in inverse proportion to
N, in such a way that the factor
in the exponent of
stays constant and optimal thermalization is achieved. The variation in
is due to the factor
and to the fact that the sum
has more terms. The good news is that this finer subdivision leaves
almost unchanged and so
scales as
(
Table 1).
When
N is increased, we also need to increase the number of Montecarlo steps in order to obtain precise results, because at each step the algorithm changes at random one value of
in the range
, by an amount
. The averages in the table are computed well after thermalization (after 50% of the steps for
N up to 25,600, and then after 75% of the steps). The quantity
is the average of the return probability for the steps in which
increases. This probability increases with
N (except for
and
, where the polarization pattern is changing, see
Section 3.3).
and
are the averages of the action
and of its square. The most important quantity is
, which tells us how much the action oscillates about its average. The dependence of
on
N reported in
Table 1 is also plotted in
Figure 1, from which a scaling very close to
can be deduced. This means that in the continuum limit
the phase
, Equation (
3), can actually become
, in spite of the large dimensional factor
, especially if we start from microscopic values of
L and
(see below). Moreover, there is a favourable scaling in the parameter
(
Table 2).
How should one interpret the increasing values of
needed for equilibrium as
N grows? As explained at the beginning of
Section 2, lower values of
imply in general larger fluctuations of the action, while we need
to decrease at least as
for the continuum limit to be effective. The interpretation is then that in the continuum limit the field configurations of the equilibrium ensemble have a very low temperature, i.e., they are very close to the minimum of the classical action. This is in qualitative agreement with the findings of [
19], namely that the true minimum of the stabilized action is obtained for a class of oscillating metrics, breaking translational invariance.
3.2. Scaling in for Microscopic L
Table 3 shows the scaling of
,
and
in dependence on
for
L at a microscopic scale, namely
cm.
The first value of is chosen, to ensure thermalization, in such a way that the product is the same as for data with , , 12,800; this implies that must now be equal to .
The results for
and
are seen in
Table 3 to scale in proportion to
L, in comparison to the results in
Table 1. This could have been predicted from the fact that the discretized action is proportional to
, and so are its variations
and
in the Montecarlo algorithm. We obtain here another confirmation that the algorithm scales as expected with respect to the parameters
L and
.
3.3. Polarization Pattern
The simple bipolar polarization pattern observed in the averaged field values
for
[
16] changes when
N increases. Multiple oscillations begin to appear, with an envelope changing with
N (see an example in
Figure 2a), until for
N approximately greater than 3200 the situation stabilizes and all the oscillations have almost exactly the same amplitude (
Figure 2b). The number of oscillations does not depend on any of the physical parameters
N,
L,
and
. It appears to be a general “mathematical” feature of the minimum configuration of the discretized action
.
Figure 3 shows two details of
Figure 2b, namely on sub-intervals with 1600 and 400 values of
h. From these details we can see that the fixed total number of oscillations in the interval
is approximately equal to
, even though, as mentioned, there appears to be no relation between this number and the physical parameters.
As discussed in [
16], in polarized configurations of this kind there are contributions to the local curvature coming both from the plateaus and from the steps. When
N is large, the plateaus comprise hundreds of values of
h (the discretization index). For each
h we have a value of
at the end of the simulation, and on the plateaus these values are typically constant up to
. (The values of
displayed in
Figure 2 and
Figure 3 are actually averages
.) The steps comprise only a few values of
h, with standard deviation of
of the order of
. This shows that after the Monte Carlo algorithm has attained thermal equilibrium, this equilibrium is quite stable. As displayed in
Table 1, when
N increases thermalization requires a lower temperature.
4. Discussion, Conclusions
4.1. A 2D Integral with Stationary Phase and Zero Modes
A key concept of this work, already discussed analytically in [
14,
15,
22], is that of zero modes of the action. This relates to a peculiar property of the gravitational field, not easily found in other physical systems: the non-positivity of the action in the path integral
.
A simple mathematical example can help to elucidate the idea of zero modes. Consider a 2D integral with oscillating integrand, of the form
where
is a smooth function, and suppose that
. We expect the main contribution to the integral to come from the region near the origin
,
, where the phase of the cosine is stationary. This would in fact be true if the phase was
. However in this case the phase is zero, even if not stationary, along the lines
. Could the infinite region along these lines give a contribution to the integral comparable to the region near the origin? This can be verified using an algorithm for numerical integration similar to an adaptive Monte Carlo. The algorithm samples the integrand at random starting from the origin and moving in small steps
,
. Each step is accepted unconditionally if it gives an increase
positive, or else accepted with probability
. In this way, the sampling points are more dense in the regions where there are larger contributions to the integral, and the effect can be tuned varying the inverse temperature
.
Let us reduce the integration region to the square
and divide it into, for example,
cells of side
with indices
i,
j. If the number of sampling points falling in the cell
is
and the sum of the values of the integrand at those points is
, the integral is approximated by
Figure 4 represents with a density plot the contributions of the individual cells in a case where the function is simply
(see caption for details). If we compute instead the average
over all sampling points, namely with
, we obtain at low temperature approximately 0.7 (half the diagonal), showing that the regions which contribute to the integral are in fact spread along the zero mode. However, when the temperature is increased (
Figure 4c) the strong destructive interference along the zero modes tend to cancel their contributions, leaving only the contribution near the origin. This can also be seen from the fact that the average
decreases.
In the simple case of the 2D integral in
x,
y of Equation (
5) all these properties can be easily predicted, because we can plot the integrand and we know that the main contributions arise in the regions where the integrand is large and are directly proportional just to the area of these regions. One can also predict that being zero modes 1-dimensional, in the limit of small
ħ they do not contribute to the 2D integral.
4.2. Extension to Higher Dimension
For a path integral in infinite dimensions, with a non-polynomial action, all this
a priori information is not available. Even if we are able to solve the exact equation for the zero modes (analogue of
in the 2D example) [
16,
22], it is hard to assess the “volume” of the solutions in the functional space, and even harder to asses this volume for the weaker but crucial condition
.
An higher-dimensional extension of the polynomial example above could be in principle the following: consider the integral
and the zero modes of the phase, which satisfy the equation
The dimension of these modes is (for example, for a phase proportional to the zero mode is a conical surface), so for they might indeed contribute to the integral.
To complete the analogy, note that in the gravitational case the contribution to the adaptive Monte Carlo coming from the configurations which make the action stationary appears to be actually negligible.
4.3. Limitations of the Present Approach and Comparison with Other Methods
The use of the absolute value of the action in the Euclidean path integral allows to circumvent the stability issues. It is admittedly a strong assumption, whose validity should be further checked, and which does not hold for the dynamics of configurations with action , such that the phase factor in the path integral is rapidly oscillating.
For the practical purposes of a numerical simulation in the region
, however, using the absolute value appears to be not very different from other stabilization techniques, like the introduction of an
term [
19]. Being the flat space configuration, with
everywhere, a stationary point, the absolute value does not produce any discontinuity in the derivatives of the action. In previous versions of the simulations we used the squared action instead of the absolute value, obtaining similar results. The algorithm could be further adapted to the insertion of an
term.
One can safely state, in any case, that results of simulations with the absolute value are exact for a theory with action
, which does not coincide in general with the Einstein-Hilbert theory, but has the same classical field equations, obtained minimizing
. The logic here would be similar to that of theories with lagrangian
[
13], even though at the level of perturbative quantum field theory only the Einstein-Hilbert action represents massless particles with spin 2.
On another front, we note that in the present approach it is impossible to address the diffeomorphism symmetry as clearly as done, for instance, in the Regge calculus with full simulation of the quantum dynamics ([
4,
5] and refs.). Even in the spherically symmetric case presented here, an invariance under reparametrisations of the coordinate
r remains. When one generates a new metric configuration, in principle it is possible that the geometry is not actually being changed, but one is just doing such a reparametrization. In practice, however, this is extremely unlikely when randomly changing one of the discrete variables
at a time, as it happens in our algorithm. Furthermore,
a posteriori we can be sure that the configurations found at equilibrium are really different from the flat space we started from.
In these configurations, the coordinate distance cannot be interpreted as a physical distance, the latter being given instead by the usual expression
. This means, for instance, that the real length of the upper plateaus in
Figure 3 is definitely larger than the length of the lower plateaus.
The analogies between our results and those of Ref. [
19] are stimulating, but several differences should be noticed, in addition to the different stabilization methods:
- (1)
In [
19], the degree of freedom in the metric is a conformal factor, while here it is the component
in a stationary approximation.
- (2)
The authors of [
19] search for the vacuum state by minimizing the action through a rigorous analytical approach, while we rely on numerical simulations. That is why they interpret the rippled spacetime obtained as one that becomes flat upon averaging over a periodicity volume, i.e., after a purely
classical coarse graining. In our discretized model, we interpret the rippled spacetime obtained as an ensemble of purely quantum states with no classical counterpart. We also find, however, that a proper continuum limit is possible only in the low temperature limit (large
), which takes us back to the classical theory. In this sense there is a qualitative agreement between the two approaches. There might also be a connection between our concept of zero modes of the action and the restricted-space minimization of
Section 2 in [
19].
4.4. Conclusions
In this article, we have studied the gravitational path integral of spherically symmetric space-times independent in time using numerical Monte Carlo methods. The system is first reduced to the spherically symmetric and time-independent setting, before it is discretized in radial direction. The reduced Einstein-Hilbert action is Wick-rotated and only its absolute value is considered in the path integral, since it is not bounded from below. The goal is to explore the configurations with almost vanishing action since these might contribute in the full Lorentzian path integral. In the numerical studies oscillations are found that suggest large deviations from the classical vacuum solution.
Usually, one expects path integrals to be dominated by classical solutions given appropriate boundary data. However, this does not seem to be the case here as typical configurations appear to significantly deviate from the classical vacuum solution and show oscillatory behaviour. The interpretation of these configurations is not completely clear and open questions remain on whether it would be realistic to find them in the full Lorentzian path integral and, if yes, if this would result in observational consequences.
A non-perturbative Monte Carlo algorithm for the discretized action like that employed in this work (and in much more complete form by Hamber, Ambjørn and co-workers [
4,
5,
6,
7]) seems to be at present one of the best tools available for exploring quantum metrics closely connected to the classical vacuum state like the polarized configurations we have found in this work. The astounding detailed structure of these configurations (
Section 3.3) and their stability and reproducibility are intriguing, and possibly part of more general patterns valid beyond the approximations made here (spherical symmetry,
, modes almost stationary in time). Some physical comparisons can be drawn, as in [
19,
20], to kinetic condensates in other quantum field theories [
23] and to anti-ferromagnetic systems in statistical physics ([
24] and refs.).
We have shown that the average squared action of the polarized configurations scales as up to a number N of sub-intervals of the order of , for any length scale L. If this behavior can be extrapolated to larger N, their adimensional action can be also at scales much larger than the Planck scale.
Future work should be devoted to an extension of the simulations to the case with angular and time dependence, and to a phenomenological comparison with observational constraints on gravitational vacuum fluctuations [
25,
26].