{"id":"0c14776e-c874-440a-b53d-e64f31e96b69","arxiv_id":"2509.08072","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Relativistic scattering states of the Vlasov equation converge to their non-relativistic counterparts at order c^{-2} as c tends to infinity, proven through a new classical wave operator method.","lead":"This paper proves that for the Vlasov equation with short-range interaction potentials, the large-time scattering states of the relativistic model converge to those of the non-relativistic model as the speed of light tends to infinity, at the expected rate c^{-2}. It introduces a classical wave operator formulation that reduces the hard PDE problem to ODE analysis and yields the first such convergence result for kinetic equations.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Hypothesis (1.3) is too weak: Lemma 2.4, used in Thm 1.1 and Lemma 5.3, requires |∇w(x)| ≤ C|x|^{-(α+1)} pointwise near x=0, while (1.3) only gives decay at infinity; potentials with a stronger local singularity satisfy (1.3) yet break the field estimates, so Thm 1.3 as stated is wider than proven.","rationale":"The paper's core objective — proving c^{-2} convergence of relativistic scattering states of the Vlasov equation to their non-relativistic limits via classical wave operators — is well served by the proposed method. I re-checked the main proof chain: the matrix calculus in Lemma 2.2, the Gronwall arguments in Lemma 3.3 (where the (1+τ)^{-(α+1)}/ (1+τ)^{-(α+2)} factors compensate the τ weights), the change-of-variables and boundary-term arguments in Prop 3.10, the w^θ(p) bounds in Lemma 5.3, and the closed loop between Lemmas 5.2 and 5.3 leading to Prop 5.1 and Thm 1.3. I found no internal inconsistency within the class of potentials for which |∇w(x)| ≤ C|x|^{-(α+1)} holds pointwise for all x≠0. The single load-bearing weakness is the mismatch between the stated hypothesis (1.3), which requires decay only at infinity, and Lemma 2.4, whose proof and use require the local pointwise bound. Since (1.3) admits potentials with local singularities stronger than |x|^{-(α+1)}, and since such potentials break the interpolation estimate that powers (1.8) and Lemma 5.3, the theorems as stated overclaim their domain. This matches the reader's weakest_assumption exactly; the intended examples are unaffected. The verdict should remain CONDITIONAL: accept the wave-operator argument and the c^{-2} rate, but require the global potential bound (or an explicit local regularity condition) in the theorem statements. Remark 1.5 and Remark 3.5 flag only open extensions, not this gap; no other limitation appears to be hidden.","tokens_in":29690,"tokens_out":18094,"duration_ms":180648,"concrete_test":"Set α=1.2, δ=0.3 and take a radial potential with |∇w(r)| = r^{-2.5} for r≤1 and |∇w(r)| ≤ C r^{-2.2} for r>1, so (1.3) holds at infinity. Take ρ_ε(x) = (4πε^3/3)^{-1} 1_{|x|≤ε}. Evaluate the estimate used in Lemma 2.4 at x=0: ∇w∗ρ_ε(0) ≈ C ε^{-2.5} (since ∫_{|z|≤ε} |z|^{-2.5} dz = 8πε^{1/2}), while the interpolation bound gives ‖ρ_ε‖_1^{(2-α)/3}‖ρ_ε‖_∞^{(α+1)/3} ≈ C' ε^{-2.2}. The ratio ε^{-0.3} → ∞ as ε→0, so Lemma 2.4 fails for a potential satisfying (1.3). If (1.3) is instead strengthened to the global bound, verify that the Yukawa and super-Coulombic examples satisfy it and re-run the induction in Thm 1.1; the affected steps are unchanged.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim (Thm 1.3) rests on the uniform field decay (1.8) of Thm 1.1 and on the difference bounds in Lemma 5.3. Both are obtained by applying the interpolation inequality Lemma 2.4 to ρ_fc and to ρ_c−ρ_∞. The proof of Lemma 2.4 splits ∇w∗h into |x−y|≤R and |x−y|>R; the small-ball term ∫_{|z|≤R} h(x−z)|∇w(z)|dz is controlled only if |∇w(z)| ≤ C|z|^{-(α+1)} pointwise for all small z. The stated hypothesis (1.3) provides this only for |x| sufficiently large. This is not cosmetic: for any δ>0, a potential with |∇w(x)| ~ |x|^{-(α+1+δ)} near 0 and |∇w(x)| ≤ C|x|^{-(α+1)} at infinity satisfies (1.3), but for ρ_ε supported in B(0,ε) with ‖ρ_ε‖_1=1 and ‖ρ_ε‖_∞ ~ ε^{-3}, ∇w∗ρ_ε(0) ~ ε^{-(α+1+δ)} whereas Lemma 2.4 predicts O(ε^{-(α+1)}); the ratio ε^{-δ} diverges. Hence the estimate used in the induction in §4.1, in the contraction argument (the |z|<1 piece uses the same local bound), and in Lemma 5.3 is false under (1.3) alone; for such w, (1.8) and therefore Thm 1.3 do not follow as stated. The intended potentials (Yukawa, w~|x|^{-α}) satisfy the stronger pointwise bound globally, so the repair is a one-line strengthening of (1.3) (global for all x≠0, or |∇w| ≤ C min(|x|^{-(α+1)},1)) rather than a flaw in the wave-operator strategy. Within the repaired class the rest of the chain — Lemmas 3.3, 3.6, Props 3.8/3.10, Lemmas 5.2–5.4, and the Gronwall closure in Prop 5.1 — appears sound.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the three-dimensional relativistic Vlasov equation (1.1) for all 1 <= c <= infinity with a self-consistent force nabla w * rho and short-range potentials satisfying (1.3) for some alpha in (1,2). It constructs global small-data solutions uniformly in c, proves their scattering along the forward free flow, introduces classical finite-time and limiting wave operators, and uses them to show that the relativistic scattering states converge in L^1 to the non-relativistic ones as c -> infinity with rate c^{-2}. The main result is Theorem 1.3, with supporting statements Theorem 1.1 and Theorem 1.2. The proof combines characteristic estimates, dispersive bounds for the free flow, and a wave-operator reduction that turns the comparison of scattering states into an ODE-level estimate.","tokens_in":1413,"tokens_out":1366,"duration_ms":102322,"significance":"If the hypotheses are repaired, this is a substantial and timely contribution: it provides the first rigorous non-relativistic limit of scattering states for this family of Vlasov equations, with an explicit O(c^{-2}) rate and estimates uniform in c. The wave-operator formulation is elegant and genuinely useful: it converts a difficult PDE comparison into estimates on characteristic maps, and it is likely to be transferable to related kinetic models. The paper is also largely self-contained, and the main chain of estimates appears internally consistent. The main deficiency is that the stated potential hypothesis (1.3) is too weak for the proofs of the central theorems: Lemma 2.4 requires a global pointwise bound on nabla w near the origin that (1.3) does not provide. This is a statement-level gap, fixable by strengthening (1.3), rather than an error in the overall strategy.","major_comments":[{"comment":"The potential hypothesis (1.3) is too weak for the proofs. It only controls |nabla w(x)| for |x| sufficiently large, but Lemma 2.4 is invoked in the induction in Section 4.1 for rho_fc and nabla rho_fc, and again in Lemma 5.3 for rho_c - rho_infty, with no control of nabla w near the origin. The proof of Lemma 2.4 bounds the small-ball term by R^{2-alpha} ||h||_infty, which requires |nabla w(z)| <= C |z|^{-(alpha+1)} for all small z. This is not cosmetic: for any delta>0, a potential with |nabla w(x)| ~ |x|^{-(alpha+1+delta)} near zero and satisfying (1.3) at infinity gives, for rho_eps supported in B(0,eps) with ||rho_eps||_1=1 and ||rho_eps||_infty ~ eps^{-3}, the value nabla w * rho_eps(0) ~ eps^{-(alpha+1+delta)}, whereas Lemma 2.4 predicts O(eps^{-(alpha+1)}). Thus (1.8), Theorem 1.1, and consequently Theorem 1.3 are not proved under (1.3) as stated. The repair is straightforward: s","section":"Eq. (1.3), Lemma 2.4, Section 4.1, Lemma 5.3"}],"minor_comments":[{"comment":"The sentence 'while v_c^1(p)=v_c(theta) is the relativistic velocity' should read 'v_c^1(p)=v_c(p)'.","section":"Section 2.1, after Eq. (2.6)"},{"comment":"In the displayed decomposition of W_c(t)-W_infty(t), the notation 'dt tau' appears to be a typo for 'd tau'.","section":"Lemma 5.2"},{"comment":"In the estimate for delta E_c^{(j+1)}, the superscript on delta f_c^{(j)} is dropped in several places. Please make the iteration index consistent.","section":"Section 4.1, contraction step"},{"comment":"The running title reads 'NON-RELA TIVISTIC'; the space should be removed.","section":"Running title"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern raised by the reader is valid and lands exactly at the junction of (1.3), Lemma 2.4, and the estimates in Section 4.1 and Lemma 5.3. I do not see this as a reason for rejection: the intended potential class (Yukawa, super-Coulombic) satisfies the required global bound, and the wave-operator strategy is otherwise coherent. I recommend major revision so the authors can close the hypothesis gap and make the statement of Lemma 2.4 consistent with the assumptions used in the proofs."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline is that this paper proves something genuinely new: the relativistic scattering states for the Vlasov equation with short-range potentials converge to their non-relativistic counterparts as c goes to infinity, at the expected O(c^{-2}) rate. That is a real result, and the wave-operator framing is a good idea. It converts the comparison of implicit asymptotic states into an ODE-level estimate on the limiting wave operators, and it pays off. The paper is well organized, and the chain from global existence to scattering to the c→∞ limit is coherent. I also appreciate the explicit quantum analogy: it provides intuition without being load-bearing.\n\nThe soft spot is exactly what the stress-test flags. The hypotheses on the potential are stated only for |x| sufficiently large in (1.3), but Lemma 2.4, which is used throughout the paper, requires the pointwise bound |∇w(x)| ≤ C|x|^{-(α+1)} for all small x as well. The proof of Lemma 2.4 splits the convolution into a small-ball piece and a large-ball piece, and the small-ball piece is controlled only if the local singularity is no worse than |x|^{-(α+1)}. A potential with |∇w(x)| ~ |x|^{-(α+1+δ)} near zero satisfies (1.3) but breaks that estimate. Since the interpolation inequality is used in the induction in Section 4.1, in the contraction argument, and in Lemma 5.3, the main theorems as stated are wider than what is proven.\n\nThis is a gap in the statement, not in the strategy. The examples the authors cite — Yukawa and super-Coulombic potentials — satisfy the stronger pointwise bound globally, and a one-line strengthening of (1.3) to hold for all x≠0 (or with a min(|x|^{-(α+1)},1) cutoff) would repair the paper. The rest of the chain appears sound: the wave-operator estimates, the scattering proof, and the c→∞ comparison all hang together once that assumption is in place.\n\nI would send this to a serious referee. It deserves a careful reading, and the authors should be asked to fix the hypothesis. After that, it is publishable.","headline":"First proof that relativistic Vlasov scattering states converge to non-relativistic ones at O(c^{-2}), via a clean wave-operator argument; but the potential hypothesis (1.3) is too weak for the proof as written.","tokens_in":30719,"tokens_out":2045,"would_cite":true,"duration_ms":25450,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q83","35Q75","35B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that relativistic scattering states of the Vlasov equation with short-range potentials converge to their non-relativistic counterparts as the speed of light tends to infinity, with the explicit rate c^{-2} in L^1.","keywords":["Vlasov equation","relativistic kinetic theory","non-relativistic limit","scattering states","wave operator","short-range potentials","small data global well-posedness","characteristic flow"],"falsifier":"Choose a smooth potential equal to |x|^{-3/2} for |x| ≥ 1 but having w(x) = |x|^{-3} near x=0, so that ∇w is non-integrable at the origin, and take small initial data with positive density at x=0. If the force field ∇w * ρ is infinite at t=0, the small-data global-existence theorem and hence the scattering-state limit cannot hold under hypothesis (1.3) as stated, since (1.3) only controls large |x|.","tokens_in":29640,"feed_emoji":"⚛️","tokens_out":6609,"duration_ms":77083,"temperature":0.7,"pith_summary":"This paper studies the relativistic Vlasov equation with short-range interaction potentials and establishes the large-time behavior of its small-data solutions. It proves global existence, scattering along the forward free flow, and—newly—that the relativistic scattering states converge to the non-relativistic ones as the speed of light c goes to infinity. The convergence rate is O(c^{-2}) in L^1, with the same order holding for the force fields and characteristic flows. This matters because passing to the classical limit at the level of asymptotic states is not automatic: even if solutions agree on finite time intervals as c grows, their infinite-time limits could in principle fail to agree. The paper gives the first rigorous proof that the classical limit and the large-time limit commute for these kinetic equations.","feed_headline":"Scattering states snap to the non-relativistic limit at speed c^{-2}","feed_subtitle":"For a kinetic plasma model, relativistic large-time states approach classical ones quadratically fast as light speed grows.","key_machinery":"The central object is the classical finite-time wave operator W_c(t) = Φ_c^{free}(t)^{-1} ∘ Φ_c(t), the composition of the backward free flow with the forward perturbed characteristic flow. Its limit W_c^+ = lim_{t→∞} W_c(t) exists under uniform decay bounds on the force field, and it satisfies a perturbation-of-identity estimate. The work it does is to give the explicit representation f_c^+ = f0 ∘ (W_c^+)^{-1} for the scattering states; the non-relativistic limit of these states is then obtained by proving W_c^+ → W_∞^+ at rate c^{-2}. The wave-operator formulation is the quantum analogue of the standard quantum wave operator, and it is what makes the otherwise implicit PDE limits directly","core_discovery":"For any c between 1 and infinity, including the non-relativistic case c=∞, and for sufficiently small initial data f0, the paper constructs a unique global solution of the relativistic Vlasov equation with short-range potential w. The main discovery is a quantitative non-relativistic limit of the asymptotic scattering states: if f_c^+ and f_∞^+ are the t→∞ limits along the free relativistic and free non-relativistic flows, then ||f_c^+ - f_∞^+||_{L^1} ≤ C c^{-2} ||⟨p⟩^3 ∇_{(x,p)} f0||_{L^1}. The proof works by representing the scattering states through classical wave operators, f_c^+ = f0 ∘ (W_c^+)^{-1}, where W_c^+ is the limit of the finite-time wave operator W_c(t) = Φ_c^{free}(t)^{-1} ∘","pith_inferences":["The quadratic c^{-2} rate is the natural order because the relativistic velocity differs from the non-relativistic one by p(1/γ_c - 1) ≈ -|p|^2 p/(2 c^2); for long-range potentials such as the Coulomb case α=1, scattering requires modified profiles and this clean c^{-2} statement should not be expected without modification.","The stated potential hypothesis (1.3) only controls w and ∇w for large |x|, but the proofs use the pointwise bound globally through the interpolation inequality; assuming the global bound is almost certainly the intended hypothesis and would close the gap without changing the estimates.","Because the scattering states converge in L^1, any bounded continuous observable of the asymptotic distribution converges at the same rate; this makes the c^{-2} prediction testable through weighted momentum averages or low-moment velocity moments of the far-future distribution."],"forward_implications":["The force fields and characteristic flows of the relativistic system converge to their non-relativistic analogues at the same O(c^{-2}) rate, uniformly in time, so the classical limit and the large-time limit commute at this order.","The explicit scattering-state representation f_c^+ = f0 ∘ (W_c^+)^{-1} means the non-relativistic limit is inherited from the wave-operator limit; the same route should work for any kinetic equation whose wave operator can be constructed and shown to be a slight perturbation of the identity.","For the potentials named in the paper (Yukawa and super-Coulombic types), the small-data solutions scatter along the forward free flow with the decay rate (1+t)^{-α} tied to the strength of the potential singularity, and the scattering states are well-defined L^1 functions.","The authors note that the same tools may extend to the relativistic Vlasov–Maxwell system, potentially giving a c^{-2} convergence of its scattering states to Vlasov–Poisson scattering states; they leave this as an open problem."],"supporting_citations":[{"why":"Supplies the method of characteristics used to construct global solutions from small initial data.","marker":"[2]"},{"why":"Established small-data global well-posedness for the relativistic Vlasov-Yukawa system, a prior result the present construction covers and extends.","marker":"[12]"},{"why":"Established scattering for the Vlasov-Riesz system with super-Coulombic potentials, the prior result the scattering theorem generalizes.","marker":"[18]"},{"why":"Provides small-data decay estimates for the relativistic and non-relativistic Vlasov-Poisson systems that motivate the uniform decay bounds used here.","marker":"[30]"},{"why":"Transfers wave-operator boundedness for Schrödinger operators, the quantum prototype for using wave operators to turn free-flow dispersion into perturbed-flow dispersion.","marker":"[31]"},{"why":"Proved non-relativistic limits of wave and scattering operators for nonlinear Klein-Gordon equations, the quantum analogue for the scattering-state limit.","marker":"[23]"},{"why":"Established the finite-time classical limit from Vlasov-Maxwell to Vlasov-Poisson, the comparison the paper extends to asymptotic states.","marker":"[9]"},{"why":"Also a classical-limit result from Vlasov-Maxwell to Vlasov-Poisson, used alongside [9] as the finite-time convergence comparison.","marker":"[29]"}],"fun_headline_variants":["Relativistic scattering states approach classic at c^{-2} rate","First proof of c^{-2} limit in non-relativistic Vlasov scattering","Vlasov scattering: relativistic states fall to classical quadratically fast","Scattering states converge to non-relativistic at speed c^{-2}"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The proof uses a pointwise bound on ∇w near x=0, but the stated hypothesis only guarantees decay for large |x|; a potential with a strong singularity at the origin is not covered by the theorems as written.","fun_headline_variants_meta":{"raw":{"variants":["Relativistic scattering states approach classic at c^{-2} rate","First proof of c^{-2} limit in non-relativistic Vlasov scattering","Vlasov scattering: relativistic states fall to classical quadratically fast","Scattering states converge to non-relativistic at speed c^{-2}"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000683,"raw_usage":{"total_tokens":2909,"prompt_tokens":687,"completion_tokens":2222,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":431,"completion_tokens_details":{"reasoning_tokens":2149}},"tokens_in":431,"tokens_out":2222,"duration_ms":17358,"temperature":1.0,"reasoning_tokens":2149,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T21:20:17.477692+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a smooth potential equal to |x|^{-3/2} for |x| ≥ 1 but having w(x) = |x|^{-3} near x=0, so that ∇w is non-integrable at the origin, and take small initial data with positive density at x=0. If the force field ∇w * ρ is infinite at t=0, the small-data global-existence theorem and hence the scattering-state limit cannot hold under hypothesis (1.3) as stated, since (1.3) only controls large |x|.","supporting_citations":[{"cited_title":"Bardos and P","cited_arxiv_id":null,"evidence_quote":"Supplies the method of characteristics used to construct global solutions from small initial data."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Established small-data global well-posedness for the relativistic Vlasov-Yukawa system, a prior result the present construction covers and extends."},{"cited_title":"Wang,Decay estimates for the 3D relativistic and non-relativistic Vlasov-Poisson systems, Kinet","cited_arxiv_id":null,"evidence_quote":"Provides small-data decay estimates for the relativistic and non-relativistic Vlasov-Poisson systems that motivate the uniform decay bounds used here."},{"cited_title":"Yajima,TheW k,p-continuity of wave operators for Schr¨ odinger operators, J","cited_arxiv_id":null,"evidence_quote":"Transfers wave-operator boundedness for Schrödinger operators, the quantum prototype for using wave operators to turn free-flow dispersion into perturbed-flow dispersion."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proved non-relativistic limits of wave and scattering operators for nonlinear Klein-Gordon equations, the quantum analogue for the scattering-state limit."},{"cited_title":"Degond and H","cited_arxiv_id":null,"evidence_quote":"Established the finite-time classical limit from Vlasov-Maxwell to Vlasov-Poisson, the comparison the paper extends to asymptotic states."},{"cited_title":"Schaeffer,The classical limit of the relativistic Vlasov-Maxwell system, Comm.Math","cited_arxiv_id":null,"evidence_quote":"Also a classical-limit result from Vlasov-Maxwell to Vlasov-Poisson, used alongside [9] as the finite-time convergence comparison."}],"review_version":1}