REVIEW 2 major objections 5 minor 53 references
Primordial black hole formation from a type II perturbation in the absence and presence of pressure
T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read For pressureless spherical collapse, type II initial perturbations and type B spacetimes with a bifurcating trapping horizon are exactly the same phenomenon, and pressure breaks this equivalence.
desk verdict A clean proof of the dust equivalence in the long-wavelength limit, with a new necessity argument; the abstract's blanket 'dust fluid system' overstates the domain. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the Lemaitre-Tolman-Bondi solution, the general spherically symmetric dust spacetime, with free functions $E(r)$ and $M(r)$. In the long-wavelength limit the curvature perturbation fixes $E(r) = \frac{1}{2}[-1 + (1 + r\,\partial_r\zeta)^2]$, and trapping horizons are located by $R = 2M$, giving explicit time functions $t_{TH\pm}(r)$. The bifurcation condition $t_{TH+}(r_b) = t_{TH-}(r_b)$ reduces to $y(x) = 0$ with $x = 1 + 4E(r_b)$ and $y(x) = \pi - \cos^{-1}x + \cos^{-1}(-x) + 2\sqrt{1-x^2}$; monotonicity of $y$ forces $x = -1$, i.e., $E(r_b) = -1/2$. The same value of $E$ is equivalent, through the long-wavelength map, to $\partial_r R = 0$, closing the if-and-only-if chain. The numerical part then varies the equation-of-state parameter $w = p/\rho$ to show the chain breaks once pressure is present.
What would settle it
Compute, for an arbitrary dust LTB solution, the initial areal radius $R(t_i,r)$ on a synchronous slice close to the big bang for a configuration that already has a bifurcating trapping horizon ($E(r_b) = -1/2$). The equivalence predicts $\partial_r R(t_i,r_b) = 0$ must appear; finding such a solution without the stationary point would falsify the necessity direction. A companion numerical test is to initialize dust collapse with a Gaussian curvature profile of finite wavelength, so that $\epsilon = k/(aH) \sim 1$, and check whether the bifurcating horizon still tracks the stationary point; losing that tracking would show where the long-wavelength assumption carries the proof.
Extended reading notes
Core claim
The central claim is an equivalence theorem for spherically symmetric dust collapse. On the initial-data side, a fluctuation is type II if the areal radius $R(r) = a e^{\zeta(r)} r$ has a stationary point $\partial_r R = 0$; on the spacetime side, a formed black hole is type B if its future and past trapping horizons meet at a bifurcating trapping horizon. Within the Lemaitre-Tolman-Bondi solution, the paper proves that a stationary point exists if and only if the free function $E(r)$ takes the value $E = -1/2$, and that $E = -1/2$ is exactly the unique solution of the bifurcation condition $t_{TH+}(r_b) - t_{TH-}(r_b) = 0$. Therefore, for dust, type I/II and type A/B coincide for every fluctuation profile. The paper also shows numerically that the equivalence fails in the presence of pressure: stiffer equations of state make stationary points disappear and reappear, and sufficiently stiff fluids produce type II-A spacetimes with no bifurcating horizon.
Load-bearing premise
The proof assumes the long-wavelength map $E = \frac{1}{2}[-1 + (1 + r\,\partial_r\zeta)^2]$ between the curvature perturbation and the LTB energy function holds exactly, and that the stationary points are regular rather than shell-crossing singular; if either assumption fails, the equivalence is not established.
Editorial extensions
If this is right
- In a dust-dominated epoch, every PBH formed from a type II fluctuation has a bifurcating trapping horizon; type II-A dust collapse does not exist.
- The amplitude threshold for the initial profile to develop a stationary point, $\mu_{II}$, also equals the threshold $\mu_B$ for a bifurcating horizon, so one threshold calculation serves both classifications.
- The equivalence is independent of the fluctuation profile, so it covers any spherically symmetric long-wavelength curvature perturbation, not just the Gaussian example plotted in the paper.
- With pressure, the link splits: the same type II initial data can end as a type A spacetime for $w > 0$, and stiffer equations of state raise the threshold for type B formation.
- For dust, a bifurcating trapping horizon in the final spacetime forces the initial areal radius to have a stationary point, giving a constraint on which initial data can produce such spacetimes.
Reading between the lines
- Because the whole equivalence collapses into the single condition $E = -1/2$, the same algebraic criterion could be tested in any matter model with a known long-wavelength map between $\zeta$ and the analogue of $E$, giving a unified test for when type II implies type B.
- The dust result implies that PBH abundance estimates in dust-dominated or matter-dominated phases can treat type II fluctuations as one class, whereas in radiation-dominated phases the type II-A cases require tracking the two classifications separately.
- A concrete next calculation is to initialize dust collapse with the same Gaussian profile at finite $k/(aH)$ and evolve it with full numerical relativity; if a bifurcating horizon appears without a stationary initial point, the long-wavelength map is the limiting step.
- The monotonic function $y(x)$ used in the proof transfers naturally to other horizon-bifurcation problems, such as cosmological wormholes, wherever two trapping-horizon branches are defined by matching times.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the relation between two classifications used in primordial black hole formation: type I/II initial curvature perturbations, defined by the presence or absence of a stationary point of the areal radius at an initial long-wavelength slice, and type A/B horizon configurations, defined by the absence or presence of a bifurcating trapping horizon. Working with LTB dust in the long-wavelength limit, the authors prove both directions of equivalence: a stationary point implies E(rp) = -1/2 and hence tTH+(rp) = tTH-(rp), and a bifurcating horizon implies, through a monotonicity argument for y(x), that E(rb) = -1/2 and hence a stationary point. The proof is illustrated with a Gaussian profile and with numerical evolutions for equations of state w = 0, 0.15, 1/3, and 1. The paper concludes that for dust the type II threshold equals the type B threshold, while for fluids with pressure the equivalence fails and type B is suppressed.
Significance. The result is a clean analytic contribution: it explains and generalizes the earlier KHW observation for dust and sharpens the recent numerical finding that type II-A configurations exist for radiation. The proof is self-contained, uses no fitted parameters, and gives a transparent monotonicity argument in Eq. (3.4). The explicit example and the numerical comparison across equations of state strengthen the paper's message. The main caveat is that the theorem's proven domain is the long-wavelength initial-data class, not all LTB dust solutions; the abstract's phrasing is broader than the proof. Even with that qualification, the paper is useful for PBH classification and threshold estimates.
major comments (2)
- [§3 (first paragraph), §3.1, §3.2, Eq. (2.10)] The equivalence proof relies on Eq. (2.10), which the paper states is valid only in the long-wavelength limit ϵ ≪ 1. The claim in Section 3 that the equivalence holds 'regardless of the functional forms of M(r) and E(r)' is therefore not established for general LTB dust solutions. In a general LTB solution with tB = 0, the areal radius near the big bang behaves as R ≈ (9M/2)^{1/3} t^{2/3}, so the initial stationary-point condition is M'(r0) = 0, which is independent of E(r0). For example, take E(r) ≡ -0.4 and M(r) = M0 + A(r - r0)^2; then ∂rR = 0 at r0 for all sufficiently small t, but x = 1 + 4E(r0) = -0.6 gives y(x) > 0 in Eq. (3.3), so tTH+(r0) - tTH-(r0) > 0 and the configuration is type A. Thus the equivalence is a property of the long-wavelength parametrization of initial data by a single profile ζ(r), not of dust collapse in general. The abstract and conclusion should be qualified to this domain.
- [§3.2, Eq. (3.3)] In the necessity proof, Eq. (3.3) is divided by M(rb)/(-2E(rb))^{3/2} to conclude y(x) = 0. The argument implicitly assumes M(rb) > 0 (and, from the restriction E < 0, (-2E)^{3/2} > 0). If M(rb) = 0, the equation holds for any x and the unique conclusion E(rb) = -1/2 does not follow. Since the paper does not state this assumption, the theorem as written is formally incomplete; it should explicitly restrict to black-hole-forming configurations with M(rb) > 0.
minor comments (5)
- [Footnote 2 and §3] Footnote 2 excludes shell-crossing singularities, but Section 3 does not repeat this restriction; the theorem statement should mention that the stationary points and the bifurcation point are assumed regular.
- [Figure 5] The horizontal axis is z/L, but z is defined only by reference to Eq. (2.3) of Ref. [25]; a brief definition of z in this paper would improve readability.
- [Title block] The arXiv ePrint line reads '2505.XXXXX'; this placeholder should be replaced with the actual arXiv identifier.
- [§4.2] The text says 'a stiffer w increases the threshold µB for type B PBH formation, similar to the effect on the threshold µA for black hole formation,' but µA is not defined in this paper; it should be defined or replaced by a reference to the black-hole-formation threshold.
- [General] The notation 'type I/II' and 'type A/B' is used throughout; a short table summarizing the four combinations and which ones are realized for w = 0 and w > 0 would help readers.
Circularity Check
No significant circularity: the type I/II and type A/B equivalence is derived from the LTB and trapping-horizon equations with no fitted inputs; self-citations are contextual only.
full rationale
The central claim is proved in Section 3 without fitting or renaming. In Section 3.1, a stationary point ∂_r R(r_p)=0 gives E(r_p)=-1/2 through Eq. (2.10), and direct substitution into the trapping-horizon times (2.18)-(2.19) gives t_TH+(r_p)=t_TH-(r_p)=πM(r_p), so type II implies type B. In Section 3.2, the bifurcation condition t_TH+(r_b)-t_TH-(r_b)=0 is reduced to M(r_b)(-2E(r_b))^{-3/2}y(x)=0 with x=1+4E(r_b); the paper proves y(x) is continuous and monotone on [-1,1], so the only root is x=-1, i.e. E(r_b)=-1/2, and Eq. (2.10) then yields ∂_r R(r_b)=0. Both directions are algebraic consequences of the stated LTB equations; no parameter is fitted to the conclusion and no external result is assumed. The citation of Refs. [15,17] in Section 3.1 is not load-bearing because the two-line calculation is shown. Self-citations such as Ref. [25] are used mainly for motivation, context, and the numerical demonstration of pressure effects in Section 4.2, not to establish the dust equivalence. The paper itself notes that the key relation (2.10) 'is valid only in the limit' (Section 2.2), so the equivalence is proven for the long-wavelength adiabatic growing-mode subclass of LTB models; this limits the abstract's unconditioned phrasing but is a domain restriction, not circularity. The explicit redefinition of type II in Section 2.1 as the existence of a stationary point is transparent and fixes the theorem's hypotheses.
Assumptions & free parameters
assumptions (5)
- domain assumption Long-wavelength approximation ϵ = k/(aH) << 1 holds for initial data.
- domain assumption Dust fluid (p=0) and growing mode only, with t_B(r)=0.
- domain assumption Stationary points of R are regular; shell-crossing singularities are excluded.
- ad hoc to paper M(rb) > 0 at the bifurcating trapping horizon.
- standard math Standard identities for spherical trapping horizons: R=2M and monotonic properties of inverse cosine.
Cite this review
Pith. "Pith review of Primordial black hole formation from a type II perturbation in the absence and presence of pressure." pith.science (2026). https://pith.science/paper/6ZWFOEVD
@misc{pith2026250500366,
author = {Pith},
title = {Pith review of: Primordial black hole formation from a type II perturbation in the absence and presence of pressure},
year = {2026},
howpublished = {\url{https://pith.science/paper/6ZWFOEVD}},
note = {Machine review of arXiv:2505.00366}
}
read the original abstract
We investigate primordial black holes (PBHs) formed from extremely large amplitudes of primordial curvature fluctuations, classified as type II. Type II fluctuations differ from type I by the presence of a stationary point on the initial time slice, when we see the areal radius as a function of the radial coordinate. Starting from these type II perturbations to form black holes, the nonlinear evolution governed by the Einstein equations generally results in two distinct types, A and B, of horizon configurations, respectively characterized by the absence and presence of a bifurcating trapping horizon where past and future trapping horizons meet. In this paper, we use the Lemaitre-Tolman-Bondi solution to show that type I/II and type A/B classifications are equivalent for a spherically symmetric dust fluid system, regardless of the fluctuation profile. However, this equivalence does not generally hold in the presence of pressure.
Reference graph
Works this paper leans on
-
[1]
J.R. Oppenheimer and H. Snyder, On Continued gravitational contraction, Phys. Rev. 56 (1939) 455
work page 1939
-
[2]
Y.B. Zel’dovich and I.D. Novikov, The Hypothesis of Cores Retarded during Expansion and the Hot Cosmological Model, Soviet Astron. AJ (Engl. Transl. ), 10 (1967) 602
work page 1967
-
[3]
S. Hawking, Gravitationally Collapsed Objects of Very Low Mass , Monthly Notices of the Royal Astronomical Society 152 (1971) 75 [https://academic.oup.com/mnras/article-pdf/152/1/75/9360899/mnras152-0075.pdf]
work page 1971
-
[4]
B.J. Carr and S.W. Hawking, Black Holes in the Early Universe , Monthly Notices of the Royal Astronomical Society 168 (1974) 399 [https://academic.oup.com/mnras/article-pdf/168/2/399/8079885/mnras168-0399.pdf]
work page 1974
-
[5]
Carr, The Primordial black hole mass spectrum , Astrophys
B.J. Carr, The Primordial black hole mass spectrum , Astrophys. J. 201 (1975) 1
1975
-
[6]
T. Harada and B.J. Carr, Upper limits on the size of a primordial black hole , Phys. Rev. D 71 (2005) 104009
work page 2005
-
[7]
M. Kopp, S. Hofmann and J. Weller, Separate universes do not constrain primordial black hole formation, Phys. Rev. D 83 (2011) 124025
work page 2011
-
[8]
Misner, Gravitational collapse., pp 115-215 of Astrophysics and General Relativity
C.W. Misner, Gravitational collapse., pp 115-215 of Astrophysics and General Relativity. Vol. I. / Chretien, M. (ed.). New York Gordon and Breach, Science Publishers, Inc. (1969)
work page 1969
Show all 53 references
-
[9]
Barnes, On gravitational collapse against a cosmological background , Journal of Physics A: General Physics 3 (1970) 653
A. Barnes, On gravitational collapse against a cosmological background , Journal of Physics A: General Physics 3 (1970) 653. – 12 –
1970
-
[10]
Zel’dovich and L.P
Y.B. Zel’dovich and L.P. Grishchuk, Structure and future of the ‘new’ universe , Monthly Notices of the Royal Astronomical Society 207 (1984) 23P [https://academic.oup.com/mnras/article-pdf/207/1/23P/18223810/mnras207-023P.pdf]
1984
-
[11]
Y. Suto, K. Sato and H. Sato, Nonlinear evolution of negative density perturbations in a radiation-dominated universe, Progress of Theoretical Physics 72 (1984) 1137 [https://academic.oup.com/ptp/article-pdf/72/6/1137/5445109/72-6-1137.pdf]
1984
-
[12]
Sussman, Conformal structure of a Schwarzschild black hole immersed in a Friedmann universe., General Relativity and Gravitation 17 (1985) 251
R.A. Sussman, Conformal structure of a Schwarzschild black hole immersed in a Friedmann universe., General Relativity and Gravitation 17 (1985) 251
1985
-
[13]
Hellaby and K
C. Hellaby and K. Lake, Shell crossings and the Tolman model , Astrophys. J. 290 (1985) 381
1985
-
[14]
Hellaby, A kruskal-like model with finite density , Classical and Quantum Gravity 4 (1987) 635
C. Hellaby, A kruskal-like model with finite density , Classical and Quantum Gravity 4 (1987) 635
1987
-
[15]
Krasi´ nski and C
A. Krasi´ nski and C. Hellaby,Formation of a galaxy with a central black hole in the lemaˆ ıtre-tolman model, Phys. Rev. D 69 (2004) 043502
2004
-
[16]
Hellaby and A
C. Hellaby and A. Krasinski, You can’t get through Szekeres wormholes: Or, regularity, topology and causality in quasispherical Szekeres models , Phys. Rev. D 66 (2002) 084011 [gr-qc/0206052]
2002 arXiv
-
[17]
Plebanski and A
J. Plebanski and A. Krasinski, An introduction to general relativity and cosmology , Cambridge University Press (2006)
2006
-
[18]
A.D. Gow, H. Assadullahi, J.H.P. Jackson, K. Koyama, V. Vennin and D. Wands, Non-perturbative non-gaussianity and primordial black holes , Europhysics Letters 142 (2023) 49001
2023
-
[19]
Escriv` a, V
A. Escriv` a, V. Atal and J. Garriga, Formation of trapped vacuum bubbles during inflation, and consequences for PBH scenarios, JCAP 10 (2023) 035 [ 2306.09990]
2023
-
[20]
Shimada, A
M. Shimada, A. Escriv´ a, D. Saito, K. Uehara and C.-M. Yoo, Primordial Black Hole Formation from Type II Fluctuations with Primordial Non-Gaussianity , 2411.07648
-
[21]
R. Inui, C. Joana, H. Motohashi, S. Pi, Y. Tada and S. Yokoyama, Primordial black holes and induced gravitational waves from logarithmic non-Gaussianity , 2411.07647
-
[22]
Escriv` a,The threshold for PBH formation in the type-II region and its analytical estimation , 2504.05814
A. Escriv` a,The threshold for PBH formation in the type-II region and its analytical estimation , 2504.05814
-
[23]
H. Deng, J. Garriga and A. Vilenkin, Primordial black hole and wormhole formation by domain walls, JCAP 04 (2017) 050 [ 1612.03753]
2017 arXiv
-
[24]
Deng and A
H. Deng and A. Vilenkin, Primordial black hole formation by vacuum bubbles , JCAP 12 (2017) 044 [1710.02865]
2017 arXiv
-
[25]
Uehara, A
K. Uehara, A. Escriv` a, T. Harada, D. Saito and C.-M. Yoo, Numerical simulation of type II primordial black hole formation , JCAP 01 (2025) 003 [ 2401.06329]
2025
-
[26]
Hayward, General laws of black hole dynamics , Phys
S.A. Hayward, General laws of black hole dynamics , Phys. Rev. D 49 (1994) 6467
1994
-
[27]
Hayward, Gravitational energy in spherical symmetry , Phys
S.A. Hayward, Gravitational energy in spherical symmetry , Phys. Rev. D 53 (1996) 1938 [gr-qc/9408002]
1996 arXiv
-
[28]
Maeda, T
H. Maeda, T. Harada and B.J. Carr, Cosmological wormholes, Phys. Rev. D 79 (2009) 044034 [0901.1153]
2009 arXiv
-
[29]
Escriv` a,A new approach for simulating PBH formation from generic curvature fluctuations with the Misner-Sharp formalism , 2504.05813
A. Escriv` a,A new approach for simulating PBH formation from generic curvature fluctuations with the Misner-Sharp formalism , 2504.05813
-
[30]
Shibata and M
M. Shibata and M. Sasaki, Black hole formation in the friedmann universe: Formulation and computation in numerical relativity , Phys. Rev. D 60 (1999) 084002. – 13 –
1999
-
[31]
Lyth, K.A
D.H. Lyth, K.A. Malik and M. Sasaki, A general proof of the conservation of the curvature perturbation, Journal of Cosmology and Astroparticle Physics 2005 (2005) 004
2005
-
[32]
Harada and S
T. Harada and S. Jhingan, Spherical and nonspherical models of primordial black hole formation: exact solutions , PTEP 2016 (2016) 093E04 [ 1512.08639]
2016 arXiv
-
[33]
Tolman, Effect of imhomogeneity on cosmological models , Proc
R.C. Tolman, Effect of imhomogeneity on cosmological models , Proc. Nat. Acad. Sci. 20 (1934) 169
1934
-
[34]
Polnarev and I
A.G. Polnarev and I. Musco, Curvature profiles as initial conditions for primordial black hole formation, Class. Quant. Grav. 24 (2007) 1405 [ gr-qc/0605122]
2007 arXiv
-
[35]
Harada, C.-M
T. Harada, C.-M. Yoo, T. Nakama and Y. Koga, Cosmological long-wavelength solutions and primordial black hole formation , Phys. Rev. D 91 (2015) 084057
2015
-
[36]
Lemaitre, The expanding universe , Annales Soc
G. Lemaitre, The expanding universe , Annales Soc. Sci. Bruxelles A 53 (1933) 51
1933
-
[37]
Misner, K.S
C.W. Misner, K.S. Thorne and J.A. Wheeler, Gravitation, W. H. Freeman, San Francisco (1973)
1973
-
[38]
Yoo, The basics of primordial black hole formation and abundance estimation , Galaxies 10 (2022)
C.-M. Yoo, The basics of primordial black hole formation and abundance estimation , Galaxies 10 (2022)
2022
-
[39]
Silk, Large-scale inhomogeneity of the universe: spherically symmetric models
J. Silk, Large-scale inhomogeneity of the universe: spherically symmetric models. , A&A 59 (1977) 53
1977
-
[40]
Hayward, General laws of black-hole dynamics , Phys
S.A. Hayward, General laws of black-hole dynamics , Phys. Rev. D 49 (1994) 6467
1994
-
[41]
Poisson, A relativist’s toolkit : the mathematics of black-hole mechanics , Cambridge University Press (2004)
E. Poisson, A relativist’s toolkit : the mathematics of black-hole mechanics , Cambridge University Press (2004)
2004
-
[42]
Zeldovich and I.D
Y.B. Zeldovich and I.D. Novikov, RELATIVISTIC ASTROPHYSICS. VOL. 2. THE STRUCTURE AND EVOLUTION OF THE UNIVERSE (1983)
1983
-
[43]
Novikov and V.P
I.D. Novikov and V.P. Frolov, PHYSICS OF BLACK HOLES , Kluwer Academic, Dordrecht, Netherlands (1989), 10.1007/978-94-017-2651-1
1989 doi
-
[44]
Frolov and I.D
V.P. Frolov and I.D. Novikov, eds., Black hole physics: Basic concepts and new developments (1998), 10.1007/978-94-011-5139-9
1998 doi
-
[45]
Zel’Dovich, Semiclosed Worlds in the General Theory of Relativity , Soviet Journal of Experimental and Theoretical Physics 16 (1963) 732
Y.B. Zel’Dovich, Semiclosed Worlds in the General Theory of Relativity , Soviet Journal of Experimental and Theoretical Physics 16 (1963) 732
1963
-
[46]
Novikov, On the Evolution of a Semiclosed World , Soviet Ast
I.D. Novikov, On the Evolution of a Semiclosed World , Soviet Ast. 7 (1964) 587
1964
-
[47]
Gourgoulhon, Geometry and physics of black holes , 2022
E. Gourgoulhon, Geometry and physics of black holes , 2022. https://luth.obspm.fr/~luthier/gourgoulhon/bh16/
2022
-
[48]
Yoo, Primordial black hole formation from a nonspherical density profile with a misaligned deformation tensor , Phys
C.-M. Yoo, Primordial black hole formation from a nonspherical density profile with a misaligned deformation tensor , Phys. Rev. D 110 (2024) 043526 [ 2403.11147]
2024 arXiv
-
[49]
C.-M. Yoo, T. Harada, S. Hirano, H. Okawa and M. Sasaki, Primordial black hole formation from massless scalar isocurvature, Phys. Rev. D 105 (2022) 103538
2022
-
[50]
C.-M. Yoo, H. Okawa and K.-i. Nakao, Black-hole universe: Time evolution , Phys. Rev. Lett. 111 (2013) 161102
2013
-
[51]
Okawa, H
H. Okawa, H. Witek and V. Cardoso, Black holes and fundamental fields in numerical relativity: Initial data construction and evolution of bound states , Phys. Rev. D 89 (2014) 104032
2014
-
[52]
Musco and J.C
I. Musco and J.C. Miller, Primordial black hole formation in the early universe: critical behaviour and self-similarity , Class. Quant. Grav. 30 (2013) 145009 [ 1201.2379]
2013 arXiv
-
[53]
Escriv` a, C
A. Escriv` a, C. Germani and R.K. Sheth, Analytical thresholds for black hole formation in general cosmological backgrounds, JCAP 01 (2021) 030 [ 2007.05564]. – 14 –
2021 arXiv
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.