{"id":"22db7c09-3bfb-401d-a8f3-d7ca075907f9","arxiv_id":"2607.09189","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Global classical solutions exist for large-data spherically symmetric barotropic viscous gaseous stars with physical vacuum free boundaries and degenerate viscosities, remaining smooth up to the moving boundary.","lead":"Mathematicians prove that self-gravitating viscous gas stars with physical vacuum boundaries exist globally in time as smooth solutions for arbitrarily large initial data, under spherical symmetry. This closes a long-open gap between local existence and global dynamics for the compressible Navier-Stokes-Poisson free-boundary problem with density-dependent viscosities.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader's weakest-assumption diagnosis matches the places where the estimates are most delicate (binary-form positivity and origin-weighted L^p bounds). Those places are openly restricted by the paper and do not conceal a logical gap. Because the result is an existence theorem whose hypotheses are precisely the conditions under which the estimates close, the special viscosity law and the upper bound on γ are limitations of scope rather than correctness risks. No further load-bearing concern surfaces after a full reading of the energy architecture (§3–§5) and the continuation argument (§6). The ACCEPT verdict with high confidence therefore stands.","tokens_in":94847,"tokens_out":546,"duration_ms":6083,"concrete_test":"Independently recompute the discriminant of the binary form I2 appearing after (3.6) (and of the analogous forms I8, J6, J19, J25) for a value of δ slightly below 13/18 (e.g. δ=0.72) and for γ=6δ-3+ε; verify that positivity fails exactly when the paper's thresholds are crossed, confirming that the parameter cut-offs are sharp rather than artificial.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem 1.1 is a pure existence result inside a carefully delimited regime (spherical symmetry, barotropic EOS, viscosities locked by λ=2a1(δ-1)ρ^δ, and γ∈(4/3,6δ-3)). The reader correctly flags that the special viscosity relation and the upper bound on γ are essential for binary-form positivity of the dissipation (Lemma 3.1) and for the weighted L^p estimates near the origin (§3.3, Remark 1.5). Those restrictions are stated explicitly, motivated by the BD-entropy structure and by the linear stability range of Lane-Emden stars, and are used consistently throughout the a-priori estimates. No hidden circularity, unjustified interchange of limits, or gap in the continuation argument of §6 appears. The spherical-symmetry reduction is likewise declared from the outset. Inside the stated hypotheses the argument is self-contained and the claim holds.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves global well-posedness of classical solutions for the free-boundary compressible Navier–Stokes–Poisson system with density-dependent viscosities in three dimensions, under spherical symmetry and a barotropic equation of state. For viscosities of the form μ=a1 ρ^δ, λ=2a1(δ−1)ρ^δ with δ∈(13/18,1) and adiabatic exponents γ∈(4/3,6δ−3), Theorem 1.1 asserts that arbitrary large initial data satisfying the physical-vacuum condition (1.21) and finite energy (1.35) generate a unique global classical solution that remains smooth up to the moving boundary, preserves the physical-vacuum asymptotics of the Lane–Emden configuration, and satisfies the stress-free boundary condition. The argument proceeds by Lagrangian reformulation, introduction of an effective velocity, a long chain of weighted a-priori estimates (Sections 3–5) that control both the flow map and high-order norms of the velocity, and a standard continuation argument from the authors’ local existence theory.","tokens_in":95074,"tokens_out":740,"duration_ms":7039,"significance":"Global classical solutions for multi-dimensional free-boundary compressible Navier–Stokes (or Navier–Stokes–Poisson) with physical vacuum and large data have remained open even under spherical symmetry when viscosities are density-dependent. The present work closes that gap inside a physically motivated range of (δ,γ) that overlaps the linear-stability regime of Lane–Emden stars. The estimates are self-contained, the special viscosity relation is stated and used consistently (binary-form positivity, BD-type entropy near the origin), and the solutions capture the correct vacuum boundary behavior. This is a substantial advance for the mathematical theory of viscous gaseous stars.","major_comments":[],"minor_comments":[{"comment":"The restriction λ=2a1(δ−1)ρ^δ (bulk viscosity zero) is essential for the binary-form positivity in Lemma 3.1 and the weighted L^p estimates of §3.3; a short additional sentence in the introduction or Remark 1.5 explaining why this relation is natural (or at least technically indispensable) would help non-specialist readers.","section":null},{"comment":"Definition 1.1 of classical solutions lists regularity of (U,η) but does not explicitly record the boundary condition (1.37). Adding a brief remark that (1.37) is part of the solution class (or is recovered a posteriori) would make the definition self-contained.","section":null},{"comment":"Several cut-off functions (ζ, ζ_a, χ, χ^♯, …) are introduced in §2.1.3; a one-line summary table or a consistent naming convention would reduce the cognitive load when reading the long estimate chain in §§3–5.","section":null},{"comment":"Typographical consistency: the manuscript occasionally switches between “physical vacuum” and “Physical Vacuum”; standardizing the capitalization would improve polish.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technical, but the logical structure is clean and the central claim is fully supported. I see no reason to request major revisions. The special viscosity relation is a genuine limitation of the method, yet it is openly declared and does not undermine the result inside the stated regime. Suitable for a top-tier analysis journal."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The new result is Theorem 1.1: for δ ∈ (13/18,1) and γ ∈ (4/3,6δ-3), the free-boundary CNSP system with viscosities μ = a1 \rho^δ, λ = 2a1(δ-1)\rho^δ admits unique global classical solutions for arbitrary large spherically symmetric data satisfying the physical-vacuum condition. Solutions stay smooth up to the moving boundary and recover the Lane-Emden vacuum slope. Local existence is taken from the authors’ companion paper; the global step is the contribution.\n\nWhat works is the architecture. They introduce an effective velocity V that absorbs the degenerate viscosity, obtain uniform lower/upper bounds on the flow map (η_r, η/r) by separate interior/exterior weighted estimates, then close a carefully chosen energy-dissipation pair (E,D) that mixes unweighted H^k norms near the origin with \rho0-weighted norms near the vacuum. Binary-form positivity of the dissipation (Lemma 3.1) and the L^p estimates of §3.3 are the technical heart; once those close, the continuation argument in §6 is standard. The parameter window is motivated by BD entropy and by the linear stability range of Lane-Emden stars, and is used consistently. No circularity or hidden fitting appears.\n\nSoft spots are real but declared. Spherical symmetry is essential; the special relation λ = 2a1(δ-1)\rho^δ (bulk viscosity zero) and the upper bound γ < 6δ-3 enter at the level of the binary forms and the origin-weighted estimates (Remark 1.5). Outside that regime the argument does not run. That is a limitation of scope, not a gap inside the stated hypotheses. The paper is long and technical, but the estimates are self-contained and the citation pattern is appropriate.\n\nThis is for people working on free-boundary compressible fluids or stellar models. A serious referee should see it; the claim is new, the proof is complete inside its regime, and the restrictions are honest. I would accept for peer review and would cite the global existence statement when I need a large-data reference in this class of problems.","headline":"Large-data global classical solutions for spherically symmetric viscous gaseous stars with physical vacuum, under a locked viscosity relation and γ < 6δ-3; the a-priori chain closes cleanly.","tokens_in":95654,"tokens_out":626,"would_cite":true,"duration_ms":12310,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35A01","35A09","35R35","35B65","35Q30","76N10"],"pacs":[],"model":"grok-4.5","headline":"Global classical solutions exist for large-data spherically symmetric viscous gaseous stars with physical vacuum.","keywords":["physical vacuum","free boundary problem","Navier-Stokes-Poisson","degenerate viscosity","gaseous stars","spherical symmetry","global classical solutions","Lane-Emden"],"falsifier":"An explicit smooth, spherically symmetric initial density and velocity that satisfy the physical-vacuum condition and the energy-space hypotheses, yet for which the corresponding classical solution either ceases to exist in finite time or develops a vacuum or density singularity inside the fluid.","tokens_in":95756,"feed_emoji":"⭐","tokens_out":940,"duration_ms":10995,"temperature":0.7,"pith_summary":"The paper proves that a self-gravitating viscous star, modelled by the three-dimensional compressible Navier–Stokes–Poisson equations with density-dependent viscosities, admits a unique classical solution that exists for all time when the motion is spherically symmetric and barotropic. No smallness restriction is imposed on the initial data, provided the viscosities and the adiabatic exponent lie in an explicit open range and the initial density vanishes at the free boundary in the physical-vacuum manner of a Lane–Emden star. The solution remains smooth up to the moving vacuum boundary, the boundary itself expands with finite speed, and the usual stress-free condition is recovered automatically. The result therefore gives a mathematically rigorous picture of the global dynamics of a large viscous gaseous star that never collapses or cavitates in finite time.","feed_headline":"Large viscous stars stay smooth forever in physical vacuum","feed_subtitle":"Global classical solutions exist for arbitrary initial data when motion is spherical and viscosities are density-dependent.","key_machinery":"The effective velocity V = U + 2a₁δ/(δ-1) D_η(ρ^{δ-1}), together with a carefully chosen family of weighted energy functionals that separate the interior (near the origin) from the exterior (near the vacuum boundary). These functionals close the a-priori estimates and yield uniform positive upper and lower bounds on the Lagrangian map derivatives η_r and η/r.","core_discovery":"For viscosities of the form μ = a₁ ρ^δ, λ = 2a₁(δ-1)ρ^δ with δ ∈ (13/18,1) and adiabatic exponents γ ∈ (4/3,6δ-3), the free-boundary problem for the spherically symmetric barotropic Navier–Stokes–Poisson system admits a unique global classical solution for arbitrary large initial data that satisfy the physical-vacuum condition. The solution stays smooth up to the free boundary and realises the same vacuum behaviour as the stationary Lane–Emden configuration.","pith_inferences":["The same weighted-energy strategy may extend to non-radial perturbations once a suitable angular-momentum control is available.","Removing the bulk-viscosity restriction would require a new identity that restores positivity of the dissipation near the origin.","The upper threshold γ < 6δ-3 suggests a possible critical value at which large-data global regularity may fail."],"forward_implications":["The free boundary of a large viscous gaseous star expands with finite speed for all positive time and never collapses to a point.","No cavitation or density blow-up occurs at the centre of the star in finite time for the admissible range of parameters.","The stress-free boundary condition is satisfied automatically by every classical solution constructed in the paper.","The same vacuum asymptotics that characterise stationary Lane–Emden stars persist for the entire evolutionary path of large initial data."],"fun_headline_variants":["Global smooth solutions for large viscous stars in physical vacuum","Arbitrary data give global classical solutions for spherical viscous stars","Viscous stars remain smooth forever under density-dependent viscosities","Physical vacuum free boundary admits global well-posedness for any data","Spherically symmetric gaseous stars stay smooth up to moving boundary"],"cache_read_input_tokens":82048,"weakest_assumption_plain":"The viscosities must satisfy the exact algebraic relation that makes the bulk viscosity vanish, and the adiabatic exponent cannot be larger than 6δ-3; both restrictions are used to keep the dissipation positive and to control the density near the centre.","fun_headline_variants_meta":{"raw":{"variants":["Global smooth solutions for large viscous stars in physical vacuum","Arbitrary data give global classical solutions for spherical viscous stars","Viscous stars remain smooth forever under density-dependent viscosities","Physical vacuum free boundary admits global well-posedness for any data","Spherically symmetric gaseous stars stay smooth up to moving boundary"]},"model":"grok-4.5","effort":"low","cost_usd":0.005622,"raw_usage":{"total_tokens":1465,"prompt_tokens":696,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":56220000,"prompt_tokens_details":{"text_tokens":696,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":703,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":696,"tokens_out":66,"duration_ms":6846,"temperature":1.0,"reasoning_tokens":703,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T04:48:45.012793+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"An explicit smooth, spherically symmetric initial density and velocity that satisfy the physical-vacuum condition and the energy-space hypotheses, yet for which the corresponding classical solution either ceases to exist in finite time or develops a vacuum or density singularity inside the fluid.","supporting_citations":[],"review_version":1}