Pith. sign in

REVIEW 4 major objections 3 minor 1 cited by

The paper argues that the gravitational functional integral loses all support once curvature reaches the Planck scale, so black hole interiors end at a finite positive radius and the classical singularity is never reached.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-02 11:20 UTC pith:X4Z7WJ57

load-bearing objection The paper's central mechanism is asserted rather than derived: the black-hole boundary is a restatement of the Planck-curvature postulate, not a consequence of the functional integral. the 4 major comments →

arxiv 2606.15423 v3 pith:X4Z7WJ57 submitted 2026-06-13 gr-qc

The Quantum Boundary of Black Hole Interiors: Termination of the Sum over Geometries at Planck Curvature

Edward J. Shaya This is my paper
classification gr-qc PACS 04.60.-m04.70.-s
keywords quantum boundaryPlanck curvatureblack hole singularitysum over geometriesWheeler-DeWitt equationmass inflationSobolev regularityGibbons-Hawking-York action
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper claims that the sum over geometries terminates at a Planck-curvature boundary, making the classical singularity physically unreachable. Its central move is to link Planck curvature to a failure of metric differentiability: at K~ℓ_P^{-4}, Heisenberg uncertainty makes the metric fluctuate at order unity, the Einstein–Hilbert action becomes mathematically undefined, and the wavefunctional is exactly zero beyond that point. For a non-spinning black hole this places the end of spacetime at r_B=(√48 r_g ℓ_P²)^{1/3}, about 10^-22 m for a solar mass. For spinning holes, the same boundary caps mass inflation at a finite amplification and excises the inner horizon, ring, and any passage beyond. If correct, every black hole interior ends at a finite, macroscopically meaningful boundary without any new trans-Planckian physics.

Core claim

On the paper's own terms, the central discovery is that the gravitational wavefunctional has strictly zero support for geometries whose Kretschmann curvature reaches the Planck threshold ℓ_P^{-4}: Ψ[h_ij]=0 for all h_ij outside the Sobolev space W^{2,2}. Because the Einstein–Hilbert action needs twice weakly differentiable metrics, and because Planck-scale quantum fluctuations make the metric non-differentiable there, the phase amplitude is undefined and those geometries cannot appear in the functional integral. The paper derives quantitative anchors: the Schwarzschild interior truncates at r_B=(√48 r_g ℓ_P²)^{1/3}; a maximal Kerr hole caps its internal mass amplification at n_max≈0.67(r_g/ℓ

What carries the argument

The central object is the quantum boundary B_Q, defined as the surface where the Kretschmann scalar reaches K=ℓ_P^{-4}. The argument is carried by a definedness chain: at that curvature, ADM Heisenberg uncertainty forces metric fluctuations of order unity (Δh_ij~h_ij) within a Planck cell; this makes the metric leave W^{2,2}, so the Einstein–Hilbert action is mathematically undefined; an undefined action makes the phase factor e^{iS/ℏ} meaningless, so the wavefunctional is identically zero; and zero support acts as topological excision of the region beyond B_Q. For Schwarzschild, matching K=48 r_g^2/r^6 to ℓ_P^{-4} yields r_B=(√48 r_g ℓ_P²)^{1/3}. For Kerr, matching the mass-inflated, shrink

Load-bearing premise

The whole construction hinges on the premise that reaching Planck curvature forces the metric to leave the W^{2,2} space—that a smooth, perfectly differentiable metric cannot have K~ℓ_P^{-4}; if smooth metrics with arbitrarily large curvature remain admissible, the link from curvature to undefined action and zero wavefunctional collapses.

What would settle it

Take any explicit smooth (C^∞) Lorentzian metric with Kretschmann scalar exceeding ℓ_P^{-4} on some open set (for instance a regular black hole metric with a Planck-scale core) and verify it lies in W^{2,2} with square-integrable second derivatives; its existence shows Planck curvature does not imply the definedness failure the argument requires. Alternatively, compute the Einstein–Hilbert bulk action for the vacuum Schwarzschild interior at r_B: since R=0 there, the action density is zero and well-defined, so the asserted 'undefined action' does not occur at the radius where Eq. (10) is deriv

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Every black hole interior, regardless of spin, terminates at a finite boundary set by Planck curvature; the classical central singularity never forms.
  • For rotating black holes, the inner Cauchy horizon, ring singularity, and any extension to other asymptotically flat regions are excised from the physical manifold; mass inflation is capped at a finite amplification.
  • The interior action is finite and macroscopic, S_GHY^qb≈(3/2) M c² Δt per boundary segment, so the quantum boundary contributes real dynamical bookkeeping.
  • Anisotropic BKL oscillations are capped patch-by-patch: any Kasner crest reaching Planck curvature becomes a transient local boundary and its continuous symmetries are annihilated.
  • The framework supports cosmic censorship: no non-unique extension past the Cauchy horizon exists (strong), and no naked singularity can be exposed (weak).

Where Pith is reading between the lines

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

  • If the zero-support mechanism is right, then no physical process can ever probe curvatures above ℓ_P^{-4}: any approach to the threshold would be topologically excised, making trans-Planckian physics observationally inaccessible by construction.
  • The same Sobolev criterion would, if applied consistently, forbid any metric with K>ℓ_P^{-4} anywhere, including regular black hole models and cosmological bounces, predicting a universal cutoff rather than a bounce; this is a testable distinction against those models.
  • The ~10^-22 m boundary for solar-mass black holes is far too small for direct imaging, but the predicted absence of mass-inflation effects and the finite inner-boundary action could plausibly leave imprints on gravitational-wave ringdown or on the late-time evolution of black hole interiors.
  • The paper's argument implies the functional integral is defined only on W^{2,2} metrics; a natural extension would be to check whether this restricted domain reproduces the Bekenstein–Hawking entropy from counting boundary states at B_Q.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

4 major / 3 minor

Summary. The paper argues that the gravitational functional integral loses support at a Planck-curvature threshold K ~ ℓ_P^{-4}, producing a quantum boundary B_Q that truncates black-hole interiors at a finite positive radius before the classical singularity. The argument proceeds from the Wheeler–DeWitt equation and the Feynman sum over geometries, asserting that at Planck curvature the metric leaves the Sobolev space W^{2,2}, the Einstein–Hilbert action becomes undefined, and the wavefunctional consequently has strictly zero support beyond B_Q. On this basis the paper derives a Schwarzschild boundary radius r_B (Eq. 10), a Kerr mass-inflation cutoff n_max (Eq. 11), a maximum Kerr boundary radius (Eq. 12), and a finite Gibbons–Hawking–York boundary action (Eq. 14). The paper claims that these results remove the classical singularity without invoking trans-Planckian degrees of freedom.

Significance. If the central mechanism were established, the paper would propose a strikingly parsimonious resolution of black-hole singularities and mass inflation, with concrete quantitative anchors such as r_B ~ 10^{-22} m for a solar-mass black hole and n_max ≈ 2.6×10^7. The paper is also commendably explicit: it labels Eq. (6) as a formal definition, states the Planck-curvature threshold as an input, and provides supplementary derivations for the quantitative formulas. However, the central inference from 'phase amplitude undefined' to 'Ψ = 0' is a non-sequitur, and the identification of K ~ ℓ_P^{-4} with a loss of W^{2,2} regularity is unsupported. Because the boundary location is effectively stipulated rather than derived, the quantitative outputs are restatements of the input threshold in different variables. The significance of the framework is therefore conditional on a central premise that the manuscript does not establish.

major comments (4)
  1. [Abstract; §2.2, Eq. (6)] The central inference 'phase amplitude undefined ⇒ Ψ = 0' is a non-sequitur. An undefined or divergent functional-integral phase does not imply that the wavefunctional vanishes; it means the integral as written is not a well-defined amplitude. In ordinary quantum mechanics, an ill-defined path integral does not license setting the wavefunction to zero. Moreover, Eq. (6) is introduced with the phrase 'we formally define the exclusionary regime', which concedes that zero support is imposed rather than derived. Since the truncation of the manifold and all quantitative boundary radii follow from this imposed condition, the central claim of the paper is not established by the functional-integral argument.
  2. [§2.1–§2.2 and Supplement S2] The asserted loss of W^{2,2} regularity at K ~ ℓ_P^{-4} is unsupported. The Schwarzschild interior is C^∞ for all r > 0; at the paper's own boundary radius r_B from Eq. (10), the metric is locally smooth and lies in W^{2,2} on any compact region excluding r = 0. Furthermore, the vacuum Schwarzschild interior has Ricci scalar R = 0, so the Einstein–Hilbert bulk action density is identically zero at r_B; there is no 'undefined action' at the location where the boundary is placed. The cited bounded-L²-curvature theorem [12] concerns well-posedness of the classical Cauchy problem for initial data with L² curvature, not a threshold at which a smooth metric loses differentiability. The alternative argument in §2.1 that Δh_ij ~ h_ij in a Planck cell restates the Planck-scale postulate rather than deriving it from the functional integral.
  3. [§3.2.1 and Supplement S7–S8] The mass-inflation cutoff n_max and the Kerr boundary radius r_B^Kerr are not independent predictions. They are obtained by taking the paper's own Kretschmann formula, substituting r_- ≈ r_g/(2n³), and imposing K = ℓ_P^{-4}. The existence and location of B_Q are thus assumed, not derived. In the absence of independent support for the Sobolev-failure premise, Eqs. (11)–(12) merely rewrite the input threshold in different variables and do not provide a falsifiable prediction that would discriminate the framework from other Planck-scale cutoff schemes.
  4. [§3.3, Eq. (14) and Supplement S10–S14] The GHY boundary-action calculation is not well-defined as presented. Eq. (13) is an integral over a 3-surface, but Eq. (14) is described as integrating over 'one minimal spatial slice (one Planck unit t_P)'—supplying a time interval converts the expression into a 4-volume-like quantity and the step Δt = t_P is an ad hoc discretization. The claim that 'divergent square roots cancel' is applied to an integrand that is already finite in Eq. (S13); the result 3/2 M c² Δt is at best an order-of-magnitude estimate, not a derivation. Additionally, the trace of the extrinsic curvature K in Eq. (13) is notationally conflated with the Kretschmann scalar K used throughout the paper.
minor comments (3)
  1. [§2, Eq. (4)] The dimensions and meaning of Eq. (4) are unclear: Δp Δh ~ ℏ/V mixes a momentum density with a metric perturbation. A brief derivation from the ADM commutation relations would improve clarity.
  2. [§2.3] The Kay–Wald theorem [11] is cited as a general diagnostic for Cauchy-horizon pathologies, but the theorem concerns uniqueness and thermal properties of quasifree states on spacetimes with bifurcate Killing horizons. Its applicability to the mass-inflation setting should be qualified.
  3. [§3.1–§3.2] The notation for the Kretschmann scalar and the extrinsic curvature trace (both called K) is confusing, especially because Eq. (13) uses K for the latter while the surrounding text uses K for the former. A different symbol, e.g. Tr K, would avoid ambiguity.

Circularity Check

2 steps flagged

The central quantitative results are internal-consistency conditions: B_Q, r_B, and n_max are defined as the locus/value where the stipulated threshold K=ℓ_P^{-4} is met, so they do not constitute independent predictions.

specific steps
  1. self definitional [§2.2 Eq. (6); §3.1 Eq. (10); Supplement Eqs. (S1)–(S2)]
    "we formally define the exclusionary regime where the wavefunctional has strictly zero support, and where physical spacetime cannot exist: Ψ[hij] = 0 ∀ h ij /∈ W2,2(Σ) ... The quantum boundary B_Q is established directly as the threshold where this Sobolev failure is triggered (K ∼ℓ−4 P ). ... For the Schwarzschild interior, K= 48G 2M 2/c4r6, and setting this to the limit yields the truncation radius: rB = (√48 r gℓ2 P)^{1/3}."

    B_Q is introduced as the surface on which K = ℓ_P^{-4}; Eq. (10) is simply the solution of K_Schw(r) = ℓ_P^{-4}. The radius is therefore the definition of the boundary rewritten in Schwarzschild coordinates, not a consequence of the functional-integral mechanism. The zero-support condition (Eq. 6) was itself stipulated ('we formally define'), so the statement that geometry terminates at r_B is logically equivalent to the assumption that it terminates where K=ℓ_P^{-4}.

  2. self definitional [§3.2.1 Eqs. (11)–(12); Supplement Eqs. (S7)–(S9)]
    "By matching these radii, substituting the dynamically shrinking radius into the Kretschmann scalar equation, and setting this equal to the trans-Planckian limit (K=ℓ −4 P), we can solve for the mass amplification factor n. ... nmax ≈0.67 (rg/ℓP)^{1/5}."

    The mass-inflation cap is, by construction, the amplification at which the Kretschmann scalar of the truncated geometry equals the imposed threshold. Eq. (S7) gives K ∝ n^{20}/r_g^4, so solving K=ℓ_P^{-4} for n returns the input threshold rewritten as n_max; there is no independent quantization or dynamical mechanism that determines the cap. The Kerr radius (Eq. 12) is then obtained by substituting this n_max back into the horizon formula, so it inherits the same stipulated input.

full rationale

The paper is transparent that the exclusionary regime is formally defined (Eq. 6), and all quantitative anchors (r_B, n_max, r_max^Kerr) are obtained by setting the Kretschmann scalar equal to the adopted threshold K=ℓ_P^{-4}. In that sense the paper's own equations reduce, by construction, to the threshold postulate: the 'predictions' are consistency conditions locating the surface where the assumed loss of support occurs. This is a real circularity of the self-definitional kind. However, the argument does not depend on a self-citation chain: the cited bounded-L^2-curvature theorem is external, and the GHY boundary calculation and homogeneous-density lower bound are independent algebraic evaluations once the boundary is assumed. The main weakness — that no argument shows a smooth metric with R=0 at K=ℓ_P^{-4} leaves W^{2,2} — is an unsupported premise rather than a circular step, though it reinforces that the threshold is stipulated. Score 6 reflects that the central claims reduce to the input threshold, while the surrounding calculations are internally consistent and not fitted to external data.

Axiom & Free-Parameter Ledger

1 free parameters · 7 axioms · 1 invented entities

The central claim rests on one free parameter (the Planck-curvature threshold), several ad hoc postulates (zero-support stipulation, order-unity fluctuation, W^{2,2}-failure interpretation, boundary-as-Cauchy-horizon-cutoff), standard cited mass-inflation results, and one invented entity (B_Q) with no independent evidence. The algebraic structure is explicit enough to audit; the physical content beyond the threshold K = ℓ_P^{-4} is minimal.

free parameters (1)
  • Planck-curvature threshold K_BQ = ℓ_P^{-4} (postulated)
    Chosen as the locus where the functional integral loses support; every quantitative result (Eqs. 10–14, S2, S8) is the solution of K = ℓ_P^{-4}. The §2.1–2.2 'derivations' restate the Planck-scale postulate rather than fixing the threshold independently.
axioms (7)
  • domain assumption The Wheeler–DeWitt equation and the Feynman sum over geometries (Eqs. 1–2) give a valid non-perturbative description of quantum gravity.
    Invoked as the framework in §2; no independent evidence is provided, but this is the standard canonical-quantization program.
  • ad hoc to paper A configuration with undefined action is excluded, i.e. Ψ = 0, rather than Ψ being undefined or the sum simply not converging.
    The load-bearing stipulation in §2.2 (Eq. 6) and the abstract's 'ambiguity–definedness–support chain'; undefinedness does not imply vanishing.
  • ad hoc to paper In a Planck cell (S_EH ~ ℏ) the metric fluctuation becomes order-unity, Δh_ij ~ h_ij, rendering the manifold non-differentiable.
    Stated in §2.1 with no computation; it is the Planck-scale postulate restated as an uncertainty estimate.
  • ad hoc to paper The bounded-L²-curvature (W^{2,2}) threshold of the classical Cauchy problem [12] marks the curvature scale where physical spacetime fails.
    §2.2 extends Klainerman–Rodnianski–Szeftel, a classical well-posedness theorem, to a statement about local regularity at finite curvature; a smooth metric can carry arbitrarily large curvature.
  • domain assumption Mass inflation drives near-total sphericalization (a → 0, r_- → 0) with finite J.
    Standard mass-inflation scenario from cited literature [13,16], used in §3.2 to set up the Kerr cutoff.
  • domain assumption The Kretschmann scalar at the dynamical inner horizon obeys the Schwarzschild form K ≈ 48 m²/r⁶.
    Used in Supplement S7 inside the Kerr-Vaidya analysis; an approximation not justified from the full Kerr curvature tensor.
  • domain assumption B_Q is a genuine boundary component of ∂M on which fixed boundary data h_ij and the GHY term are defined.
    Assumed in §2 and §3.3; presupposes the boundary exists and is a smooth spacelike hypersurface.
invented entities (1)
  • B_Q — the quantum boundary no independent evidence
    purpose: Terminal spacelike boundary truncating the black-hole interior at finite radius r_B, resolving the singularity and capping mass inflation.
    The boundary is stipulated as the locus K = ℓ_P^{-4}; its location (~10^-22 m for a solar-mass hole) is behind the horizon and no falsifiable signature is proposed, so it has no independent handle outside the paper's own assumptions.

pith-pipeline@v1.3.0-alltime-deepseek · 9550 in / 23166 out tokens · 238477 ms · 2026-08-02T11:20:18.809072+00:00 · methodology

0 comments
read the original abstract

Classical general relativity predicts a singularity at the center of every black hole. We argue that this singularity is never reached. We propose that the gravitational functional integral loses support at the Planck curvature threshold ($\mathcal{K} \sim \ell_P^{-4}$), forming a quantum boundary, $\mathcal{B}_Q$, that truncates the spacetime manifold at a finite, positive radius. The mechanism relies on an ambiguity--definedness--support chain: at Planck scales, no unique metric is physically selected by the semiclassical action or Compton localization. This intrinsic ambiguity implies no definite spacetime geometry exists, assigning such configurations vanishing wavefunctional support ($\Psi = 0$). Geometrically, this acts as topological excision: regions lacking a definite metric behave as microscopic holes. As the rising curvature drives them to merge, no continuous configuration remains in the admissible domain of the Feynman-DeWitt measure. The location of $\mathcal{B}_Q$ is set by accretion history. For a spinning black hole, mass inflation carries curvature to the threshold at the inner horizon $r_{-}$, placing $\mathcal{B}_Q$ at a macroscopic radius and leaving the Cauchy horizon, ring, and deeper extensions outside the physical manifold. $\mathcal{B}_Q$ thereby acts as a quantum-geometric cutoff for the mass-inflation instability, capping the internal mass parameter at a finite amplification $n_{\rm qb} \approx (r_{-}/r_g)^3 (r_g/\ell_P)^2/\sqrt{48}$. Evaluating the Gibbons-Hawking-York boundary term over this terminal slice yields a finite interior action, $S_{GHY}^{qb} \approx \frac{3}{2} n_{\rm qb} Mc^2\,\Delta t$. Without invoking trans-Planckian degrees of freedom, these results suggest the classical singularity is not a physical event but the terminal boundary of the geometry's domain of definition.

Review history (2 revisions) →

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. From gravastar to central singularity

    gr-qc 2026-07 conditional novelty 5.0

    A simple thermodynamic model with negative entropy for the core finds gravastars unstable and always decaying to singular Schwarzschild black holes.

Reference graph

Works this paper leans on

20 extracted references · cited by 1 Pith paper

  1. [1]

    Ashtekar, A., Olmedo, J., & Singh, P. (2018). Quan- tum extension of the Kruskal spacetime.Phys. Rev. D,98, 126003

    2018

  2. [2]

    A., Khalatnikov, I

    Belinski, V. A., Khalatnikov, I. M., & Lifshitz, E. M. (1970). Oscillatory approach to a singular point in the relativistic cosmology.Adv. Phys.,19, 525

    1970

  3. [3]

    Bojowald, M. (2001). Absence of a singularity in loop quantum cosmology.Phys. Rev. Lett.,86, 5227

    2001

  4. [4]

    Carmeli, M., & Kaye, M. (1977). Gravitational field of a radiating rotating body.Annals of Physics,103, 97–107

    1977

  5. [5]

    DeWitt, B. S. (1967). Quantum theory of gravity. I. Phys. Rev.,160, 1113

    1967

  6. [6]

    Geroch, R., & Traschen, J. (1987). Strings and other distributional sources in general relativity.Phys. Rev. D,36, 1017

    1987

  7. [7]

    W., & Hawking, S

    Gibbons, G. W., & Hawking, S. W. (1977). Action integrals and partition functions in quantum gravity. Phys. Rev. D,15, 2752

    1977

  8. [8]

    B., & Hawking, S

    Hartle, J. B., & Hawking, S. W. (1983). Wave func- tion of the universe.Phys. Rev. D,28, 2960

    1983

  9. [9]

    W., & Ellis, G

    Hawking, S. W., & Ellis, G. F. R. (1973).The Large Scale Structure of Space-Time. Cambridge University Press

    1973

  10. [10]

    Israel, W. (1966). Singular hypersurfaces and thin shells in general relativity.Nuovo Cimento B,44, 1

    1966

  11. [11]

    S., & Wald, R

    Kay, B. S., & Wald, R. M. (1991). Theorems on the uniqueness and thermal properties of stationary, non- singular, quasifree states on spacetimes with a bifur- cate Killing horizon.Phys. Rep.,207, 49

    1991

  12. [12]

    Klainerman, S., Rodnianski, I., & Szeftel, J. (2015). The boundedL 2 curvature conjecture.Invent. Math., 202, 91–216

    2015

  13. [13]

    Marolf, D., & Ori, A. (2012). Outgoing gravitational shock wave at the inner horizon.Phys. Rev. D,86, 124026

    2012

  14. [14]

    Misner, C. W. (1957). Feynman quantization of gen- eral relativity.Rev. Mod. Phys.,29, 497–509

    1957

  15. [15]

    Penrose, R. (1965). Gravitational collapse and space- time singularities.Phys. Rev. Lett.,14, 57

    1965

  16. [16]

    Poisson, E., & Israel, W. (1990). Internal structure of black holes.Phys. Rev. D,41, 1796

    1990

  17. [17]

    Reuter, M. (1998). Nonperturbative evolution equa- tion for quantum gravity.Phys. Rev. D,57, 971

    1998

  18. [18]

    Rovelli, C., & Vidotto, F. (2014). Planck stars.Int. J. Mod. Phys. D,23, 1442026

    2014

  19. [19]

    Shaya, E. J. (2026). The Quantum Boundaries in Cosmology: Termination of the Sum over Geome- tries.In preparation

    2026

  20. [20]

    Weinberg, S. (1979). Ultraviolet divergences in quan- tum theories of gravitation. In S. W. Hawking & W. Israel (Eds.),General Relativity: An Einstein Cen- tenary Survey(pp. 790–831). Cambridge University Press. 6 Supplemental Material Derivation of the Schwarzschild Boundary Radius For a non-rotating Schwarzschild interior, the Kretschmann scalarKdiverge...

    1979