arxiv: 2602.10804 · v2 · submitted 2026-02-11 · 🌀 gr-qc

Recognition: 2 theorem links

· Lean Theorem

Dust collapse and bounce in spherically symmetric quantum-inspired gravity models

Douglas M. Gingrich

Authors on Pith no claims yet

Pith reviewed 2026-05-16 05:22 UTC · model grok-4.3

classification 🌀 gr-qc

keywords dust collapsebouncequantum-inspired gravityspherically symmetric spacetimesHamiltonian constraintsapparent horizonsinhomogeneous dust

0 comments

The pith

Algebraic equations from Hamiltonian constraints describe dust collapse and bounce using only the vacuum solution in spherically symmetric quantum-inspired gravity models.

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

The paper develops a general algebraic method to track the collapse and possible bounce of dust in a wide range of spherically symmetric quantum-inspired gravity models. It begins with covariant Hamiltonian constraints that govern the dynamical evolution of many such models and solves them to obtain explicit relations for the outer boundary of the dust and the locations of apparent horizons, expressed solely in terms of the metric shape functions. The dust density inside the collapsing region is allowed to be inhomogeneous. Applying the resulting equations to several quantum-inspired metrics recovers previously known bounce results and generates new ones.

Core claim

The central claim is that the covariant Hamiltonian constraints, once solved for their Hamiltonian evolution, yield simple algebraic equations for the outer boundary motion and apparent horizons of collapsing dust, fully determined by the vacuum solution of the spacetime metric. These equations apply without assuming homogeneous density and directly produce bounce conditions when inserted into the shape functions of quantum-inspired models.

What carries the argument

Algebraic equations for outer boundary location versus time and apparent horizon positions, obtained by solving the covariant Hamiltonian constraints under dynamical flow and expressed in terms of metric shape functions.

If this is right

Bounce conditions become directly computable for any quantum-inspired metric once its vacuum shape functions are known.
The framework applies to inhomogeneous dust distributions without requiring additional assumptions about uniformity.
Previously derived bounce results for specific models can be recovered as special cases of the same algebraic relations.
New bounce predictions emerge for metrics not previously analyzed by other techniques.

Where Pith is reading between the lines

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

The same algebraic reduction could be tested on effective metrics arising in loop quantum cosmology or other canonical quantum gravity approaches.
Extending the method to include electromagnetic or scalar fields might reveal whether bounce persists for charged or self-interacting collapsing matter.
If the vacuum solution determines collapse for these models, similar constraint-based reductions may apply to axisymmetric or slowly rotating cases.

Load-bearing premise

The covariant Hamiltonian constraints under dynamical flow produce the metrics of many spherically symmetric gravity models, so that the vacuum solution alone determines the full dust collapse dynamics.

What would settle it

For a concrete quantum-inspired metric whose vacuum solution is known, compare the bounce time and horizon locations predicted by the algebraic equations against the results of a full numerical integration of the Einstein equations with the same metric and inhomogeneous dust initial data; any mismatch would falsify the claim that the vacuum solution suffices.

Figures

Figures reproduced from arXiv: 2602.10804 by Douglas M. Gingrich.

**Figure 2.** Figure 2: (left) Location of the outer boundary of dust [PITH_FULL_IMAGE:figures/full_fig_p016_2.png] view at source ↗

read the original abstract

We develop an algebraic equation to describe the collapse and possible bounce of dust in quantum-inspired gravity models with spherical symmetry from knowledge of the vacuum solution. Starting from a wide class of spherically symmetric spacetimes, we write down the covariant Hamiltonian constraints that under dynamical flow give rise to metrics of many spherically symmetric gravity models. The constraint equations are solved for the Hamiltonian evolution and simple equations for the location of the outer boundary of the dust versus time and the apparent horizons in terms of metric shape functions are obtained. The dust density is not assumed to be homogeneous inside the collapsing ball. Using the developed algebraic equations, we examine several quantum-inspired gravity metrics to obtain bounce results either previously obtained by different methods or new results.

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.

Desk Editor's Note private letter to a colleague

The paper gives a workable algebraic method to get dust collapse and bounce from vacuum metrics in quantum-inspired models, but the assumption that standard constraints carry over unchanged needs explicit checks.

read the letter

The main advance is turning the covariant Hamiltonian constraints into algebraic equations for the outer boundary motion and apparent horizons during inhomogeneous dust collapse. You start from the vacuum shape functions and get time-dependent expressions without solving the full system anew for each model. That covers non-homogeneous density, which is better than the usual uniform-ball setups, and the paper applies it to several quantum-inspired metrics to recover prior bounces plus a couple of new ones. The derivation is direct and the results are concrete enough to use as a quick scan tool across models. Credit for keeping the dust inhomogeneous and for showing the method works on existing vacuum solutions without extra fitting parameters. The soft spot is the implicit claim that the vacuum constraint structure still fixes the dust evolution once quantum-inspired modifications are present. If those modifications deform the constraint algebra or add extra effective terms in the matter sector, the algebraic equations could miss the correct dynamics. The paper applies the standard constraints directly but does not include a model-by-model verification that the algebra remains undeformed when dust is coupled. That step is load-bearing for the new bounce claims. This is aimed at people already working on spherical collapse in quantum gravity approaches who want a practical way to test bounce conditions. A reader who knows the vacuum metrics will get immediate value from the equations. It is concrete and falsifiable enough to deserve a serious referee, even if the constraint assumption will need tightening in revision. I would send it for review.

Referee Report

2 major / 1 minor

Summary. The manuscript develops an algebraic method to describe the collapse and possible bounce of inhomogeneous dust in spherically symmetric quantum-inspired gravity models, starting from the vacuum metric solutions. It writes down covariant Hamiltonian constraints under dynamical flow for a wide class of spherically symmetric spacetimes, solves them to obtain simple equations for the outer boundary location versus time and the apparent horizons in terms of the metric shape functions, and applies the resulting algebraic equations to several quantum-inspired metrics to recover prior bounce results or derive new ones.

Significance. If the central claim holds, the work supplies a general algebraic framework that links vacuum shape functions directly to dust dynamics without requiring homogeneity assumptions or full numerical integration. This could provide an efficient tool for examining bounces across multiple effective quantum gravity models, unifying results obtained by disparate methods and enabling quick checks for new metrics.

major comments (2)

[Hamiltonian constraints derivation] Section on derivation of covariant Hamiltonian constraints: the claim that vacuum shape functions fully determine the dust evolution rests on the assumption that the same constraint structure and matter Hamiltonian apply unchanged to the quantum-inspired effective metrics. If holonomy corrections or polymer quantization deform the constraint algebra or add effective terms upon coupling to dust, the algebraic equations for the boundary and horizons would require additional corrections; an explicit verification that the constraint algebra remains undeformed is needed to support the method's applicability.
[Results for specific metrics] Application to quantum-inspired metrics (results section): while bounce conditions are reported for several models, the manuscript does not provide a direct comparison of the algebraic predictions against the full dynamical evolution (e.g., via numerical integration of the modified equations) for at least one inhomogeneous case, leaving open whether the vacuum-derived algebra captures all relevant dynamics or misses higher-order effects.

minor comments (1)

[Notation and equations] Notation for the metric shape functions: the distinction between the vacuum functions and their effective counterparts in the quantum-inspired cases should be made explicit in the equations to avoid ambiguity when reading the algebraic solutions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and indicate the revisions made to clarify assumptions and strengthen the presentation.

read point-by-point responses

Referee: Section on derivation of covariant Hamiltonian constraints: the claim that vacuum shape functions fully determine the dust evolution rests on the assumption that the same constraint structure and matter Hamiltonian apply unchanged to the quantum-inspired effective metrics. If holonomy corrections or polymer quantization deform the constraint algebra or add effective terms upon coupling to dust, the algebraic equations for the boundary and horizons would require additional corrections; an explicit verification that the constraint algebra remains undeformed is needed to support the method's applicability.

Authors: We appreciate the referee pointing out this key assumption. In the quantum-inspired models we consider, the effective metrics arise from modified gravitational constraints in the vacuum sector, while the matter sector for dust is taken to retain its standard form, as is standard practice in the effective descriptions of these models in the literature. To address the concern, we have added a clarifying paragraph in the revised Section 2 that explains why the constraint algebra is expected to remain undeformed upon dust coupling for the specific models examined, referencing the original derivations of the effective metrics. A full first-principles analysis of possible deformations for arbitrary matter coupling is an important open question but is outside the scope of this work, which focuses on deriving algebraic dust dynamics from known vacuum shape functions. revision: partial
Referee: Application to quantum-inspired metrics (results section): while bounce conditions are reported for several models, the manuscript does not provide a direct comparison of the algebraic predictions against the full dynamical evolution (e.g., via numerical integration of the modified equations) for at least one inhomogeneous case, leaving open whether the vacuum-derived algebra captures all relevant dynamics or misses higher-order effects.

Authors: We agree that a direct numerical comparison for an inhomogeneous case would provide additional validation. However, the algebraic equations are obtained by solving the Hamiltonian constraints exactly for the given shape functions and dust distribution, so they capture the dynamics by construction within the model's assumptions. In the homogeneous limit, our results recover known bounce conditions previously obtained via numerical methods, offering indirect support. We have added a remark in the conclusions noting this as a valuable direction for future work involving full numerical integration of inhomogeneous cases, but such simulations are computationally demanding and beyond the present scope, which emphasizes the efficiency of the algebraic approach. revision: partial

Circularity Check

0 steps flagged

Derivation is self-contained; vacuum shape functions determine dust evolution without reduction to inputs

full rationale

The paper starts from a general class of spherically symmetric spacetimes, writes the covariant Hamiltonian constraints that generate the metrics under dynamical flow, and solves those constraints algebraically for the dust outer boundary location versus time and for apparent horizons, all expressed directly in terms of the vacuum metric shape functions. These equations are then evaluated on several given quantum-inspired vacuum metrics to obtain bounce conditions. No step defines the bounce in terms of itself, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation whose validity is presupposed by the present work. The central claim therefore remains independent of the specific metric functions supplied as input.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based on abstract only, the central claim rests on the assumption that vacuum solutions plus Hamiltonian constraints suffice for dust dynamics in quantum-inspired models; no explicit free parameters or invented entities are described.

axioms (2)

domain assumption Covariant Hamiltonian constraints under dynamical flow give rise to metrics of many spherically symmetric gravity models
Core starting point stated in the abstract for deriving the algebraic equations.
domain assumption Knowledge of the vacuum solution is sufficient to describe the collapse and bounce of dust
Fundamental premise allowing the method to proceed without full interior solution.

pith-pipeline@v0.9.0 · 5409 in / 1289 out tokens · 46495 ms · 2026-05-16T05:22:09.524531+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

We develop an algebraic equation to describe the collapse and possible bounce of dust in quantum-inspired gravity models with spherical symmetry from knowledge of the vacuum solution... The constraint equations are solved for the Hamiltonian evolution and simple equations for the location of the outer boundary of the dust versus time and the apparent horizons in terms of metric shape functions are obtained.
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The hypersurface deformed algebra encodes the covariance of the theory... A family of vacuum models are presented that ensure the closure of the algebra and the correct transformation properties of the structure function.

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

39 extracted references · 39 canonical work pages · 13 internal anchors

[1]

Oppenheimer and H

J.R. Oppenheimer and H. Snyder,On continued gravitational contraction,Phys. Rev. 56(1939) 455

work page 1939
[2]

Lemaître,The expanding universe,General Relativity and Gravitation29(1997) 641

A.G. Lemaître,The expanding universe,General Relativity and Gravitation29(1997) 641

work page 1997
[3]

Tolman,Effect of inhomogeneity on cosmological models,Proceedings of the National Academy of Sciences20(1934) 169

R.C. Tolman,Effect of inhomogeneity on cosmological models,Proceedings of the National Academy of Sciences20(1934) 169

work page 1934
[4]

Bondi,Spherically symmetrical models in general relativity,Monthly Notices of the Royal Astronomical Society107(1947) 410

H. Bondi,Spherically symmetrical models in general relativity,Monthly Notices of the Royal Astronomical Society107(1947) 410. 20

work page 1947
[5]

C. Vaz, L. Witten and T.P. Singh,Toward a midisuperspace quantization of Lemaitre-Tolman-Bondi collapse models,Phys. Rev. D63(2001) 104020 [gr-qc/0012053]

work page internal anchor Pith review Pith/arXiv arXiv 2001
[6]

Classical and quantum LTB model for the non-marginal case

C. Kiefer, J. Muller-Hill and C. Vaz,Classical and quantum LTB model for the non-marginal case,Phys. Rev. D73(2006) 044025 [gr-qc/0512047]

work page internal anchor Pith review Pith/arXiv arXiv 2006
[7]

Lasky, A

P. Lasky, A. Lun and R. Burston,Initial value formalism for Lemaître-Tolman-Bondi collapse,ANZIAM J49(2007) 53

work page 2007
[8]

Bojowald, E.I

M. Bojowald, E.I. Duque and D. Hartmann,Covariant Lemaître-Tolman-Bondi collapse in models of loop quantum gravity,Phys. Rev. D111(2025) 064002 [2412.18054]

work page arXiv 2025
[9]

Non-marginal LTB-like models with inverse triad corrections from loop quantum gravity

M. Bojowald, J.D. Reyes and R. Tibrewala,Non-marginal LTB-like models with inverse triad corrections from loop quantum gravity,Phys. Rev. D80(2009) 084002 [0906.4767]

work page internal anchor Pith review Pith/arXiv arXiv 2009
[10]

LTB spacetimes in terms of Dirac observables

K. Giesel, J. Tambornino and T. Thiemann,LTB spacetimes in terms of Dirac observables,Class. Quant. Grav.27(2010) 105013 [0906.0569]

work page internal anchor Pith review Pith/arXiv arXiv 2010
[11]

Ashtekar, T

A. Ashtekar, T. Pawlowski and P. Singh,Quantum nature of the big bang,Phys. Rev. Lett.96(2006) 141301

work page 2006
[12]

M. Han, C. Rovelli and F. Soltani,Geometry of the black-to-white hole transition within a single asymptotic region,Phys. Rev. D107(2023) 064011 [2302.03872]

work page arXiv 2023
[13]

Duque,Emergent modified gravity: The perfect fluid and gravitational collapse, Phys

E.I. Duque,Emergent modified gravity: The perfect fluid and gravitational collapse, Phys. Rev. D109(2024) 044014 [2311.08616]

work page arXiv 2024
[14]

Gravitational collapse in Painlev\'e-Gullstrand coordinates

Y. Kanai, M. Siino and A. Hosoya,Gravitational collapse in Painleve-Gullstrand coordinates,Prog. Theor. Phys.125(2011) 1053 [1008.0470]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[15]

Bojowald,Canonical Gravity and Applications: Cosmology, Black Holes, and Quantum Gravity, Cambridge University Press (2010)

M. Bojowald,Canonical Gravity and Applications: Cosmology, Black Holes, and Quantum Gravity, Cambridge University Press (2010)

work page 2010
[16]

Bojowald and E.I

M. Bojowald and E.I. Duque,Emergent modified gravity coupled to scalar matter, Phys. Rev. D109(2024) 084006 [2311.10693]

work page arXiv 2024
[17]

Husain, J.G

V. Husain, J.G. Kelly, R. Santacruz and E. Wilson-Ewing,Quantum Gravity of Dust Collapse: Shock Waves from Black Holes,Phys. Rev. Lett.128(2022) 121301 [2109.08667]

work page arXiv 2022
[18]

Lewandowski, Y

J. Lewandowski, Y. Ma, J. Yang and C. Zhang,Quantum Oppenheimer-Snyder and Swiss Cheese Models,Phys. Rev. Lett.130(2023) 101501 [2210.02253]

work page arXiv 2023
[19]

Husain, J.G

V. Husain, J.G. Kelly, R. Santacruz and E. Wilson-Ewing,Fate of quantum black holes,Phys. Rev. D106(2022) 024014 [2203.04238]. 21

work page arXiv 2022
[20]

Giesel, M

K. Giesel, M. Han, B.-F. Li, H. Liu and P. Singh,Spherical symmetric gravitational collapse of a dust cloud: Polymerized dynamics in reduced phase space,Phys. Rev. D 107(2023) 044047 [2212.01930]

work page arXiv 2023
[21]

Alonso-Bardaji and D

A. Alonso-Bardaji and D. Brizuela,Dynamical theory for spherical black holes in modified gravity,Phys. Rev. D112(2025) 104036 [2507.19380]

work page arXiv 2025
[22]

Bojowald and E.I

M. Bojowald and E.I. Duque,Emergent modified gravity: Covariance regained,Phys. Rev. D108(2023) 084066 [2310.06798]

work page arXiv 2023
[23]

Alonso-Bardaji and D

A. Alonso-Bardaji and D. Brizuela,Spacetime geometry from canonical spherical gravity,Phys. Rev. D109(2024) 044065 [2310.12951]

work page arXiv 2024
[24]

Canonical form of a deformed Poisson bracket spacetime

D.M. Gingrich,Canonical form of a deformed Poisson bracket spacetime,2511.20425

work page internal anchor Pith review Pith/arXiv arXiv
[25]

Time and a physical Hamiltonian for quantum gravity

V. Husain and T. Pawlowski,Time and a physical Hamiltonian for quantum gravity, Phys. Rev. Lett.108(2012) 141301 [1108.1145]

work page internal anchor Pith review Pith/arXiv arXiv 2012
[26]

Dust as a Standard of Space and Time in Canonical Quantum Gravity

J.D. Brown and K.V. Kuchar,Dust as a standard of space and time in canonical quantum gravity,Phys. Rev. D51(1995) 5600 [gr-qc/9409001]

work page internal anchor Pith review Pith/arXiv arXiv 1995
[27]

Kelly, R

J.G. Kelly, R. Santacruz and E. Wilson-Ewing,Black hole collapse and bounce in effective loop quantum gravity,Class. Quant. Grav.38(2021) 04LT01 [2006.09325]

work page arXiv 2021
[28]

Münch,Causal structure of a recent loop quantum gravity black hole collapse model, Phys

J. Münch,Causal structure of a recent loop quantum gravity black hole collapse model, Phys. Rev. D104(2021) 046019 [2103.17112]

work page arXiv 2021
[29]

Lemaitre-Tolman-Bondi collapse from the perspective of loop quantum gravity

M. Bojowald, T. Harada and R. Tibrewala,Lemaitre-Tolman-Bondi collapse from the perspective of loop quantum gravity,Phys. Rev. D78(2008) 064057 [0806.2593]

work page internal anchor Pith review Pith/arXiv arXiv 2008
[30]

Kelly, R

J.G. Kelly, R. Santacruz and E. Wilson-Ewing,Effective loop quantum gravity framework for vacuum spherically symmetric spacetimes,Phys. Rev. D102(2020) 106024 [2006.09302]

work page arXiv 2020
[31]

Y. Liu, D. Malafarina, L. Modesto and C. Bambi,Singularity avoidance in quantum-inspired inhomogeneous dust collapse,Phys. Rev. D90(2014) 044040 [1405.7249]

work page internal anchor Pith review Pith/arXiv arXiv 2014
[32]

Black-bounce to traversable wormhole

A. Simpson and M. Visser,Black-bounce to traversable wormhole,JCAP02(2019) 042 [1812.07114]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[33]

Alonso-Bardaji and D

A. Alonso-Bardaji and D. Brizuela,Nonsingular collapse of a spherical dust cloud, Phys. Rev. D109(2024) 064023 [2312.15505]

work page arXiv 2024
[34]

Belfaqih, M

I.H. Belfaqih, M. Bojowald, S. Brahma and E.I. Duque,Black holes in effective loop quantum gravity: Covariant holonomy modifications,Phys. Rev. D112(2025) 046022 [2407.12087]

work page arXiv 2025
[35]

de Haro,Novikov Coordinates and the Physical Description of Gravitational Collapse,Universe12(2026) 32 [2601.18660]

J. de Haro,Novikov Coordinates and the Physical Description of Gravitational Collapse,Universe12(2026) 32 [2601.18660]. 22

work page arXiv 2026
[36]

Faraoni and G

V. Faraoni and G. Vachon,When Painlevé–Gullstrand coordinates fail,Eur. Phys. J. C80(2020) 771 [2006.10827]

work page arXiv 2020
[37]

Fazzini, C

F. Fazzini, C. Rovelli and F. Soltani,Painlevé-Gullstrand coordinates discontinuity in the quantum Oppenheimer-Snyder model,Phys. Rev. D108(2023) 044009 [2307.07797]

work page arXiv 2023
[38]

A black hole mass threshold from non-singular quantum gravitational collapse

M. Bojowald, R. Goswami, R. Maartens and P. Singh,A Black hole mass threshold from non-singular quantum gravitational collapse,Phys. Rev. Lett.95(2005) 091302 [gr-qc/0503041]

work page internal anchor Pith review Pith/arXiv arXiv 2005
[39]

Non-singular quantum-inspired gravitational collapse

C. Bambi, D. Malafarina and L. Modesto,Non-singular quantum-inspired gravitational collapse,Phys. Rev. D88(2013) 044009 [1305.4790]. 23

work page internal anchor Pith review Pith/arXiv arXiv 2013