arxiv: 2603.21098 · v2 · submitted 2026-03-22 · 🌀 gr-qc

Recognition: 1 theorem link

· Lean Theorem

Some remarks on the horizon in the dust cloud collapse

Koushiki , W. Piechocki , G. Plewa

Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:31 UTC · model grok-4.3

classification 🌀 gr-qc

keywords dust cloud collapseapparent horizongravitational singularityexpansion functionsgeneral relativityblack hole formation

0 comments

The pith

An apparent horizon forms in dust cloud collapse far from the singularity, covering it.

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

The paper investigates whether an apparent horizon exists during the gravitational collapse of an isolated dust cloud by employing expansion functions. It finds that such a horizon is present in spacetime regions distant from the central singularity, thereby hiding the singularity from outside observers. This matters because it addresses the classical general relativity prediction for black hole formation in dust collapse scenarios and clarifies where the description remains valid before quantum effects dominate near the singularity.

Core claim

Using expansion functions to study the collapse of an isolated dust cloud, the analysis shows that an apparent horizon exists in the region of spacetime far away from the gravitational singularity. Consequently, the singularity is covered by this horizon.

What carries the argument

Expansion functions, applied to track the location of apparent horizons in the spacetime geometry during dust cloud collapse.

If this is right

The gravitational singularity is hidden from distant observers by the horizon.
The collapse leads to a covered singularity in the classical regime.
The expansion method applies in the far region where quantum effects remain negligible.
Distant observers register the outcome as a black hole rather than a naked singularity.

Where Pith is reading between the lines

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

Quantum effects would need to be invoked only very close to the singularity itself.
The result is consistent with expectations from the cosmic censorship conjecture for this spherical dust model.
The same expansion approach could be tested on collapse with rotation or different initial density profiles.

Load-bearing premise

The expansion functions accurately capture the spacetime geometry and horizon formation in regions far from the singularity.

What would settle it

A numerical simulation of the isolated dust collapse that detects no apparent horizon at large distances from the center would contradict the finding.

read the original abstract

We examine the existence of an apparent horizon in the collapse of an isolated dust cloud using expansion functions. Our results indicate that in the region of spacetime far away from the gravitational singularity, the considered system has a horizon, in which case the singularity is covered. Using this method may have limited applicability in the neighbourhood of the gravitational singularity, where quantum effects are expected to be essential.

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

This is a minor technical remark confirming an apparent horizon in classical dust collapse far from the singularity via expansion functions, but the result is standard GR and the scope is narrow.

read the letter

The main point from this paper is that the authors find an apparent horizon in the collapse of an isolated dust cloud using expansion functions, at least in regions far from the gravitational singularity. This means the singularity is covered by the horizon in that part of spacetime. It's a confirmation rather than a breakthrough. They handle the limitations honestly by noting that the expansion functions method has limited use near the singularity, where quantum effects become important. That's a good sign of careful work. On the positive side, if the full text includes concrete calculations with these functions, it could serve as a check on standard results from Tolman-Bondi dust solutions. The math in GR for these models is well-established, so this might provide an alternative computational path. However, the result isn't new. Apparent horizons forming and covering singularities in dust collapse is textbook general relativity. The paper appears to be re-examining this with a specific technique rather than introducing new physics or resolving open issues. The soft spots are the narrow scope and lack of broader impact. Since the method doesn't extend to the singularity itself, it doesn't touch on the quantum gravity regime that makes these models interesting today. The abstract lacks details on derivations or error checks, which makes it hard to assess the rigor without the full paper, but assuming it's solid, the contribution remains small. This kind of remark is best for a niche audience interested in classical GR collapse calculations. A serious reader in the field might skim it for the method, but it won't be essential reading. I don't see enough here to bring to a reading group or to cite in future work. It probably shouldn't go to peer review either, as the evidence and novelty don't rise to the level that justifies referee effort.

Referee Report

1 major / 2 minor

Summary. The manuscript applies expansion functions to analyze the apparent horizon in the collapse of an isolated dust cloud within classical general relativity. It concludes that, sufficiently far from the central singularity, the spacetime develops a horizon that covers the singularity. The authors explicitly limit the applicability of their method to this far region and note that it cannot be used near the singularity where quantum effects are expected to dominate.

Significance. If the derivation holds, the result reproduces the standard outcome for spherically symmetric dust collapse (e.g., Tolman-Bondi models) that an apparent horizon forms and covers the singularity in the classical regime. This is consistent with the weak cosmic censorship conjecture in these restricted spacetimes. The significance is modest because the conclusion is already known from exact solutions; the paper's contribution lies mainly in illustrating the reach of the expansion-function technique away from the singularity, together with a clear statement of its domain of validity.

major comments (1)

[Main text (method and results sections)] The central claim that a horizon exists far from the singularity rests on the expansion-function analysis, yet the manuscript provides no explicit expansion ansatz, no definition of the apparent-horizon condition (e.g., the vanishing of the expansion of outgoing null geodesics), and no sample equation showing how the horizon radius is extracted. Without these, the result cannot be verified or reproduced from the text alone.

minor comments (2)

A brief comparison, even qualitative, to the exact Tolman-Bondi solution would help readers assess how the expansion-function result matches the known analytic horizon location.
The abstract and conclusion both state the limited applicability near the singularity; this caveat is appropriate but could be quantified by indicating the radial or curvature scale at which the expansion is expected to break down.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive feedback. We address the single major comment below and have revised the text to improve clarity and reproducibility.

read point-by-point responses

Referee: [Main text (method and results sections)] The central claim that a horizon exists far from the singularity rests on the expansion-function analysis, yet the manuscript provides no explicit expansion ansatz, no definition of the apparent-horizon condition (e.g., the vanishing of the expansion of outgoing null geodesics), and no sample equation showing how the horizon radius is extracted. Without these, the result cannot be verified or reproduced from the text alone.

Authors: We agree that the original manuscript did not present these technical elements with sufficient explicitness. In the revised version we have added, in Section 2, the explicit expansion ansatz employed for the dust cloud (new Equation (2)), a precise definition of the apparent-horizon condition as the vanishing of the outgoing null expansion θ₊ = 0, and a worked example (new Equation (5) and accompanying paragraph) that shows how the horizon radius is obtained by setting the expansion function to zero. These additions make the derivation fully reproducible from the text while preserving the original scope and conclusions. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper applies the method of expansion functions to the standard Tolman-Bondi dust collapse spacetime in classical GR. The central result—that an apparent horizon exists in the far region, thereby covering the singularity—is obtained by direct integration of the metric and expansion scalars; it does not reduce to a fitted parameter, a self-referential definition, or a load-bearing self-citation. The authors explicitly restrict the applicability of their expansion technique to the region away from the singularity and note its breakdown near the classical singularity where quantum effects dominate. No equation is shown to be equivalent to its own input by construction, and the derivation remains independent of any prior result by the same authors that would be required to close the argument. This is the expected non-circular outcome for a straightforward application of existing GR techniques to a well-studied model.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard general relativity and the dust approximation without introducing new free parameters or entities.

axioms (2)

standard math Einstein field equations of general relativity
Used to describe spacetime geometry during collapse
domain assumption Pressureless dust matter model
Isolated dust cloud with zero pressure as the collapsing system

pith-pipeline@v0.9.0 · 5350 in / 1083 out tokens · 41043 ms · 2026-05-15T01:31:37.114863+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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

Our results indicate that in the region of spacetime far away from the gravitational singularity, the considered system has a horizon, in which case the singularity is covered. Using this method may have limited applicability in the neighbourhood of the gravitational singularity, where quantum effects are expected to be essential.

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

43 extracted references · 43 canonical work pages

[1]

S. W. Hawking and G. F. R. Ellis,The Large Scale Structure of Spacetime, Cambridge Univer- sity Press, 1973. I

work page 1973
[2]

P. S. Joshi,Global Aspects in Gravitation and Cosmology, Oxford University Press, 1993. I

work page 1993
[3]

Goswami and G

R. Goswami and G. F. R. Ellis,Almost Birkhoff Theorem in General Relativity, Gen. Rel. Grav. 43, 2157 (2011) I

work page 2011
[4]

J. R. Oppenheimer and H. Snyder, Phys. Rev. Journals Archive56, 455 (1939). I

work page 1939
[5]

Datt, Zs

S. Datt, Zs. f. Phys.108314 (1938). I

work page 1938
[6]

F. J. Tipler,Singularities in conformally flat spacetimesPhys. Lett.64A, 8 (1977)

work page 1977
[7]

R. M. Wald, Chicago Univ. Pr., 1(1984)

work page 1984
[8]

Penrose,Gravitational Collapse: The Role of General Relativity, Riv

R. Penrose,Gravitational Collapse: The Role of General Relativity, Riv. Nuovo Cimento, Num. Sp. I, 1969. I

work page 1969
[9]

Penrose,Singularities and Time-Asymmetry, inGeneral Relativity: An Einstein Centenary Survey, ed

R. Penrose,Singularities and Time-Asymmetry, inGeneral Relativity: An Einstein Centenary Survey, ed. S. W. Hawking and W. Israel (Cambridge University Press, Cambridge, 1979), pp. 581–638. I

work page 1979
[10]

Christodoulou,Violation of cosmic censorship in the gravitational collapse of a dust cloud, Com- mun

D. Christodoulou,Violation of cosmic censorship in the gravitational collapse of a dust cloud, Com- mun. Math. Phys.93, 171-195 (1984). I

work page 1984
[11]

R. P. A. C. Newman,Strengths of naked singular- ities in Tolman-Bondi space-times, Class. Quant. Grav.3, 527-539 (1986). I 7

work page 1986
[12]

R. P. A. C. Newman and P. S. Joshi,Constraints on the Structure of Naked Singularities in Classi- cal General Relativity, Annals Phys.182, 112-119 (1988). I

work page 1988
[13]

P. S. Joshi and I. H. Dwivedi,Naked singularities in spherically symmetric inhomogeneous Tolman- Bondi dust cloud collapse, Phys. Rev. D47, 5357 (1993). I, II, V

work page 1993
[14]

I. H. Dwivedi, P. S. Joshi,On the Occurrence of Naked Singularity in Spherically Symmetric Grav- itational Collapse, Commun. Math. Phys.166, 117 (1994). I

work page 1994
[15]

P. S. Joshi and T. P. Singh,Role of initial data in the gravitational collapse ef inhomogeneus dust, Phys. Rev. D51, 6778 (1995). I, II, V

work page 1995
[16]

Mosani, D

K. Mosani, D. Dey and P. S. Joshi,Global vis- ibility of a strong curvature singularity in non- marginally bound dust collapse, Phys. Rev. D102 (2020) no.4, 044037 I

work page 2020
[17]

T. A. Madhav, R. Goswami and P. S. Joshi, Gravitational collapse in asymptotically anti-de Sitter/de Sitter backgrounds, Phys. Rev. D72 (2005), 084029 I

work page 2005
[18]

Goswami and P

R. Goswami and P. S. Joshi,Spherical gravita- tional collapse in N-dimensions, Phys. Rev. D76 (2007), 084026

work page 2007
[19]

Goswami and P

Koushiki, R. Goswami and P. S. Joshi,Universal- ity and Criticality in Mass-less Scalar Field Col- lapse, [arXiv:2512.20998 [gr-qc]]

work page arXiv
[20]

Koushiki and P. S. Joshi,Apparent horizon and causal structure of spacetime singularities, [arXiv:2508.14663 [gr-qc]]. I

work page arXiv
[21]

P. S. Joshi, D. Malafarina and R. Narayan,Equi- librium configurations from gravitational collapse, Class. Quant. Grav.28(2011), 235018 I

work page 2011
[22]

P. S. Joshi, D. Malafarina and R. Narayan, Distinguishing black holes from naked singulari- ties through their accretion disc properties, Class. Quant. Grav.31(2014), 015002

work page 2014
[23]

Goswami and P

R. Goswami and P. S. Joshi,Gravitational col- lapse of a self-interacting scalar field, Mod. Phys. Lett. A22(2007), 65-74 I

work page 2007
[24]

Barve, T

S. Barve, T. P. Singh, C. Vaz, and L. Witten, A simple derivation of the naked singularity in spherical dust collapse, Class. Quantum Grav.16, 1727 (1999). II, V

work page 1999
[25]

P. S. Joshi, N. Dadhich, and R. Maartens,Why do naked singularities form in gravitational col- lapse?, Phys. Rev. D65, 101501 (2002). V

work page 2002
[26]

K.Mosani, D.DeyandP.S.Joshi,Globally visible singularity in an astrophysical setup, Mon. Not. Roy. Astron. Soc.504(2021) no.4, 4743-4750 I

work page 2021
[27]

Mosani, Koushiki, P

K. Mosani, Koushiki, P. S. Joshi, J. V. Trivedi and T. Bhanja,Gravitational collapse of scalar and vector fields, Phys. Rev. D108(2023) no.4, 044049

work page 2023
[28]

Koushiki, P. S. Joshi and S. Bhattacharyya, On Formation of Primordial Naked Singularities, [arXiv:2501.14695 [gr-qc]]. I

work page arXiv
[29]

Akiyamaet al.[Event Horizon Telescope], First Sagittarius A* Event Horizon Telescope Re- sults

K. Akiyamaet al.[Event Horizon Telescope], First Sagittarius A* Event Horizon Telescope Re- sults. I. The Shadow of the Supermassive Black Hole in the Center of the Milky Way, Astrophys. J. Lett.930, no.2, L12 (2022). I

work page 2022
[30]

Kluźniak and T

W. Kluźniak and T. Krajewski,Outflows from Naked Singularities, Infall through the Black Hole Horizon: Hydrodynamic Simulations of Accretion in the Reissner-Nordström Space-Time, Phys. Rev. Lett.133, no.24, 241401 (2024). I

work page 2024
[31]

Saurabh, P

S. Saurabh, P. Bambhaniya and P. S. Joshi, Imaging ultracompact objects with radiatively in- efficient accretion flows, Astron. Astrophys.682 (2024), A113

work page 2024
[32]

Uniyal, I

A. Uniyal, I. K. Dihingia, Y. Mizuno and W. Kluźniak,GRMHD Study of Accretion onto Time-like Naked Singularities, Astrophys. J.993 (2025) no.1, 97 (2025). I

work page 2025
[33]

D. Dey, R. Shaikh and P. S. Joshi,Shadow of nulllike and timelike naked singularities without photon spheres, Phys. Rev. D103(2021) no.2, 024015 I

work page 2021
[34]

A. B. Joshi, D. Dey, P. S. Joshi and P. Bamb- haniya,Shadow of a Naked Singularity without Photon Sphere, Phys. Rev. D102(2020) no.2, 024022 I

work page 2020
[35]

D. N. Solanki, P. Bambhaniya, D. Dey, P. S. Joshi and K. N. Pathak,Shadows and precession of or- bits in rotating Janis–Newman–Winicour space- time, Eur. Phys. J. C82(2022) no.1, 77 I

work page 2022
[36]

D. Dey, R. Shaikh and P. S. Joshi,Perihe- lion precession and shadows near black holes and naked singularities, Phys.Rev.D102(2020)no.4, 044042 I

work page 2020
[37]

Góźdź, J

A. Góźdź, J. J. Ostrowski, A. P¸ edrak and W. Piechocki,Quantum system ascribed to the Oppenheimer–Snyder model of massive stars, Eur. Phys. J. C84, no.1, 10 (2024) I 8

work page 2024
[38]

Schmitz,Towards a quantum Oppenheimer- Snyder model, Phys

T. Schmitz,Towards a quantum Oppenheimer- Snyder model, Phys. Rev. D101, no.2, 026016 (2020) I

work page 2020
[39]

Goswami, P

R. Goswami, P. S. Joshi and P. Singh,Quantum evaporation of a naked singularity, Phys. Rev. Lett.96, 031302 (2006) I

work page 2006
[40]

Booth, M

I. Booth, M. P. Heller, G. Plewa, and M. Spalin- ski,On the apparent horizon in fluid-gravity du- ality, Phys. Rev. D83, 106005 (2011). III

work page 2011
[41]

A.AshtekarandB.Krishnan,Dynamical horizons and their properties, Phys. Rev. D68, 104030 (2003)

work page 2003
[42]

Schnetter, B

E. Schnetter, B. Krishnan, and F. Beyer,Intro- duction to dynamical horizons in numerical rela- tivity, Phys. Rev. D74, 024028 (2006). III

work page 2006
[43]

IV, IVA, IVA 9

Eric Poisson,A Relativist’s Toolkit: The Mathe- matics of Black-Hole Mechanics, Cambridge Uni- versity Press12, (2009). IV, IVA, IVA 9

work page 2009