1. Introduction
The problem of “disappearance of time” in quantum gravity and cosmology is well known and has a rather long history (see, e.g., References [
1,
2,
3] and references therein). Let us briefly recall the essence of the problem. Not all of the ten Einstein equations in the four-dimensional spacetime contain the second time derivatives: four of them include only the first time derivatives and are treated as constraints. The presence of such constraints is connected with the fact that the action is invariant under the spacetime diffeomorphisms group. To treat this situation, it is rather convenient to use the Arnowitt-Deser-Misner formalism [
4]. The Hilbert-Einstein Lagrangian of General Relativity contains the Lagrange multipliers
N and
, which are called lapse and shift functions. There are also the dynamical degrees of freedom connected with the spatial components of the metric
and with the non-gravitational fields present in the universe. In order to use the canonical formalism, one introduces the conjugate momenta and makes a Legendre transformation. Then, one discovers that the Hamiltonian is proportional to the linear combination of constraints multiplied by the Lagrange multipliers [
5]. Thus, the Hamiltonian vanishes if the constraints are satisfied. This can be interpreted as an impossibility of writing down a time-dependent Schrödinger equation. This problem can be seen from a somewhat different point of view. If one applies the Dirac quantization procedure [
6], then the constraint in which the classical phase variables are substituted by the quantum operators should annihilate the quantum state of the system under consideration. Gravitational constraints contain momenta, which classically are time derivatives of fields, but their connection to the classical notion of time vanishes in the quantum theory, where momenta are simply operators satisfying commutation relations. The main constraint arising in General Relativity is quadratic in momenta and gives rise to the Wheeler-DeWitt equation [
5,
7]. It is time-independent, but we know that the universe lives in time. Where is it hidden?
Generally, all the explanations of the reappearance of time are based on the identification of some combination of the phase space variables of the system under consideration (in our case, the whole universe) with the time parameter. Then, the Wheeler-DeWitt equation is transformed into the Schrödinger-type equation with respect to this time parameter. As is well known, in gauge theories or, in other words, in theories with first class constraints, one should choose the gauge-fixing conditions (see, e.g., References [
8,
9]). If we choose a time-dependent classical gauge-fixing condition, we can define a classical time parameter expressed by means of a certain combination of phase variables. Some other variables are excluded from the game by resolving the constraints. As a result, one obtains a non-vanishing effective physical Hamiltonian that depends on the remaining quantized phase space variables. This Hamiltonian governs the evolution of the wave function des! cribing the degrees of freedom not included in the definition of time. Then, one can reconstruct a particular solution of the initial Wheeler-DeWitt equation, corresponding to the solution of the physical Schrödinger equation. The above procedure was elaborated in detail in Reference [
10], and, in Reference [
11], it was explicitly applied to some relatively simple cosmological models. It is important to note that, in this approach, the time parameter and the Hamiltonian are introduced before the quantization of the physical degrees of freedom.
Another approach is based on the Born-Oppenheimer method [
12,
13,
14,
15], which was very effective in the treatment of atoms and molecules [
16]. This method relies on the existence of two time or energy scales. In the case of cosmology, one of these scales is related to the Planck mass and to the slow evolution of the gravitational degrees of freedom. The other one is characterized by a much smaller energy and by the fast motion of the matter degrees of freedom. The solution to the Wheeler-DeWitt equation is factorized into a product of two wave functions. One of them has a semiclassical structure with the action satisfying the Einstein-Hamilton-Jacobi equation and the expectation value of the energy-momentum tensor serving as the source for gravity; the semiclassical time arises from this equation. The second wave function describes quantum degrees of freedom of matter and satisfies the effective Schrödinger equation. However, the principles of separation between these two kinds of degrees of freedom in the two approaches described above are somewhat different. The comparison of these approaches and attempts to establish correspondence between them were undertaken in References [
17,
18,
19,
20].
We have already said that the very concept of time is in some sense classical. However, the time parameter, which arises when we work with the Wheeler-DeWitt equation, is a function of the phase space variables, which are quantum operators. Thus, we should “freeze” the quantum nature of these variables when using them to introduce time, and the time parameter should be such that expectation values of operators evolve classically. Here, we arrive to the main question of this review, which was stimulated by the relatively unknown paper by Asher Peres [
21] with a rather significant title “Critique of the Wheeler-DeWitt equation”. While we do not agree with the conclusions of this paper, we find it thought-provoking and worth analyzing. The author of Reference [
21] assumes that the time parameter should be chosen in such a way that the classical equations of motion are satisfied not only on the constraint surface but in all of the phase space. We will show that this condition is neither necessary nor sufficient.
In Reference [
21], just like in our papers [
11,
17], a very simple model was considered—a flat Friedmann universe filled with a minimally coupled scalar field. Despite its simplicity, this model appears to be rather instructive. In the recent paper, Reference [
22], it is studied in detail in the framework of the relational approach to quantum theory and quantum gravity developed in the series of preceding papers [
23,
24,
25,
26]. In References [
27,
28], the ideas of the relational or quantum reference frame approach are further developed. These papers attracted attention of the authors of Reference [
29], where their connection with the Montevideo interpretation of quantum theory is studied [
30,
31,
32,
33,
34].
The structure of this paper is the following: In the next section, we present for completeness some basic formulae of the Arnowitt-Deser-Misner formalism and the Dirac quantization of gravity, arriving to the general form of the Wheeler-DeWitt equation. In the third section, we present a simple toy model, which was analyzed by us in References [
11,
17], as well as by Peres in Reference [
21].
Section 3.1 contains the description of the classical dynamics of the model—a flat Friedmann universe filled with a minimally coupled massless scalar field. In
Section 3.2, we present the Hamiltonian formalism, Wheeler-DeWitt equation and the gauge fixing procedure for this model in the spirit of References [
10,
11,
17]. As is done in Reference [
21], in
Section 3.3, we introduce the time parameter by using direct analysis of the Poisson brackets, without the super-Hamiltonian constraint. We show that, in Reference [
21], an essential additional free parameter was overlooked and that our approach in References [
10,
11,
17] corresponds to one choice of this parameter, whereas, in Reference [
21], a different choice was made. In
Section 3.4, we reproduce the results of 3.3 by using a canonical transformation and constructing the corresponding generating function. In
Section 3.5, we show that only our choice of the free parameter and the explicit implementation of the super-Hamiltonian constraint permits to obtain the quantum evolution that is in agreement with the classical one.
Section 4 contains the comparison of our results with those obtained in Reference [
22] and the discussion of some related questions. In the last section, we discuss the obtained results and possible future directions of research.
2. The Arnowitt-Deser-Misner Formalism, Dirac Quantization and the Wheeler-DeWitt Equation
To make the transition from the Lagrangian formalism to the Hamiltonian formalism, one should break the relativistic covariance and introduce a variable that will play the role of time. The 3+1 foliation of the pseudo-Riemannian manifold serves exactly this purpose (see, e.g., Reference [
35] for a very clear and detailed exposition of the 3+1 formalism). Constructing 3+1 foliation of the spacetime begins with an embedding of a three-dimensional hypersurface into a four-dimensional spacetime. Such an embedding can be realized by defining a scalar function
on a four-dimensional manifold (here,
p denotes a point on the manifold). A hypersurface can then be defined as a level surface of this function. The gradient of
is a one-form that annihilates the vectors tangent to this hypersurface. The vector field obtained from the contraction of this gradient with the contravariant spacetime metric (we can call it
) is orthogonal to the tangent spaces of the hypersurface. If this hypersurface is spacelike, then the orthogonal vector is timelike and can be normalized. The normalized vector field is called the unit normal vector field and is denoted by
.
We can now define the three-dimensional induced metric
on the hypersurface by using the pullback operation of the spacetime metric
to the three-dimensional hypersurface. The induced metric will play the role of phase space variables in the Hamiltonian formalism of General Relativity. On the hypersurface, we define a covariant derivative
D associated with the induced three-metric
. Then, one can introduce the corresponding three-dimensional Riemann–Christoffel curvature tensor, which describes the internal geometry of the hypersurface. To describe the position of a three-dimensional hypersurface inside a four-dimensional spacetime, we also define an extrinsic curvature tensor. To this end, one introduces the Weingarten transformation that maps a tangent vector
into the covariant derivative
(associated with the metric
) of
along
. To show that the vector
is also tangent to the hypersurface, it is enough to prove that it is orthogonal to the normal vector
. In this section, it is convenient for us to use the spacetime signature
. Then, the unit normal vector satisfies the relation
; hence,
By contracting the Weingarten operator with the induced metric, one obtains a symmetric tensor, which we shall call the extrinsic curvature
:
where
and
are tangent vectors, and
i,
j run over the spatial coordinates. In what follows, Greek indices run over all spacetime coordinates, whereas Latin indices run only over the spatial coordinates. As will be shown, the extrinsic curvature is related to the time derivatives of the induced metric and the corresponding conjugate momenta and, hence, plays a very important role in the Hamiltonian formalism.
The next step is the construction of the projector from the spacetime to the hypersurface. This projector transforms any vector
into the vector
. In the index notation, this projector can be represented as
One can easily see that (
2) acts as an identity operator for vectors tangent to the hypersurface, whereas it annihilates vectors orthogonal to the hypersurface. Obviously, the projector can act not only on vectors, but also on arbitrary tensors. We can also introduce an extension of tensors defined on the hypersurface by treating them as a tensors defined in the spacetime. The principle is the following: the contraction of the extended tensor with vectors should give the same result as the contraction of the original one if the vectors are tangent to the hypersurface and give zero if at least one of the vectors is orthogonal to the hypersurface.
Interestingly, the extended version of the induced metric can be obtained from (
2) by lowering its index with the spacetime metric,
For the extrinsic curvature, the extended expression has the following form:
where the acceleration vector
is defined as
.
Using the projector (
2), one can find the difference between the covariant derivative
∇ and the covariant derivative
D acting on the vector fields tangent to the hypersurface:
This difference is directed along the vector normal to the hypersurface and depends on the extrinsic curvature.
Now, we can try to express the four-dimensional curvature tensor in terms of the three-dimensional Ricci tensor and the extrinsic curvature. The corresponding equations are called Gauss-Codazzi relations. Using the Ricci identity for the covariant derivative
D,
the analogous identity for the covariant derivative
∇ and the projector (
2), one can show that
where
is the Riemann curvature tensor (also called intrinsic curvature) associated with the induced metric
. By contracting this identity with respect to the indices
and
, we obtain the following relation:
where
. Now, we can contract this relation with the contravariant induced metric
and obtain
where we used that
.
We can also apply the Ricci identity to the vector
and project the result on the hypersurface; this results in
By contracting this relation with respect to the indices
and
, we obtain
An embedding of a three-dimensional spacelike hypersurface into a four-dimensional spacetime is not sufficient for the construction of the Hamiltonian formalism: one should also know the time evolution of the embedded hypersurface. In other words, we need the complete 3+1 foliation of the spacetime. Thus, we need to introduce a family of spacelike hypersurfaces that cover the whole spacetime and are parametrized by the parameter
t, which we shall later identify with time. We start by defining the famous lapse function
N (this name was invented by J.A. Wheeler in 1964 [
36]):
The lapse function plays a very important role in both the 3+1 foliation of a four-dimensional spacetime and in the Hamiltonian formalism of General Relativity. It is also convenient to introduce another vector field orthogonal to the spacelike hypersurfaces of the foliation, the normal evolution vector
:
If we start at the hypersurface parameterized by
t and move along an integral curve of the vector field
, denoting the change of the curve’s parameter by
, we will find ourselves at the hypersurface parameterized by
. One can obtain different useful relations involving the vector fields
and
and the lapse function
N. The acceleration
a can be expressed as
The Lie derivative of the induced metric along the normal evolution field is
while the Lie derivative of the induced metric along the unit normal field is
Now, we can complete the expression for
R in terms of
, the extrinsic curvature and the lapse function. We apply the Ricci identity to the normal unit vector and project the result two times on the hypersurface and one time on the normal direction. As a result, we obtain
Combining this equation with Equation (
8), we obtain
Taking the trace of this equation with respect to the metric
gives
Now, we can combine this equation with Equation (
9) and arrive at the following expression:
However, to transition to the Hamiltonian formalism, one should use the explicit time derivatives of field variables. Thus, we shall identify the parameter
t, defining the hypersurfaces of the 3+1 foliation, with time. Then, we can introduce the vector field
. This vector field is tangent to the integral curves, which are the curves along which the three spatial coordinates are constant. The action of this vector field on the gradient of the function defining 3+1 foliation is equal to unity, but, at the same time, it is not necessarily orthogonal to the spacelike hypersurfaces. Thus, we can write the following identity
where
is the shift vector field. This vector field is orthogonal to the normal and the components of the metric in terms of the coordinates
t and
, where
, are given by the expression
The components of the contravariant metric are
The determinant of the four-dimensional metric is
From Equation (
21), it follows that the Lie derivative of a tensor field along the normal evolution vector
is
Using (
25), it is easy to show that
and
From Equation (
27), we see that the time derivative of the spatial metric is related to the extrinsic curvature. Now, the Hilbert-Einstein action
can be expressed as
We can finally make the Legendre transformation to transition to the Hamiltonian formalism. The time derivatives of the lapse and shift functions are not present in the action; thus, they will play the role of Lagrange multipliers. The corresponding conjugate momenta are equal to zero and should remain equal to zero during the evolution. The momenta conjugate to the components of the three-metric
are defined as usual,
We can resolve Equation (
30) with respect to the extrinsic curvature:
Using (
27) and (
31), we find
Now, using (
29)–(
32), we can calculate the Hamiltonian density
where
The expression (
34) represents the super-Hamiltonian constraint, which has a rather complicated structure. The expressions (
35) are the supermomenta constraints and are responsible for the independence of the geometry of the three-dimensional spatial sections of the spacetime on the particular choice of spatial coordinates. These constraints constitute a system of first class constrains, i.e., the Poisson brackets between them are again proportional to the constraints. Namely, they have the following form:
Remarkably, if we add an action of matter fields to the action (
28), the structure of the Hamiltonian density will not changed and will still be proportional to the linear combination of constraints. The super-Hamiltonian constraint will acquire an additional term equal to the energy density of the corresponding field, while the supermomenta will acquire terms equal to the mixed temporal-spatial components of the corresponding energy-momentum tensor [
37,
38,
39].
To quantize the theory, we should substitute all the phase space variables with the corresponding operators and the Poisson brackets (
36) with the corresponding commutators. Naturally, such a substitution raises the question of consistency of the quantum version of the relations (
36). In string and superstring theories, analyzing this question resulted in the discovery of the dimensionalities of spacetimes where these theories can be consistently realized. The corresponding analysis in General Relativity is more complicated and the number of works concerning this topic is rather limited. Here, we can mention Reference [
40], where the Hamiltonian BFV-BRST method of the quantization of the constrained systems [
41,
42,
43] was applied to analyze the system (
36) in relatively simple models in quantum cosmology.
If one considers simple models where it is possible to choose a coordinate system in such a way that the shift functions and the corresponding supermomenta constraints are absent, then the problem of the consistency of the quantized relations (
36) vanishes, and it is necessary to consider only the super-Hamiltonian constraint. As we have already explained in the Introduction, applying the operator version of this constraint to the wave function of the universe gives the Wheeler-DeWitt equation. However, even in this case, we stumble upon some technical and conceptual problems. Thus, the rest of this paper will be devoted to the analysis of these problems based on the consideration of a very simple model—a flat Friedmann universe filled with a massless scalar field.
4. Switching Internal Times and the Montevideo Interpretation of Quantum Theory
In the recent paper by Reference [
22], the author considers the same simple model that we discussed in the preceding section. His approach to the problem of time and related problems in quantum gravity was laid out in References [
23,
24,
25,
26]. The author states that the question of the quantum notion of general-relativistic covariance received little attention; he addresses this question by using quantum reference frames. One of the main points of Reference [
22] is the explicit and detailed study of switching between different internal times. The toy model is very convenient from this point of view. Indeed, all the calculations can be done analytically, and the obtained formulae are rather simple. There is also another advantage: the symmetry between the logarithm of the scale factor and the scalar field. This symmetry is especially clear if one looks at the super-Hamiltonian constraint (
46)–(
47), which we can conveniently rewrite as follows:
Generally, we find an essential correspondence between the approaches of References [
10,
11,
17,
22] and
Section 3.2 of the present paper. Indeed, Ref. [
22] uses a method that “identifies a consistent reduction procedure that maps the Dirac quantized theory to the various reduced quantized versions of it to different choices of quantum reference systems. It identifies the physical Hilbert space of the Dirac quantization as a reference-system-neutral-quantum superstructure and the various reduced quantum theories as the physics described relative to the corresponding choice of reference system.” Hence, the quantum state annihilated by the Dirac constraint (or, in other words, satisfying the Wheeler-DeWitt equation) does not have a direct physical interpretation. This opinion coincides with ours. We also stressed that the physical (probabilistic) interpretation arises when we construct the time parameter from a part of the phase space variables and this parameter, as well as its conjugate momentum, are excluded from the effective Hamiltonian by using the constraint. Let us note that the author of Reference [
22] also uses the constraint at all the stages of his procedure, in contrast to the author of Reference [
21].
Because of the symmetry of our model, there are four natural ways to introduce a time parameter or, in other words, a quantum clock [
22]. One can choose a function of the scale factor as a time variable, and, in this case, the wave function will depend on the scalar field, or one can consider the scalar field as a quantum clock. Two other choices arise when we use Equation (
114) to exclude the momentum conjugate to the time variable from the effective Hamiltonian. In the language of Reference [
22], it is called “trivialize the constraint to the internal time to render it redundant”.
In
Section 3.2, the function of the scale factor was chosen to be the internal time. Let us try to describe the switching between different internal times in our terms. We assign the role of time to a suitable function of the scalar field
. Solving jointly the Friedmann Equation (
41) and the Klein-Gordon Equation (
42) gives
where
is a constant. Now, we can introduce a new canonical variable
its conjugate momentum is
Using the algorithm described in
Section 3.2 and the constraint (
114), we obtain the following effective physical Hamiltonian:
where the sign “±” corresponds to the two options existing in the quadratic form of the constraint (
114). It is easy to see that the form of the Hamiltonian (
118) is quite similar to that of (
56). Likewise, the solution of the corresponding Schrödinger equation
has the structure quite similar to that of (
58). The switching between two choices of time gives similar results due to the symmetry and simplicity of the model as was noted in Reference [
22]. The two options—the time related to purely geometric characteristic of the universe and the time connected with the scalar field—look quite natural in this model. However, other choices also exist. For example, instead of
and
, we can introduce a different pair of canonical variables:
The conjugate momenta are
Implementing the procedure described above, we arrive at the effective Hamiltonian
which again has the same form as Hamiltonians considered before.
We should mention that the internal time parameters that do not mix the geometrical variable
and the matter variable
look more natural and are more convenient for work with. However, it is not always so. When one considerers the models where the scalar field is non-minimally coupled to gravity, it is more convenient to introduce an internal time parameter that mixes the geometrical and the matter variables; see, e.g., References [
49,
50].
Further elaboration of the procedure of switching between internal times [
27,
28] has some implications for the Montevideo interpretation of quantum mechanics [
29]. To discuss this topic, let us first recapitulate the main features of this interpretation [
30,
31,
32,
33,
34].
As with all interpretations of quantum mechanics, the main target of the Montevideo interpretation is the problem of measurement. This problem can be formulated as the necessity to understand how the principle of superposition and the linearity of the Schrödinger equation can be reconciled with the fact that, in every measurement, we see only one outcome. The Copenhagen interpretation suggests that there are two realms—the quantum and the classical—and there is a complementarity between them. The Montevideo interpretation is based on the principle that the quantum description of reality is the only fundamental one. This is akin to the Many-Worlds interpretation of quantum mechanics [
51,
52]. The distinguishing feature of the Montevideo interpretation is its attention to the notion of time in quantum theory. The clear distinction is made between the quantum clock, which is connected with some quantum variable and is an operator, and the coordinate time. It is important that there are quantum limits on the precision of the time measurement by quantum clocks. First of all, there is the well-known time-energy uncertainty relation or Mandelstam-Tamm relation [
53]. Besides, the presence of gravity implies that there are additional constraints on the resolution of quantum clocks. Thus, according to the Montevideo interpretation, while the quantum system has a unitary evolution with respect to the coordinate time, its evolution with respect to the quantum clock is non-unitary, and a pure state transforms into a mixed one. This means that the corresponding density matrix evolves not according to the quantum Liouville (von Neumann) equation but according to the equation with some additional terms of the Lindblad type [
54,
55]. This equation has the following form
where
T is a quantum clock time. It is written in Reference [
29] that the Inclusion of the of quantum gravitational notion of time in the spirit of the papers [
27,
28] makes the construction based on the Montevideo interpretation more solid. In this connection we see an interesting technical problem. Can we starting with different definitions of internal time, like those considered in Reference [
22] and in the present paper, to obtain the forms of the function
responsible for the non-unitary evolution of the density matrix? It would be curios to see how it works at least for simple toy models.
Before finishing this section, we would like to say once again that from the point of view of classification of different interpretations of quantum mechanics, the Montevideo interpretation is rather close to the Everett interpretation but with a special emphasis on the role of time and gravitational effects. Besides, the branching that arises in the Everett interpretation as a result of a measurement-like process becomes approximate. On the other hand, the Montevideo interpretation can be considered as one of the approaches to the synthesis of gravity and quantum theory. Investigations of a possible influence of gravitational effects on quantum physics have a rather long history [
56,
57,
58,
59,
60,
61]. The authors proposing the Montevideo interpretation stress that they do not modify quantum mechanics. They simply consistently take into account the gravitational effects, which results in resolution of some long-standing problems of quantum theory. An interesting example of quite a different attitude to the problem of synthesis between quantum theory and gravity is the recently proposed Correlated Worldline Theory [
62,
63,
64,
65]. In the framework of this theory, the generalized equivalence principle is implemented and new path integrals representing the generating functionals are obtained. The linearity of the quantum theory disappears, but is restored in the limit when the gravitational interaction is switched off. Thus, we see another interesting problem here: what happens with the notion of time in this new theory?
5. Discussion
In this review various ideas concerning the problem of time in quantum gravity and cosmology were studied by using a simple model of a flat Friedmann universe filled with a massless minimally coupled scalar field. This model was studied in a relatively old paper, Reference [
21], and in some new works [
11,
17,
22]. Why does this model attract the attention of researchers? It is very simple, and all the calculations can be done analytically for classical and quantum dynamics. At the same time, most of the problems can be seen by looking at this simple example. What would change if we included a non-vanishing mass? As we can see from the pioneering paper of Reference [
66], even classical dynamics becomes very rich and there are no exact solutions. One can also consider scalar fields with other potentials. For example, for a constant potential one can find the exact solutions of the Wheeler-DeWitt equation [
11]; the same is true for an exponential potential [
67]. However, these more complicated minisuperspace models give almost no additional insight. The same can be said about more realistic models, which contain anisotropies or/and perturbations. To introduce an internal time or a quantum clock, one usually uses macroscopic variables, such as the scale factor and the homogenous mode of a scalar field. Thus, one can try to understand the basic features of the internal time by playing with relatively simple models, which we tried to do in the present review.
Upon analyzing the method of introduction of time without using the super-Hamiltonian constraint, we found a flaw in the calculations of Reference [
21] and demonstrated that some freedom of choice of variables was overlooked. One can represent (at least partially, but it was enough for our analysis) this freedom by a single parameter
A. Choosing this parameter as
gives the evolution of the quantum average of the scalar field that coincides with its classical counterpart; with any other choice (including the one implicitly made in the Reference [
21]) there is not a sensible classical counterpart. On the other hand, the correct expression for the effective Hamiltonian was obtained in the framework of the formalism where the super-Hamiltonian constraint was used at all the stages of the problem [
10,
11,
17]. Thus, it can be concluded that the introduction of new variables with the desired value of the Poisson brackets in all of the phase space is ne! ither necessary nor sufficient for a reasonable treatment of the Wheeler-DeWitt equation.
Nevertheless, the paper written by A. Peres is, certainly, thought-provoking because it makes the reader think about such complicated questions as the problem of time in quantum cosmology, the correct treatment of the Wheeler-DeWitt equation, the transition to the Hamiltonian formalism in theories that possess reparametrization invariance, and, last but not least, the complicated interrelations between the classical and quantum theories. The author of Reference [
21] advocates the Copenhagen interpretation of quantum mechanics. He writes: “On the other hand, quantum theory, unlike general relativity, is not a “theory of everything”. Its mathematical formalism can be given a consistent physical interpretation only by arbitrarily dividing the physical world into two parts: the system under study, represented by vectors and operators in a Hilbert space, and the observer (and the rest of the world), for which a classical description is used”. The reference to the famous paper by Niels Bohr [
68] is given in the Introduction of Reference [
21].
In all the calculations and considerations of
Section 3 of the present paper, the treatment of time as a classical variable and the comparison between the classical and quantum evolutions are used. At the same time, a different point of view becomes more and more popular among researchers working in quantum cosmology. It is related to the many-worlds interpretation of quantum mechanics [
51,
52] and to the idea that the quantum theory is the only fundamental theory. The classical behavior emerges only in some limits and contexts (see, e.g., Reference [
69] for a recent review). If we accept the fundamental character of the quantum theory, we should expect the appearance of some quantum properties of time, considering that the time parameter in quantum gravity and cosmology is a combination of quantum operators. Here, this “quantumness” was in a way frozen, but this phenomenon can hardly have a universal character. Is it possible to see some flashes revealing the true quantum nature of time?
Let us note that ideas concerning this quantum nature of time were already discussed in some works. For example, in Reference [
70], a simple cosmological model, similar to that in the present paper but with the massive scalar field, was considered. Using the Born-Oppenheimer approach, the authors factorized the solution of the Wheeler-DeWitt equation into two parts: one depending only on the geometrical variables (scale factor), and the other depending also on the matter variables and the perturbations of the homogeneous background. The purely geometrical part of the wave function is responsible for the emergence of time, while the other part describes the quantum evolution of the matter degrees of freedom with respect to this time parameter. It was discovered that, to make this definition of time reasonable, it is necessary to use some kind of course-graining procedure. Without this procedure the time variable behaves in a strange, oscillatory way.
The idea of Reference [
70] was further developed in Reference [
71], where the attempt to construct a “non-semiclassical” wave function of the universe was undertaken, and the possible observable effects, such as the influence of this non-classicality on the spectrum of the cosmic microwave background, were predicted.
Some interesting features of time and causality in quantum gravity were studied in References [
72,
73,
74]. As is known, when introducing the higher-derivative terms in the gravitational action to make it renormalizable, one encounters the problem of unitarity. To resolve this problem, the author of References [
72,
73,
74] introduduces particles which he calls “fakeons”. The propagators of these particles are not of Feynman type, and the standard notion of causality is not valid for them. Thus, one can say they live in a “different time”. This is even more evident in References [
75,
76]. To study the structure of the propagator of the graviton, the authors introduce the notion of the so-called “Merlin modes”, which live in a time that runs backwards. These states are highly unstable, their appearance does not break the causality on the observable distances.
In our opinion, the question of genuine quantum nature of time and its relation to the classical evolution is one of the most interesting and challenging problems of quantum cosmology.