1. Introduction
The idea of universe expansion, originated at the Big Bang, is widely accepted today, being well founded on clear observational evidence. Arising as a result of solving the equations of Einstein’s general theory of relativity (GR), it is the highest achievement of classical (i.e., pre-quantum) physics. At the same time, the basic principles of quantum theory were formulated as applied to atoms and molecules, and their spread to the level of the universe as a whole was inevitable. Dirac laid the foundation for the synthesis of relativistic and quantum principles with his exhaustive analysis of the canonical representation of dynamical theories with singular Lagrangian functions and their quantization [
1]. When applied to general relativity, this leads to the modern quantum theory of gravity (QTG) with the Wheeler–DeWitt (WDW) system of equations [
2,
3] for the wave function of the universe. This theory is based on the canonical representation of the action of general relativity, obtained by Arnovitt, Deser and Misner (ADM; see [
4]):
(for the case of a closed universe), where the three-dimensional integral is taken over the
spatial section
with the metric tensor
,
is the momentum canonically conjugate to the metric,
are arbitrary lapse and shift functions that play the role of Lagrange multipliers, and
are Hamiltonian and momentum constraints. In this paper, we use the notations from [
4]. In this work, we do not take into account the contribution of the matter fields. Taking it into account does not change the main results of the work. The ADM representation is obtained using the
-splitting of the
metric as follows:
The shift functions are found by dropping the vector index of the components
of the metric
. Thus, the Hamilton function in the case of a closed universe is reduced to a linear combination of constraints, Equations (
2) and (
3), which in the classical theory should be equated to zero as a consequence of the extremum of action (Equation (
1)) with respect to
N and
. Dirac’s main conclusion is that constraints (their quantum analogs) should also vanish in quantum theory. More precisely, we arrive at the system of WDW wave equations
for the wave function of the universe
, which ensure its independence from arbitrary parameters
N and
, including any external coordinate parameter of time. The constraint operators are obtained by substituting the canonical momenta in Equations (
2) and (
3) to the corresponding differentiation operators as follows:
We do not discuss here the problem of ordering non-commuting factors.
Since the wave function of the universe does not depend on any external time parameter, the problem arises of its dynamic interpretation in terms of the fundamental dynamic variables
(and matter fields). This problem was solved by Hartle and Hawking, using the representation of the wave function in the form of a Euclidean functional integral [
5] (no-boundary wave function). This integral includes integration over the lapse function
N, and in fact, over the parameter of the proper time of the universe, defined as the following integral:
Thus, the wave function is also independent of the proper time Equation (
7). Hartle, Hawking, and Hertog [
6,
7] obtained a classical picture of an expanding universe with a scalar field within the framework of the semiclassical approximation for a functional integral, in which the proper time (Equation (
7)) takes on the meaning of an evolution parameter. In subsequent works [
8], the authors abandon the representation of the wave function by a functional integral, formulating the semiclassical approximation directly for the WDW equation. In [
9], a modification of the quantization procedure and functional integral is proposed, in which the (multi-arrow) proper time, without any approximations, acquires the meaning of an evolution parameter. Together with its proper time, a set of additional parameters is introduced into the theory, which forms the distribution of the own mass of the universe. However, these constructions cannot get around the source of the time problem in modern QTG: in correspondence with the physical state of the universe, its Hamiltonian is zero. Thus, the implementation of the principle of general covariance in QTG, proposed by Dirac, leads to the emergence of the problem of time.
In this paper, a version of QTG is proposed, in which the action functional Equation (
1) becomes an operator in the space of wave functionals defined on the
spacetime geometries
(and matter fields). Thus, arbitrary lapse and shift functions
N and
are also included in this dependence, which ensures the general covariance of the theory—the wave functional corresponding to the physical histories of the evolution of the universe should be an invariant of arbitrary transformations of spacetime coordinates. The quantum principle of least action (QPLA) is formulated, according to which the quantum state of the evolution of the universe is determined by the eigenwave functionals of the action operator, which also depend on the boundary data on the initial and final
spatial sections
. The eigenwave functional has the meaning of the probability density for different trajectories of the evolution of the universe in terms of the internal (coordinate time) between fixed boundary spatial sections. Comparing the new formulation with the standard QTG based on WDW, we note that in the classical general relativity, constraints are integrals of motion. In the same way, we regard canonical quantum gravity based on the WDW equations as a kind of integral form of quantum theory based on the quantum principle of least action.
In
Section 2, QPLA is obtained in nonrelativistic quantum mechanics as a formulation of quantum dynamics, equivalent to the Schrõdinger equation. A formulation of the QPLA in the theory of gravity is proposed. In
Section 3, an invariant measure on the space of
geometries is introduced, and the probabilistic interpretation of the wave functional is proposed. In
Section 4, based on the probabilistic interpretation of the wave functional, the mean proper time of evolution of the universe between fixed boundary spatial sections is determined. By definition, this time is an invariant of general covariant transformations.
2. Quantum Principle of Least Action in Nonrelativistic Mechanics
To formulate new rules for quantizing the theory of gravity, let us consider the transition to QPLA in ordinary quantum mechanics, where there is no problem of time. It suffices to consider the simplest system with one degree of freedom (particle) described by the Hamiltonian (we assume
) as follows:
In ordinary quantization, canonical variables are replaced by operators (in coordinate representation) as follows:
which act in the space of wave functions
. The wave function completely defines the state of the particle at time
t. The evolution of a state in time is described by the Schrödinger equation as follows:
where
is the Hamilton operator.
To change the quantization rules, let us look at the classical canonical form of this theory from a different angle: we consider the trajectory of the particle
as a whole, together with the corresponding function
, as a complete set of canonical variables, enumerated by a continuous parameter
t [
10]. Both of these functions are still found for given boundary values from the condition for the extremum of the action in the canonical form as follows:
Let us formulate new quantization rules directly for action (Equation (
12)) as a functional of the mentioned continuous set of canonical variables. Now, one should expect that the state of the system, instead of the wave function
given at each time instant, is described by the wave functional
, which depends on the entire trajectory. Accordingly, we implement the generalized canonical variables by the following operators:
acting in the space of wave functionals. Here,
is the “generalized” Planck constant, which differs from the “usual” dimension:
= J
This follows from the fact that the variational derivative, according to its definition,
has a dimension that differs from the dimension of the ordinary partial derivative with respect to the coordinate by exactly the factor sec
[
11]. We write the following:
where
is some value of the dimension of time. The new implementation of generalized canonical variables allows, after substituting them in Equation (
12), to define the action operator on the space of wave functionals as follows:
Using this operator, we formulate the basic law of motion of a particle in quantum mechanics instead of Schrödinger’s equation (Equation (
10)) as follows. The physical state of motion of a particle is described by an eigenfunctional for the action operator (Equation (
16)) as follows:
where
is the corresponding eigenvalue. This quantity, by definition, does not depend on the specific trajectory
, except for its boundary points
) and
. This statement is called the quantum principle of least action.
Let us show that a consequence of the QPLA for the simplest theory considered here is the Schrödinger equation (Equation (
10)). The correspondence is established for some singular family of wave functionals in the limit
. We define this family as follows. Any trajectory
can be approximated by a broken line. For this, we divide the time interval
into small intervals of length
by points
. Take a broken line with vertices
, which is an approximation of the trajectory
and coincides with it in the limit
. Let
be some wave function. Consider the function of the vertices of the polyline as follows:
In the limit
, we obtain the trajectory functional
. We write the wave function in an exponential form as follows:
where
is some complex function. Then Equation (
18) can be represented as follows:
In the limit
, we obtain the wave functional of the exponential form as follows:
in which, however, the infinitely small quantity
is explicitly present. This is the singularity of the considered class of wave functionals. Nevertheless, the operator of action Equation (
16) on this class of functionals is defined insofar as it also contains this infinitesimal quantity and their mutual cancellation will occur.
Consider the expression
on an arbitrary trajectory
with given boundary points and find a condition under which it does not depend on the interior points of this trajectory. The first term in the action operator Equation (
16) gives the following contribution to Equation (
22):
The second term in Equation (
16) requires more attention. Its calculation rests on the following expression:
Here the second term is determined if we take into account the following:
as
(more precisely, on an interval of length
of our partition of the time interval
). Then, taking into account Equation (
15), the second term is equal to the following:
Putting everything together (including the contribution of the third term in Equation (
16), we obtain the following:
It is easy to verify that if the wave function (Equation (
19)) is a solution to the Schrödinger equation (Equation (
10)), the integral in Equation (
27) is equal to zero for any trajectory
, and
depends only on the boundary points of this trajectory. Thus, singular exponential wave functionals in the form of Equation (
21) satisfy the QPLA (Equation (
17)) if the wave function (Equation (
19)) is a solution to the Schrödinger equation (Equation (
10)).
The probabilistic interpretation of the wave functional
follows from the probabilistic interpretation of the wave function: it determines the probability of a particle moving along trajectories from a small neighborhood
(more precisely, it represents the probability of locating the particle in a succession of
measurements of the position near the assigned points
, with
) by the formula
under the following appropriate normalization condition:
3. Quantum Principle of Least Action in the Theory of Gravity
We can transfer all the previous constructions in full to the QTG, taking as the initial the canonical form of the ADM action (Equation (
1)). As a complete set of canonical variables, we now consider the trajectories of motion in time of the 3D geometry and the corresponding canonical momentum
as a whole. Thus, time, along with the spatial coordinates, now plays the role of a numbering index. The lapse and shift functions
N and
remain arbitrary functions of spacetime coordinates. Accordingly, we introduce another operator realization of canonical momenta in quantum theory in the form of partial variational derivatives with respect to time
in the space of wave functionals
. The partial variational derivative in Equation (
30) is defined as follows:
Spatial coordinates in this definition play the role of numbering indices. Operators of momenta of matter fields are realized in a similar way. For comparison, we recall that in the generally accepted implementation of QTG, the wave function of the universe
is actually the functional of the
metric
(and matter fields) on the spatial section
, and the variational derivative is determined by the following relation:
In such an implementation, modification (Equation (
15)) of the Planck constant is not required. Substituting the operators of momenta (Equation (
30)) into action (Equation (
1)), we obtain the operator of the action of the ADM in the modified QTG as follows:
where, as we agreed, the momentum operators (Equation (
30)) in all expressions are on the right. Now, let us formulate the quantum principle of least action in the theory of gravity as a spectral problem for the action operator:
Here, the eigenvalue is a (complex) function of geometries on two boundary spatial sections of Lorentz spacetime. The eigenvector—the wave functional —depends on all components of the spacetime metric between the boundary spatial sections, including arbitrary Lagrange multipliers N and . The desired wave functional , which describes the physical history of the evolution of the universe, must be an invariant of general covariant transformations, and this is ensured by its dependence on N and
4. Interpretation of the Wave Functional of the Universe and Time
As it should be in quantum theory, the wave functional describes the evolution of the universe in a probabilistic way. However, this description must be covariant. Since the wave functional itself is an invariant, one should also introduce an invariant measure of integration on the set of
spacetime geometries between the given boundary spatial sections
. Such a measure was constructed in the works of Faddeev and Popov [
12,
13], and here we use the ready result:
where additional gauge harmonicity conditions are used, and
is the corresponding Faddeev–Popov determinant. Thus, the probability that the universe evolved in a small neighborhood of a given
spacetime geometry
is given by the following expression:
with the following additional normalization condition:
Now we can answer the question: what physical (invariant) time separates the boundary spatial sections
? Here the parameter
T is an arbitrary coordinate time, which is fixed by us for convenience. As a physical measure of time between two spatial sections, it is natural to take geodesic time, measured by a clock moving along a time-like geodesic. More precisely, in a given
spacetime geometry
, we take a family of geodesics orthogonal to the initial spatial section
and calculate the average over this family (integral over
) of the geodesic distance between the boundary spatial sections
as follows:
Now this value should be averaged over all possible
spacetime geometries between the given boundary spatial sections
as follows:
Integral Equation (
39) gives the mathematical expectation for the proper time between two boundary states of the universe on the spatial sections
.
The construction proposed here also allows one to determine an analog of the no-boundary of the Hartle and Hawking wave function. To do this, one should go to the Euclidean form of the action of ADM, Equation (
1), and QPLA, Equation (
34). The transition to the Euclidean
metric in the representation of Equation (
4) is achieved by a simple replacement:
The canonical momentum of the
ADM metric, according to its definition (see [
4]), changes as follows:
. As a result, the canonical action of ADM is transformed into the Euclidean form:
. In the Euclidean form of QPLA, one can search for a solution in the form of a real wave functional defined on
Euclidean geometries with one boundary spatial section or no boundaries at all. The return to the Lorentzian signature of the
metric is carried out in the found solution by rotating in the
N complex plane (where possible), inverse to Equation (
40).
In conclusion, we note that the singular character of the QPLA in this formulation, which assumes the passage to the limit
in Equation (
15), admits regularization by adding to the Hilbert–Einstein action with the Lagrange function
the square of scalar curvature (the theory with the Lagrangian function
). In this theory, the Lagrange function contains second-order derivatives of the metric. Its canonical analysis and standard quantization are carried out in [
14] based on the approach developed by Ostrogradsky for theories with higher derivatives [
15]. The modified Lagrange function contains an additional dimensional parameter
, which serves as a measure of the theory’s nonlocality. Within the framework of the approach proposed in this paper to the formulation of the QPLA, the nonlocality of the dynamics does not prevent the possibility of determining the set of generalized canonical variables formed by their values at all times. In this case, the canonical momenta conjugate to the metric
should be defined as the variational derivatives of the action with respect to the velocities
. The resulting canonical action are nonlocal, and in the QPLA formulation, the modified Planck constant should be set equal to the following:
In the limit , we return to the original singular form of the QPLA.