Novel phenomena of the Hartle-Hawking wave function
Abstract
We find a novel phenomenon in the solution to the Wheeler-DeWitt equation by solving numerically the equation assuming -symmetry and imposing the Hartle-Hawking wave function as a boundary condition. In the slow-roll limit, as expected, the numerical solution gives the most dominant steepest-descent that describes the probability distribution for the initial condition of a universe. The probability is consistent with the Euclidean computations, and the overall shape of the wave function is compatible with analytical approximations, although there exist novel differences in the detailed probability computation. Our approach gives an alternative point of view of the no-boundary wave function from the wave function point of view. Possible interpretations and conceptual issues of this wave function are discussed.
I Introduction
Understanding the origin of our universe is an important but unresolved problem in modern theoretical physics. Due to the singularity theorem Hawking:1970zqf , the beginning of our universe must be a kind of singularity. This singularity can be directly resolved by quantizing the spacetime and fields. We do not know the fundamental theory of quantum gravity yet, but we can write and solve the wave equation of the quantized spacetime and matter fields using the canonical approach DeWitt:1967yk . The master equation of the quantum Hamiltonian constraint in this approach is called the Wheeler-DeWitt equation. The application of the canonical quantum gravity to the cosmological context is known as quantum cosmology.
It is well-known that one can write and solve the Wheeler-DeWitt equation, at least in minisuperspace Vilenkin:1987kf In the presence of a matter field , we may assume that the wave function of the universe is a function (functional) of the metric and . The physical interpretation of in this case is not clear, but we can get some ideas of possible interpretations from quantum mechanics.
-
–
1. Wave packet: If we consider a wave function as a superposition of eigenstates, we obtain the following wave function:
(1) where denotes the -th eigenstates and is the corresponding energy eigenvalue. In this wave packet, one can provide the meaning of the classicality: if a wave function is highly localized, the Ehrenfest theorem shows that the expectation value of an observable satisfies the classical equation of motion.
-
–
2. Eigenstate: If we only choose one specific eigenstate, e.g., the ground state, we will only focus on with a fixed energy eigenvalue. The probability to measure at is . In the scattering state, if the wave function is oscillatory, say , it indicates a classical propagation, while if the wave function is exponentially varied, say , it indicates a quantum regime. Here, the latter can be well approximated by the Wentzel-Kramers-Brillouin (WKB) approximation, and this can provide a tunneling or nucleation probability.
In this regard, we should rely on several alternative intuitions from quantum mechanics to understand the meaning of the wave function . There might be several hypotheses:
-
–
1. Wave packet interpretation: If one interprets the wave function as a superposition of various states, one can define a propagating wave packet Kiefer:1988tr . From this wave packet, one can read a classical trajectory that is consistent with the Ehrenfest theorem. If the wave function is flat along the steepest-descent while its dispersion is bounded, and hence, if the probability is not varied along the path, one can interpret that the trajectory is classical; indeed, it can satisfy the classical equation of motion Bouhmadi-Lopez:2019kkt . Therefore, one can reasonably recover an arrow of time. So, the wave function describes the classical dynamics of the universe (although it can include non-classical effects, e.g., quantum bounces, thanks to the wave nature of the wave function).
-
–
2. Eigenstate interpretation: If one interprets the wave function as a specific eigenstate, one will first interpret that the wave function has two limits, where the wave function shows exponential behaviors in the classically disallowed domain, while it shows oscillatory behaviors in the classically allowed domain Vilenkin:1987kf . Hence, at the classically disallowed domain, one will measure a specific and , where the absolute square of the wave function is the probability to measure and . Once one measures a specific and , the universe will evolve along the classical path; hence, the measured and become a set of initial conditions. If one selects this interpretation, we cannot see any subsequent classical dynamics from the wave function of the universe; this only provides a probability distribution.
Now one can ask which interpretation is true. This is partly up to our interests. If we consider a definite classical boundary condition for the beginning, the second interpretation (wave packet interpretation) is the case, and hence we do not compare with other alternative histories. However, if we consider a global probability distribution of the many-world, one may not be able to find a classical trajectory from the steepest-descent; rather, one can obtain a probability distribution as a function of initial conditions.
In this paper, we focus on the Hartle-Hawking wave function Hartle:1983ai (see also Halliwell:1989dy ; the recent updates are in Lehners:2023yrj ; Alexander:2020ymj ), which is supposed to be the ground state wave function of the universe. Therefore, it is more natural to interpret the second interpretation. One can distinguish the classical domain as well as the quantum domain by looking at the oscillatory behavior of the wave function. In addition, we will go one step further by solving the Wheeler-DeWitt equation numerically. Our approach is new in the sense that we study the matter field direction and the metric field direction at the same time using the numerical method, while the previous literature is restricted to only one direction (either the metric direction Vilenkin:1987kf or the field direction Hartle:2008ng only) after approximations. Thanks to this numerical approach, one could go beyond the WKB approximation, and one could find a new kind of phenomenon that does not show up in simplified analytic approaches.
This paper is organized as follows. In Sec. II, we describe how we can realize the Hartle-Hawking wave function for the numerical method. In Sec. III, we first confirm that, in the slow-roll limit, our numerical results are consistent with previously obtained results, e.g., instanton approaches; secondly, we show that our results show some novel phenomena. Finally, in Sec. IV, we conclude with proposals of possible future research topics.
II Preliminaries
In this section, we briefly review the Wheeler-DeWitt equation Kiefer:2007ria with a minimal content of matter in the universe, and a specific choice of the boundary condition, the Hartle-Hawking wave function Hartle:1983ai . The metric signature was taken to be , and Planck units are used throughout the paper.
II.1 Wheeler-DeWitt equation
We consider a model of Einstein gravity with a scalar field as the matter content of the universe, defined by the following action:
(2) |
where is the Ricci scalar, is a scalar field, and is the potential of the scalar field. Also, we assume the following metric ansatz:
(3) |
where is the lapse function, is the scale factor, and is the three-sphere. In this minisuperspace model, the action with a homogeneous is reduced as follows:
(4) |
From this action with a Lagrangian defined by , the Hamiltonian of the model is found through the Legendre transformation:
(5) |
where and are canonical momenta defined as
(6) | |||||
(7) |
It leads to
(8) |
The quantum Hamiltonian constraint equation, or the Wheeler-DeWitt equation, is obtained by substituting canonical momentum to operators:
(9) | |||||
(10) |
We use the following form of the Wheeler-DeWitt equation Kiefer:2007ria :
(11) |
where is an arbitrary constant coming from the ambiguity of the operator ordering. By choosing the Laplace-Beltrami operator, we can set Kiefer:2007ria . The Wheeler-DeWitt equation is then simplified as
(12) |
where . This is the equation that we will solve in this paper.
II.2 Hartle-Hawking wave function
Physically meaningful solutions of the Wheeler-DeWitt equation need a boundary condition, e.g., , , and with , , and being a specific set of parameters associated with a given model. One of the famous choices is the Hartle-Hawking wave function Hartle:1983ai . In the formal sense, it is described by the Euclidean path integral:
(13) |
where we sum over all regular and compact Euclidean geometries that have the boundary values and . This is a solution of the Wheeler-DeWitt equation, at least, in the formal sense.
There are technically two ways to evaluate this wave function. The first approach is to compute the path integral in an approximate way using instantons Hartle:2008ng . Instantons must be regular and compact, and hence this removes the initial boundary; this is the reason why this wave function is called by the no-boundary wave function. However, this does not indicate that there is no beginning of the universe; the universe has a beginning in terms of the Lorentzian time. Therefore, this can be distinguished from the stationary universe. The second approach is to solve the Wheeler-DeWitt equation and impose the boundary condition on the wave function Vilenkin:1987kf . Both approaches are consistent in the spirit of the WKB approximation; however, in the second approach, we lose the notion of the Euclidean no-boundary condition. Two approaches must be equivalent, but since we need to rely on approximations, these approaches will be technically complementary to each other.
In this work, we take the second approach and approximately solve the Wheeler-DeWitt equation with the extremely slow-roll condition, i.e., . For sub-horizon scales, i.e., with , the no-boundary wave function can be approximated by
(14) |
This approximation is sufficiently good if . Therefore, when we solve the Wheeler-DeWitt equation in a region deep inside the horizon, i.e., , we will impose the boundary condition, using the analytic form of Eq. (14). It will be a good implementation of the Hartle-Hawking wave function in numerical computations.
Interestingly, the Hartle-Hawking wave function, Eq. (14), indicates that the complete solution would have its maximum at the horizon, which corresponds to the Wick-rotation surface of de Sitter instantons. Also, it is worthwhile to mention that in the classical limit (, i.e., super-horizon regime), the wave function is well approximated by the following function:
(15) |
This will be a good guideline to compare with numerical computations for checking its consistency.
II.3 Model and boundary conditions
Technically, to obtain using the hyperbolic equation, we need, for example, the following boundary conditions: (1) , (2) , and (3) , where is a constant and are arbitrary boundary values of the field space. For (1), we impose the Hartle-Hawking wave function by imposing Eq. (14) in the limit. However, it can be a little bit subtle to provide the boundary condition for (2) and (3).

This problem can be avoided if we can impose the periodic boundary condition, i.e., . As an example, we consider a periodic potential model as follows (Fig. 1):
(16) |
where and are constants and is the periodicity of the field space. Apparently, this model has the local minimum at and .
III Novel phenomena of the Hartle-Hawking wave function
In this section, we report the numerical results of the solution to the Wheeler-DeWitt equation. We focus on the slow-roll limit and compare it with analytic results.
III.1 Wave function
A numerical demonstration is shown in Fig. 2 where we chose a parameter set , , and which is within the slow-roll limit. The boundary condition Eq. (14) was set at which satisfies . The typical behavior of the numerical solution along the axis is that, as analytically expected, there is the first dominant peak near which corresponds to the horizon for the given set of parameters. For corresponding to super-horizon scales, there appears small oscillations as we expect from the analytic function Eq. (15). Comparing to those analytic approximations of Eqs. (14) and (15) for sub- and super-horizon scales, respectively (Fig. 3), we see that our numerical result consistently describes the nature of analytic solutions of the wave function except the divergent artifact of analytic approximations at the transition region .


III.2 Probabilities
A proper interpretation of our numerical solution requires more details of the most dominant peak, e.g., the first steepest-descent. Especially, we are interested in the probability. Fig. 4 shows the detailed analysis along the first steepest-descent for , , and case. In the left panel of the figure, was depicted as a function of along the first dominant peak. As a check, in the right panel, one can see that the same points are lying on the first dominant peak.


It is worthwhile to compare with the analytic expectation with is a constant. In order to check this, we define the measured quantity
(17) |
If the analytic formula is a good approximation, from the numerical solution would be close to one, otherwise deviates. The ambiguity of the overall normalization, i.e., -dependence can be removed by setting at a certain , e.g., the local minimum. Then the deviation at the local maximum of the potential will be a good measure for comparison to the analytic solution.

Followings are physically essential points of the probabilities.
-
– 1.
Analytic limit: Interestingly, as increases (equivalently, as the potential becomes flat more and more, satisfying the slow-roll condition), the measure approaches to one (Fig. 5). This shows that the analytic approximation is very good for ultra-slow-roll cases. Therefore, we confirm that this numerical approach is consistent with the analytic expectations.
-
– 2.
Beyond Hawking-Moss instantons: On the other hand, as the slow-roll parameter increases, the bias from the analytic expectation becomes clearer. It is interesting to observe that, as the potential becomes steeper and steeper, the hierarchy between the local minimum and the local maximum becomes smaller than the naive expectation
(18) which is known as the Hawking-Moss instantons Hawking:1981fz , where and denote the probability at the local maximum and the local minimum, respectively. This shows that the Hawking-Moss instanton is just an approximate description and the real tunneling (thermal excitation) process depends not only on the initial and final conditions but also on the entire field space (see also Weinberg:2006pc ).
About the latter point, i.e., a bias of from exact , one may understand by assuming that is -dependent. In this case,
(19) |
and hence, the Euclidean action can be modified due to the -dependence of . This might be a partial explanation for results beyond the Hawking-Moss instanton approximation.
IV Conclusion
In this paper, we investigated the Hartle-Hawking wave function by numerically solving the Wheeler-DeWitt equation. Historically, our paper is the first trial to see the total wave function without using the WKB approximation. In the slow-roll limit, the result has turned out to be consistent with the analytic approximations. There exists the first steepest-descent, and the probability distribution is consistent with the instanton computations, and, as the potential becomes flatter and flatter, falling into an ultra-slow-roll regime, the difference between analytic expectations and numerical results becomes smaller and smaller. However, it is fair to say that there is little difference from the analytic results. This is an interesting cross-check of the instanton approximation. However, this approach is worthwhile compared to the previous work, because we did not rely on approximation, e.g., the ultra slow-roll approximation with the WKB approximation Vilenkin:1987kf ; Hartle:1983ai nor the instanton approximation Hartle:2008ng ; rather, we solved the Wheeler-DeWitt equation directly using numerical methods.
For a clear definite interpretation over all regions of space, clarifications of some concepts are necessary but it is beyond the scope of this paper. One of the most important topics is the decoherence. In the classical domain, if a classical universe is created, there must be a connection with the decoherence. In other words, the decoherence condition must be clarified for the parameters in the classical regime.
It is worthwhile to compare with the classicality condition of the Euclidean path integral approach Hartle:2008ng ; Yeom:2021twr . In our computations, we could not find any evidence to exclude initial conditions that violate the classicality condition. However, as the potential shape approaches the non-slow-roll regime, a new phenomenon may appear in the large limit. We leave this topic for a future investigation.
As the shape of the potential changes, numerical results deviate from the analytic expectations. This is not surprising since analytic results as approximations are expected to have a validity limit, and instanton approximations are still relevant but their applicability is limited. In this sense, it will be very worthwhile to compute the probabilities and compare them with Euclidean computations not only with the local minimum but also with (steep) local maximum Hwang:2011mp .
Finally, it will also be worthwhile to solve the Wheeler-DeWitt equation for non-periodic models instead of the periodic potential we considered here. The periodic potential can be motivated from axions Hwang:2012bd , and applications for realistic inflationary cosmology will be an interesting future research topic Hwang:2013nja . Especially, applications for multi-field inflation models Hwang:2014vba might be an interesting future research direction. We will touch on these topics in future works.
Acknowledgments
DY is supported by the National Research Foundation of Korea (NRF) grant funded by the Korean government: 2021R1C1C1008622, 2021R1A4A5031460. SK is supported by the Korea Initiative for fostering University of Research and Innovation Program of the National Research Foundation of Korea (2020M3H1A1077095). WP is supported by the Research Base Construction Fund Support Program funded by Jeonbuk National University in 2022, the Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education Grant No. 2017R1D1A1B06035959, and the National Research Foundation of Korea (NRF) Grant No. 2022R1A4A503036211.
References
- (1) S. W. Hawking and R. Penrose, Proc. Roy. Soc. Lond. A 314 (1970), 529-548.
- (2) B. S. DeWitt, Phys. Rev. 160 (1967), 1113-1148.
-
(3)
A. Vilenkin,
Phys. Rev. D 37 (1988), 888;
A. Vilenkin, Phys. Rev. D 39 (1989), 1116;
A. Vilenkin, Phys. Rev. D 50 (1994), 2581-2594 [arXiv:gr-qc/9403010 [gr-qc]]. - (4) C. Kiefer, Phys. Rev. D 38 (1988), 1761-1772.
-
(5)
M. Bouhmadi-López, S. Brahma, C. Y. Chen, P. Chen and D. Yeom,
JCAP 11 (2020), 002
[arXiv:1911.02129 [gr-qc]];
S. Brahma, C. Y. Chen and D. Yeom, [arXiv:2108.05330 [gr-qc]]. -
(6)
J. B. Hartle and S. W. Hawking,
Phys. Rev. D 28 (1983), 2960-2975;
S. W. Hawking, Nucl. Phys. B 239 (1984), 257. - (7) J. L. Lehners, Phys. Rept. 1022 (2023), 1-82 [arXiv:2303.08802 [hep-th]].
- (8) S. Alexander, G. Herczeg and J. Magueijo, Class. Quant. Grav. 38 (2021) no.9, 095011 [arXiv:2012.08603 [gr-qc]].
- (9) C. Kiefer, “Quantum gravity,” Oxford University Press (2004).
- (10) J. B. Hartle, S. W. Hawking and T. Hertog, Phys. Rev. D 77 (2008), 123537 [arXiv:0803.1663 [hep-th]]; J. B. Hartle, S. W. Hawking and T. Hertog, Phys. Rev. Lett. 100 (2008), 201301 [arXiv:0711.4630 [hep-th]].
- (11) J. J. Halliwell and J. B. Hartle, Phys. Rev. D 41 (1990), 1815.
- (12) S. W. Hawking and I. G. Moss, Phys. Lett. B 110 (1982), 35-38.
- (13) E. J. Weinberg, Phys. Rev. Lett. 98 (2007), 251303 [arXiv:hep-th/0612146 [hep-th]].
- (14) D. Yeom, Universe 7 (2021) no.10, 367 [arXiv:2106.10790 [gr-qc]].
-
(15)
D. Hwang, H. Sahlmann and D. Yeom,
Class. Quant. Grav. 29 (2012), 095005
[arXiv:1107.4653 [gr-qc]];
D. Hwang, B. H. Lee, H. Sahlmann and D. Yeom, Class. Quant. Grav. 29 (2012), 175001 [arXiv:1203.0112 [gr-qc]]. - (16) D. Hwang, S. A. Kim, B. H. Lee, H. Sahlmann and D. Yeom, Class. Quant. Grav. 30 (2013), 165016 [arXiv:1207.0359 [gr-qc]].
- (17) D. Hwang and D. Yeom, JCAP 06 (2014), 007 [arXiv:1311.6872 [gr-qc]].
- (18) D. Hwang, S. A. Kim and D. Yeom, Class. Quant. Grav. 32 (2015) no.11, 115006 [arXiv:1404.2800 [gr-qc]].