{"id":"2c466234-79dc-4979-8d43-c4a93b2a1ad8","arxiv_id":"2509.04025","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For nonzero asymptotic charge Q∞, small-data solutions of the relativistic Vlasov-Maxwell system do not scatter linearly in L1; linear scattering forces Q∞=0.","lead":"This paper proves that in the relativistic Vlasov-Maxwell system, whenever the asymptotic charge is nonzero, the particle densities cannot approach free linear solutions as time goes to infinity. The result makes precise that linear scattering is a rare, codimension-one phenomenon and demonstrates a Lorentz-boost argument for showing it.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.5 rests entirely on the modified-scattering expansion of the author's prior preprint [4]; if the phase correction or the compact-support lemma [4, Cor. 3.12] is not exactly as quoted, Proposition 2.3 and the contradiction collapse.","rationale":"I read the paper in good faith and found no internal inconsistency in the contradiction argument. The proof of Theorem 1.5 is logically sound, assuming the results of [4]. The weakest point is exactly what the reader identified: the theorem inherits the full modified-scattering expansion of [4], including the explicit log(t) phase correction and the compact-support property of hα used in Proposition 2.3. These are load-bearing because Proposition 2.3—the step that converts linear scattering into the vanishing of Q∞ on the set where L≠0—relies on the precise form of the phase shift and on the uniform compact support. Without those, the contradiction would not follow. The paper does not re-derive these inputs and [4] is an unreviewed preprint by the same author, so this is a genuine correctness risk rather than a mere citation choice. I checked the Lorentz-invariance section and the transformation laws; despite minor notational issues (e.g., pβmax, support bounds with sqrt(1+β^2) instead of sqrt(mα^2+β^2)), the key relation Q^A∞(0)=v0Q∞(v) is robust and does not introduce a second load-bearing gap. The unproven converse in Remark 1.7 is not needed for the main theorem. Therefore the reader's CONDITIONAL verdict is appropriate and unchanged.","tokens_in":12515,"tokens_out":39600,"duration_ms":333790,"concrete_test":"Independently re-derive the modified-scattering expansion in [4, Theorem 1.4] and the compact-support property [4, Cor. 3.12] directly from Hypothesis 1.1. In particular, verify that the shift vector in the argument of hα in Proposition 2.3 is exactly the negative of the phase gradient appearing in the asymptotic expansion, and that the x-support of hα(t,·,·) is uniformly bounded in t. If either fails, recompute Proposition 2.3 to see whether Qα∞(v)=0 still holds on the set {L(v)≠0}.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central argument depends on the exact form of the logarithmic phase correction and the uniform compact support of hα asserted in [4]. In Proposition 2.3, the proof that Qα∞(v)=0 whenever L(v)≠0 uses the identity gα(t,x,mαv)=hα(t,x−log(t)eα/(mαv0)[p_v(p_v·L(v))−L(v)], mαv) and the fact that [p_v(p_v·L(v))−L(v)]≠0 when L(v)≠0, so that the x-support of gα shifts to infinity at speed log t. This requires [4, Cor. 3.12] to provide a uniform (independent of t) compact x-support for hα. The paper does not re-derive this or the exact phase correction in Theorem 1.4; they are imported verbatim from an unreviewed preprint by the same author (arXiv:2503.01677). If the phase correction were off by a sign, a factor, or an additional term, the bracket governing the support shift would change, and the implication Q∞(v)=0 on {L≠0} could fail. The Lorentz-invariance and contradiction arguments are internally sound given these inputs, but the theorem's validity is conditional on the correctness and exact form of the results in [4].","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that for multi-species solutions of the relativistic Vlasov-Maxwell system satisfying the decay and support conditions of Hypothesis 1.1, linear L1 scattering is non-generic: if the asymptotic charge Q∞ is not identically zero, then at least one species does not scatter to a free solution in L1. The strategy is a contradiction. Assuming all species scatter linearly, Proposition 2.3 shows that Q∞ must vanish wherever the asymptotic Lorentz force L = E + p_v × B does not vanish. Proposition 2.2 shows that if Q∞(0) ≠ 0, then there exists some v with both Q∞(v) ≠ 0 and L(v) ≠ 0. The remaining problem, Q∞(0) = 0 but Q∞ ≠ 0, is handled by composing the solution with a Lorentz boost so that the non-zero momentum point is mapped to the origin in the new asymptotic charge QA∞. The boost preserves the hypotheses and the linear scattering assumption, and Corollary 3.14 gives QA∞(0) ≠ 0, yielding the contradiction. The proof is short and relies crucially on the modified-scattering expansion of the author's earlier preprint [4].","tokens_in":12870,"tokens_out":24550,"duration_ms":235202,"significance":"If the result holds, it settles a qualitative question about the Vlasov-Maxwell system: small-data solutions do not belong to the L1 asymptotically complete class, and the recently established modified scattering is not just an artifact of the proof but a genuine feature. The argument is elegant: it exploits Lorentz invariance and Gauss's law in a way that is not circular and does not involve parameter fitting. The theorem is falsifiable and the proof is a coherent chain given its inputs. The main weakness is that the chain imports a load-bearing, exact modified-scattering expansion and a compact-support lemma from the author's unreviewed preprint [4]. The paper is a genuine note: concise, with a clear central idea, but not self-contained.","major_comments":[{"comment":"The core implication Qα∞(v) = 0 whenever L(v) ≠ 0 depends on the exact form of the modified-scattering phase and on the uniform-in-time compact x-support of the profile hα, quoted as [4, Corollary 3.12] and used in the identity gα(t,x,mαv) = hα(t, x − log(t) eα/(mαv0)[p_v(p_v·L(v)) − L(v)], mαv). If the phase correction of [4] were not exactly of this form, or if the compact-support statement were not uniform in t, the support shift would not force the pointwise limit zero and the contradiction would collapse. Since [4] is an unreviewed preprint by the same author and no proof is included here, this is a load-bearing external input. The manuscript should either state and prove the needed results, or provide a reference to a published/refereed version of [4], or include a detailed verification that the exact quoted properties follow from the stated parts of Theorem 1.4.","section":"§2, Proposition 2.3; §1, Theorem 1.4"},{"comment":"The displayed equality QA∞(0) = v0 Q∞(v) does not follow from Corollary 3.14 as stated. In Corollary 3.14 the variable on the left is the momentum variable of the transformed solution. Evaluating at the zero momentum argument gives QA∞(0) = (A0(1,0)/1) Q∞(As(1,0)) = Q∞(As(1,0)). With the choice A(1,0,0,0) = (v0,v), this is Q∞(v), not v0Q∞(v). The conclusion QA∞(0) ≠ 0 still holds, so the proof is repairable, but the displayed chain must be corrected and the variable convention clarified.","section":"§3.6, final proof of Theorem 1.5"}],"minor_comments":[{"comment":"The sentence 'By [4, Corollary 3.12] we know that hα is compactly supported' should state explicitly that the support is uniform in t; this uniformity is what makes the shift by log(t) push gα to zero. Please also define hα fully in this paper rather than only by reference to [4].","section":"§2, Proposition 2.3"},{"comment":"The definition of pβmax is garbled in the text. It should presumably be maxα β/√(mα²+β²) (or the appropriate speed bound), not the expression that appears in the OCR. Please correct the formula and use consistent notation for q_x.","section":"§1, Eq. (1.8) and Lemma 2.1"},{"comment":"The change of variables G^φ is asserted to have Jacobian 1. This is true, but it would help the reader to see a one-line verification, since the map mixes x and v in a nontrivial way.","section":"§3.5, Proposition 3.10"},{"comment":"The chain of inequalities proving (3.6) is very terse. Please spell out the constants explicitly or give a clearer derivation, especially the step where the log derivative estimate (1.7) is transformed.","section":"§3.4, Proposition 3.6"}],"recommendation":"major_revision","confidential_remarks":"The paper is a genuine note with a nice Lorentz-invariance argument, but its central theorem is conditional on the author's earlier preprint [4]. I recommend that the editor ask the author to either make the manuscript independent of [4] by including the necessary statements and proofs, or to confirm that [4] has been accepted for publication in a refereed venue and provide a copy to the referee. The final-step factor error in the proof of Theorem 1.5 is minor and easily corrected, but the dependence on an unreviewed source is the main risk."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear X,\n\nThe headline: this note gives a clean negative answer to the L1 asymptotic completeness question for the relativistic Vlasov-Maxwell system: if the asymptotic charge Q∞ is nonzero, at least one species cannot scatter linearly. That's a real new result, and the Lorentz-boost trick to cover the case Q∞(0)=0 is a genuine new technique.\n\nWhat I like: the argument is transparent. Proposition 2.3 shows that under linear scattering, Q∞ must vanish wherever the asymptotic Lorentz force L(v) is nonzero; Proposition 2.2 uses Gauss's law to find a v where both Q∞ and L fail to vanish, provided Q∞(0)≠0. The boost then moves a generic nonzero charge to the origin. The paper is honest about importing the modified-scattering expansion from [4], and the notational garbles around pβmax are cosmetic.\n\nThe main soft spot, in proportion: the theorem is entirely conditional on [4], an unpublished preprint by the same author. If the logarithmic phase correction is not exactly of the quoted form, or if the compact-support lemma [4, Cor. 3.12] has any hidden t-dependence in the support size, Proposition 2.3 collapses. This is a structural dependency, not circularity: [4] is a separate set of results, and the paper does not assume the conclusion. But a referee should verify those quoted statements carefully. Also, Remark 1.7 states an equivalence with a one-line justification; it's a remark, not a theorem, but it would be cleaner to either prove it or explicitly postpone the \"if\" direction.\n\nAs far as I can tell, the core argument holds up given the input from [4]. The Lorentz-invariance section is checked in detail; the Jacobian computations in Propositions 3.10 and 3.12 are correct.\n\nWho this is for: people working on asymptotic behavior of kinetic equations, specifically Vlasov-Maxwell. It sharpens the picture that linear scattering is non-generic and complements the Choi–Ha result for Vlasov-Poisson.\n\nRecommendation: send it to a serious referee. The reliance on [4] is a real concern, but the proof idea is original and the result matters to the subfield. If [4] is verified, this is a solid short paper.","headline":"Short, clever note proving that generic small-data Vlasov-Maxwell solutions fail linear scattering; main caveat is the heavy reliance on the author's earlier modified-scattering preprint.","tokens_in":13319,"tokens_out":3314,"would_cite":true,"duration_ms":30597,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q83","35B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"No linear scattering for Vlasov-Maxwell unless charge vanishes","keywords":["Vlasov-Maxwell system","modified scattering","linear scattering","asymptotic completeness","Lorentz invariance","small data","Gauss's law","plasma kinetic theory"],"falsifier":"Produce a single solution of (RVM) from compactly supported small data with total asymptotic charge Q∞≠0 for which each species' density, pulled back along (tv0α, x+tv, v), converges in L1 to some gα∞. Theorem 1.5 predicts such a solution does not exist; finding one would disprove it.","tokens_in":1545,"feed_emoji":"⚡","tokens_out":5209,"duration_ms":87956,"temperature":0.7,"pith_summary":"This note proves that for the relativistic Vlasov-Maxwell system, linear scattering is a non-generic phenomenon: under a generic condition on the asymptotic charge, at least one species fails to converge in L1 to a free-streaming limit. If the result is right, the system is not L1-asymptotically complete in general, and generic small-data solutions exhibit modified rather than linear scattering. The argument is short and relies on Lorentz invariance: it boosts to a frame where the asymptotic charge does not vanish at the origin, uses Gauss's law to find a velocity where both the asymptotic charge and the asymptotic Lorentz force act nontrivially, then shows the modified-scattering phase correction forces the asymptotic charge to vanish whenever linear scattering holds. The upshot is an equivalence: linear scattering holds if and only if the total asymptotic charge is zero, meaning scattering data lie on a codimension-1 submanifold.","feed_headline":"No linear scattering for Vlasov-Maxwell unless charge vanishes","feed_subtitle":"Small-data solutions generically exhibit modified scattering; scattering data form a codimension-one set.","key_machinery":"The central objects are the asymptotic charge Q∞ := Σ eα mα^3 Qα∞, a continuous compactly supported function of velocity, and the asymptotic Lorentz force L(v) := E(v) + pv × B(v). The engine of the proof is the transformation law Q^A∞(v) = (A0(v0,v)/v0) Q∞(A^s(v0,v)) for a Lorentz boost A, which lets any nonzero point in the support of Q∞ be moved to the origin. There, Lemma 2.1 — a Gauss-law identity equating a ball integral of ⟨q⟩^5 Q∞ with a sphere integral of E — yields a velocity v with Q∞(v)≠0 and E(v)·pv≠0. Since L(v)·pv = E(v)·pv, Proposition 2.2 produces v with Q∞(v)≠0 and L(v)≠0. Proposition 2.3 closes the argument: under linear scattering, the modified-scattering phase correction","core_discovery":"Theorem 1.5 states that any C1 solution to the relativistic Vlasov-Maxwell system satisfying Hypothesis 1.1 (compact support of data, pointwise decay of the fields) with nonzero total asymptotic charge Q∞ := Σα eα mα^3 Qα∞ has at least one species whose density does not satisfy linear scattering: there is no gα∞ ∈ L1(R3x × R3v) with fα(tv0α, x+tv, v) → gα∞ in L1. Conversely, if Q∞=0, the asymptotic fields E and B vanish, and the modified-scattering theorem of [4] implies linear scattering. Hence, for small data, linear scattering holds if and only if Q∞=0.","pith_inferences":["If the modified-scattering law in [4] is robust, the same boost-and-contradiction strategy may show non-completeness for other Lorentz-invariant kinetic models with charge interactions, such as Vlasov-Yang-Mills-type systems.","The theorem suggests that the natural scattering data for (RVM) are not L1 functions but phase-corrected profiles; Q∞=0 selects exactly the subset where the phase correction disappears.","A quantitative version could estimate the rate at which the L1 distance to any g∞ diverges, potentially showing the failure is not just qualitative.","One could test the necessity of the compact-support hypothesis: if Hypothesis 1.1 only held for data with non-compact support, the boost argument's finite-propagation estimates might break, and the dichotomy between linear and modified scattering might fail."],"forward_implications":["Any small-data solution with nonzero total asymptotic charge escapes the free-transport approximation; its long-time behavior is genuinely nonlinear.","Linear scattering data form a codimension-1 constraint Q∞=0 inside the set of admissible asymptotic data, so one cannot naively construct scattering wave operators surjecting onto L1.","The obstruction to linear scattering is Lorentz-invariant and not an artifact of a particular observer, since the proof moves freely between inertial frames.","For Vlasov-Poisson an analogous non-completeness was already known; this paper extends the phenomenon to the full Vlasov-Maxwell system.","Assuming Q∞=0 becomes a necessary condition for any attempt to prove linear scattering for compactly supported small data."],"supporting_citations":[{"why":"Supplies the modified-scattering theorem (Theorem 1.4), the explicit log(t) phase correction, and the compact-support result used in Proposition 2.3.","marker":"[4]"},{"why":"Provides the wave operator linking initial data to asymptotic profiles Qα∞, used in Remark 1.8 to transfer the codimension-1 condition to initial data.","marker":"[2]"},{"why":"Establishes global existence and modified scattering for small distribution functions, providing the baseline solution class the paper extends.","marker":"[1]"},{"why":"Gives the sharp asymptotic behavior and linear-rate dispersion that Hypothesis 1.1 is designed to capture, so constructed solutions satisfy the hypothesis.","marker":"[3]"},{"why":"Proved non-L1 asymptotic completeness for the Vlasov-Poisson system, the analogue this paper establishes for Vlasov-Maxwell.","marker":"[5]"}],"fun_headline_variants":["Vlasov-Maxwell scattering fails unless charge is zero","Zero charge is the only route to linear scattering","Nonlinear scattering for Vlasov-Maxwell with nonzero charge","Charge forces modified scattering in Vlasov-Maxwell","Linear scattering only when total charge vanishes"],"cache_read_input_tokens":15104,"weakest_assumption_plain":"The argument inherits, without reproving, the detailed modified-scattering structure from the companion paper [4] — in particular that the phase correction is exactly log(t) times a momentum-dependent vector and that the corrected profiles are compactly supported; if that phase correction were slightly different, the step forcing Q∞(v)=0 wherever L(v)≠0 would no longer follow, and the contradiction would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Vlasov-Maxwell scattering fails unless charge is zero","Zero charge is the only route to linear scattering","Nonlinear scattering for Vlasov-Maxwell with nonzero charge","Charge forces modified scattering in Vlasov-Maxwell","Linear scattering only when total charge vanishes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000129,"raw_usage":{"total_tokens":879,"prompt_tokens":583,"completion_tokens":296,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":327,"completion_tokens_details":{"reasoning_tokens":218}},"tokens_in":327,"tokens_out":296,"duration_ms":3292,"temperature":1.0,"reasoning_tokens":218,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T10:28:49.031507+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Produce a single solution of (RVM) from compactly supported small data with total asymptotic charge Q∞≠0 for which each species' density, pulled back along (tv0α, x+tv, v), converges in L1 to some gα∞. Theorem 1.5 predicts such a solution does not exist; finding one would disprove it.","supporting_citations":[{"cited_title":"Global existence and modified scattering for the solutions to the Vlasov-Maxwell system with a small distribution function","cited_arxiv_id":null,"evidence_quote":"Establishes global existence and modified scattering for small distribution functions, providing the baseline solution class the paper extends."},{"cited_title":"Sharp Asymptotic Behavior of Solutions of the 3d Vlasov–Maxwell System with Small Data","cited_arxiv_id":null,"evidence_quote":"Gives the sharp asymptotic behavior and linear-rate dispersion that Hypothesis 1.1 is designed to capture, so constructed solutions satisfy the hypothesis."},{"cited_title":"Asymptotic Behavior of the Nonlinear Vlasov Equation with a Self- Consistent Force","cited_arxiv_id":null,"evidence_quote":"Proved non-L1 asymptotic completeness for the Vlasov-Poisson system, the analogue this paper establishes for Vlasov-Maxwell."}],"review_version":1}