{"id":"c1892fd6-f15d-44ac-b81c-7157fd0f6f40","arxiv_id":"2608.08335","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Nonlinear escape from unstable nonrotating Euler-Poisson equilibria follows from the turning-point instability index via a Lyapunov functional or an unstable-cone argument.","lead":"Mathematicians prove that if a star described by the Euler-Poisson equations is linearly unstable in a specific spectral sense, then small perturbations of it must grow and escape a fixed neighborhood in logarithmically long time. The result matters because it turns a linear instability diagnostic into a rigorous nonlinear escape theorem for general equations of state, without requiring perturbations to be pre-aligned with the fastest growing mode.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.9's unconditional polytropic claim rests on Theorem 4.6(iii), the restart property of the Luo-Xin-Zeng local theory, which is asserted without an explicit proof.","rationale":"The reader's weakest-assumption analysis identifies exactly the same load-bearing concern: Theorem 4.6(iii) is asserted rather than proved, and Theorem 4.9 depends on it. My independent check of the conditional estimates did not reveal a different internal flaw. The lower-energy theorem, the unstable-cone theorem, and the spectral lemmas are coherent given the strong-solution interface. The nonlinear remainder estimate is carefully localized to the W^{1,infty} neighborhood and uses the radial reduction in a way that avoids derivative loss. The remaining obstacle is purely the quantitative restart property of the polytropic local theory. Because this is a gap in proof rather than a demonstrated contradiction, the correct verdict is unchanged from the reader's CONDITIONAL: the paper proves two conditional instability mechanisms and makes the unconditional polytropic claim plausible but not fully justified. If the restart lemma were supplied, the unconditional theorem would likely be established. No change to the verdict is needed based on my stress test.","tokens_in":29060,"tokens_out":5819,"duration_ms":57318,"concrete_test":"Derive from the local well-posedness estimates in Luo-Xin-Zeng [17] an explicit restart lemma: for given bounds E on the high-order energy, J on the Jacobian factors, and c0 on the physical-vacuum constant, exhibit a positive Delta T(E,J,c0) such that the solution extends from any time t with those bounds to t+Delta T. Then verify that Delta T stays bounded below by a positive constant over the entire N-gamma-neighborhood used in Theorem 4.9. If such a uniform Delta T exists, Theorem 4.6(iii) holds and Theorem 4.9 is justified; if Delta T can approach zero inside that neighborhood, the unconditional conclusion fails and should be downgraded to a conditional statement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central conditional results (Theorems 4.1 and 4.4) are internally consistent: the Lyapunov mechanism, the spectral decomposition, the cone estimate, and the nonlinear remainder Lemma 5.7 fit together as written. The step that upgrades these to an unconditional conclusion is Theorem 4.6(iii), the claimed restart property of the Luo-Xin-Zeng radial physical-vacuum local theory. This property is not proved with explicit quantitative bounds in the paper. The proof of Theorem 4.9 uses it to continue any solution that stays in a fixed controlled N-gamma neighborhood across an interval whose length is logarithmic in 1/|H0|. Since the initial data in Theorem 4.9 can be arbitrarily small, this interval can be arbitrarily long, so the continuation argument requires a lifespan lower bound that depends only on the controlled quantities and remains positive as long as those quantities stay bounded. The appendix records the high-order energy but does not derive such a restart lemma. Without it, the stopping-time argument cannot exclude the possibility that the physical-vacuum constant or some high-order weighted derivative degenerates while N-gamma is still below the bootstrap threshold, causing the lifespan to shrink to zero. Thus the unconditional polytropic theorem is not fully established; it is conditional on a substantial restart estimate that the paper states but does not prove.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops two nonlinear escape mechanisms for radial perturbations of compactly supported nonrotating equilibria of the three-dimensional Euler–Poisson system with physical-vacuum boundary. Under the assumptions n^u(μ)>0 and M'(μ)≠0, Theorem 4.1 shows that any sufficiently regular radial solution with Hamiltonian strictly below that of the equilibrium leaves any fixed small W^{1,∞} neighborhood within a logarithmic time controlled by the least unstable linear growth rate, and provides an explicit exponential lower bound when the finite-dimensional Lyapunov functional is initially nonnegative. Theorem 4.4 proves a similar escape for data whose Riesz projection onto the unstable subspace is bounded below by a fixed fraction of the phase-space norm. The proofs combine a Lagrangian Hamiltonian formulation, spectral facts from Lin–Zeng [16], norm-equivalence estimates in the physical-vacuum weighted spaces, and a nonlinear remainder estimate (Lemma 5.7) proved via radial Piola stress and Newton's shell theorem. In the polytropic class 6/5<γ<4/3, Theorem 4.9 claims to upgrade these conditional statements to unconditional nonlinear instability in the Luo–Xin–Zeng high-order topology, using the local well-posedness theory [17] together with a restart property stated as Theorem 4.6(iii).","tokens_in":29199,"tokens_out":8540,"duration_ms":82644,"significance":"If the conditional theorems are correct, they are a substantial advance over existing instability results for gaseous stars: they show that the spectral turning-point index n^u(μ)>0 forces nonlinear escape for all sufficiently small lower-energy perturbations and for unstable-cone perturbations, without requiring initial alignment with a single fastest-growing mode. The paper is technically careful and unusually explicit about its assumptions. The nonlinear remainder estimate of Lemma 5.7 and the invariant-cone estimate of Lemma 6.6 are coherent and detailed, and I found no circularity in the main conditional arguments: the escape conclusions are not built into the turning-point index. The principal weakness is the route from the conditional statements to the unconditional polytropic theorem: Theorem 4.9 rests on the restart property Theorem 4.6(iii), which is asserted but not proved. The paper's own appendix records the high-order energy but does not supply the required quantitative continuation lemma. The conditional part is publishable in my view; the unconditional claim needs either a proof of the restart property or a downgrade to a conditional statement.","major_comments":[{"comment":"The unconditional polytropic theorem 4.9 depends critically on the restart property stated in Theorem 4.6(iii): a lifespan lower bound that depends only on the high-order energy, Jacobian bounds, and physical-vacuum constant, and that remains positive as long as these quantities stay bounded. The paper does not prove this property. Appendix A records the Luo–Xin–Zeng energy (A.1) and then asserts that the uniform restart property is 'the time-translation and change-of-chart consequence of reapplying this local construction,' but no quantitative restart lemma is derived. This is not a routine consequence: it requires control of all recursively generated compatibility derivatives, a lower bound on the physical-vacuum constant that is stable under restart, and a lifespan bound uniform over the class of controlled states. Because the initial data in Theorem 4.9 can be arbitrarily small, the escape interval is arbitrarily long, so the lifespan bound cannot depend on the initial amplitude. Without an explicit continuation criterion, the stopping-time argument in the proof of Theorem 4.9 cannot exclude loss of regularity before N_γ reaches the escape threshold. The unconditional claim is therefore not established as written.","section":"Section 4.1, Theorem 4.6(iii); Appendix A"},{"comment":"Theorem 4.6 is imported as a black box from [17], but the properties needed for Theorem 4.9 are stronger than a bare finite-time existence statement. In particular, (4.16) asserts that the high-order distance N_γ controls the W^{1,∞} deformation norm d(X(t)) in a fixed neighborhood of the equilibrium. The appendix records the weighted energy (A.1) but does not identify the estimates in [17] that imply this control in the Euclidean ball variables used in Section 4, nor does it show that the push-forward of a smooth radial diffeomorphism preserves all high-order compatibility conditions. Since Theorem 4.9 states instability in the topology generated by N_γ, a precise translation between the Luo–Xin–Zeng variables and the variables of this paper is load-bearing and should be supplied.","section":"Section 4.1, Theorem 4.6(i)–(ii); Appendix A"},{"comment":"The existence of the initial data used in Theorem 4.9 is only sketched. Remark 4.10 says that one approximates a negative direction of the displacement Hessian or an unstable eigenvector by 'smooth, compatible' radial data and then scales the amplitude to make N_γ(0) arbitrarily small. The paper does not prove that such approximations exist while preserving the strict inequalities H(X(0),U(0))<0 and ‖P_uZ(0)‖≥κ‖Z(0)‖ with quantitative margins, nor that the recursively defined physical-vacuum compatibility conditions of [17] survive the approximation and the scaling. Because Theorem 4.9 asserts an existential statement for arbitrarily small data, this construction is load-bearing and should be proved or replaced by an explicit family of admissible data.","section":"Theorem 4.9 and Remark 4.10"}],"minor_comments":[{"comment":"The definition of a strong radial solution states that d(X(t)) is continuous, but the regularity in (S1) is given in terms of Z_μ and Y_μ^*. It would be clearer to state explicitly that the map t↦d(X(t)) is continuous with respect to the W^{1,∞}(S_μ) norm in which d is defined, and to indicate which hypotheses imply this continuity.","section":"Section 4, Definition (S1)"},{"comment":"The displayed estimate following (6.20) is terse: the right-hand side is an integral of a bounded function times δ^2, but it is not literally the Z_μ norm. The passage from ‖X−id‖_{W^{1,∞}}<δ to ‖eX‖_{Z_μ}≤Cδ would benefit from a short expansion showing how the weighted divergence term is controlled.","section":"Section 6.2, proof of Theorem 4.1, Eq. (6.20)"},{"comment":"In the proof of Lemma 5.2, the estimate on [0,R_μ/2] omits the harmless angular factor 4π in several displayed integrals. The argument is correct, but the notation could be made consistent by writing dV=r^2 dr dω or by stating that all radial integrals are taken up to angular constants.","section":"Section 5, Lemma 5.2"}],"recommendation":"major_revision","confidential_remarks":"I am recommending major revision rather than rejection because the conditional core of the paper appears sound and well argued. The decisive issue is Theorem 4.9: the advertised unconditional polytropic instability depends on Theorem 4.6(iii), a restart property that is asserted but not proved. If the authors can supply a quantitative restart lemma for the Luo–Xin–Zeng radial physical-vacuum theory, or alternatively restrict Theorem 4.9 and the abstract to the conditional statement, the paper would be suitable for publication. I would also ask the authors to clarify the data construction in Remark 4.10, since Theorem 4.9's existential claim depends on it."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nQuick take: this is a serious paper and the central conditional theorems are in good shape. The genuinely new thing is the lower-energy escape mechanism (Prop 3.1 / Thm 4.1) and the unstable-cone trichotomy (Thm 4.4). Unlike Jang's construction, these do not require initial data aligned with the fastest growing mode; they work for arbitrary unstable spectral combinations. The radial nonlinear remainder (Lemma 5.7) is proved cleanly via the Piola stress and Newton's shell theorem, avoiding derivative loss, and the norm-equivalence lemmas check out. The bootstrap arguments in Section 6 are coherent; the lower-energy inequality (6.19) and cone invariance (Lemma 6.6) are valid as written. I also appreciate that the authors are explicit that the general-EOS theorems are conditional on a not-yet-available well-posedness theory.\n\nThe soft spot, as the stress-test notes, is Theorem 4.9. The unconditional polytropic claim relies on Theorem 4.6(iii), the asserted restart property of the Luo–Xin–Zeng local theory. That property is not proved with quantitative bounds in this paper. This is load-bearing: since the initial data can be arbitrarily small, the escape interval is logarithmic in 1/|H0| and can be arbitrarily long, so the stopping-time argument needs a lifespan lower bound that depends only on the quantities kept under control. Without such a restart lemma, one cannot exclude degeneration of the physical-vacuum constant or a high-order derivative while N-gamma is still below the bootstrap threshold. So the unconditional theorem is not fully established; it is conditional on a substantial external estimate. The conditional results themselves stand independently and are honestly labeled.\n\nOne minor point: the paper's comparison with Jang's strong-to-weak result is fair and measured, not overstated.\n\nWho gets value: anyone working on nonlinear instability of gas stars, and people interested in Hamiltonian methods for turning-point indices. It deserves a serious referee. I would send it out, with instructions that the referee verify the restart property (or the exact citation in [17]) before the unconditional theorem is accepted.\n\nRecommendation: send to peer review.","headline":"Genuinely new conditional escape mechanisms, honestly labeled, but the unconditional polytropic theorem hangs on an unproved restart lemma.","tokens_in":29814,"tokens_out":2078,"would_cite":true,"duration_ms":19295,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35B35","35R35","76N10","85A30"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a positive spectral turning-point index $n_u(\\mu)>0$ forces radial nonlinear escape from nonrotating Euler–Poisson equilibria, with logarithmic escape-time bounds, and yields unconditional instability for polytropic…","keywords":["Euler-Poisson system","gaseous stars","physical vacuum","nonlinear instability","turning-point principle","Hamiltonian PDE","radial perturbations","Lane-Emden stars"],"falsifier":"Construct, numerically or analytically, a radial Euler-Poisson solution with $n_u(\\mu)>0$, $M'(\\mu)\\neq 0$, and $H_0<0$ that remains inside the $\\delta$-neighborhood for all times up to twice $T_\\delta$; or exhibit initial data in the polytropic class where the restart property of the local theory fails before the escape time, so the unconditional conclusion would collapse.","tokens_in":28743,"feed_emoji":"🌟","tokens_out":10411,"duration_ms":84071,"temperature":0.7,"pith_summary":"This paper sets out to show that radial spectral instability of a nonrotating star is not suppressible by nonlinearities. Let $n_u(\\mu)$ be the turning-point index, the number of unstable radial modes counted by the linear theory; the paper proves that if $n_u(\\mu)>0$ and the equilibrium is not a mass extremum, then every sufficiently small radial perturbation with Hamiltonian lower than that of the equilibrium must leave any fixed neighborhood within a logarithmic time, governed by the least unstable growth rate. A second mechanism treats perturbations whose projection onto the finite-dimensional unstable subspace is not too small, with either sign of the energy. For polytropic stars with $6/5<\\gamma<4/3$ the estimates become unconditional in the physical-vacuum classical-solution topology. The significance is that a purely spectral count is shown to be dynamically coercive, even though a published well-posedness theorem in the generality of the conditional statements is not available.","feed_headline":"Unstable turning point forces stars to escape in log time","feed_subtitle":"Linear instability count decides fully nonlinear escape, with explicit log-time bounds and a polytropic unconditional case.","key_machinery":"The central object is the displacement Hessian, the second variation of the Hamiltonian with respect to Lagrangian displacements at the equilibrium, represented by the self-adjoint operator $\\widetilde{L}_\\mu$ on the weighted space $Y_\\mu$. Its negative eigenvalues $-\\mu_i$ define the finite-dimensional hyperbolic directions; the Lyapunov functional $V(t)=\\sum_i [X(t)-\\mathrm{id}, w_i]\\,\\langle U(t), w_i\\rangle$ carries the lower-energy theorem, while the Riesz projections onto the unstable subspace together with an exponential trichotomy carry the cone theorem. The condition $M'(\\mu)\\neq 0$ removes the zero mode at mass turning points and provides the spectral gap; a radial remainder estimate with a modulus of continuity controls the nonlinear force in the physical-vacuum topology, and for the polytropic result a radial local well-posedness theory supplies the restart property that turns conditional escape into unconditional escape.","core_discovery":"The central claim is Theorem 4.1: under $n_u(\\mu)>0$ and $M'(\\mu)\\neq 0$, every radial strong solution whose Hamiltonian satisfies $H(X(0),U(0))<0$ exits any fixed neighborhood of the equilibrium within time $T_\\delta = (1+o(1))/\\sqrt{\\mu_1}\\,\\log(D\\delta/|H_0|)$, where $-\\mu_1$ is the negative eigenvalue of the displacement Hessian closest to the origin. Theorem 4.4 adds an unstable-cone mechanism: if the Riesz projection of the initial data onto the finite-dimensional unstable subspace has relative size at least $\\kappa$, escape again occurs on a logarithmic time scale. For polytropic pressure $P(\\rho)=C_\\gamma\\rho^\\gamma$ with $6/5<\\gamma<4/3$, Theorem 4.9 combines these estimates with the radial physical-vacuum local theory to conclude unconditional nonlinear instability in the classical-solution topology, for both lower-energy data and unstable-cone data. The discovery is that the turning-point spectral index, which counts negative directions of the second variation of the Hamiltonian, forces nonlinear escape rather than merely predicting linear growth.","pith_inferences":["If the conditional theorems are correct, then building a general-pressure well-posedness theory with the compatibility conditions used in the polytropic argument would immediately make the general-equation-of-state statements unconditional; the paper explicitly identifies that well-posedness theorem as the missing input.","The same separable-Hamiltonian mechanism should apply to other constrained Hamiltonian equilibria with a finite-dimensional negative spectral subspace, provided a nonlinear remainder estimate with the appropriate form norm can be proven.","A numerical computation for a Lane-Emden star with $\\gamma=1.3$ could test the predicted escape time; if a low-energy perturbation remains within the $\\delta$-neighborhood for times beyond $T_\\delta$, the bootstrap estimate or the assumed strong-solution class would be the place to inspect."],"forward_implications":["Lower-energy perturbations of an unstable nonrotating star cannot linger near equilibrium; the least unstable linear growth rate $\\sqrt{\\mu_1}$ controls the maximum escape time.","Instability does not require initial alignment with a fastest-growing mode: any data with $H<0$ are forced out, and data whose unstable projection is large escape through a cone mechanism with either sign of energy.","For Lane-Emden stars with $6/5<\\gamma<4/3$, the instability is unconditional in the physical-vacuum classical topology: smooth compatible data arbitrarily close to the equilibrium reach a fixed distance by the stated logarithmic time.","Mass extrema $M'(\\mu)=0$ are the only places the index can change; away from them, the positivity $n_u(\\mu)>0$ is a robust nonlinear-instability criterion."],"supporting_citations":[{"why":"Supplies the turning-point principle, the radial instability index $n_u(\\mu)$, and the spectral analysis of the displacement Hessian that both instability theorems build on.","marker":"[16]"},{"why":"Supplies the exponential trichotomy and Riesz projections for the linearized Hamiltonian flow used in the unstable-cone theorem.","marker":"[15]"},{"why":"Provides the radial physical-vacuum local well-posedness theory and restart property used to upgrade the conditional estimates to the unconditional polytropic conclusion.","marker":"[17]"},{"why":"The earlier nonlinear instability theorem for Lane-Emden stars that the present results complement and compare against; marks the strong-to-weak escape benchmark.","marker":"[10]"}],"fun_headline_variants":["Turning-point index forces nonlinear escape of stars","Log-time escape for unstable stellar equilibria","Euler-Poisson stars: nonlinear instability from linear index","Radial escape: turning point count decides log-time exit","Polytropic stars: unconditional nonlinear instability"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The fragile premise is that a sufficiently regular radial solution exists all the way up to the logarithmic escape time; for general pressure laws this is only assumed, and the paper notes that no published three-dimensional Euler-Poisson well-posedness theorem in that generality is known.","fun_headline_variants_meta":{"raw":{"variants":["Turning-point index forces nonlinear escape of stars","Log-time escape for unstable stellar equilibria","Euler-Poisson stars: nonlinear instability from linear index","Radial escape: turning point count decides log-time exit","Polytropic stars: unconditional nonlinear instability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000712,"raw_usage":{"total_tokens":3264,"prompt_tokens":1064,"completion_tokens":2200,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":680,"completion_tokens_details":{"reasoning_tokens":2127}},"tokens_in":680,"tokens_out":2200,"duration_ms":16781,"temperature":1.0,"reasoning_tokens":2127,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T00:08:48.409416+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct, numerically or analytically, a radial Euler-Poisson solution with $n_u(\\mu)>0$, $M'(\\mu)\\neq 0$, and $H_0<0$ that remains inside the $\\delta$-neighborhood for all times up to twice $T_\\delta$; or exhibit initial data in the polytropic class where the restart property of the local theory fails before the escape time, so the unconditional conclusion would collapse.","supporting_citations":[{"cited_title":"11, 2511–2572","cited_arxiv_id":null,"evidence_quote":"Supplies the turning-point principle, the radial instability index $n_u(\\mu)$, and the spectral analysis of the displacement Hessian that both instability theorems build on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the exponential trichotomy and Riesz projections for the linearized Hamiltonian flow used in the unstable-cone theorem."},{"cited_title":"3, 763–831","cited_arxiv_id":null,"evidence_quote":"Provides the radial physical-vacuum local well-posedness theory and restart property used to upgrade the conditional estimates to the unconditional polytropic conclusion."},{"cited_title":"9, 1418–1465","cited_arxiv_id":null,"evidence_quote":"The earlier nonlinear instability theorem for Lane-Emden stars that the present results complement and compare against; marks the strong-to-weak escape benchmark."}],"review_version":1}