{"id":"81abc17f-55b2-4b84-8d70-2880c2b7785b","arxiv_id":"2606.22822","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves local existence of smooth classical solutions to the spherically symmetric barotropic viscous gaseous star equations that remain smooth up to the physical vacuum boundary for gamma greater than 4/3.","lead":"The paper proves local well-posedness for the free-boundary compressible Navier-Stokes-Poisson system modeling viscous gaseous stars under spherical symmetry. A smart generalist might read it to see how mathematicians handle moving vacuum boundaries in self-gravitating fluids.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the two structural restrictions that make the local existence argument feasible. Because the claim is not asserted outside those restrictions, and no gap internal to the restricted setting is visible, the UNVERDICTED status is appropriate pending full proof verification.","tokens_in":1579,"tokens_out":248,"duration_ms":20550,"concrete_test":"Confirm that the main theorem (likely Theorem 1.1 or equivalent) in the full manuscript states exactly the same hypotheses and conclusion as the abstract, with no additional hidden restrictions on the viscosity coefficients or symmetry.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is scoped precisely to spherically symmetric barotropic flows with a specific choice of degenerate viscosity coefficients vanishing at the vacuum boundary. The abstract states local well-posedness of classical solutions that remain smooth up to the free boundary and recover the Lane-Emden vacuum behavior for γ > 4/3. No internal inconsistency, hidden assumption in the estimates, or failure of the reduction is apparent from the stated result; the argument is permitted to rely on those structural simplifications.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript establishes the local well-posedness of classical solutions to the free-boundary problem for the three-dimensional compressible Navier-Stokes-Poisson equations with degenerate viscosities, restricted to spherically symmetric barotropic motion. The solutions remain smooth up to the moving boundary and recover the physical vacuum behavior of the Lane-Emden equilibrium for all adiabatic exponents γ > 4/3.","tokens_in":1649,"tokens_out":322,"duration_ms":18607,"significance":"If the local existence result holds, it supplies a rigorous justification for short-time smooth evolution of viscous self-gravitating gaseous stars under the physical vacuum condition, a setting that is central to astrophysical fluid models. The combination of spherical symmetry, barotropic closure, and viscosity coefficients that vanish at the boundary permits the analysis to close; the result therefore supplies a concrete, albeit scoped, advance over prior local-existence theorems that either omit viscosity or treat non-degenerate cases.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction should explicitly state the precise function spaces (e.g., weighted Sobolev or Hölder spaces) in which the classical solutions are constructed, as this is essential for verifying the claimed smoothness up to the free boundary.","section":null},{"comment":"A short paragraph comparing the degenerate viscosity choice with the non-degenerate or inviscid literature (e.g., citations to works on the Euler-Poisson system) would clarify the technical novelty of the vanishing-coefficient assumption.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of the manuscript, including the summary of the local well-posedness result for spherically symmetric barotropic viscous gaseous stars under the physical vacuum condition, and for recommending minor revision. No specific major comments were provided in the report.","responses":[],"tokens_in":1085,"tokens_out":73,"duration_ms":15479,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper proves local well-posedness of classical solutions for the 3D compressible Navier-Stokes-Poisson equations with degenerate viscosities modeling self-gravitating gaseous stars. The result is restricted to spherically symmetric barotropic motion, and the solutions stay smooth up to the moving boundary while matching the Lane-Emden vacuum profile for gamma greater than 4/3.\n\nThe new piece is the viscous case with viscosities that vanish at the vacuum boundary. Earlier work handled inviscid versions or non-vacuum boundaries, so this combination under the stated assumptions appears to be the advance.\n\nThe paper handles the free-boundary regularity and the physical vacuum condition cleanly within its scope. The symmetry and barotropic restrictions let the estimates close without additional layers of difficulty.\n\nThe main limitation is exactly those restrictions. Drop spherical symmetry or barotropic flow and the argument does not apply, as the abstract itself flags. The degenerate viscosity choice is also tailored to the vacuum. Without the full estimates or function-space setup visible in the summary, it is difficult to judge the sharpness of the constants or how much room the proof has.\n\nSpecialists in free-boundary problems for compressible fluids and stellar models will get the most from it. Anyone tracking extensions of Lane-Emden type results to viscous regimes should see this.\n\nIt deserves peer review. The claim is scoped tightly enough that a referee can check whether the estimates actually deliver the stated regularity.","headline":"Local well-posedness for the viscous Navier-Stokes-Poisson system with physical vacuum, but only under spherical symmetry and barotropic flow.","tokens_in":2107,"tokens_out":367,"would_cite":false,"duration_ms":20545,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Local well-posedness holds for classical solutions of the spherically symmetric viscous gaseous star equations with physical vacuum.","keywords":["local well-posedness","Navier-Stokes-Poisson","physical vacuum","free boundary","spherically symmetric","barotropic flow","gaseous stars"],"falsifier":"A numerical simulation or analytical construction showing that solutions lose smoothness at the boundary in finite time for some initial data satisfying the assumptions would disprove the local existence.","tokens_in":2489,"feed_emoji":"⭐","tokens_out":386,"duration_ms":29048,"temperature":0.7,"pith_summary":"The paper proves that the three-dimensional compressible Navier-Stokes-Poisson equations with degenerate viscosities admit local-in-time classical solutions for self-gravitating gaseous stars when the motion is restricted to spherical symmetry and barotropic flow. These solutions remain smooth up to the moving free boundary. They also reproduce the physical vacuum boundary behavior of the stationary Lane-Emden star for every adiabatic exponent greater than 4/3.","feed_headline":"Local solutions exist for viscous gaseous stars in physical vacuum","feed_subtitle":"Classical solutions remain smooth to the moving boundary for all adiabatic exponents above 4/3 under spherical symmetry.","key_machinery":"degenerate viscosity coefficients that vanish at the vacuum boundary under spherical symmetry","core_discovery":"For spherically symmetric barotropic motion, the local well-posedness of classical solutions to the free boundary problem is established. The solutions are smooth all the way up to the moving boundary and capture the physical vacuum boundary behavior of the Lane-Emden star configuration for all adiabatic exponents γ > 4/3.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Local well-posedness for viscous gaseous stars in physical vacuum","Classical solutions smooth to moving boundary in spherical symmetry","Barotropic motion well-posed for gaseous stars with gamma over 4/3","Local existence for evolution of viscous stars in vacuum","Solutions capture Lane-Emden configuration in physical vacuum"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The motion must be spherically symmetric and barotropic, with viscosity coefficients chosen to vanish at the vacuum boundary.","fun_headline_variants_meta":{"raw":{"variants":["Local well-posedness for viscous gaseous stars in physical vacuum","Classical solutions smooth to moving boundary in spherical symmetry","Barotropic motion well-posed for gaseous stars with gamma over 4/3","Local existence for evolution of viscous stars in vacuum","Solutions capture Lane-Emden configuration in physical vacuum"]},"model":"grok-4.3","cost_usd":0.006889,"raw_usage":{"total_tokens":3036,"prompt_tokens":507,"num_sources_used":0,"completion_tokens":71,"cost_in_usd_ticks":68890500,"prompt_tokens_details":{"text_tokens":507,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2458,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":507,"tokens_out":71,"duration_ms":16921,"temperature":1.0,"reasoning_tokens":2458,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T05:06:23.410946+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A numerical simulation or analytical construction showing that solutions lose smoothness at the boundary in finite time for some initial data satisfying the assumptions would disprove the local existence.","supporting_citations":[],"review_version":2}