{"id":"88712637-f1e5-429b-a02a-273d564255ab","arxiv_id":"2411.18610","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"For the 2D relativistic Vlasov-Maxwell system, the momentum support in one direction is bounded by c t^8 P2(t)^3 log(tP2(t))^3, where P2(t) is the support width in the orthogonal direction.","lead":"This paper proves a quantitative estimate for the two-dimensional relativistic Vlasov-Maxwell plasma model: if the momentum spread in one direction is known, then the spread in the perpendicular direction is bounded by a constant times t^8 times that spread cubed and a logarithm. The result sharpens the known global well-posedness theory for a standard kinetic model of collisionless plasmas.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof never specifies δ, and the optimized choice C = P2^{1/4}P^{3/4}log^{-3/4} can violate the lower bound P^{1/3+δ} < C unless δ < 5/12, so Proposition 6 is conditional on an unstated parameter.","rationale":"The central claim is a polynomial-in-time aspect-ratio bound, and the closing argument in Section 3 is a standard Young/Gronwall absorption that relies on the KS,2 estimate having exponent 3/4 on P(t). I checked the main intermediate estimates and the optimization in Section 2.2.5; the arithmetic leading to (58) is internally consistent provided the parameters A, B, C satisfy the stated lower bound. The load-bearing weakness is that δ is never chosen. With w=1/3, the optimized C = P2^{1/4}P^{3/4}log^{-3/4} requires δ < 5/12 for the lower bound C > P^{1/3+δ} to hold in the worst case; a similar restriction applies to A and B. Since the theorem is asserted unconditionally, this is a genuine gap in the proof of Proposition 6, but it is repairable: take δ=1/4 and add a case split for the regime where P is comparable to P2, where the desired bound is trivial. I do not see a fatal contradiction in the estimate chain. The reader's other flagged issue about the Cauchy-Schwarz denominator appears to be a misreading: the displayed expression in Section 2.2 has σ²/[ψ(r+ψ)], which is exactly what the subsequent estimates use. Therefore the conditional verdict is appropriate and unchanged.","tokens_in":19382,"tokens_out":35541,"duration_ms":274674,"concrete_test":"Re-derive the optimization in Section 2.2.5 with an explicit δ: take w=1/3, A=C/2, B=C/4, C = P2^{1/4}P^{3/4}log(P)^{-3/4}, and verify that P(t)^{1/3+δ} < C(t) < P(t) for all large t using only P2 ≤ P^{1/3} from (10). If this forces δ < 5/12, state that condition and re-check the inequalities (55)-(57) with that δ. Then confirm that the case P ≤ C P2, where α, β, γ may stay large, is covered by the trivial bound P ≤ P2 ≤ t^8 P2^3 log(tP2)^3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 2.2, the paper requires P(t)^{w+δ} < A(t), B(t), C(t) < P(t) for some fixed δ>0, so that α, β, γ tend to 0. With the later choice w=1/3, the optimized parameters from Section 2.2.5 are A=C/2, B=C/4, and C = P2^{1/4}P^{3/4}log(P)^{-3/4}. The lower bound C > P^{1/3+δ} is equivalent, in the worst case P2 ≥ P2(0)>0, to P^{3/4}log^{-3/4} > P^{1/3+δ}, i.e. δ < 5/12. The paper never states this restriction nor assigns a value to δ. If the restriction is violated, α, β, γ need not tend to 0, and the angular decompositions and the bounds (32)-(54) are not justified. A related gap is that (11) follows from P2 ≤ P^w only when α, β, γ are used for large t; in the complementary case where P is comparable to P2 (so the theorem is trivially true), α need not be small, and the proof silently omits this case split. Both points are repairable by fixing δ < 5/12 and adding the trivial-case argument, but as written the key estimate (58) depends on an unspecified parameter.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves an anisotropic momentum-support bound for the two-dimensional relativistic Vlasov-Maxwell system. With f0 supported in x and p, the authors define P2(t) as the maximal |p2| over the accumulated momentum support and P(t) as a larger quantity defined via P(t) = Ptilde(t) + P2(t)^{1/w}. The main result, Theorem 1, states that for sufficiently large t the momentum support is contained in [−c t^8 P2(t)^3 log(t P2(t))^3, c t^8 P2(t)^3 log(t P2(t))^3] × [−P2(t), P2(t)]. The proof adapts the Glassey–Schaeffer decomposition of the electromagnetic force into KT, KS,1, and KS,2, estimates each term in §§2.1–2.2, and closes a bootstrap on P(t) and P2(t) in §3. The paper also fixes the free parameter w to 1/3 at the final step.","tokens_in":19647,"tokens_out":22441,"duration_ms":174997,"significance":"If the proof is completed as claimed, this is the first quantitative aspect-ratio estimate for the momentum support in the 2D relativistic Vlasov-Maxwell system: it controls the large horizontal momentum support by the much smaller vertical support P2(t), up to a polynomial factor in time. The argument is a genuine bootstrap on support quantities, not a curve fit, and it relies only on imported structural estimates from Glassey–Schaeffer [5] and on conservation laws; there is no circular use of self-citations or of the target estimate. The paper is clearly written and the component estimates in Propositions 4–6 are mostly internally consistent, with a few technical gaps that are repairable in revision. The main limitations are an unspecified restriction on the auxiliary parameter δ and a flawed global-minimization comparison in the proof of Proposition 6; both can be fixed without changing the stated theorem.","major_comments":[{"comment":"The proof imposes the condition P(t)^{w+δ} < A(t), B(t), C(t) < P(t) for a fixed δ > 0, and uses α = P2/A, β = P2/B, γ = P2/C to justify that α, β, γ → 0. With the later choice w = 1/3 and the optimized values A = C/2, B = C/4, C = P2(t)^{1/4}P(t)^{3/4}⁡log(P(t))^{-3/4}, the required lower bound C > P^{1/3+δ} is only possible when δ < 5/12 (in the worst case P2(t) ≥ P2(0) > 0, the left side grows like P^{3/4}⁡log^{-3/4}, while the right side grows like P^{1/3+δ}). The paper never states this restriction. Since the small-angle decompositions in §2.2.1–§2.2.4 and hence the bound (58) rely on α, β, γ → 0, Proposition 6 and the closing estimate (59) are conditional on an unspecified parameter. The authors should explicitly require δ < 5/12 (or modify the choice of C so that the lower bound holds for the stated δ).","section":"§2.2.5, minimization of h(B,C)"},{"comment":"The global-minimization argument for h(B,C) is not correct as written. The comparison of the boundary value with the lower bound in (55) does not establish that C0 = P2^{1/4}P^{3/4}⁡log(P)^{-3/4} is the global minimizer. In fact, for C in the admissible critical regime C ≥ 4B* ≈ c P/⁡log P, the critical-point values of h can be much smaller than the value at the boundary point (B0, C0) with B0 = C0/4; the claimed inequality that the boundary value is 'smaller in large time than the lower bound found in (55)' is false. The estimate (26) nevertheless follows by directly substituting B = C/4 and C = P2^{1/4}P^{3/4}⁡log(P)^{-3/4} into h(B,C), which gives h ≲ t P2^{3/4}P^{3/4}⁡log(P)^{3/4}. The authors should replace the flawed comparison with this direct evaluation.","section":"§2.2.5"}],"minor_comments":[{"comment":"The interval notation in the statement of Theorem 1 has extra parentheses: 'log(tP2(t)))3' should be 'log(tP2(t))^3', and the bracket expression should be cleaned up.","section":"Theorem 1"},{"comment":"Equation (11) is stated as holding 'assuming P2(t) → ∞'. In fact, because P(t) ≥ P2(t)^{1/w}, the ratio P2/P^{w+δ} ≤ P^{-δ} whenever P(t) → ∞, so the limit (11) holds without the extra assumption on P2 in all nontrivial cases; the bounded case is covered by Remark 2. This clarification would prevent a misleading case split.","section":"§1.1, equation (11)"},{"comment":"The sentence 'because P2(t) log(P(t)) ≤ P(t) in large time by (11)' states a condition weaker than what the comparison needs. The comparison with the lower bound (55) requires P2(t)⁡log(P(t))^2 ≤ P(t) (or equivalently the consequence of (11) with room to spare). The inequality is true under δ < 5/12, but the text should cite the correct logarithmic power.","section":"§2.2.5, after equation (57)"},{"comment":"The surface measure dS_y in (28) is not defined; please specify that it is the arclength measure on the circle |y−x| = r.","section":"§2.2, equation (28)"},{"comment":"There are several small stylistic issues: 'Let’s return back' should be 'Let us return'; the notation '≲' is used before it is formally introduced in Remark 2; and the phrase 'in large time' appears where 'for large time' would be clearer.","section":"Throughout"},{"comment":"Reference [17] is cited as an arXiv preprint (2022); if a peer-reviewed version exists, it should be updated.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The core idea and the main theorem are plausible and potentially interesting for the kinetic theory community. The two main technical gaps — the unspecified δ restriction and the faulty minimization comparison in §2.2.5 — are localized and repairable: the δ restriction is fixed by stating δ < 5/12, and the minimization issue is fixed by direct substitution of B = C/4 and C = P2^{1/4}P^{3/4}⁡log(P)^{-3/4}. I would urge the authors to also carefully re-check the constants and logarithmic powers in the final comparison, and to make the parameter choices explicit before the proof of Proposition 6. These issues do not appear to be fatal, but they are load-bearing in the current write-up."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: this is a genuine new result in a narrow field. The paper proves a polynomial-in-time bound on the horizontal momentum support of a 2D relativistic Vlasov-Maxwell plasma, controlled by the vertical support P2(t). That is a real refinement of Glassey-Schaeffer's exponential bound, and the angular decomposition of the σ_S integral in Proposition 6 is new work, not just a rehash. The bootstrap is standard but carefully executed, and the imported estimates from [5] are used honestly, with no self-citation games.\n\nThe soft spots are real but repairable.\n\n- The parameter δ in Section 2.2 is never specified. The authors require A, B, C > P^{w+δ} for fixed δ > 0, then later set w = 1/3 and optimize C = P2^{1/4} P^{3/4} log(P)^{-3/4}. For the lower bound to hold, you need δ < 5/12 (worst case P2 bounded). The paper never says this, and (58) depends on it. Fix: state δ ∈ (0, 5/12).\n\n- There's a misprint in the Cauchy-Schwarz factor after (30): it should be 1/(ψ(r+ψ)), not ψ(r+ψ). The later line (32) uses the correct factor, so this is a typo, but it should be corrected.\n\n- The proof of (11) assumes P2(t) → ∞. If P2 is bounded but P(t) still grows, (11) holds anyway; the only unhandled case is P bounded, where the theorem is trivial. A one-line split would cover it.\n\nNone of these undermine the central argument as far as I can tell. The estimate chain closes, and the result is new and plausible.\n\nWho is this for? Kinetic theorists working on Vlasov-Maxwell global existence. It is specialized, but it is exactly the kind of refinement that advances that theory. I would send it to a competent referee rather than desk-reject, with a request to fix the δ condition and the typos. If those are addressed, I'd be comfortable with publication.","headline":"New anisotropic momentum-support bound for 2D rVM: plausible and worth refereeing, but the proof needs a specified δ < 5/12 and a few typo fixes.","tokens_in":20240,"tokens_out":10373,"would_cite":false,"duration_ms":81291,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q83","35Q61","82D10","35B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a directional bound on the momentum support of a 2D collisionless plasma: horizontal spread is controlled by a polynomial in time and the cube of the vertical spread.","keywords":["relativistic Vlasov-Maxwell","momentum support","two-dimensional collisionless plasma","kinetic plasma model","electromagnetic force decomposition","null-cone conservation law","global well-posedness","asymptotic estimates"],"falsifier":"Compute, for smooth compactly supported data, the maximal horizontal momentum at times when the vertical width $P_2(t)$ is known; if the horizontal spread ever exceeds $C t^8 P_2(t)^3 \\log(tP_2(t))^3$, Theorem 1 is false. A cheaper check is to verify whether the optimization in Section 2.2 forces $\\delta \\ge 5/12$; if so, the asymptotic comparisons used to select $A(t),B(t),C(t)$ would be invalid.","tokens_in":19121,"feed_emoji":"⚡","tokens_out":11591,"duration_ms":97952,"temperature":0.7,"pith_summary":"This paper proves a directional bound on the momentum support of solutions to the two-dimensional relativistic Vlasov-Maxwell system. It shows that once the vertical support width $P_2(t)$ is known, the horizontal support is contained in an interval of length at most a fixed constant times $t^8P_2(t)^3\\log(tP_2(t))^3$ for all sufficiently late times. The result matters because global existence for this kinetic plasma model is known through boundedness of the full momentum support, and this adds a quantitative, anisotropic control on how the support can grow. A two-dimensional collisionless plasma cannot develop an arbitrarily elongated momentum distribution in one direction unless the orthogonal spread grows to match; the two spreads are tied by a polynomial-in-time relation.","feed_headline":"Momentum spread of 2D plasma capped by cube of vertical spread","feed_subtitle":"Horizontal momentum support stays within a polynomial-in-time multiple of the cube of the vertical width, for all late times.","key_machinery":"The argument is carried by the decomposition of the electromagnetic force into three backward-cone integrals, called here $K_T$, $K_{S,1}$, and $K_{S,2}$, together with the null-cone conservation law (18), which bounds the integrated electromagnetic energy and particle mass over backward light cones. The most delicate term, $K_{S,2}$, is rewritten as integrals over conic shells with the change of variables $\\psi=(t-s-r)/2$, then split by angular regions using ratios $\\alpha=P_2/A$, $\\beta=P_2/B$, $\\gamma=P_2/C$ for auxiliary functions $A(t),B(t),C(t)$ lying between $P(t)^{w+\\delta}$ and $P(t)$. Optimizing the resulting bounds in $A,B,C$ under the constraints $4B\\le 2A\\le C$ yields the intermediate estimate for $K_{S,2}$ proportional to $tP_2^{3/4}P^{3/4}\\log^{3/4}$, and closing the force bound with a product inequality produces the $t^8P_2^3\\log^3$ statement.","core_discovery":"The central claim is Theorem 1: for smooth, compactly supported initial data, there is a time $T\\ge 0$ such that for every $t>T$ the momentum support $\\Omega(t)$ satisfies $\\Omega(t) \\subset [-c t^8 P_2(t)^3 \\log(tP_2(t))^3,\\; c t^8 P_2(t)^3 \\log(tP_2(t))^3] \\times [-P_2(t),P_2(t)]$, where $P_2(t)=\\sup_{p\\in\\Omega(s),\\,s\\le t}|p_2|$ and $c$ is a fixed constant. In words, the horizontal momentum spread is bounded by a polynomial in time and by the cube of the vertical support width. The proof obtains this by bounding the electromagnetic force through the three-term cone decomposition from [5] and closing the resulting inequality for the total momentum bound $P(t)$.","pith_inferences":["The cubic power on $P_2(t)$ comes from the proof's optimization choices, so the theorem does not rule out a slower growth rate.","The same conic-shell and angular decomposition could be used on the two-and-a-half-dimensional relativistic Vlasov-Maxwell system, whose momentum space has three dimensions, to bound one momentum component in terms of the other two.","A numerical simulation with one-directionally stretched initial data could test whether the $t^8$ factor is a real worst-case growth or a proof artifact.","The unstated restriction on $\\delta$ in choosing $A(t),B(t),C(t)$ is a hidden hypothesis: if the proof requires $\\delta<5/12$, the range of admissible parameters is narrower than the text indicates."],"forward_implications":["For every global $C^1$ solution with compactly supported initial data, the horizontal momentum spread cannot outgrow a fixed polynomial in time times the cube of the vertical spread.","If the vertical support width stays bounded or grows only slowly, the full momentum support remains controlled up to a $t^8$ factor.","The constant in the bound is time-independent and does not depend on the size of the solution, so the inequality remains uniform along the evolution.","The estimate sharpens the known global existence result: instead of only knowing the support is finite at each finite time, one now has a quantitative directional constraint at all late times."],"supporting_citations":[{"why":"Supplies the global well-posedness result, the three-term decomposition of the electromagnetic force into $K_T$, $K_{S,1}$, and $K_{S,2}$, the null-cone conservation law (18), and the crude bound on $\\sigma_S$ by $P(t)^2$ used throughout Section 2.2.","marker":"[5]"},{"why":"Provides the large-time momentum bound in the one-and-a-half-dimensional system that motivates the directional aspect-ratio question addressed in this paper.","marker":"[3]"},{"why":"Gives the energy and mass conservation laws (20)-(21) and the moment bounds used to justify the $L^2$ estimates for $K_{S,1}$ and $K_{S,2}$.","marker":"[12]"}],"fun_headline_variants":["Horizontal momentum of 2D plasma bounded by vertical cube","Cubic vertical spread sets cap on 2D plasma momentum","2D plasma momentum aspect ratio tied to vertical cube","Plasma momentum horizontal growth capped by vertical cube","Aspect ratio of 2D plasma momentum follows cubic bound"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof treats the constants in the cone decomposition from [5] and in the null-cone conservation law (18) as uniform in time and independent of the solution; if those constants grew with time, the closing inequality (59) would no longer follow.","fun_headline_variants_meta":{"raw":{"variants":["Horizontal momentum of 2D plasma bounded by vertical cube","Cubic vertical spread sets cap on 2D plasma momentum","2D plasma momentum aspect ratio tied to vertical cube","Plasma momentum horizontal growth capped by vertical cube","Aspect ratio of 2D plasma momentum follows cubic bound"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001728,"raw_usage":{"total_tokens":6761,"prompt_tokens":802,"completion_tokens":5959,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":418,"completion_tokens_details":{"reasoning_tokens":5879}},"tokens_in":418,"tokens_out":5959,"duration_ms":33138,"temperature":1.0,"reasoning_tokens":5879,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:03:07.735089+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for smooth compactly supported data, the maximal horizontal momentum at times when the vertical width $P_2(t)$ is known; if the horizontal spread ever exceeds $C t^8 P_2(t)^3 \\log(tP_2(t))^3$, Theorem 1 is false. A cheaper check is to verify whether the optimization in Section 2.2 forces $\\delta \\ge 5/12$; if so, the asymptotic comparisons used to select $A(t),B(t),C(t)$ would be invalid.","supporting_citations":[{"cited_title":"The relativistic Vlasov-Maxwell system in two space dimensions. I, II","cited_arxiv_id":null,"evidence_quote":"Supplies the global well-posedness result, the three-term decomposition of the electromagnetic force into $K_T$, $K_{S,1}$, and $K_{S,2}$, the null-cone conservation law (18), and the crude bound on $\\sigma_S$ by $P(t)^2$ used throughout Section 2.2."},{"cited_title":"Large time behavior of the rela- tivistic Vlasov Maxwell system in low space dimension","cited_arxiv_id":null,"evidence_quote":"Provides the large-time momentum bound in the one-and-a-half-dimensional system that motivates the directional aspect-ratio question addressed in this paper."},{"cited_title":"Strichartz estimates and moment bounds for the rel- ativistic Vlasov-Maxwell system","cited_arxiv_id":null,"evidence_quote":"Gives the energy and mass conservation laws (20)-(21) and the moment bounds used to justify the $L^2$ estimates for $K_{S,1}$ and $K_{S,2}$."}],"review_version":1}