{"id":"fba3872b-8a44-4ffb-b011-12512bfb2d4b","arxiv_id":"2501.06631","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A spherically symmetric dust sphere with mass M can collapse only if its radius is at most (GM/H^2)^(1/3).","lead":"This paper derives a limit on the size of a collapsing dust sphere in a universe with a cosmological constant. The limit, (GM/H^2)^(1/3), connects the maximum radius of a bound object to its mass and the cosmic expansion.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (20) is derived for an initially static dust sphere; the abstract's galaxy claim requires an additional collisionless/equilibrium argument that the paper does not supply.","rationale":"I re-derived the key steps: Eq. (8) is the standard LTB first integral with F(R0)=rg, Eq. (15) follows from b(0)=0, and the expansion in Eq. (18) correctly identifies the sign of b(0). The critical physical gap is Section 5, where the dust-shell radius is identified with a galaxy radius. This is the same weakest assumption the reader flagged. I do not see an internal algebraic error in the dust collapse derivation. The missing citation to the known static radius is a scholarly issue, not a correctness issue. The Einstein-Cartan paragraph is off-topic and should be removed, but it does not affect the main formula. The most decisive check is an N-body or effective-potential test of whether collisionless galaxies can exceed (GM/H²)^{1/3}; the known static-radius result suggests they cannot, in which case the conclusion survives but the paper's stated reasoning is still incomplete. Because the reader's conditional verdict already captures this, I see no reason to change it.","tokens_in":4474,"tokens_out":11496,"duration_ms":120100,"concrete_test":"Run a spherical, collisionless N-body simulation of a galaxy of mass M in a de Sitter background with Λ=3H², initialized with an equilibrium distribution whose outer stars extend to r = 1.2 (GM/H²)^{1/3}. If the outer stars remain bound for several Hubble times, Eq. (20) is violated for real galactic systems and the concern lands; if they are expelled or become unbound, the galaxy bound survives and the paper's conclusion is correct despite the missing collisionless derivation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Tolman-Bondi part leading to Eq. (19) is internally consistent: for a pressureless sphere starting from rest, Eq. (15) fixes f(R0), and the sign of the leading term in Eq. (18) gives b0 ≤ (3rg/2Λ)^{1/3}. The load-bearing step is the transition from this dust-collapse threshold to the 'largest radius of a galaxy' in Section 5. A galaxy is not a pressureless sphere whose boundary is comoving; its stars are supported by orbital motion and velocity dispersion, and no derivation is given connecting the dust-shell radius b0 to the outer radius of a virialized stellar system. The sentence 'b0 is related to rg corresponding to the entire mass' asserts this connection rather than proving it. Therefore Eq. (20) as presented is an upper limit on the turnaround radius of a specially prepared dust cloud, not on the equilibrium radius of a galaxy formed from such matter. This is a correctness risk for the abstract's central claim: if a realistic galaxy with stars in orbits could remain bound at r > (GM/H²)^{1/3}, the claimed bound would be false, and nothing in the manuscript rules that out. The numerical estimate for the Milky Way and the unrelated Einstein-Cartan paragraph do not repair this gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the gravitational collapse of a spherically symmetric, pressureless dust sphere in the presence of a cosmological constant, using the Tolman metric. It derives an equation for the boundary radius b(τ) and, under the assumption that the sphere is initially at rest, obtains the inequality b0 ≤ (3rg/2Λ)^{1/3}. Using the relation Λ=3H^2, this is rewritten as b0 ≤ (GM/H^2)^{1/3}, which the paper interprets as the largest radius of a galaxy. A numerical estimate for the Milky Way is given, followed by an unrelated paragraph on Einstein-Cartan theory.","tokens_in":4729,"tokens_out":10100,"duration_ms":93632,"significance":"The derivation from Eq. (14) to Eq. (19) is algebraically correct, self-contained, and free of fitted parameters; it reproduces the known static radius of a point mass in de Sitter spacetime. The paper's novelty and importance, however, rest on the leap from an initially static dust sphere to a real galaxy. That step is not derived, and the central claim in the title and abstract therefore overreaches. If a rigorous connection between the dust-sphere threshold and the equilibrium radius of a stellar system could be supplied, the paper would be a useful contribution; in its present form, the significance is limited to a dust-collapse result.","major_comments":[{"comment":"Equation (20) is presented as an upper limit on the radius of a spherical galaxy, with the justification that 'b0 is related to rg corresponding to the entire mass of the galaxy.' The preceding calculation, however, describes a pressureless dust sphere in comoving coordinates, where every fluid element is at rest at τ=0. A real galaxy is not such a system: its stars are supported by orbital motion and velocity dispersion, which are absent from the model. The quoted sentence asserts the connection between the initial dust-cloud radius b0 and the equilibrium radius of a stellar system; it does not derive it. No equation links the dust-shell radius to the radius of a virialized galaxy, so the abstract's claim that the largest radius of a galaxy is (GM/H^2)^{1/3} is not a consequence of the Tolman-Bondi analysis. Please either weaken the claim to 'the maximum initial radius of an initially static pressureless dust sphere that can begin to collapse' or provide a separate argument, for example using the effective potential for test particles in de Sitter spacetime, that establishes the bound for realistic galaxies.","section":"Largest size of a galaxy, Eq. (20)"},{"comment":"The derivation of (19) relies crucially on the initial condition ˙b(0)=0, used to fix f(R0) via Eq. (15). This assumption is not physically justified for galaxy formation. If the initial radial velocity is inward, a cloud with b0 larger than the right-hand side of (19) can still collapse; if the initial velocity is outward, a cloud below the bound may expand. Thus the inequality (19) is not a universal bound on the initial radius of a collapsing dust sphere, but only on an initially static one. The paper does not state this limitation clearly; the abstract and the section 'Largest size of a galaxy' should make explicit that the bound applies only under the zero-initial-velocity condition.","section":"Gravitational collapse, Eq. (15)"}],"minor_comments":[{"comment":"The paragraph on Einstein-Cartan theory, torsion, and quantum electrodynamics is unrelated to the main result and reads as an assertion of unrelated research topics; it should be removed or moved to a separate paper.","section":"Final paragraph before Acknowledgments"},{"comment":"The paper would benefit from a reference to the standard literature on the maximum size of bound structures in the presence of a cosmological constant, such as the static radius in Schwarzschild-de Sitter spacetime; this would place Eq. (20) in proper context.","section":"General"},{"comment":"The text says 'For small τ', but the expansion is in δb, not τ; please clarify that the linearization is valid for small deviations from b0, i.e., near the initial time.","section":"Largest size of a collapsing sphere, Eq. (18)"},{"comment":"The statement 'The entire sphere will collapse, δb < 0' is based on the leading-order term; a more rigorous presentation would analyze the effective potential in Eq. (16) to show that the sign of the initial acceleration determines the subsequent fate globally.","section":"Largest size of a collapsing sphere, Eq. (16)"},{"comment":"There are minor typographical issues: 'collapseof' in the abstract is missing a space, and the author's name appears with a '(suppress)' artifact in the header, which is a LaTeX conversion issue that should be corrected.","section":"Abstract and title"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is very short and the main derivation is sound for the restricted dust-sphere model. The editor should ask the author either to restrict the claim to dust spheres and explicitly describe the galaxy interpretation as a conjecture, or to provide a rigorous derivation of the bound for a virialized stellar system. The unrelated Einstein-Cartan paragraph should be removed. As a dust-sphere result the paper is a modest but correct exercise; as a galaxy-size bound it is currently unproven."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The bottom line: this is a correct derivation of a standard result, dressed up as a claim about galaxies. The algebra from (14) to (20) is sound, and the paper is self-contained, but the advertised bound on galaxy radius is not supported by the model.\n\nWhat it does well: the Tolman–Bondi setup is clean, the small-δb expansion in Eq. (18) is handled correctly, and the collapse condition b0 ≤ (3rg/2Λ)^{1/3} follows without hidden assumptions. With Λ = 3H^2, that becomes b0 ≤ (GM/H^2)^{1/3}, which is exactly the static radius of Schwarzschild–de Sitter spacetime. That result is standard in the GR literature, and the paper does not cite it, so the novelty is low. But as a self-contained derivation of a known bound, it is fine.\n\nThe soft spot is the jump from a pressureless dust sphere initially at rest to a galaxy. The model assumes a comoving boundary, no pressure, no rotation, and initial rest. Real galaxies are virialized systems supported by orbital motion and velocity dispersion; nothing in the paper connects the dust-shell turn-around radius b0 to the outer radius of such a system. The sentence 'b0 is related to rg corresponding to the entire mass' is an assertion, not a derivation. So the abstract overstates the result: (20) bounds a specially prepared dust cloud, not galaxies in general. The Milky Way estimate and the unrelated Einstein–Cartan paragraph do not repair that gap.\n\nFor whom: a reader interested in LTB collapse formulas might find this a useful pedagogical note, but they should not take the galaxy claim at face value. The paper deserves a serious referee—it is not wrong in its core derivation—but it needs revision to restrict the interpretation to dust spheres and to cite the existing static-radius results.\n\nRecommendation: send to peer review, with the expectation that the author will reframe the claim and remove the extraneous Einstein–Cartan material.","headline":"A correct but unoriginal LTB derivation of the known SdS static-radius bound; the galactic extrapolation is an overreach.","tokens_in":5230,"tokens_out":1972,"would_cite":false,"duration_ms":19615,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C15","83C75","83F05"],"pacs":["04.20.-q","98.80.-k"],"model":"deepseek-v4-flash","headline":"A spherical dust cloud can collapse to a galaxy only if its initial radius is below $(GM/H^2)^{1/3}$, the limit set by cosmic expansion.","keywords":["Tolman metric","gravitational collapse","cosmological constant","Hubble parameter","dust sphere","galaxy size","dark energy"],"falsifier":"Numerically evolve Eq. (16) for a dust sphere with $b_0 = 2\\,(GM/H^2)^{1/3}$ and $\\dot b_0 = 0$: the derivation predicts the radius expands from the start. If such an evolution instead collapses, the sign in the perturbation argument is wrong. Likewise, finding an observed, relaxed galaxy with mass $M$ and radius larger than $(GM/H^2)^{1/3}$ would show the bound, as stated, is not a universal limit.","tokens_in":4266,"feed_emoji":"🌌","tokens_out":7173,"duration_ms":53377,"temperature":0.7,"pith_summary":"This paper shows that in a universe with a positive cosmological constant, a spherical cloud of pressureless matter that starts from rest can collapse to form a galaxy or black hole only if its initial radius is smaller than a mass-dependent maximum. Using the Tolman metric, the author derives the inequality $b_0 \\le (GM/H^2)^{1/3}$, where $M$ is the cloud's mass and $H$ is the Hubble parameter. If the initial radius exceeds this bound, the cosmic expansion overwhelms self-gravity and the cloud expands instead of collapsing. The relation gives a concrete, testable upper limit on galaxy size in a dark-energy-dominated universe.","feed_headline":"Cosmic expansion caps the size of a collapsing galaxy","feed_subtitle":"If a spherical dust cloud starts bigger than (GM/H^2)^(1/3), the Universe's expansion stops its collapse.","key_machinery":"The central object is the Tolman metric, the general spherically symmetric dust solution in general relativity, and the derived boundary equation for the sphere's radius $b(\\tau)$: $\\dot b^2 = f(R_0) + r_g/b + \\Lambda b^2/3$, where $r_g = 2GM$. The key step is a first-order perturbation around the initial radius $b_0$: substituting $b = b_0 + \\delta b$ makes the right-hand side linear in $\\delta b$, so the condition for $\\delta b < 0$ reduces to a simple inequality that immediately yields the size bound. The cosmological constant is then linked to the observed Hubble parameter through $\\Lambda = 3H^2$, converting the inequality into the mass-dependent size bound $b_0 \\le (GM/H^2)^{1/3}$.","core_discovery":"The central claim is that a dust sphere of mass $M$ initially at rest in a spacetime with cosmological constant $\\Lambda$ can collapse only if its radius satisfies $b_0 \\le (3 r_g/(2\\Lambda))^{1/3}$, which becomes $b_0 \\le (GM/H^2)^{1/3}$ after substituting $\\Lambda = 3H^2$. The derivation works from the Tolman metric, which yields an evolution equation for the boundary radius, $\\dot b^2 = f(R_0) + r_g/b + \\Lambda b^2/3$. Setting the cloud initially at rest fixes $f(R_0) = -r_g/b_0 - \\Lambda b_0^2/3$, and expanding the equation to first order in a small displacement $\\delta b$ shows that the radius decreases initially exactly when $\\Lambda b_0 < 3 r_g/(2 b_0)$. The paper interprets this inequality as setting the largest radius of a spherical galaxy that can form from such dust-like matter in the expanding Universe.","pith_inferences":["A direct observational test would be to search for a relation between galaxy mass and maximum radius: if the bound is physically robust, no relaxed, isolated galaxy should exceed $R_{\\max} \\approx (GM/H^2)^{1/3}$, with $M$ including dark matter.","The inequality resembles a Jeans-type criterion set by dark energy and could be compared with structure-formation simulations to see whether the most massive halos respect it.","Because the derivation uses only the boundary equation, it may apply to inhomogeneous density profiles and to clouds with total mass $M$ regardless of internal distribution, as long as the boundary evolves as a Tolman dust sphere.","Real galaxies have angular momentum, pressure, and non-rest initial conditions, so the bound should be read as a strong idealization; the true maximum for realistic collapse could differ and might be probed by numerical relativity."],"forward_implications":["A spherical, pressureless cloud of mass $M$ that is initially at rest will not collapse if its radius starts above $(GM/H^2)^{1/3}$; expansion wins instead.","The bound acts as a cosmological limit on galaxy size: in a dark-energy-dominated universe, no such collapsing dust sphere can form a galaxy larger than this scale.","For the Milky Way, with $M \\sim 10^{12}\\,M_\\odot$ and $H \\sim 10^{-18}\\,\\mathrm{s}^{-1}$, the limit is roughly $10^{22}\\,\\mathrm{m}$, about an order of magnitude larger than the observed radius.","Because torsion vanishes in vacuum, the same bound holds in Einstein–Cartan theory, where the collapse equations reduce to those of general relativity.","Since the present Universe has not yet reached pure exponential expansion, the bound with the current $H$ is a conservative upper limit on sizes at formation."],"supporting_citations":[{"why":"Supplies the Tolman metric and the standard spherically symmetric dust-collapse solutions.","marker":"[1]"},{"why":"Gives the textbook derivation of the Tolman field equations and the dust sphere equations used here.","marker":"[2]"},{"why":"Earlier derivation of the boundary evolution equation (14) and initial-rest condition (15) for dust with cosmological constant.","marker":"[3]"},{"why":"Provides the observed value of the Hubble parameter used to estimate the bound numerically.","marker":"[5]"}],"fun_headline_variants":["Expanding Universe caps galaxy collapse size","Hubble expansion stops collapse of oversized galaxies","Galaxy collapse max size set by cosmic expansion","Dust spheres only collapse below a cosmic size limit","Cosmic expansion imposes a maximum galaxy radius"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that a galaxy can be represented as a spherically symmetric cloud of pressureless dust that is initially at rest; if the cloud has angular momentum, internal pressure, or an initial radial velocity, the derived maximum radius need not apply.","fun_headline_variants_meta":{"raw":{"variants":["Expanding Universe caps galaxy collapse size","Hubble expansion stops collapse of oversized galaxies","Galaxy collapse max size set by cosmic expansion","Dust spheres only collapse below a cosmic size limit","Cosmic expansion imposes a maximum galaxy radius"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000174,"raw_usage":{"total_tokens":1206,"prompt_tokens":796,"completion_tokens":410,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":412,"completion_tokens_details":{"reasoning_tokens":357}},"tokens_in":412,"tokens_out":410,"duration_ms":64307,"temperature":1.0,"reasoning_tokens":357,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:55:45.313162+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically evolve Eq. (16) for a dust sphere with $b_0 = 2\\,(GM/H^2)^{1/3}$ and $\\dot b_0 = 0$: the derivation predicts the radius expands from the start. If such an evolution instead collapses, the sign in the perturbation argument is wrong. Likewise, finding an observed, relaxed galaxy with mass $M$ and radius larger than $(GM/H^2)^{1/3}$ would show the bound, as stated, is not a universal limit.","supporting_citations":[{"cited_title":"The dynamics of gravitational collapse of a dustlike sphere in the pre sence of a cosmological constant is determined by equation (8)","cited_arxiv_id":null,"evidence_quote":"Supplies the Tolman metric and the standard spherically symmetric dust-collapse solutions."},{"cited_title":"(18) The entire sphere will collapse, δb < 0, if 2Λ b0/3 < r g/b2 0, which gives b0 ≤ ( 3rg 2Λ ) 1/ 3","cited_arxiv_id":null,"evidence_quote":"Gives the textbook derivation of the Tolman field equations and the dust sphere equations used here."},{"cited_title":"Lemaˆ ıtre, Ann","cited_arxiv_id":null,"evidence_quote":"Earlier derivation of the boundary evolution equation (14) and initial-rest condition (15) for dust with cosmological constant."},{"cited_title":"Pop/suppress lawski, Zh","cited_arxiv_id":null,"evidence_quote":"Provides the observed value of the Hubble parameter used to estimate the bound numerically."}],"review_version":1}