{"id":"33e9d374-96ad-4d23-9164-d12454bb3de4","arxiv_id":"2505.09680","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"In quasi-topological gravities in D>=5 with infinite higher-curvature towers, Oppenheimer-Snyder dust collapse bounces at a finite minimum radius, yielding regular black holes and bouncing FLRW cosmologies.","lead":"This paper studies how a star made of dust collapses in gravity theories with an infinite tower of higher-curvature corrections. It finds the star bounces before reaching a singularity, forming a regular black hole, and that the same theories replace the big bang with a bounce.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The collapse and bounce conclusion rests on the completeness of the imported junction conditions; a direct distributional check of the angular component would settle it.","rationale":"The paper's goal is to show that regular black holes form from Oppenheimer-Snyder dust collapse in resummed quasi-topological gravities. The internal logic is coherent: the first junction condition fixes the induced metric, the second is used to derive the geodesic equation, and the regular near-core behavior then forces a bounce. I found no internal inconsistency in the FLRW bounce analysis or in the use of the regularity conditions (2.58). The weakest point is exactly the one identified by the reader: the generalized junction conditions (2.25)-(2.26) are taken from the authors' previous work, and the present derivation uses only the tau-tau component. If the angular component is not automatically continuous, the central claim fails. Because this is a genuine load-bearing assumption rather than a demonstrated error, the appropriate verdict remains ACCEPT with the same moderate confidence; the proposed direct check would either close the gap or require revision.","tokens_in":23924,"tokens_out":59089,"duration_ms":598381,"concrete_test":"Take the matched Oppenheimer-Snyder spacetime (interior FLRW dust, exterior static f(r) from Eq. (2.29), surface R(tau) solving Eqs. (3.10)-(3.13)) and substitute it into the spherically symmetric field equations (2.18)-(2.20) in distributional form. Compute the jumps of both canonical-momentum components, Pi_tau-tau and g^{ij}Pi_{ij}, directly from the bulk action and boundary term (2.23), without assuming the relation (2.26). If both jumps vanish identically for the geodesic trajectory, the derivation of Eq. (3.9) is confirmed; if the angular jump imposes an additional constraint, determine whether it modifies the trajectory or forces a nonvanishing surface stress.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central derivation reduces the generalized Israel conditions to Eq. (3.9) using only the tau-tau component of the second junction condition, with the angular component assumed to follow from Eq. (2.26). That relation is imported from the authors' earlier thin-shell papers [101,102] and is not re-derived or independently verified here. If the angular component g^{ij}Pi_{ij} must be imposed separately and is not automatically continuous when Pi_tau-tau is continuous, then Eqs. (3.4)-(3.9) are incomplete, the geodesic equation (3.10) is not established, and the bounce of the dust star does not follow. All subsequent conclusions in Sec. 3.3 rest on this step. The remainder of the argument is internally consistent: given the geodesic equation, the regularity f(0)=1 and the near-core form f~1-r^2/C produce a turning point, and the FLRW analysis in Sec. 2.3 follows from the same characteristic function. Thus the single load-bearing assumption is the completeness and correctness of the generalized junction conditions for the infinite-tower theory when applied to a dust surface with no surface stress.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Oppenheimer-Snyder collapse of pressureless dust in quasi-topological gravities with an infinite tower of higher-curvature corrections in D≥5. Using the two-dimensional Horndeski reduction and generalized junction conditions, the authors show that the surface of the dust star obeys the timelike geodesic equation of the static exterior, Eqs. (3.10)-(3.11). For regular exteriors with f≈1−r²/C near r=0, this equation implies a turning point, so the star reaches a finite maximum density and bounces rather than forming a singularity; explicit D=5 Hayward and D=6 modified-Hayward examples are integrated numerically. The paper also analyzes FLRW interiors with spherical sections and claims that the same conditions that make the black holes regular imply a universal bounce for w>−1, replacing the big bang and big crunch singularities of Einstein gravity.","tokens_in":24159,"tokens_out":24572,"duration_ms":229928,"significance":"If the main result is correct, it significantly strengthens the case that infinite towers of higher-curvature corrections can resolve singularities in dynamical collapse, extending earlier thin-shell results to a standard dust model and connecting black-hole regularization with bouncing cosmologies. The analytic derivation of the geodesic equation and the explicit exact treatment of the D=5 Hayward example, including R_min and the horizon ordering, are valuable and clearly presented. The manuscript is transparent about its reliance on the junction conditions and regularity conditions from earlier work and acknowledges the restriction to spherical symmetry and D≥5. However, the claimed universality of the FLRW bounce rests on an unjustified analytic step, and the completeness of the angular junction condition at the bounce needs to be spelled out.","major_comments":[{"comment":"The step 'because of the first condition, will diverge at x=1/C' is not justified. Positivity of the coefficients b_n = (D−2n)α_n/(D−2) and lim |α_n|^{1/n}=C do not imply that the series h(x) diverges at x=1/C; for example, b_n = C^n/n^2 satisfies both conditions and gives a finite value of h at 1/C. In that case h is bounded on its interval of convergence, so h^{-1}(x) is not defined for arbitrarily large x, and the universal near-zero-scale behavior ˙a^2−a^2/C=−1 in (2.60) does not follow from (2.58). An extra assumption ensuring that h is unbounded at the radius of convergence, or a revised argument, is needed. Since the same conditions are invoked in Sec. 2.2 to guarantee regular black holes, this also affects the foundational input for the collapse analysis.","section":"Sec. 2.3, Eqs. (2.57)-(2.60)"},{"comment":"The second junction condition is imposed only through the ττ component, Π^+_ττ = Π^-_ττ. The angular components of (2.25) must also be checked. From the second relation in (2.26), g^{ij}Π_ij is proportional to d(φ^{D−2}Π_ττ)/dτ divided by ˙φ, so continuity of Π_ττ appears to imply continuity of the angular components away from turning points. However, at the minimum radius ˙R=0 this relation is singular and the paper does not explain why the angular junction condition is still satisfied. Please add an explicit verification, or a limiting argument, that the full tensor junction condition holds along the entire trajectory including R_min. Without this, the geodesic equation (3.10) and the bounce are not fully established.","section":"Sec. 3, Eqs. (3.4)-(3.9)"}],"minor_comments":[{"comment":"The sentence 'This evolution is illustrated in Fig. 3' appears to refer to the wrong figure; the GR collapse is shown in Fig. 1.","section":"Sec. 3.1, after Eq. (3.18)"},{"comment":"The conclusion that equality of the two integrals forces equality of the upper limits assumes monotonicity of the integral in its upper limit; under the regularity conditions (2.58) one has h'(ψ)>0, but this should be stated explicitly.","section":"Sec. 3, Eq. (3.8)"},{"comment":"The notation in Eq. (2.53) is ambiguous: the integration constant and the scale factor are both denoted by variants of 'a'. Please use a distinct symbol, such as \\mathcal{A}, for the integration constant.","section":"Sec. 2.3, Eq. (2.53)"},{"comment":"The inequality R_min<R_-<R_+<R_0 is stated as 'always' satisfied but not proven; a short analytic demonstration for the D=5 Hayward case would make the claim easier to verify.","section":"Sec. 3.3.2, after Eq. (3.26)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is the latest in a sequence by this group and imports two essential inputs: the generalized junction conditions (2.25)-(2.26) and the regularity conditions (2.58) from [14,101,102]. I recommend asking the authors to confirm whether [14] contains a stronger theorem than (2.58) as stated here; if so, it should be quoted precisely. If the angular junction condition check and the strengthened hypotheses are supplied, I would view the paper as acceptable. The 'universal FLRW bounce' claim in the abstract is currently stronger than the proof supports."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper delivers what it claims: in the infinite-tower quasi-topological gravities these authors have been developing, Oppenheimer-Snyder collapse of pressureless dust is nonsingular, and the same resummation that regularizes black holes also bounces FLRW cosmologies. The main new pieces are the dust/OS matching, the geodesic junction condition for these models, and the generic bounce with periodic evolution. The FLRW section is a useful addition, and it's nice that the same regularity conditions (2.58) do double duty.\n\nThe central derivation holds up. The second junction condition (3.4) with (2.26) reduces to (3.9), and (3.11) with a regular f(r) (f(0)=1, positive behavior near the core) guarantees a turning point. The explicit D=5 Hayward example gives Rmin = R0 sqrt(alpha rho0) with Rmin < R- < R+ < R0 for physical data, and the periodic evolution is exactly as described. I checked the stress-test worry about the angular component of the junction condition: it doesn't land. Equation (2.26) gives g^{ij}Pi_{ij} in terms of Pi_{tau tau} and the induced radius, so equality of the tau-tau component on both sides automatically gives equality of the angular component. The authors don't spell this out, but it's immediate from their own equations. A referee could ask them to add one sentence.\n\nThe only real soft spots are minor. The step from (3.8) to (3.9) assumes the integrand h' is positive on the relevant interval; that's true for the theories they consider (with the coupling sign conditions), but they don't state it explicitly. The reliance on junction conditions imported from [101,102] is not a flaw—those are their own earlier results, and the conditions are clearly laid out. The framework is restricted to spherical symmetry and D>=5, which they acknowledge. The paper is honest about what is and isn't generic.\n\nThis is a solid contribution to a program that has been gaining traction. It deserves a serious referee and, barring unexpected issues, publication. I'd bring it to a reading group and would cite it in my own work.","headline":"A coherent, well-written extension of the quasi-topological-gravity program to dust collapse; the bounce conclusion follows from their equations, and the one stress-test worry about junction conditions does not survive contact with (2.26).","tokens_in":24709,"tokens_out":4074,"would_cite":true,"duration_ms":41023,"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":"In a broad class of higher-curvature gravities, dust collapse bounces at finite size, making regular black holes.","keywords":["regular black holes","Oppenheimer-Snyder collapse","quasi-topological gravity","higher-curvature corrections","dust collapse","cosmological bounce","junction conditions","FLRW cosmology"],"falsifier":"Compute the angular component $g^{ij}\\Pi_{ij}$ of the second junction condition (2.25) for a dust surface in the five-dimensional Hayward model and check whether it is automatically satisfied once the radial component is imposed; if it is an independent constraint, the surface equation of motion would change and the bounce would need re-derivation. A complementary check is to evolve the full spherically symmetric equations (2.18)-(2.20) numerically with dust initial data, without imposing the junction conditions, and see whether the star actually reaches the predicted turning point.","tokens_in":23742,"feed_emoji":"🕳️","tokens_out":8610,"duration_ms":76824,"temperature":0.7,"pith_summary":"This paper argues that in a broad family of higher-curvature gravity theories, the Oppenheimer-Snyder collapse of a pressureless dust star does not end in a singularity. The same infinite tower of curvature corrections that earlier work found to produce regular black holes as vacuum solutions now makes the collapse itself nonsingular: the star surface follows a timelike geodesic, shrinks to a minimum radius inside the black hole's inner horizon, reaches a maximum finite density, and bounces. If correct, this turns an idealized textbook collapse model into evidence that singularity avoidance is a general feature of these theories, not an artifact of eternal vacuum solutions. The paper also shows that the same regularity conditions eliminate the big bang and big crunch singularities of FLRW cosmology, replacing them with a universal cosmological bounce for matter with equation-of-state parameter $w>-1$.","feed_headline":"Dust stars bounce instead of crushing to a singularity","feed_subtitle":"The same infinite tower of corrections that makes black holes regular also turns dust collapse into a finite bounce.","key_machinery":"The central object is the characteristic function $h(\\psi)=\\psi+\\sum_{n=2}^\\infty \\alpha_n\\frac{D-2n}{D-2}\\psi^n$, which encodes the entire infinite tower of curvature corrections in the reduced two-dimensional Horndeski description. All spherically symmetric physics — vacuum black holes, FLRW cosmologies, and the star surface — reduces to algebraic equations built from $h$ and its inverse. The master equation for collapse is $\\dot R(\\tau)^2+f(R(\\tau))=f(R_0)$, the equation of a timelike radial geodesic of energy $E^2=1-\\eta_0^2$ in the exterior metric; it follows from the junction conditions and identifies the exterior geodesic motion with the interior FLRW scale factor. The two crucial properties are that the regularity conditions (2.58) make $h$ invertible with $h^{-1}(x)\\to 1/C$ as $x\\to\\infty$, giving the universal small-radius behavior $f\\simeq 1-r^2/C$, and that this same limit produces both the regular black-hole core and the cosmological bounce.","core_discovery":"For any quasi-topological gravity of the form (2.8) with an infinite tower of higher-curvature terms obeying the regularity conditions (2.58), the paper establishes that spherically symmetric collapse of pressureless dust is completely nonsingular. The modified junction conditions force the dust surface to follow a timelike radial geodesic in the exterior regular black hole geometry, just as in Einstein gravity. Because the exterior metric has a de Sitter-like core with $f(r)\\simeq 1-r^2/C$ near $r=0$, the geodesic has a turning point: the star reaches a minimum radius (and maximum density) inside the inner horizon, bounces, and re-emerges through a white hole in a new universe, eventually returning to its original radius and repeating the process. The claim is made explicit for the Hayward model in $D=5$ and the modified Hayward model in $D=6$, with a general argument covering every theory satisfying the regularity conditions. The same conditions imply that FLRW cosmologies with $w>-1$ undergo a universal bounce with scale factor $a(\\tau)\\simeq \\sqrt{C}\\,\\cosh\\big((\\tau-\\tau_{\\min})/\\sqrt{C}\\big)$ near the minimum, replacing the Einstein big bang and big crunch.","pith_inferences":["If the junction conditions are correct, the same geodesic argument should apply to any spherically symmetric dust cloud whose exterior is a regular quasi-topological black hole; one testable consequence is that inhomogeneous dust shells should also bounce individually, though shell-crossing singularities of the classical Lemaitre-Tolman-Bondi model would need a dedicated treatment.","The paper leaves open the stability of the inner horizon through which the star emerges into the new universe; if that horizon is unstable under perturbations, the periodic bounce picture would change even though the singularity is resolved.","A natural extension is to check whether the same infinite-tower mechanism removes the Cauchy horizon instability of charged black holes, since the regularity conditions here operate on the deep interior rather than on the horizon.","The four-dimensional astrophysical case is not covered by these constructions; extending the argument would require infinite towers of Horndeski scalar-tensor theories rather than pure quasi-topological gravity."],"forward_implications":["In these theories the Oppenheimer-Snyder dust star never reaches $R=0$; it reaches a minimum radius $R_{\\min}<R_-$ inside the inner horizon and bounces, and the exterior is exactly the regular black hole solution of the same theory.","With any finite truncation of the tower the collapse remains singular, so full resummation of the infinite higher-curvature series is the operative mechanism of singularity resolution.","The same sufficient conditions (2.58) imply a universal FLRW bounce for any $w>-1$, with $a(\\tau)\\simeq \\sqrt{C}\\,\\cosh\\big((\\tau-\\tau_{\\min})/\\sqrt{C}\\big)$ near the turnaround.","The motion is periodic: after the bounce the star re-expands to its original radius, stops, and begins a new collapse, each cycle taking place in a new universe joined through a white hole."],"supporting_citations":[{"why":"Establishes that the infinite tower with conditions (2.58) gives regular black hole vacuum solutions with de Sitter cores.","marker":"[14]"},{"why":"Supplies the generalized junction conditions for spherical shells in these theories.","marker":"[101]"},{"why":"Develops the thin-shell bounce and the junction-condition framework that the dust analysis imports.","marker":"[102]"},{"why":"Defines the Oppenheimer-Snyder dust-collapse model whose nonsingular version is the paper's subject.","marker":"[1]"},{"why":"Shows that any effective higher-curvature gravity maps into a quasi-topological gravity, justifying why the chosen class captures general theories.","marker":"[23]"},{"why":"Provides the boundary-term derivation behind the two-dimensional junction conditions.","marker":"[111]"}],"fun_headline_variants":["Dust collapse bounces, no singularity in loop-corrected gravity","Infinite curvature tower turns black hole collapse into bounce","Oppenheimer-Snyder collapse becomes periodic bounce in regular BHs","Higher-curvature gravity makes dust stars bounce, not crush","Regular black holes born from bouncing dust collapse"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the generalized junction conditions imported from the authors' earlier thin-shell work are the complete and correct second junction conditions for the infinite-tower theory on a timelike dust surface; if the angular component $g^{ij}\\Pi_{ij}$ must be imposed as a separate constraint and is not automatically satisfied, the geodesic equation (3.10) and the entire collapse analysis would fail.","fun_headline_variants_meta":{"raw":{"variants":["Dust collapse bounces, no singularity in loop-corrected gravity","Infinite curvature tower turns black hole collapse into bounce","Oppenheimer-Snyder collapse becomes periodic bounce in regular BHs","Higher-curvature gravity makes dust stars bounce, not crush","Regular black holes born from bouncing dust collapse"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000181,"raw_usage":{"total_tokens":1330,"prompt_tokens":991,"completion_tokens":339,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":607,"completion_tokens_details":{"reasoning_tokens":256}},"tokens_in":607,"tokens_out":339,"duration_ms":3769,"temperature":1.0,"reasoning_tokens":256,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:27:12.802557+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the angular component $g^{ij}\\Pi_{ij}$ of the second junction condition (2.25) for a dust surface in the five-dimensional Hayward model and check whether it is automatically satisfied once the radial component is imposed; if it is an independent constraint, the surface equation of motion would change and the bounce would need re-derivation. A complementary check is to evolve the full spherically symmetric equations (2.18)-(2.20) numerically with dust initial data, without imposing the junction conditions, and see whether the star actually reaches the predicted turning point.","supporting_citations":[],"review_version":1}