Recognition: 2 theorem links
· Lean TheoremA Tale of Two Hartle-Hawking Wave Functions: Fully Gravitational vs Partially Frozen
Pith reviewed 2026-05-15 02:31 UTC · model grok-4.3
The pith
The phase in Hartle-Hawking wave functions arises only when the gravitational path integral fully integrates over boundary configurations rather than fixing them.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In AdS Einstein gravity, the one-loop correction to the partition function of a hyperbolic ball with fluctuating boundary yields a phase (∓i)^{D+1}, matching the sphere in dS. When the boundary metric is instead fixed, the phase vanishes and the result is real and positive. The analogous partially frozen construction in dS cancels the phase nontrivially. These results imply that the phase issue is resolved by freezing the boundary degrees of freedom.
What carries the argument
The hyperbolic-ball partition function, evaluated at one loop with either fully fluctuating or fixed boundary metric, which determines whether a phase appears in the wave-function norm.
If this is right
- The fully gravitational Hartle-Hawking wave function in AdS acquires a one-loop phase identical to its de Sitter counterpart.
- Fixing the boundary metric removes this phase, yielding a real positive norm.
- A partially frozen de Sitter construction with fixed equatorial metric also cancels the phase.
- The distinction between dynamical and frozen boundary controls the reality of the wave function.
Where Pith is reading between the lines
- This distinction may extend to higher-order corrections or non-perturbative contributions in the path integral.
- It suggests that AdS/CFT-like dualities naturally select the phase-free version by fixing boundary data.
- Similar freezing choices could be explored in other gravitational wave-function constructions to address unitarity issues.
Load-bearing premise
The one-loop correction to the hyperbolic-ball partition function provides the leading contribution to the norm of the wave function, with boundary fluctuations properly captured by the regularization scheme.
What would settle it
An exact non-perturbative computation of the hyperbolic-ball partition function in three-dimensional AdS gravity that either confirms or eliminates the reported one-loop phase factor.
Figures
read the original abstract
We revisit the Hartle-Hawking wave function in AdS spacetime, where natural spatial slices are open and require an additional spacetime boundary. This leads to two constructions: a fully gravitational wave function, in which the boundary configuration is integrated over, and a partially frozen one, in which it is fixed, as in AdS/CFT. To illustrate the fully gravitational construction, we explicitly analyze it in AdS$_3$ Einstein gravity and AdS$_2$ Jackiw-Teitelboim gravity. We then evaluate the one-loop correction to the hyperbolic-ball partition function in $D$-dimensional AdS Einstein gravity, expected to give the leading contribution to the wave-function norm. We demonstrate that the fully gravitational hyperbolic ball partition function, where the boundary fluctuates, develops a nontrivial one-loop phase of $(\mp i)^{D+1}$, analogous to that of the sphere partition function in dS gravity. By contrast, the partially frozen partition function, where the boundary is fixed, remains real and positive. Motivated by this AdS comparison, we conversely investigate a partially frozen dS sphere partition function where the metric on an equator is fixed, finding that its one-loop phase cancels nontrivially. Our results suggest that the phase problem is controlled by whether the gravitational path integral is fully dynamical or partially frozen.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript compares two Hartle-Hawking wave-function constructions in AdS: a fully gravitational version integrating over fluctuating boundary configurations versus a partially frozen version with fixed boundary (as in AdS/CFT). Explicit analyses are performed in AdS3 Einstein gravity and AdS2 JT gravity. The one-loop correction to the hyperbolic-ball partition function is evaluated in general D-dimensional AdS Einstein gravity and shown to produce a phase factor (∓i)^{D+1} when the boundary fluctuates, while remaining real and positive when fixed. A converse calculation for a partially frozen dS sphere partition function yields nontrivial phase cancellation. The results are used to suggest that the phase problem is controlled by whether the gravitational path integral is fully dynamical or partially frozen.
Significance. If the one-loop term indeed dominates the norm and the regularization is consistent, the work supplies a concrete distinction between fully dynamical and partially frozen gravitational path integrals that may address the phase problem in both AdS and dS settings. The explicit low-dimensional calculations and the AdS-to-dS comparison constitute genuine strengths that could inform future work on wave-function normalizations.
major comments (2)
- [Abstract] Abstract: the assertion that the one-loop correction 'is expected to give the leading contribution to the wave-function norm' is load-bearing for the central claim, yet no argument, scaling estimate, or reference to a later section is supplied showing suppression of two-loop or non-perturbative contributions that could modify the phase.
- [General D-dimensional calculation] The general-D one-loop calculation (the section presenting the hyperbolic-ball determinant): the regularization procedure for boundary fluctuations that produces the phase (∓i)^{D+1} is not shown to remain consistent beyond one loop; if higher-order terms alter the phase or the relative norm, the claimed distinction between fully dynamical and partially frozen constructions would not control the phase problem.
minor comments (2)
- [One-loop phase derivation] The sign choice in the phase factor (∓i)^{D+1} should be explained explicitly with reference to the orientation or boundary condition used.
- [Low-dimensional examples] The low-dimensional explicit analyses (AdS3 and AdS2 sections) would benefit from additional intermediate steps or cross-checks against known results to facilitate verification.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive feedback on our manuscript. We address each major comment below and have revised the text to clarify the scope and justification of our one-loop results.
read point-by-point responses
-
Referee: [Abstract] Abstract: the assertion that the one-loop correction 'is expected to give the leading contribution to the wave-function norm' is load-bearing for the central claim, yet no argument, scaling estimate, or reference to a later section is supplied showing suppression of two-loop or non-perturbative contributions that could modify the phase.
Authors: We agree that the original phrasing required additional support. In the revised manuscript we have updated the abstract to specify that the one-loop term supplies the leading perturbative correction in the semiclassical (large-radius) regime, and we have inserted a short scaling argument in the introduction: higher-loop and non-perturbative contributions are suppressed by additional powers of the Newton constant G_N, which becomes parametrically small for the hyperbolic-ball geometries under consideration. We also cite earlier literature on one-loop determinants in AdS gravity that establishes this hierarchy. revision: yes
-
Referee: [General D-dimensional calculation] The general-D one-loop calculation (the section presenting the hyperbolic-ball determinant): the regularization procedure for boundary fluctuations that produces the phase (∓i)^{D+1} is not shown to remain consistent beyond one loop; if higher-order terms alter the phase or the relative norm, the claimed distinction between fully dynamical and partially frozen constructions would not control the phase problem.
Authors: Our analysis is performed strictly at one-loop order, where the phase factor is computed explicitly via the regularized determinant. We concur that demonstrating consistency of the same regularization beyond one loop lies outside the present scope. The revised discussion section now states explicitly that the reported phase distinction holds at one-loop level and that its persistence at higher orders remains an open question for future work. This scopes the central claim to the perturbative regime we have controlled. revision: partial
Circularity Check
No significant circularity detected in derivation chain
full rationale
The paper computes one-loop determinants for the hyperbolic-ball partition function under two distinct boundary treatments (fully integrated vs fixed) in explicit models (AdS3 Einstein, AdS2 JT, and D-dimensional Einstein gravity). The reported phases (∓i)^{D+1} for fluctuating boundaries and real-positive for fixed boundaries follow directly from the determinant evaluation and regularization choice, without reduction to a fitted parameter, self-defined quantity, or load-bearing self-citation. The analogy to dS sphere results is presented as motivation rather than a premise that forces the AdS outcome. No step equates a prediction to its own input by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The one-loop correction to the hyperbolic-ball partition function gives the leading contribution to the wave-function norm.
- domain assumption The gravitational path integral is well-defined when the boundary is either fully integrated or held fixed.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDualityalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We demonstrate that the fully gravitational hyperbolic ball partition function, where the boundary fluctuates, develops a nontrivial one-loop phase of (∓i)^{D+1}
-
IndisputableMonolith/Cost/FunctionalEquationwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the one-loop correction to the hyperbolic-ball partition function in D-dimensional AdS Einstein gravity, expected to give the leading contribution to the wave-function norm
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
J. B. Hartle and S. W. Hawking,Wave Function of the Universe,Phys. Rev. D28 (1983) 2960
work page 1983
-
[2]
Lehners,Review of the no-boundary wave function,Phys
J.-L. Lehners,Review of the no-boundary wave function,Phys. Rept.1022(2023) 1 [2303.08802]
-
[3]
Maldacena,Comments on the no boundary wavefunction and slow roll inflation, 2403.10510
J. Maldacena,Comments on the no boundary wavefunction and slow roll inflation, 2403.10510
-
[4]
J. M. Maldacena,The Large N limit of superconformal field theories and supergravity, Int. J. Theor. Phys.38(1999) 1113 [hep-th/9711200]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[5]
S. S. Gubser, I. R. Klebanov and A. M. Polyakov,Gauge theory correlators from noncritical string theory,Phys. Lett.B428(1998) 105 [hep-th/9802109]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[6]
Anti De Sitter Space And Holography
E. Witten,Anti-de Sitter space and holography,Adv. Theor. Math. Phys.2(1998) 253 [hep-th/9802150]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[7]
D. Harlow and D. Jafferis,The Factorization Problem in Jackiw-Teitelboim Gravity, JHEP02(2020) 177 [1804.01081]
- [8]
- [9]
- [10]
-
[11]
Setting the boundary free in AdS/CFT
G. Compere and D. Marolf,Setting the boundary free in AdS/CFT,Class. Quant. Grav.25(2008) 195014 [0805.1902]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[12]
T. Takayanagi,Holographic Dual of BCFT,Phys. Rev. Lett.107(2011) 101602 [1105.5165]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[13]
A. Castro, N. Lashkari and A. Maloney,A de Sitter Farey Tail,Phys. Rev. D83 (2011) 124027 [1103.4620]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[14]
J. Maldacena, G. J. Turiaci and Z. Yang,Two dimensional Nearly de Sitter gravity, JHEP01(2021) 139 [1904.01911]
- [15]
- [17]
- [18]
-
[19]
J. Cotler and K. Jensen,Norm of the no-boundary state,JHEP03(2026) 180 [2506.20547]
-
[20]
Cotler,Higher-loop norm of the no-boundary state,2601.20993
J. Cotler,Higher-loop norm of the no-boundary state,2601.20993
-
[21]
Inflation and topology from the no-boundary state
V. Godet,Inflation and topology from the no-boundary state,2605.05317
work page internal anchor Pith review Pith/arXiv arXiv
-
[22]
Polchinski,The phase of the sum over spheres,Phys
J. Polchinski,The phase of the sum over spheres,Phys. Lett. B219(1989) 251
work page 1989
-
[23]
D. Anninos, F. Denef, Y. T. A. Law and Z. Sun,Quantum de Sitter horizon entropy from quasicanonical bulk, edge, sphere and topological string partition functions,JHEP 01(2022) 088 [2009.12464]. 90
-
[24]
G. W. Gibbons and S. W. Hawking,Cosmological Event Horizons, Thermodynamics, and Particle Creation,Phys. Rev. D15(1977) 2738
work page 1977
- [25]
- [26]
-
[27]
S. Giombi and Z. Sun,The phase of de Sitter higher spin gravity,2601.15257
- [28]
-
[29]
X. Shi, G. J. Turiaci and C.-H. Wu,The Fate of Nucleated Black Holes in de Sitter Quantum Gravity,2605.03015
work page internal anchor Pith review Pith/arXiv arXiv
- [30]
-
[31]
Harlow,Observers,α-parameters, and the Hartle-Hawking state,2602.03835
D. Harlow,Observers,α-parameters, and the Hartle-Hawking state,2602.03835
-
[32]
Y. Zhao,”It from Bit”: The Hartle-Hawking state and quantum mechanics for de Sitter observers,2602.05939
-
[33]
Z. Wei,Observers and Timekeepers: From the Page-Wootters Mechanism to the Gravitational Path Integral,2506.21489
-
[34]
M. Alishahiha, A. Karch, E. Silverstein and D. Tong,The dS/dS correspondence,AIP Conf. Proc.743(2004) 393 [hep-th/0407125]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[35]
X. Dong, B. Horn, E. Silverstein and G. Torroba,Micromanaging de Sitter holography, Class. Quant. Grav.27(2010) 245020 [1005.5403]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[36]
Witten,A Note On Complex Spacetime Metrics,2111.06514
E. Witten,A Note On Complex Spacetime Metrics,2111.06514
-
[37]
A. Karch and L. Randall,Locally localized gravity,JHEP05(2001) 008 [hep-th/0011156]. 91
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[38]
M. Fujita, T. Takayanagi and E. Tonni,Aspects of AdS/BCFT,JHEP11(2011) 043 [1108.5152]
work page internal anchor Pith review Pith/arXiv arXiv 2011
- [39]
- [40]
- [41]
- [42]
-
[43]
Wei,Holographic dual of crosscap conformal field theory,JHEP03(2025) 086 [2405.03755]
Z. Wei,Holographic dual of crosscap conformal field theory,JHEP03(2025) 086 [2405.03755]
- [44]
- [45]
-
[46]
A Large Mass Hierarchy from a Small Extra Dimension
L. Randall and R. Sundrum,A Large mass hierarchy from a small extra dimension, Phys. Rev. Lett.83(1999) 3370 [hep-ph/9905221]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[47]
An Alternative to Compactification
L. Randall and R. Sundrum,An Alternative to compactification,Phys. Rev. Lett.83 (1999) 4690 [hep-th/9906064]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[48]
The Einstein Equations on the 3-Brane World
T. Shiromizu, K.-i. Maeda and M. Sasaki,The Einstein equation on the 3-brane world, Phys. Rev. D62(2000) 024012 [gr-qc/9910076]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[49]
Gravity in the Randall-Sundrum Brane World
J. Garriga and T. Tanaka,Gravity in the brane world,Phys. Rev. Lett.84(2000) 2778 [hep-th/9911055]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[50]
S. S. Gubser,AdS / CFT and gravity,Phys. Rev. D63(2001) 084017 [hep-th/9912001]
work page internal anchor Pith review Pith/arXiv arXiv 2001
- [51]
-
[52]
D. N. Page,Density Matrix of the Universe,Phys. Rev. D34(1986) 2267
work page 1986
- [53]
-
[54]
X. Dong, X.-L. Qi, Z. Shangnan and Z. Yang,Effective entropy of quantum fields coupled with gravity,JHEP10(2020) 052 [2007.02987]
- [55]
-
[56]
No boundary density matrix in elliptic de Sitter dS/$\mathbb{Z}_2$
R. Dulac and Z. Wei,No boundary density matrix in elliptic de Sitter dS/Z 2,JHEP05 (2026) 022 [2512.00704]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[57]
J. M. Maldacena,Non-Gaussian features of primordial fluctuations in single field inflationary models,JHEP05(2003) 013 [astro-ph/0210603]
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[58]
L. Freidel,Reconstructing AdS/CFT,0804.0632
work page internal anchor Pith review Pith/arXiv arXiv
- [59]
-
[60]
G. Araujo-Regado, R. Khan and A. C. Wall,Cauchy slice holography: a new AdS/CFT dictionary,JHEP03(2023) 026 [2204.00591]
- [61]
-
[62]
One-loop Partition Functions of 3D Gravity
S. Giombi, A. Maloney and X. Yin,One-loop Partition Functions of 3D Gravity,JHEP 08(2008) 007 [0804.1773]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[63]
Suzuki,One-loop correction to the AdS/BCFT partition function in three-dimensional pure gravity,Phys
Y.-k. Suzuki,One-loop correction to the AdS/BCFT partition function in three-dimensional pure gravity,Phys. Rev. D105(2022) 026023 [2106.00206]
-
[64]
Sun,AdS one-loop partition functions from bulk and edge characters,JHEP12 (2021) 064 [2010.15826]
Z. Sun,AdS one-loop partition functions from bulk and edge characters,JHEP12 (2021) 064 [2010.15826]. 93
-
[65]
Partition Functions and Casimir Energies in Higher Spin AdS_{d+1}/CFT_d
S. Giombi, I. R. Klebanov and A. A. Tseytlin,Partition Functions and Casimir Energies in Higher Spin AdS d+1/CFTd,Phys. Rev. D90(2014) 024048 [1402.5396]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[66]
A. O. Barvinsky and D. V. Nesterov,Quantum effective action in spacetimes with branes and boundaries,Phys. Rev. D73(2006) 066012 [hep-th/0512291]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[67]
A. O. Barvinsky,Quantum Effective Action in Spacetimes with Branes and Boundaries: Diffeomorphism Invariance,Phys. Rev. D74(2006) 084033 [hep-th/0608004]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[68]
S. W. Hawking, T. Hertog and H. S. Reall,Brane new world,Phys. Rev. D62(2000) 043501 [hep-th/0003052]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[69]
S. W. Hawking, T. Hertog and H. S. Reall,Trace anomaly driven inflation,Phys. Rev. D63(2001) 083504 [hep-th/0010232]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[70]
A Practical Approach to the Hamilton-Jacobi Formulation of Holographic Renormalization
H. Elvang and M. Hadjiantonis,A Practical Approach to the Hamilton-Jacobi Formulation of Holographic Renormalization,JHEP06(2016) 046 [1603.04485]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[71]
G. Gibbons, S. Hawking and M. Perry,Path integrals and the indefiniteness of the gravitational action,Nuclear Physics B138(1978) 141
work page 1978
-
[72]
M. A. Rubin and C. R. Ord´ o˜ nez,Eigenvalues and degeneracies for n-dimensional tensor spherical harmonics,Journal of Mathematical Physics25(1984) 2888
work page 1984
-
[73]
The yes boundaries wavefunctions of the universe
B. Banihashemi, G. Batra, A. Y. T. Law, E. Silverstein and G. Torroba,The yes boundaries wavefunctions of the universe,2604.10267
work page internal anchor Pith review Pith/arXiv arXiv
-
[74]
K. Suzuki and T. Takayanagi,BCFT and Islands in two dimensions,JHEP06(2022) 095 [2202.08462]
-
[75]
D. Neuenfeld, A. Svesko and W. Sybesma,Liouville gravity at the end of the world:deformed defects in AdS/BCFT,JHEP07(2024) 215 [2404.07260]
-
[76]
D. Anninos, C. Baracco and B. M¨ uhlmann,Remarks on 2D quantum cosmology,JCAP 10(2024) 031 [2406.15271]
-
[77]
D. Anninos, T. Hertog and J. Karlsson,Quantum Liouville Cosmology,2512.15969
work page internal anchor Pith review Pith/arXiv arXiv
-
[78]
Maldacena, arXiv e-prints (2024), arXiv:2412.14014 [hep-th], arXiv:2412.14014 [hep-th]
J. Maldacena,Real observers solving imaginary problems,2412.14014. 94
-
[79]
Y. Nomura and T. Ugajin,Nonperturbative quantum gravity in a closed Lorentzian universe,JHEP10(2025) 166 [2505.20390]
-
[80]
Y. Nomura and T. Ugajin,Physical Predictions in Closed Quantum Gravity, 2602.13387
-
[81]
A. Blommaert and C.-H. Chen,Time in gravitational subregions and in closed universes,2602.22153
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.