{"id":"25f93066-700f-4a7d-bf3b-08789c2c3597","arxiv_id":"2409.14626","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves linear phase mixing in 3D and nonlinear phase mixing for spherically symmetric data on Landau-damping timescales in the gravitational Vlasov-Poisson system with Kepler potential.","lead":"The paper proves quantitative linear phase mixing estimates in 3D without symmetry and a long-time nonlinear phase mixing theorem for spherically symmetric finite-regularity data in the Vlasov-Poisson system with external Kepler potential. A smart generalist might read it to see how Landau-damping-style mixing extends to gravitational systems with bounded orbits around massive bodies.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest-assumption note matches the abstract's own description of the technical approach. With no full text, no concrete load-bearing concern about correctness can be raised or tested.","tokens_in":1604,"tokens_out":161,"duration_ms":7854,"concrete_test":"Obtain and examine the full manuscript, verifying the construction of the dynamically defined action-angle variables and the resulting nonlinear estimates against the claimed time scale.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Only the abstract is available. The central claim is a long-time nonlinear phase mixing theorem whose validity rests on a proof that is not provided; no internal inconsistency, hidden assumption, or estimate failure can be located in the argument itself.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims quantitative linear phase mixing estimates in three dimensions for the Vlasov-Poisson system with external Kepler potential (outside symmetry assumptions), together with a long-time nonlinear phase mixing theorem for spherically symmetric data of finite regularity. The nonlinear result is stated to hold on time scales comparable (modulo logarithms) to known finite-regularity Landau damping results on the torus, via a system of dynamically defined action-angle variables that compensate for weaker linear estimates.","tokens_in":1625,"tokens_out":263,"duration_ms":12741,"significance":"If the proofs are valid, the results would extend phase-mixing techniques from plasma physics to gravitational systems with bounded Keplerian trajectories, providing a nonlinear long-time theorem under finite regularity that is not currently available in this setting.","major_comments":[{"comment":"Abstract: the central claims consist of the existence of quantitative linear estimates and a nonlinear phase-mixing theorem, yet the abstract supplies neither derivation outlines, error estimates, nor regularity hypotheses, so it is impossible to determine whether the stated conclusions follow from the given assumptions.","section":null}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":"Only the abstract was supplied; the full manuscript is required before any technical assessment of the proofs can be performed."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their comments. We address the single major comment below.","responses":[{"response":"We agree that the abstract is concise and omits explicit regularity hypotheses, error estimates, and derivation outlines. While this is common for abstracts, the comment is valid for assessing the claims at a glance. In the revised version we will expand the abstract to state the finite-regularity assumption for the nonlinear result, note the logarithmic loss in the time scale relative to the torus case, and indicate that the linear estimates are quantitative and hold without symmetry assumptions.","revision_made":"yes","referee_comment":"Abstract: the central claims consist of the existence of quantitative linear estimates and a nonlinear phase-mixing theorem, yet the abstract supplies neither derivation outlines, error estimates, nor regularity hypotheses, so it is impossible to determine whether the stated conclusions follow from the given assumptions."}],"tokens_in":1167,"tokens_out":203,"duration_ms":22242,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main new claim is a long-time nonlinear phase mixing result for spherically symmetric finite-regularity data in the gravitational Vlasov-Poisson system with external Kepler potential. The authors also give quantitative linear phase mixing estimates in three dimensions without symmetry. They adapt Landau-damping methods but switch to dynamically defined action-angle variables because the linear decay is weaker than on the torus, and they reach comparable times up to logs. This setup targets bounded orbits around a central mass, which fits models of gas around stars or planets. The framing is direct and the distinction from prior work is stated clearly in the abstract. The linear estimates outside symmetry are a concrete step that stands on its own. The soft spot is obvious: only the abstract is available, so there are no derivations, error bounds, or regularity statements to inspect. The weaker linear estimates are flagged by the authors themselves, which raises the practical question of whether the nonlinear control still closes without extra losses that the dynamic variables cannot absorb. No internal contradiction appears in what is written, but that is not the same as verified estimates. This paper is for people already working on phase mixing, Landau damping, or Vlasov systems in mathematical physics. A reader who follows those lines would want the full text to see whether the technical steps hold. It deserves peer review once the complete paper is submitted, because the claim is specific, the setting is natural, and the adaptation is presented as necessary rather than cosmetic. If the proofs are complete and the estimates close, it adds a useful case; if gaps remain, referees can identify them directly.","headline":"This abstract claims a nonlinear phase mixing theorem for spherically symmetric data in the Kepler Vlasov-Poisson system on Landau-damping timescales, but the proofs are not shown so the estimates cannot be checked.","tokens_in":2112,"tokens_out":404,"would_cite":false,"duration_ms":18160,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"Theorem 1.4 … long-time nonlinear phase mixing theorem … dynamically defined action angle variables … same time scale (modulo logarithms) as … Landau damping with finite regularity"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"action angle change of coordinates (s,x,v)↦(t=J,Lz,L,Q,θLz,θL) … ∂tf + (1/J³)∂Qf = 0"}],"headline":"Kinetic phase-mixing analysis in Vlasov–Poisson with Kepler potential; no RS cost or forcing structure","alignment":"orthogonal","rationale":"The paper's core machinery (Delaunay action-angle coordinates, dynamical action-angle variables defined via future-time Hamiltonian H, non-stationary phase decay of ∂sρ/∂sϕ, commuting vector-field estimates for resonances, and bootstrap on trapped orbits) is standard integrable-system / Landau-damping technology. It contains no recognition-cost functional J, no golden-ratio identities, no 8-tick periodicity, and no parameter-free derivation of constants. The setting (3-D Vlasov–Poisson + external 1/r potential) is a conventional PDE problem in mathematical physics; RS has no theorem constraining or predicting results in this domain.","tokens_in":69808,"confidence":"high","tokens_out":367,"duration_ms":8531,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The Vlasov-Poisson system with external Kepler potential admits long-time nonlinear phase mixing for spherically symmetric finite-regularity data.","keywords":["Vlasov-Poisson system","phase mixing","Kepler potential","nonlinear estimates","spherical symmetry","Landau damping","bounded trajectories","gravitational systems"],"falsifier":"A numerical simulation of spherically symmetric solutions on the predicted long timescale that fails to show the expected decay of the density or force field due to phase mixing.","tokens_in":2500,"feed_emoji":"🌌","tokens_out":607,"duration_ms":16736,"temperature":0.7,"pith_summary":"The paper proves quantitative linear phase mixing estimates in three dimensions for the gravitational Vlasov-Poisson system with an external Kepler potential, without assuming symmetry. Its central result establishes a nonlinear phase mixing theorem that holds on long time scales for spherically symmetric data of finite regularity. This occurs on timescales comparable to finite-regularity Landau damping, modulo logarithms. The work focuses on the regime of bounded trajectories that neither fall inward nor escape to infinity.","feed_headline":"Nonlinear phase mixing holds for Kepler Vlasov-Poisson on long times","feed_subtitle":"Spherically symmetric finite-regularity data damps on timescales matching Landau damping via dynamic action-angle variables.","key_machinery":"A system of dynamically defined action-angle variables that tracks bounded trajectories under the Kepler potential and enables the nonlinear phase mixing estimates.","core_discovery":"The authors prove quantitative linear phase mixing estimates in three dimensions outside symmetry, and establish as the main result a long-time nonlinear phase mixing theorem for spherically symmetric data with finite regularity. The mechanism is similar to Landau damping on a torus and reaches the same timescale modulo logarithms, but requires a system of dynamically defined action-angle variables to handle weaker linear estimates.","pith_inferences":["The linear estimates outside symmetry could serve as a starting point for removing the spherical symmetry assumption in future nonlinear results.","Dynamic action-angle variables may extend to other central potentials that support families of bounded orbits.","Phase mixing in this setting could imply long-term stabilization of density distributions around a central mass in astrophysical models."],"forward_implications":["Linear phase mixing estimates hold quantitatively in three dimensions without symmetry assumptions.","Nonlinear phase mixing persists for spherically symmetric data of finite regularity on long times.","The result applies on the same timescale as known finite-regularity Landau damping results, up to logarithmic factors.","The Kepler potential permits bounded orbits on which the gas remains confined without collapsing or escaping."],"fun_headline_variants":["Linear phase mixing estimates in 3D for Kepler gravitational system","Nonlinear phase mixing result for symmetric finite regularity data","Dynamic action-angle variables for long-time mixing in Kepler system","Nonlinear mixing timescale matches Landau damping for Kepler Vlasov-Poisson"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The nonlinear phase mixing result depends on constructing dynamically defined action-angle variables to compensate for weaker linear estimates than those known for Landau damping on a torus.","fun_headline_variants_meta":{"raw":{"variants":["Linear phase mixing estimates in 3D for Kepler gravitational system","Nonlinear phase mixing result for symmetric finite regularity data","Dynamic action-angle variables for long-time mixing in Kepler system","Nonlinear mixing timescale matches Landau damping for Kepler Vlasov-Poisson"]},"model":"grok-4.3","cost_usd":0.005149,"raw_usage":{"total_tokens":2473,"prompt_tokens":612,"num_sources_used":0,"completion_tokens":69,"cost_in_usd_ticks":51487000,"prompt_tokens_details":{"text_tokens":612,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1792,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":612,"tokens_out":69,"duration_ms":11384,"temperature":1.0,"reasoning_tokens":1792,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-23T20:06:49.242351+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A numerical simulation of spherically symmetric solutions on the predicted long timescale that fails to show the expected decay of the density or force field due to phase mixing.","supporting_citations":[],"review_version":1}