Justifying the Born–Oppenheimer/WKB construction of emergent semiclassical time in quantum geometrodynamics and delimiting the validity of its emergent time-dependent Schrödinger equation

In the semiclassical approach to the problem of time in canonical quantum gravity, a Born–Oppenheimer (BO) factorization of the Wheeler–DeWitt state combined with a WKB (Wentzel–Kramers–Brillouin) form for the heavy gravitational sector produces, through a retained cross-term, an approximate time parameter with respect to which light matter degrees of freedom obey an approximate time-dependent Schrödinger equation (TDSE). E. Anderson's geometrodynamics analysis (Class. Quantum Grav. 24 (2007) 2979) showed that this construction rests on a hierarchy of interlocked smallness assumptions, generates non-Schrödinger corrections (notably second time derivatives), and left two core questions open: (i) under what physical conditions — initial states, boundary conditions, measures on superspace, or decoherence mechanisms — does the heavy-sector WKB ansatz hold so that the chroniferous cross-term defining semiclassical time is present and dominant; and (ii) in which regimes of realistic (anisotropic, inhomogeneous) cosmological models are the resulting non-TDSE corrections negligible. In the 2007–2026 literature (Anderson's own follow-ups; the Kiefer, Kamenshchik–Venturi, Maniccia–Montani, Shestakova-group, and Chataignier lines; the current philosophy-of-foundations debate) both legs remain open: the unitarity and gauge-consistency of the expansion have been settled in special settings, and an a-posteriori model-specific justification exists for one Bianchi-I toy model (a homogeneous but anisotropic cosmology), but no derivation of the WKB form from conditions on the Wheeler–DeWitt state, and no quantitative validity-domain delimitation for realistic cosmologies, exists.

Background

In canonical general relativity, the quantum state of geometry is annihilated by an operator version of the Hamiltonian constraint, the Wheeler–DeWitt equation (WDW) — a second-order functional differential equation on the space of three-geometries (superspace) that contains no external time variable. This is the core of the 'problem of time' in quantum gravity. The most developed proposed resolution is the semiclassical emergent-time approach: one splits the degrees of freedom into heavy, slow ones (the gravitational background, with characteristic scale of order the Planck mass $M_{\rm Pl}$) and light, fast ones (matter), factorizes the state as a BO product, and gives the heavy factor a WKB form $\psi\sim\exp(iW/\hbar)$, where $W$ approximately obeys the gravitational Hamilton–Jacobi equation (the classical eikonal equation for the background). Projecting the WDW equation onto the light state then yields, through a retained cross-term proportional to $-2i\hbar\,(\partial W)\cdot\langle\chi|\partial|\chi\rangle$, an operator $i\hbar\partial/\partial T$ — the 'chroniferous' cross-term that converts the timeless constraint into an approximate time-dependent Schrödinger equation (TDSE) for matter. This is the standard route by which quantum field theory on a classical curved spacetime is argued to emerge from quantum gravity; Kiefer and Singh (Phys. Rev. D 44 (1991) 1067) used it to compute the first quantum-gravitational corrections to the functional Schrödinger equation, and most calculations of quantum-gravity corrections to primordial perturbation spectra build on it.

Edward Anderson (Class. Quantum Grav. 24 (2007) 2935 and 2979; the second paper is the source paper) re-derived this scheme in full geometrodynamics with an explicit inventory of every smallness assumption. His findings sharpen the scheme rather than validate it. First, if the manipulation that produces the $i\hbar\partial/\partial T$ term is applied to the unapproximated constraint, further time-derivative terms — second time derivatives prominent among them — emerge, so the resulting light-sector equation is not in general a TDSE; Anderson proposed an iterative back-reaction scheme (heavy equation provides a time standard for the light sector, whose expectation values correct the heavy equation and hence the time standard, and so on) and left its explicit implementation open; the convergence question was posed in his later follow-up work. Second, for a closed isotropic minisuperspace model (a homogeneous universe with positive cosmological constant and one minimally coupled scalar field), the ratio of the non-TDSE time-derivative terms to the TDSE time-derivative term is of order $l_{\rm Pl}^2\,l_\Lambda/l_{\rm em}^3$ — where $l_{\rm Pl}$ is the Planck length, $l_\Lambda$ the curvature scale set by the cosmological constant, and $l_{\rm em}$ the characteristic length scale of the light subsystem — which becomes significant already at $l_{\rm em}\lesssim 10^{-15}$ m, far above the Planck scale; whether this estimate is representative of more realistic models was left open. Third, unlike in mechanical toy models, the differential momentum constraint of general relativity resists the Berry-phase geometric reformulation (a recasting of the light sector’s corrections as the geometric phase the light state accumulates as the heavy coordinates vary) and generates additional correction terms. Fourth, Anderson compared the emergent WKB time with York time (the hidden time given by the trace of the extrinsic curvature of spatial slices) and found them aligned only in certain sectors.

The decisive gap is the justification of the ansatz itself. In molecular physics the BO and WKB approximations are justified by the environment-provided classical background and external time; in quantum cosmology the system is the whole universe, with no external classical surroundings and no external time, so the usual justification is unavailable. Moreover, there is direct evidence that the WKB regime is non-generic: Kamenshchik, Tronconi and Venturi exhibited explicit homogeneous Wheeler–DeWitt solutions not suitable for the traditional BO treatment, and the canonical-measure study of Gibbons and Turok shows that generic classical universes (on the natural Liouville-type measure, the invariant measure on the classical solution space) are not of the smooth, long-inflation type the WKB ansatz presupposes. The source paper states that the justification of the WKB ansatz 'remains a thorn in the whole of the above framework', that it cannot be derived within the framework itself and can only be assessed case by case together with many other smallness assumptions, and that whether cosmologically relevant epochs of the universe lie in the regime where the TDSE approximation holds is 'mostly left as an open question', albeit one for which the paper's hierarchy of $\varepsilon$-parameters (its bookkeeping of the relative sizes of all correction terms) may guide an answer.

Later work has clarified what would and would not settle the question. Unitarity and consistency of the BO expansion — historically contentious — have been resolved in restricted settings: Kiefer and Wichmann extended the expansion to arbitrary orders in the inverse Planck mass squared and showed unitarity is restored once matter back-reaction is included; Chataignier recast the scheme as reparametrization-gauge fixing, constructed a positive inner product, and showed the resulting theory is unitary at next-to-leading order in minisuperspace models, with the measure given by the corresponding Faddeev–Popov determinant. These results assume the BO/WKB expansion and address its internal consistency, not its applicability. The Montani group's reference-fluid program (a Kuchař–Torre Gaussian reference fluid: a matter system, introduced by Kuchař and Torre, whose scalar fields serve as physical clocks and rods) and the Shestakova group's extended-phase-space program each recover a corrected Schrödinger equation but with correction terms that differ between approaches and depend on what the authors themselves call rather arbitrary additional assumptions. A parallel philosophy-of-foundations debate (Chua and Callender versus Huggett, Ladyman and Thébault) is actively disputing whether the approximations can be justified at all without smuggling in the very time they are meant to derive. A rigorous BO construction in the loop-quantum-gravity framework via space-adiabatic perturbation theory (the rigorous mathematical framework for adiabatic slow–fast quantum systems) exists (Stottmeister and Thiemann) but has not been carried through for Wheeler–DeWitt geometrodynamics with realistic cosmological content.

Problem Statement

The problem is to delimit the validity of the emergent-semiclassical-time construction in quantum geometrodynamics — the single objective of determining, with stated assumptions, when the construction is justified and when its output is accurate — comprising two inseparable legs that the source paper (Anderson, Class. Quantum Grav. 24 (2007) 2979) explicitly leaves open.

(1) Justification of the ansatz. Determine the physical conditions — in terms of initial states, boundary conditions, measures on minisuperspace or superspace, or dynamical mechanisms such as decoherence — under which the Wheeler–DeWitt state of the universe admits the Born–Oppenheimer factorization together with a WKB form for the heavy (gravitational) sector, such that the chroniferous cross-term is present and dominant and the light sector obeys an approximate time-dependent Schrödinger equation with respect to the emergent time. Illustrative contributions to this leg, none of which resolves it on its own, are: whether cosmologically relevant states and epochs lie in this regime; and whether there exist classes of solutions for which the construction fails (thereby bounding the ansatz's domain). The justification must not presuppose an external time parameter or external classical environment.

(2) Quantitative validity domain of the emergent TDSE. For realistic cosmological models — anisotropic minisuperspaces and homogeneous backgrounds with inhomogeneous perturbations, i.e. settings beyond a single homogeneous scale factor with one matter variable — compute the hierarchy of correction parameters (the $\varepsilon$-parameters of the source framework: second time-derivative terms, WKB second spatial derivatives, back-reaction terms, momentum-constraint-induced corrections, operator-ordering and inner-product effects) and determine the spacetime, length, and time regimes in which each is negligible or significant. Illustrative contributions to this leg, none of which resolves it on its own, are: whether the source's minisuperspace estimate, a ratio of non-TDSE to TDSE time-derivative terms of order $l_{\rm Pl}^2\,l_\Lambda/l_{\rm em}^3$ (significant already at $l_{\rm em}\lesssim 10^{-15}$ m for a Hubble-scale cosmological constant), is representative in more general settings; whether the proposed iterative back-reaction scheme can be made computationally explicit and whether it converges; and whether the regimes where the TDSE approximation fails, or where competing emergent-time notions (e.g. WKB versus York time) disagree, leave observable signatures such as deviations in primordial perturbation spectra.

The common objective uniting these legs is a principled delimitation of the semiclassical emergent-time framework of quantum geometrodynamics: the domain of states for which the construction is justified, and the domain of regimes within which its time-dependent Schrödinger output is quantitatively trustworthy. A resolution requires both legs; a result that addresses only one leg, or only some of the illustrative sub-questions above — for instance only the representativeness of the source's minisuperspace estimate, or only the exhibition of failure classes — is a partial contribution, not a resolution.

References

1. E. Anderson, 'Emergent semiclassical time in quantum gravity: II. Full geometrodynamics and minisuperspace examples', Class. Quantum Grav. 24 (2007) 2979–3004, DOI 10.1088/0264-9381/24/11/012, arXiv:gr-qc/0611008, https://arxiv.org/abs/gr-qc/0611008 (source paper)
2. E. Anderson, 'Emergent semiclassical time in quantum gravity: I. Mechanical models', Class. Quantum Grav. 24 (2007) 2935–2977, DOI 10.1088/0264-9381/24/11/011, arXiv:gr-qc/0611007, https://arxiv.org/abs/gr-qc/0611007
3. C. Kiefer and T. P. Singh, 'Quantum gravitational corrections to the functional Schrödinger equation', Phys. Rev. D 44 (1991) 1067–1076, DOI 10.1103/PhysRevD.44.1067, https://doi.org/10.1103/PhysRevD.44.1067
4. G. W. Gibbons and N. Turok, 'The Measure Problem in Cosmology', Phys. Rev. D 77 (2008) 063516, DOI 10.1103/PhysRevD.77.063516, arXiv:hep-th/0609095, https://arxiv.org/abs/hep-th/0609095
5. E. Anderson, 'On the semiclassical approach to quantum cosmology: relational particle model', Class. Quantum Grav. 28 (2011) 185008, DOI 10.1088/0264-9381/28/18/185008, arXiv:1101.4916, https://arxiv.org/abs/1101.4916
6. E. Anderson, 'Machian classical and semiclassical emergent time', Class. Quantum Grav. 31 (2014) 025006, DOI 10.1088/0264-9381/31/2/025006, arXiv:1305.4685, https://arxiv.org/abs/1305.4685
7. E. Anderson, 'Problem of Time in Slightly Inhomogeneous Cosmology', Class. Quantum Grav. 33 (2016) 145004, DOI 10.1088/0264-9381/33/14/145004, arXiv:1403.7583, https://arxiv.org/abs/1403.7583
8. E. Anderson, 'A Local Resolution of the Problem of Time. IV. Quantum outline and piecemeal Conclusion', arXiv:1905.06294 (2019), https://arxiv.org/abs/1905.06294
9. A. Stottmeister and T. Thiemann, 'Coherent states, quantum gravity, and the Born–Oppenheimer approximation. I. General considerations', J. Math. Phys. 57 (2016) 063509, DOI 10.1063/1.4954228, arXiv:1504.02169, https://arxiv.org/abs/1504.02169
10. C. Kiefer and D. Wichmann, 'Semiclassical approximation of the Wheeler–DeWitt equation: arbitrary orders and the question of unitarity', Gen. Relativ. Gravit. 50 (2018) 66, DOI 10.1007/s10714-018-2390-4, arXiv:1802.01422, https://arxiv.org/abs/1802.01422
11. A. Yu. Kamenshchik, A. Tronconi, T. Vardanyan and G. Venturi, 'Time in quantum theory, the Wheeler–DeWitt equation and the Born–Oppenheimer approximation', Int. J. Mod. Phys. D 28 (2019) 1950073, DOI 10.1142/S0218271819500731, arXiv:1809.08083, https://arxiv.org/abs/1809.08083
12. A. Yu. Kamenshchik, A. Tronconi and G. Venturi, 'The Born–Oppenheimer approach to quantum cosmology', Class. Quantum Grav. 38 (2021) 155011, DOI 10.1088/1361-6382/ac0a88, arXiv:2010.15628, https://arxiv.org/abs/2010.15628
13. A. Y. Kamenshchik, A. Tronconi and G. Venturi, 'Born–Oppenheimer meets Wigner–Weyl in quantum gravity', Class. Quantum Grav. 38 (2021) 185006, DOI 10.1088/1361-6382/ac1b0a, https://arxiv.org/abs/2104.07480
14. L. Chataignier, 'Gauge Fixing and the Semiclassical Interpretation of Quantum Cosmology', Z. Naturforsch. A 74 (2019) 1069–1098, DOI 10.1515/zna-2019-0223, arXiv:1901.07104, https://arxiv.org/abs/1901.07104
15. L. Chataignier and M. Krämer, 'Unitarity of quantum-gravitational corrections to primordial fluctuations in the Born–Oppenheimer approach', Phys. Rev. D 103 (2021) 066005, DOI 10.1103/PhysRevD.103.066005, arXiv:2011.06426, https://arxiv.org/abs/2011.06426
16. L. Chataignier, 'Beyond semiclassical time', Z. Naturforsch. A 77 (2022) 805–812, DOI 10.1515/zna-2022-0106, arXiv:2205.09147, https://arxiv.org/abs/2205.09147
17. G. Maniccia and G. Montani, 'Quantum gravity corrections to the matter dynamics in the presence of a reference fluid', Phys. Rev. D 105 (2022) 086014, DOI 10.1103/PhysRevD.105.086014, arXiv:2112.13216, https://arxiv.org/abs/2112.13216
18. G. Maniccia, G. Montani and S. Antonini, 'QFT in Curved Spacetime from Quantum Gravity: proper WKB decomposition of the gravitational component', Phys. Rev. D 107 (2023) L061901, DOI 10.1103/PhysRevD.107.L061901, arXiv:2302.10832, https://arxiv.org/abs/2302.10832
19. G. Maniccia, G. Montani and M. Tosoni, 'Analyzing the influence of graviton fluctuations on the inflationary spectrum with a Kuchař-Torre clock', Phys. Rev. D 110 (2024) 086012, DOI 10.1103/PhysRevD.110.086012, arXiv:2406.11756, https://arxiv.org/abs/2406.11756
20. R. I. Ayala Oña, D. P. Kislyakova and T. P. Shestakova, 'On the appearance of time in the classical limit of quantum gravity', Universe 9 (2023) 85, DOI 10.3390/universe9020085, arXiv:2302.12551, https://arxiv.org/abs/2302.12551
21. R. I. Ayala Oña, M. B. Kalmykov, D. P. Kislyakova and T. P. Shestakova, 'The semiclassical limit of quantum gravity and the problem of time', Int. J. Mod. Phys. D 33 (2024) 2340003, DOI 10.1142/S0218271823400035, arXiv:2307.12102, https://arxiv.org/abs/2307.12102
22. E. Y. S. Chua and C. Callender, 'No Time for Time from No-Time', arXiv:2303.14854 (2023), https://arxiv.org/abs/2303.14854
23. N. Huggett, J. Ladyman and K. P. Y. Thébault, 'On the Quantum Theory of Molecules: Rigour, Idealization, and Uncertainty', Philosophy of Science (2026) 1–25, DOI 10.1017/psa.2026.10213, arXiv:2411.01942, https://arxiv.org/abs/2411.01942
24. E. Y. S. Chua, 'Physical Coherence and Time's Emergence', Synthese 207 (2026), DOI 10.1007/s11229-026-05662-2, arXiv:2605.24970, https://arxiv.org/abs/2605.24970