Huggett and Thébault (2023; published 2025) verified the internal consistency of the Kiefer-Zeh minisuperspace derivation of temporal structure - chronordinal order, chronometric duration, and a chronodirected arrow - from the Wheeler-DeWitt equation without an external time, but identified five unresolved explanatory issues: (i) the Simple Boundary Condition (an asymptotic low-entanglement product state as the logarithmic scale factor α→−∞\alpha\to-\infty) and the α\alpha-asymmetry of the minisuperspace potential are postulated, not derived; (ii) the objectivity and autonomy of the coarse-graining that splits inhomogeneous modes into relevant and irrelevant subsets is undemonstrated; (iii) the monotonic reduced von Neumann entropy has not been connected to local temporally directed phenomena (e.g. thermal equilibration, irreversibility, memory and records, causal asymmetries); (iv) the typicality of semiclassical, time-bearing Wheeler-DeWitt solutions is unknown; and (v) the analysis is confined to idealized symmetry-reduced models, with non-integrability a potential obstruction to any semiclassical limit. In the 2024-2026 follow-up literature - the Kiefer-Chataignier-Tyagi quantum geometrodynamics program, Al-Khalili and Chen's entanglement past hypothesis, Chua's physical-coherence critique, Bamonti-Cinti-Sanchioni and Frauca - all five strands remain under active discussion and none is resolved. The problem is open.

Background

In canonical approaches to quantum gravity, the fundamental equation is the Wheeler-DeWitt equation: a Hamiltonian constraint on the wavefunction of geometry and matter that contains no external time parameter. This is the core of the 'problem of time'. Quantizing the full metric of general relativity in this canonical way is called quantum geometrodynamics, of which the minisuperspace models below are symmetry-reduced truncations. A standard laboratory for it is quantum cosmology: one quantizes a symmetry-reduced 'minisuperspace' model, typically a spatially homogeneous and isotropic (FLRW) universe whose only variables are the scale factor aa (usually traded for α=ln⁡a\alpha=\ln a) and a homogeneous scalar field ϕ\phi. The wavefunction Ψ(α,ϕ)\Psi(\alpha,\phi) then obeys an equation of Klein-Gordon form with vanishing separation constant, and any familiar temporal structure must emerge approximately rather than being read off the fundamental theory.

The most developed emergence program is due to Kiefer and Zeh. The heavy gravitational variables (of Planck mass) and light matter variables are treated as the two subsystems of a Born-Oppenheimer (BO) approximation - the method by which molecular Schrödinger equations separate fast electronic from slow nuclear motion - supplemented by a Wentzel-Kramers-Brillouin (WKB) approximation, a semiclassical expansion, for the heavy sector. Together these yield quasiclassical trajectories on which a WKB time functional is defined, giving approximate ordering between events (chronordinal structure) and quantitative durations (chronometric structure). Direction - chronodirected structure, the arrow of time - requires a further ingredient. Small inhomogeneous degrees of freedom {xi}\{x_i\} are included as an 'endogenous' environment, and the Wheeler-DeWitt equation acquires interaction potentials Vi(α,xi)V_i(\alpha,x_i) that vanish as α→−∞\alpha\to-\infty, making the equation asymmetric in intrinsic time. With the Simple Boundary Condition (Conradi and Zeh 1991) - the state becomes a product state with vanishing entanglement between the bulk variables and the inhomogeneities as α→−∞\alpha\to-\infty - the dynamics generates growing entanglement with increasing α\alpha; in a recollapsing universe the process runs symmetrically from both ends, giving 'two beginnings' (Kiefer and Zeh 1995). Tracing out 'irrelevant' modes yields a reduced density matrix ρ\rho whose von Neumann entropy S(α,{yi})=−kB tr(ρln⁡ρ)S(\alpha,\{y_i\})=-k_B\,\mathrm{tr}(\rho\ln\rho) increases with α\alpha, and this monotone is interpreted as demarcating earlier from later. The construction is the quantum-cosmological analogue of the statistical-mechanical past hypothesis (the postulate that the universe began in a very low-entropy state) and of Penrose's Weyl curvature hypothesis (vanishing initial Weyl curvature, whose quantum version is the low-entanglement condition; Kiefer 2022).

Huggett and Thébault (2023) subjected this Kiefer-Zeh derivation to a case-study analysis. They argued that the BO and WKB approximations can be justified without presupposing the temporal structure they derive (against the 'physical incoherence' critique of Chua and Callender 2021), and that the model escapes Price's 'temporal double standard' objection - the complaint that derivations of the arrow illicitly impose a special condition at one end of time - because of its two-ended symmetry. Their verdict: the model is self-consistent, and its residual concerns are explanatory rather than consistency-related. Those residual concerns define the open problem below. Three of its strands turn on assumptions that the paper itself names and isolates as load-bearing: the Simple Boundary Condition, the Relevant Coarse-Graining, and the Entropic-Arrow assumption.

Problem Statement

The problem is to turn the Kiefer-Zeh derivation of the arrow of time from a consistent model into an explanation, by discharging each of its load-bearing assumptions or proving it impossible to discharge. Within Wheeler-DeWitt quantum cosmology (or a specified conservative successor such as quantum geometrodynamics), the following must be established:

  1. (Physical origin) Derive, from dynamical, symmetry, or quantum-gravitational principles rather than postulate, the Simple Boundary Condition (the asymptotic low-entanglement product state as α→−∞\alpha\to-\infty) and the α\alpha-asymmetric form of the minisuperspace potential; or show that no such derivation is possible and the condition must be accepted as a brute fact-like initial condition or as law-like (a question on which Callender 2004 and Price 1996 take opposed stances for the classical past hypothesis).

  2. (Objective coarse-graining) Demonstrate that the division of inhomogeneous degrees of freedom into relevant and irrelevant subsets is objective and autonomous: the reduced description of the bulk variables plus relevant inhomogeneities must possess well-posed, approximately closed evolution equations in the cosmological regime of interest, in the sense of Robertson's autonomy criterion for coarse-graining; or exhibit an obstruction to any such autonomous reduced dynamics. This must go beyond the partial attempt of Kiefer (1987) in the Halliwell-Hawking setting, which achieved 'some but not complete success' as assessed by Huggett and Thébault.

  3. (Local arrows) Show how the monotonic increase of S(α,{yi})S(\alpha,\{y_i\}) gives rise to the family of local temporally directed phenomena - for example, thermal equilibration, irreversible processes, memory and record formation, retarded radiation and causal asymmetries - rather than remaining a formal monotone; connecting the monotone to at least one such phenomenon by a mechanism that generalizes to the family resolves this strand, and connecting further members strengthens the case; note that a theory with ordering but no fundamental direction (Farr's C-theory) can already support entropy gradients, so the monotone alone cannot supply direction. Alternatively, prove that no such connection is available within this framework.

  4. (Typicality) Provide a formal or physical justification for the expectation that semiclassical, time-bearing solutions of the Wheeler-DeWitt equation are physically relevant - for instance, by determining whether they are generic or measure-zero among its solutions under physically plausible measures and constraints; on a measure-based route, since the solution space has no canonical inner product or operator ordering (the ambiguity is documented in detail by Kaimakkamis et al 2024), the construction and justification of the measure is part of the task. A demonstration that such solutions exist settles only possibility, not necessity.

  5. (Robustness and obstructions) Extend the analysis to at least one less idealized setting - inclusion of backreaction, richer matter content, or an inhomogeneous and non-symmetry-reduced quantization (for instance a midisuperspace model, which retains some inhomogeneous degrees of freedom while imposing other symmetry restrictions) - and settle the potential obstructions, in particular whether non-integrability of the underlying constrained classical dynamics can preclude the semiclassical limit on which the entire derivation depends (Dittrich et al 2017).

These five demands are not independent projects: each names one of the assumptions or scope conditions of the same derivation, and together they fix whether the Kiefer-Zeh model explains the arrow of time or merely accommodates it. Progress may arrive strand by strand: for a given strand, a negative result (an obstruction or no-go) resolves that strand as decisively as a positive derivation, but the explanatory question is settled only when all five strands are resolved - by a positive derivation or by a no-go - or shown not to be needed (the assumption it targets is demonstrated to be dispensable for the derivation).

References

  1. Nick Huggett and Karim P. Y. Thébault, 'Finding Time for Wheeler-DeWitt Cosmology', arXiv:2310.11072 (2023), https://arxiv.org/abs/2310.11072
  2. Nick Huggett and Karim P. Y. Thébault, 'Finding Time for Wheeler-DeWitt Cosmology', chapter 13 in Cristian López and Olimpia Lombardi (eds.), The Arrow of Time, Cambridge University Press (2025), DOI 10.1017/9781009581608.014, https://doi.org/10.1017/9781009581608.014
  3. Claus Kiefer, 'Wave packets in minisuperspace', Physical Review D 38, 1761-1772 (1988), DOI 10.1103/PhysRevD.38.1761, https://doi.org/10.1103/PhysRevD.38.1761
  4. H. D. Conradi and H. D. Zeh, 'Quantum cosmology as an initial value problem', Physics Letters A 154, 321-326 (1991), DOI 10.1016/0375-9601(91)90026-5, https://doi.org/10.1016/0375-9601(91)90026-5
  5. C. Kiefer and H. D. Zeh, 'Arrow of time in a recollapsing quantum universe', Physical Review D 51, 4145-4153 (1995), DOI 10.1103/PhysRevD.51.4145, https://doi.org/10.1103/PhysRevD.51.4145
  6. Claus Kiefer, 'Continuous measurement of mini-superspace variables by higher multipoles', Classical and Quantum Gravity 4, 1369-1382 (1987), DOI 10.1088/0264-9381/4/5/031, https://doi.org/10.1088/0264-9381/4/5/031
  7. J. J. Halliwell and S. W. Hawking, 'Origin of structure in the Universe', Physical Review D 31, 1777-1791 (1985), DOI 10.1103/PhysRevD.31.1777, https://doi.org/10.1103/PhysRevD.31.1777
  8. Claus Kiefer, 'On a quantum Weyl curvature hypothesis', AVS Quantum Science 4, 015607 (2022), DOI 10.1116/5.0076811, https://doi.org/10.1116/5.0076811
  9. Bianca Dittrich, Philipp A. Höhn, Tim A. Koslowski, and Mike I. Nelson, 'Can chaos be observed in quantum gravity?', Physics Letters B 769, 554-560 (2017), DOI 10.1016/j.physletb.2017.02.038, https://doi.org/10.1016/j.physletb.2017.02.038
  10. Katie Robertson, 'Asymmetry, Abstraction, and Autonomy: Justifying Coarse-Graining in Statistical Mechanics', British Journal for the Philosophy of Science 71, 547-579 (2020), DOI 10.1093/bjps/axy020, https://doi.org/10.1093/bjps/axy020
  11. Matt Farr, 'C-theories of time: On the adirectionality of time', Philosophy Compass 15, e12714 (2020), DOI 10.1111/phc3.12714, https://doi.org/10.1111/phc3.12714
  12. Huw Price, Time's Arrow and Archimedes' Point: New Directions for the Physics of Time, Oxford University Press (1996), online edition DOI 10.1093/acprof:oso/9780195117981.001.0001, https://doi.org/10.1093/acprof:oso/9780195117981.001.0001
  13. Craig Callender, 'Measures, Explanations and the Past: Should Special Initial Conditions be Explained?', British Journal for the Philosophy of Science 55, 195-217 (2004), DOI 10.1093/bjps/55.2.195, https://doi.org/10.1093/bjps/55.2.195
  14. Eugene Y. S. Chua and Craig Callender, 'No Time for Time from No-Time', Philosophy of Science 88, 1172-1184 (2021), DOI 10.1086/714870, https://doi.org/10.1086/714870
  15. Claus Kiefer, Leonardo Chataignier, and Mritunjay Tyagi, 'Time and its arrow from quantum geometrodynamics?', Journal of Physics: Conference Series 2883, 012008 (2024), DOI 10.1088/1742-6596/2883/1/012008, arXiv:2407.01727, https://arxiv.org/abs/2407.01727
  16. Leonardo Chataignier, Claus Kiefer, and Mritunjay Tyagi, 'Origin of time and probability in quantum cosmology', Journal of Physics: Conference Series 3017, 012007 (2025), DOI 10.1088/1742-6596/3017/1/012007, arXiv:2503.10752, https://arxiv.org/abs/2503.10752
  17. Leonardo Chataignier, Claus Kiefer, and Mritunjay Tyagi, 'Quantum gravity and the past hypothesis', International Journal of Modern Physics D, article 2641010 (2026), DOI 10.1142/s0218271826410105, https://doi.org/10.1142/s0218271826410105
  18. Jim Al-Khalili and Eddy Keming Chen, 'The Decoherent Arrow of Time and the Entanglement Past Hypothesis', Foundations of Physics 54, 49 (2024), DOI 10.1007/s10701-024-00785-3, https://doi.org/10.1007/s10701-024-00785-3
  19. Eugene Y. S. Chua, 'Physical Coherence and Time's Emergence', Synthese (2026), DOI 10.1007/s11229-026-05662-2, arXiv:2605.24970, https://arxiv.org/abs/2605.24970
  20. Nicola Bamonti, Enrico Cinti, and Marco Sanchioni, 'Quo Vadis Wheeler-DeWitt Time?: Challenging Emergent Time in Quantum Cosmology', Philosophy of Science 92, 1327-1337 (2025), DOI 10.1017/psa.2025.10146, https://doi.org/10.1017/psa.2025.10146
  21. Álvaro Mozota Frauca, 'Quantum Cosmology and the Age of the Universe', Journal of Physics: Conference Series 2948, 012008 (2025), DOI 10.1088/1742-6596/2948/1/012008, arXiv:2502.03075, https://arxiv.org/abs/2502.03075
  22. Álvaro Mozota Frauca, 'Does Quantum Cosmology Predict the Age of the Universe?', Journal for General Philosophy of Science (2026), DOI 10.1007/s10838-025-09754-4, arXiv:2603.09699, https://arxiv.org/abs/2603.09699
  23. Nick Huggett, James Ladyman, and Karim P. Y. Thébault, 'On the Quantum Theory of Molecules: Rigour, Idealization, and Uncertainty', arXiv:2411.01942 (2024), accepted at Philosophy of Science, DOI 10.1017/psa.2026.10213, https://arxiv.org/abs/2411.01942
  24. Nicola Bamonti and Karim P. Y. Thébault, 'In Search of Cosmic Time: Complete Observables and the Clock Hypothesis', British Journal for the Philosophy of Science (2025), DOI 10.1086/736951, https://doi.org/10.1086/736951, arXiv:2411.00541 (2024), https://arxiv.org/abs/2411.00541
  25. Eftychios Kaimakkamis, Hervé Partouche, Karunava Sil, and Nicolaos Toumbas, 'The exact Wheeler-DeWitt equation for the scale-factor minisuperspace model', Classical and Quantum Gravity 42, 115003 (2025), DOI 10.1088/1361-6382/add705, https://doi.org/10.1088/1361-6382/add705, arXiv:2412.18532 (2024), https://arxiv.org/abs/2412.18532
  26. Jose Weberszpil and Oscar Sotolongo-Costa, 'Entropy as a Clock: Foundations and Parametrizations of Emergent Time', International Journal of Theoretical Physics (2026), DOI 10.1007/s10773-025-06212-1, https://doi.org/10.1007/s10773-025-06212-1
  27. Carlos Silva, Renan Aragão, and Francisco A. Brito, 'On the initial state of the universe and the time arrow', Modern Physics Letters A (2026), DOI 10.1142/s0217732326501129, https://doi.org/10.1142/s0217732326501129