{"id":"08d7a6e0-b7e9-4186-8990-60e779e17d3f","arxiv_id":"2505.00366","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For LTB dust collapse, type II initial perturbations produce type B black hole horizons (with bifurcating trapping horizons), and vice versa, for any fluctuation profile.","lead":"This paper proves that for dust-filled (pressureless) spherical collapse, the two classification schemes for primordial black hole formation coincide: an initial curvature perturbation of type II (with a stationary point in the areal radius) is exactly equivalent to the formation of a type B horizon with a bifurcating trapping horizon. The equivalence breaks down when pressure is present, which the authors demonstrate with numerical simulations.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equivalence proof relies on long-wavelength relation (2.10); generic LTB dust admits type II without type B, so the abstract overstates the domain.","rationale":"The reader's weakest assumption identifies the long-wavelength approximation as the fragile point, and I agree. My stress-test strengthens the concern by exhibiting a valid LTB dust spacetime (constant E = -0.4, M with a local extremum) that has an initial stationary point of R (type II) yet no bifurcating trapping horizon (type A). This shows the equivalence theorem is not a general property of spherical dust collapse; it holds because the long-wavelength construction (2.10)-(2.14) forces M'(r0)=0 whenever E(r0)=-1/2, which is not true for arbitrary LTB data. The proof in Section 3 is correct within the stated framework, so the paper's substantive result stands. However, the abstract, the introduction, and the conclusion state the equivalence without the long-wavelength qualifier, which is misleading and could lead to incorrect applications. Therefore the appropriate verdict is CONDITIONAL acceptance, with the condition that the authors explicitly scope the claim to long-wavelength initial data (and growing modes) in the abstract and conclusion. This is a presentation/scoping issue rather than a mathematical error, so it does not require rejection or a fundamental rework.","tokens_in":1039,"tokens_out":13511,"duration_ms":399760,"concrete_test":"Construct the exact LTB solution with E(r) = -0.4, M(r) = M0 + A(r-r0)^2, tB=0. Verify that near the big bang R ≈ (9M/2)^{1/3} t^{2/3} gives ∂_rR = 0 at r0 (type II initial data). Then use Eqs. (2.18)-(2.19) to compute tTH±(r0); for E=-0.4, 1+4E=-0.6 and y(-0.6) = π - arccos(-0.6) + arccos(0.6) + 2√(1-0.36) ≈ 3.4546 > 0, so tTH+ - tTH- > 0. This settles that a type II dust configuration can be type A, so the equivalence depends on Eq. (2.10). If this calculation is verified, the abstract and conclusion must be revised to state the long-wavelength assumption.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The algebraic proof in Section 3 is sound, but it establishes the equivalence only for initial data satisfying the long-wavelength relation (2.10), E = 1/2[-1 + (1 + r dζ/dr)^2]. This relation ties the two LTB free functions E(r) and M(r) to a single profile ζ(r). For a generic LTB dust solution with tB=0, the initial stationary-point condition near the big bang is M'(r0)=0 (since R ≈ (9M/2)^{1/3} t^{2/3}), while the bifurcating-horizon condition derived in Section 3.2 is E(r0)=-1/2. These conditions are independent for arbitrary LTB data. A concrete example: E(r) = -0.4, M(r) = M0 + A(r-r0)^2. Then ∂_rR=0 at r0 for all small t, so the initial data are type II, but tTH+(r0)-tTH-(r0) = M(-2E)^{-3/2} y(1+4E) > 0, so the trapping horizons do not meet (type A). Thus the equivalence is not a property of dust collapse alone; it is a property of the long-wavelength initial-data parametrization. The abstract's unconditional claim that the classifications are equivalent 'for a spherically symmetric dust fluid system' is therefore broader than what is proven, and should be qualified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":13034,"tokens_out":15366,"duration_ms":148279,"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":[{"comment":"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.","section":"§3 (first paragraph), §3.1, §3.2, Eq. (2.10)"},{"comment":"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.","section":"§3.2, Eq. (3.3)"}],"minor_comments":[{"comment":"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.","section":"Footnote 2 and §3"},{"comment":"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.","section":"Figure 5"},{"comment":"The arXiv ePrint line reads '2505.XXXXX'; this placeholder should be replaced with the actual arXiv identifier.","section":"Title block"},{"comment":"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.","section":"§4.2"},{"comment":"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.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The paper is sound within the long-wavelength initial-data class; the main problem is overstatement of the domain in the abstract and Section 3. The counterexample with independent E and M does not invalidate the derivation, but it shows the claim must be qualified. I recommend major revision, after which the paper would be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe one thing to know: this paper proves the equivalence between type I/II initial perturbations and type A/B horizon configurations for dust collapse, but only inside the long-wavelength parametrization where both LTB free functions are derived from a single curvature profile ζ(r). Within that class the proof is sound, and the necessary direction—bifurcating trapping horizon implies a stationary point in the initial areal radius—is genuinely new.\n\nWhat's good: Section 3.2 is a clean analytic argument. From equality of past and future trapping horizon times you get a monotone function y(x) on [-1,1] whose only zero is x=-1, so E(r_b)=-1/2. Combine with Eq. (2.10) to get ∂R/∂r=0. No free parameters; no fitting. The sufficient direction (type II implies type B) was already in Krasinski-Hellaby and the textbook; the paper correctly attributes it and adds a short derivation. The numerical demonstration with a Gaussian profile and varying equation of state parameter w is also fine: for w=0 the horizon contact point sits on the stationary point trajectory; for stiffer w it disappears, giving type A, which matches the radiation-era results from their earlier work.\n\nSoft spots, in proportion: the abstract says 'for a spherically symmetric dust fluid system' without the long-wavelength qualifier. That is an overstatement. For generic LTB initial data, E(r) and M(r) are independent functions, and the stationary-point condition near the big bang (M'(r0)=0) does not imply E(r0)=-1/2, so type II can occur without type B. The proof only works because (2.10) ties E to ζ. This is a real caveat but minor in context: the entire paper is about primordial curvature perturbations, and the long-wavelength limit is the standard setting for PBH initial data. A reader should notice it, but it does not undermine the central claim.\n\nOther caveats: M(r_b)>0 is assumed implicitly; shell-crossing singularities are excluded by footnote 2. Both are reasonable and stated, though M>0 might deserve an explicit line.\n\nWho it's for: people working on PBH classification, threshold estimates, and LTB toy models. It is a useful reference because it pinpoints exactly what is and is not true for dust.\n\nVerdict: deserves serious peer review. The necessary-direction proof is new, correct, and clearly presented. I would accept with a request to qualify the abstract and make the long-wavelength assumption prominent.\n\nBest,\n[You]","headline":"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.","tokens_in":13541,"tokens_out":4489,"would_cite":true,"duration_ms":41976,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["primordial black hole formation","type II perturbation","bifurcating trapping horizon","Lemaitre-Tolman-Bondi solution","long-wavelength approximation","dust collapse","pressure effects","horizon classification"],"falsifier":"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.","tokens_in":12561,"feed_emoji":"🕳️","tokens_out":14063,"duration_ms":129415,"temperature":0.7,"pith_summary":"This paper asks when a very large primordial curvature fluctuation—one whose areal radius has a stationary \"neck\" or \"belly\" on the initial slice (type II)—necessarily produces a black hole whose past and future trapping horizons meet in a bifurcating trapping horizon (type B). The authors prove that for a pressureless, spherically symmetric dust fluid the two classifications are exactly equivalent: type II initial data always yield a type B spacetime, and a type B spacetime can only come from type II initial data, for any fluctuation profile. The proof lives inside the Lemaitre-Tolman-Bondi exact solution, where both conditions reduce to the single algebraic statement $E = -1/2$ on the energy function. This matters because it identifies a sharp, profile-independent boundary in dust-dominated PBH formation, and the paper shows numerically that pressure destroys the equivalence: type II fluctuations can then produce type A spacetimes without bifurcating horizons.","feed_headline":"Dust PBHs: an initial neck always makes a bifurcating horizon","feed_subtitle":"When pressure is absent, necks in the initial data are exactly where future and past horizons meet.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Defines the type I/II classification of curvature perturbations by stationary points of the areal radius, which this paper reworks and connects to horizon structure.","marker":"[7]"},{"why":"Demonstrates in LTB models that a stationary point makes the past and future trapping horizons meet, supplying the sufficient direction of the equivalence.","marker":"[15]"},{"why":"Provides the textbook treatment of LTB bottle-neck and wormhole configurations at the boundary value of the energy function, used to identify the neck geometry.","marker":"[17]"},{"why":"Presents numerical radiation-fluid simulations that introduced the type A/B classification and found type II-A cases, setting up the contrast with dust.","marker":"[25]"},{"why":"Classifies spacetimes with and without bifurcating trapping horizons, giving the type A/B nomenclature adopted here.","marker":"[28]"},{"why":"Supplies the long-wavelength gradient-expansion formalism from which the initial data metric and the energy-function-to-curvature map are derived.","marker":"[30]"},{"why":"Derives the Lemaitre-Tolman-Bondi dust solution that carries the proof of the equivalence.","marker":"[33, 36]"},{"why":"Shows that the bang-time function encodes decaying modes, justifying the restriction to growing modes.","marker":"[39]"},{"why":"Defines trapping horizons and the condition that locates them, used to write the future and past horizon branches.","marker":"[40]"},{"why":"Analyzes shell-crossing regularity at extremal points, supporting the assumption that the stationary points considered are non-singular.","marker":"[13]"}],"fun_headline_variants":["Dust PBHs: every initial neck leads to horizon bifurcation","Pressure breaks the neck-bifurcation link in PBH formation","For dust, type II perturbations always mean type B horizons","Stiffness makes type II PBHs without bifurcating horizons","Dust only: I/II perturbations equal A/B horizon types"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Dust PBHs: every initial neck leads to horizon bifurcation","Pressure breaks the neck-bifurcation link in PBH formation","For dust, type II perturbations always mean type B horizons","Stiffness makes type II PBHs without bifurcating horizons","Dust only: I/II perturbations equal A/B horizon types"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000565,"raw_usage":{"total_tokens":2669,"prompt_tokens":926,"completion_tokens":1743,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":542,"completion_tokens_details":{"reasoning_tokens":1654}},"tokens_in":542,"tokens_out":1743,"duration_ms":17200,"temperature":1.0,"reasoning_tokens":1654,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:43:52.767307+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the type I/II classification of curvature perturbations by stationary points of the areal radius, which this paper reworks and connects to horizon structure."},{"cited_title":"Krasi´ nski and C","cited_arxiv_id":null,"evidence_quote":"Demonstrates in LTB models that a stationary point makes the past and future trapping horizons meet, supplying the sufficient direction of the equivalence."},{"cited_title":"Plebanski and A","cited_arxiv_id":null,"evidence_quote":"Provides the textbook treatment of LTB bottle-neck and wormhole configurations at the boundary value of the energy function, used to identify the neck geometry."},{"cited_title":"Cosmological wormholes","cited_arxiv_id":"0901.1153","evidence_quote":"Classifies spacetimes with and without bifurcating trapping horizons, giving the type A/B nomenclature adopted here."},{"cited_title":"Shibata and M","cited_arxiv_id":null,"evidence_quote":"Supplies the long-wavelength gradient-expansion formalism from which the initial data metric and the energy-function-to-curvature map are derived."},{"cited_title":"Silk, Large-scale inhomogeneity of the universe: spherically symmetric models","cited_arxiv_id":null,"evidence_quote":"Shows that the bang-time function encodes decaying modes, justifying the restriction to growing modes."},{"cited_title":"Hayward, General laws of black-hole dynamics , Phys","cited_arxiv_id":null,"evidence_quote":"Defines trapping horizons and the condition that locates them, used to write the future and past horizon branches."},{"cited_title":"Hellaby and K","cited_arxiv_id":null,"evidence_quote":"Analyzes shell-crossing regularity at extremal points, supporting the assumption that the stationary points considered are non-singular."}],"review_version":1}