Pith. sign in

REVIEW 2 major objections 4 minor 13 references

A note on the non-$L^1$ asymptotic completeness of the Vlasov-Maxwell system

T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Pith's one-line read No linear scattering for Vlasov-Maxwell unless charge vanishes

desk verdict 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. read the letter →

arxiv 2509.04025 v1 pith:HJLBXKV7 submitted 2025-09-04 math.AP math-phmath.MP

classification math.APmath-phmath.MP MSC 35Q8335B40
keywords Vlasov-MaxwellsystemmodifiedscatteringlinearasymptoticcompletenessLorentzinvariancesmalldataGauss'slawplasmakinetictheory
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

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].

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 (2)
  1. [§2, Proposition 2.3; §1, Theorem 1.4] 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.
  2. [§3.6, final proof of Theorem 1.5] 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.
minor comments (4)
  1. [§2, Proposition 2.3] 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].
  2. [§1, Eq. (1.8) and Lemma 2.1] 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.
  3. [§3.5, Proposition 3.10] 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.
  4. [§3.4, Proposition 3.6] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is a new deduction from the prior modified-scattering theorem [4], not an equivalent restatement.

full rationale

The derivation chain is: assume the linear-scattering hypothesis (1.13), use the modified-scattering expansion and compact-support lemma imported from [4] (Theorem 1.4, Cor. 3.12) to force Q∞=0 on the set where L≠0 (Prop. 2.3), then use a Lorentz boost to place any nonzero Q∞ point at v=0 and obtain a contradiction (Prop. 2.2, Cor. 3.14). The key imported inputs are real theorems with their own hypotheses (Hypothesis 1.1) that do not include the target non-scattering conclusion, and they involve no fitted parameters; reliance on the author's prior work makes the argument conditional but not circular. Q∞ is an asymptotic charge-density limit defined independently of the scattering question, and linear scattering is a separate L1-convergence statement. No parameter is fitted and then renamed as a prediction, and no uniqueness claim from the author's prior work is invoked to forbid alternatives. The Lorentz-invariance section is self-contained. One non-circular caveat: Remark 1.7 asserts without proof that Q∞=0 implies E=B=0; this is an omitted-support/correctness point (presumably from [4, Prop. 3.5]), not a circularity, and it is not needed for the contradiction proving Theorem 1.5.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The central theorem rests on the small-data global existence and modified-scattering results of prior work, chiefly [4]. No new constants are fitted and no new physical entities are introduced. The proof is a deduction from the quoted asymptotic formulas plus the Lorentz invariance of the system.

assumptions (3)
  • domain assumption The solution satisfies the decay and support assumptions of Hypothesis 1.1.
    The entire statement of Theorem 1.5 is conditional on these bounds, which are imported from small-data global existence theory (e.g., [3, 6, 7, 11, 12]) and not re-derived in this note.
  • domain assumption Theorem 1.4 from [4] holds: the modified scattering expansion for fα, the existence of Q∞, and the limits E(v), B(v) with the stated rates.
    The proof invokes (1.9)-(1.11) and [4, Corollary 3.12] as black boxes. These provide the explicit log(t) phase correction and the compact support of the modified profile that are essential in Proposition 2.3.
  • domain assumption The asymptotic field L is determined by Q∞ (used in Remark 1.7).
    Remark 1.7 asserts Q∞=0 implies E=B=0, which requires an injectivity property of the map from asymptotic charge to asymptotic radiation field. This relation is not stated or proved in the note; it is referenced only as [4, Proposition 3.5].

how reviews work

0 comments
Cite this review

Pith. "Pith review of A note on the non-$L^1$ asymptotic completeness of the Vlasov-Maxwell system." pith.science (2026). https://pith.science/paper/HJLBXKV7

@misc{pith2026250904025,
  author       = {Pith},
  title        = {Pith review of: A note on the non-$L^1$ asymptotic completeness of the Vlasov-Maxwell system},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HJLBXKV7}},
  note         = {Machine review of arXiv:2509.04025}
}
abstract

We prove that under a generic asymptotic condition on the charge, the small data solutions to the Vlasov-Maxwell system do not verify linear scattering. In other words, we show the non-$L^1$ asymptotic completeness of the system. The proof makes use of the Lorentz invariance of the equations.

Figures

Figures reproduced from arXiv: 2509.04025 by the authors.

Figure 1
Figure 1. below. t = Tφ x t (a) Representation of t = Tφ in the inertial frame (t, x) t ′ = |x ′ | t = Tφ A−1 φ Ω x ′ t ′ (b) Representation of the domain A −1 φ Ω = {(t, x) ∈ R × R 3 x | Aφ(t, x) ∈ Ω} (in light and dark gray) and t = Tφ in the inertial frame (t ′ , x′ ) = Aφ(t, x) [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 10 canonical work pages

  1. [4]

    Modified scattering for small data solutions to the Vlasov-Maxwell system: a short proof

    Emile Breton. Modified scattering for small data solutions to the Vlasov-Maxwell system: a short proof. 2025. arXiv: 2503.01677 [math.AP]

  2. [1]

    Global existence and modified scattering for the solutions to the Vlasov-Maxwell system with a small distribution function

    Léo Bigorgne. “Global existence and modified scattering for the solutions to the Vlasov-Maxwell system with a small distribution function”. In:Analysis & PDE18.3 (2025), pp. 629–714

  3. [2]

    Scattering map for the Vlasov-Maxwell system around source-free electromagnetic fields

    Léo Bigorgne. Scattering map for the Vlasov-Maxwell system around source-free electromagnetic fields. 2023. arXiv: 2312.12214

  4. [3]

    Sharp Asymptotic Behavior of Solutions of the 3d Vlasov–Maxwell System with Small Data

    Léo Bigorgne. “Sharp Asymptotic Behavior of Solutions of the 3d Vlasov–Maxwell System with Small Data”. In: Communications in Mathematical Physics376.2 (June 2020), pp. 893–992

  5. [5]

    Asymptotic Behavior of the Nonlinear Vlasov Equation with a Self- Consistent Force

    Sun-Ho Choi and Seung-Yeal Ha. “Asymptotic Behavior of the Nonlinear Vlasov Equation with a Self- Consistent Force”. In:SIAM Journal on Mathematical Analysis43.5 (2011), pp. 2050–2077

  6. [6]

    Global existence for the relativistic Vlasov-Maxwell system with nearly neutral initial data

    R. T. Glassey and J. W. Schaeffer. “Global existence for the relativistic Vlasov-Maxwell system with nearly neutral initial data”. In:Communications in Mathematical Physics119.3 (Sept. 1988), pp. 353–384

  7. [7]

    Absence of shocks in an initially dilute collisionless plasma

    Robert T. Glassey and Walter A. Strauss. “Absence of shocks in an initially dilute collisionless plasma”. In: Communications in Mathematical Physics113.2 (June 1987), pp. 191–208

  8. [8]

    On the Asymptotic Behavior of Solutions to the Vlasov–Poisson System

    Alexandru D Ionescu et al. “On the Asymptotic Behavior of Solutions to the Vlasov–Poisson System”. In: International Mathematics Research Notices2022.12 (July 2021), pp. 8865–8889

Show all 13 references
  1. [9]

    Strichartz Estimates and Moment Bounds for the Relativistic Vlasov– Maxwell System

    Jonathan Luk and Robert M. Strain. “Strichartz Estimates and Moment Bounds for the Relativistic Vlasov– Maxwell System”. In:Archive for Rational Mechanics and Analysis219.1 (Jan. 2016), pp. 445–552

  2. [10]

    Modified Scattering of Solutions to the Relativistic Vlasov- Maxwell System Inside the Light Cone

    Stephen Pankavich and Jonathan Ben-Artzi. Modified Scattering of Solutions to the Relativistic Vlasov- Maxwell System Inside the Light Cone. 2024. arXiv:2306.11725 [math.AP]

  3. [11]

    A Small Data Theorem for Collisionless Plasma that Includes High Velocity Particles

    Jack Schaeffer. “A Small Data Theorem for Collisionless Plasma that Includes High Velocity Particles”. In: Indiana University Mathematics Journal53.1 (2004), pp. 1–34

  4. [12]

    Propagation of Regularity and Long Time Behavior of the 3D Massive Relativistic Trans- port Equation II: Vlasov–Maxwell System

    Xuecheng Wang. “Propagation of Regularity and Long Time Behavior of the 3D Massive Relativistic Trans- port Equation II: Vlasov–Maxwell System”. In:Communications in Mathematical Physics389.2 (Jan. 2022), pp. 715–812

  5. [13]

    On the 3D Relativistic Vlasov-Maxwell System with Large Maxwell Field

    Dongyi Wei and Shiwu Yang. “On the 3D Relativistic Vlasov-Maxwell System with Large Maxwell Field”. In: Communications in Mathematical Physics383.3 (May 2021), pp. 2275–2307

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.