pith. sign in

arxiv: 1906.11838 · v2 · pith:JS72ZWZKnew · submitted 2019-06-27 · 🌀 gr-qc · hep-th

Energy spectrum of a quantum spacetime with boundary

Shoichiro Miyashita This is my paper

Pith reviewed 2026-05-25 14:33 UTC · model grok-4.3

classification 🌀 gr-qc hep-th
keywords density of statesminisuperspace path integralquantum gravityBekenstein-Hawking entropymicrocanonical ensembleS2 x Disc topologyBrown-York energy
0
0 comments X

The pith

The density of states for an S²-bounded quantum spacetime approaches a positive constant at high energies rather than zero.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper computes the density of states directly from the microcanonical path integral for the S² × Disc topology sector using the minisuperspace approximation. It shows that a single saddle point always exists but does not always dominate the contour, so that non-saddle contributions produce a density of states that levels off to a positive constant once energy exceeds the range where the saddle point controls the result. In the lower energy window the density of states reproduces the exponential Bekenstein-Hawking form, but the high-energy plateau differs from earlier results obtained by inverse Laplace transform. A reader would care because the constant high-energy tail changes how states are counted in quantum gravity at the ultraviolet end.

Core claim

For the S² × Disc topology the microcanonical path integral yields a density of states that follows the Bekenstein-Hawking exponential only inside the interval (1 − √(2/3)) < G E / R_b < (1 + √(2/3)); above this window the saddle point ceases to dominate and the density of states approaches a positive constant.

What carries the argument

The minisuperspace path integral of the microcanonical partition function for the S² × Disc sector, evaluated along an integration contour that retains non-saddle contributions once the saddle no longer dominates.

If this is right

  • The density of states exhibits the Bekenstein-Hawking exponential only inside the stated finite energy window around the saddle-point regime.
  • At sufficiently high energy the density of states levels off to a nonzero constant instead of decaying.
  • Previous inverse-Laplace results that vanish at high energy miss the non-saddle contribution present in the direct microcanonical contour.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A constant high-energy density of states would alter the ultraviolet counting of states compared with approaches that force it to zero.
  • The result may be tested by relaxing the minisuperspace restriction while keeping the same topology and boundary data.
  • The plateau could connect to other quantum-gravity state-counting schemes that remain finite rather than exponentially suppressed at high energy.

Load-bearing premise

The minisuperspace approximation together with the selected integration contour correctly captures the non-saddle contribution that produces the constant high-energy density of states.

What would settle it

An explicit evaluation of the same path integral along a different contour, or a calculation that includes non-minisuperspace modes, that instead drives the high-energy density of states to zero.

Figures

Figures reproduced from arXiv: 1906.11838 by Shoichiro Miyashita.

Figure 1
Figure 1. Figure 1: LEFT: Spacetime with time-like boundary B = S 2 × R. RIGHT: Euclidean geometry with ∂M = S 2 × S 1 .  E represents “Ensemble,” where we can choose from the following: · microcanonical ensemble (E = mc): Fixed energy and volume. · canonical ensemble (E = c): Fixed temperature and volume. · pressure microcanonical ensemble (E = pmc): Fixed energy and pressure. · pressure canonical ensemble (E = pc): Fixed t… view at source ↗
Figure 2
Figure 2. Figure 2: LEFT: Three complex N planes consisting of the Riemann surface of the “on-shell” action. The orange circles represent the critical points of the map (3.20). Orange dashed lines show one possible choice of branch cuts; branch cut a is  8R2 b 27η 2 ,∞  on the real axis and branch cut b is (−∞, 0) on the real axis. RIGHT: An RH complex plane that is homeomorphic to the Riemann surface by the map (3.20). The… view at source ↗
Figure 3
Figure 3. Figure 3: The location of the saddle point on the complex [PITH_FULL_IMAGE:figures/full_fig_p012_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The behavior of entropy corresponding to a type I DO [PITH_FULL_IMAGE:figures/full_fig_p013_4.png] view at source ↗
read the original abstract

In this paper, I revisit the microcanonical partition function, or density of states (DOS), of general relativity. By using the minisuperspace path integral approximation, I directly calculate the $S^2 \times Disc$ topology sector of the DOS of a (quantum) spacetime with an $S^2\times \mathbb{R}$ Lorentzian boundary from the microcanonical path integral, in contrast with previous works in which DOSs are derived by inverse Laplace transformation from various canonical partition functions. Although I found there always exists only one saddle point for any given boundary data, it does not always dominate the possible integration contours. There is another contribution to the path integral other than the saddle point. One of the obtained DOSs has behavior similar to that of the previous DOSs; that is, it exhibits exponential Bekenstein--Hawking entropy for the limited energy range $ (1-\sqrt{2/3}) <GE/R_{b}< (1+\sqrt{2/3})$, where energy $E$ is defined by the Brown--York quasi-local energy momentum tensor and $R_{b}$ is the radius of the boundary $S^2$. In that range, the DOS is dominated by the saddle point. However, for sufficiently high energy, where the saddle point no longer dominates, the DOS approaches a positive constant, different from the previous ones, which approach zero.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript computes the density of states (DOS) of general relativity in the minisuperspace path-integral approximation for the S² × Disc topology sector with an S² × ℝ Lorentzian boundary. It reports a single saddle point for any boundary data; however, along a chosen integration contour the non-saddle contribution is said to dominate at high energy, yielding a DOS that approaches a positive constant (distinct from prior canonical results that decay to zero). In an intermediate energy window the saddle dominates and the DOS reproduces the Bekenstein–Hawking entropy.

Significance. If the contour prescription can be placed on a first-principles footing, the direct microcanonical path-integral route would constitute a methodological advance over inverse-Laplace reconstructions and would alter the expected high-energy tail of the DOS. The explicit demonstration of a unique saddle for arbitrary boundary data is also a useful technical observation.

major comments (1)
  1. The central claim that the DOS approaches a positive constant at high energy rests on the assertion that a non-saddle contribution overtakes the saddle along the chosen contour in the minisuperspace path integral over the S² × Disc sector. No derivation of this contour from Picard–Lefschetz theory, Lorentzian continuation, or any other first-principles prescription is supplied; the result is therefore sensitive to an unmotivated modeling choice that is load-bearing for the distinction from previous DOSs.

Simulated Author's Rebuttal

1 responses · 1 unresolved

We thank the referee for the careful reading of our manuscript and for highlighting the importance of placing the contour choice on a firmer footing. We address the single major comment below.

read point-by-point responses

  1. Referee: The central claim that the DOS approaches a positive constant at high energy rests on the assertion that a non-saddle contribution overtakes the saddle along the chosen contour in the minisuperspace path integral over the S² × Disc sector. No derivation of this contour from Picard–Lefschetz theory, Lorentzian continuation, or any other first-principles prescription is supplied; the result is therefore sensitive to an unmotivated modeling choice that is load-bearing for the distinction from previous DOSs.

    Authors: We agree that the integration contour is a specific modeling choice within the minisuperspace approximation rather than one derived from Picard–Lefschetz theory or Lorentzian continuation. The contour was selected because it permits the non-saddle contribution to dominate at high energies while still allowing the saddle to reproduce the Bekenstein–Hawking behavior in the intermediate range, thereby illustrating a possible distinction from prior inverse-Laplace results. We will revise the manuscript to state this motivation explicitly, to compare the chosen contour with standard prescriptions in the literature, and to emphasize the exploratory nature of the result within the minisuperspace framework. This will make the dependence on the contour choice transparent without altering the technical observation of a unique saddle for arbitrary boundary data. revision: yes

standing simulated objections not resolved
  • First-principles derivation of the specific integration contour from Picard–Lefschetz theory or Lorentzian continuation

Circularity Check

0 steps flagged

No significant circularity; central result derived directly from path integral without reduction to inputs

full rationale

The paper derives the DOS via direct minisuperspace path integral evaluation over the S^2 × Disc sector, explicitly contrasting this with prior inverse-Laplace methods from canonical ensembles. It reports a single saddle for any boundary data yet an additional non-saddle contribution that yields a constant high-energy DOS. No quoted equations, self-citations, or statements indicate that this constant reduces by construction to normalization choices, fitted parameters, or the same boundary data used elsewhere. The derivation chain is self-contained within the stated approximation and contour; the contour selection is a modeling assumption rather than a self-referential step. This is the expected honest non-finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; full list of free parameters, axioms, and invented entities cannot be extracted. The minisuperspace reduction and contour choice are domain assumptions whose validity is not independently evidenced here.

axioms (1)
  • domain assumption Minisuperspace reduction is valid for the S^2 x Disc topology sector of the path integral
    Invoked as the computational method that yields the single saddle point and the additional contour contribution.

pith-pipeline@v0.9.0 · 5771 in / 1250 out tokens · 24848 ms · 2026-05-25T14:33:55.717716+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

21 extracted references · 21 canonical work pages

  1. [1]

    J. D. Brown and J. W. York, Jr. , Phys. Rev. D 47 (1993) 1407

    work page 1993

  2. [2]

    G. W. Gibbons and S. W. Hawking , Phys. Rev. D 15 (1977) 2752

    work page 1977

  3. [3]

    J. D. Bekenstein , Phys. Rev. D 7 (1973) 2333

    work page 1973

  4. [4]

    S. W. Hawking , Commun. Math. Phys 43 (1975) 199

    work page 1975

  5. [5]

    J. W. York, Jr , Phys. Rev. D 33 (1986) 2092

    work page 1986

  6. [6]

    S. W. Hawking and D. N. Page , Commun. Math. Phys. 87 (1983) 577

    work page 1983

  7. [7]

    G. W. Gibbons, S. W. Hawking, and M. J. Perry , Nucl. Phys. B 138 (1978) 141

    work page 1978

  8. [8]

    J. J. Halliwell and J. Louko , Phys. Rev. D 42 (1990) 3997

    work page 1990

  9. [9]

    Louko and B

    J. Louko and B. F. Whiting , Class. Quant. Grav. 9 (1992) 457

    work page 1992

  10. [10]

    Memled and B

    J. Memled and B. F. Whiting , Phys. Rev. D 49 (1994) 907

    work page 1994

  11. [11]

    H. W. Braden, B. F. Whiting, and J. W. York, Jr. , Phys. Rev . D 36 (1987) 3614

    work page 1987

  12. [12]

    J. D. Brown and J. W. York, Jr. , Phys. Rev. D 47 (1993) 1420 18

    work page 1993

  13. [13]

    J. D. Brown, G. L. Comer, E. A. Martinez, J. Melmed, B. F. W hiting, and J. W. York, Jr. , Class. Quant. Grav. 7 (1990) 1433

    work page 1990

  14. [14]

    J. W. York, Jr , Phys. Rev. Lett. 28 (1972) 1082

    work page 1972

  15. [15]

    J. B. Hartle , J. Math. Phys. 30 (1989) 452

    work page 1989

  16. [16]

    J. J. Halliwell and J. B. Hartle , Phys. Rev. D 41 (1990) 1815

    work page 1990

  17. [17]

    J. J. Halliwell and J. Louko , Phys. Rev. D 39 (1988) 2206

    work page 1988

  18. [18]

    J. B. Hartle and S. W. Hawking , Phys. Rev. D 28 (1983) 2960

    work page 1983

  19. [19]

    Maldacena , JHEP 0304 (2003) 021

    J. Maldacena , JHEP 0304 (2003) 021

    work page 2003

  20. [20]

    Marolf , JHEP 1809 (2018) 114

    D. Marolf , JHEP 1809 (2018) 114

    work page 2018

  21. [21]

    Partition Functions for Gravitational Thermodynamics

    S. Miyashita , “Partition Functions for Gravitational Thermodynamics”, in preparation 19

    work page