{"id":"9990e90d-bfbe-4eef-8ec7-ed4a7af2f203","arxiv_id":"2506.17179","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Small enough initial data in H^3 with finite weighted L^2 norm globalize, and the linear profile converges in H^2, giving nonlinear scattering for the 2D modified Zakharov-Kuznetsov equation.","lead":"This paper proves that small, localized waves governed by the 2D modified Zakharov-Kuznetsov equation spread out and behave like free waves at large times. It is a rigorous step in understanding a nonlinear equation used to model ion-sound waves in plasmas.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 6.4's singular 1/|ω_a| decomposition is the load-bearing step and is only sketched; the weighted estimate needs a full verification of the globalized symbols and the s^{1/4} cutoff bounds.","rationale":"The reader's weakest assumption is exactly Lemma 6.4 and the §6.3 cutoff bounds, and that is also the most load-bearing point I find. The identity (6.2) is what converts the degenerate phase structure into usable integration-by-parts terms; without it the weighted estimate has no replacement. The manuscript itself flags the incompleteness through phrases such as 'arguments of differential geometry and local inversion' and 'angular partition of unity', so the concern is grounded in the text rather than imposed from outside. The short-time bridge from t=0 to t=1 is also a genuine gap, but it is a standard local-well-posedness argument that would not threaten the core method, whereas a failure of Lemma 6.4 would be fatal to the proof. I therefore keep the conditional verdict: the result is plausible and the outline coherent, but the singular symbol construction must be fully written out and checked before acceptance.","tokens_in":20425,"tokens_out":26794,"duration_ms":252116,"concrete_test":"Re-derive Lemma 6.4 in the ρ_a=0 case with an explicit partition of unity in the coordinates x=η_a+σ_a, y=η_a+ρ_a, z=σ_a+ρ_a. Compute the MPTT norms of the resulting m_1^b, m_2^b, m_3 on the support of eχ(s), tracking each derivative of 1/|ω_a|. If any of these norms grows faster than s^{1/4}, the estimates for (6.8a), (6.9a) and (6.10a) fail and the weighted estimate is not proved; if the norms match the claimed s^{1/4}, the identified gap is closed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim depends on Proposition 6.1, whose proof rests on Lemma 6.4 and on the time-dependent symbol bounds in §6.3. Lemma 6.4 asserts a global identity in which the singular factor 1/|ω_a| appears only near the space-time resonant set and all coefficients have finite MPTT norm. The proof is a sketch: in the ρ_a=0 case it invokes 'arguments of differential geometry and local inversion' and then combines the three singular solutions (1,1,2/x), (1,−1,2/y), (−1,1,2/z) by an unspecified 'angular partition of unity' to localize the singularity at η_a=σ_a=ρ_a=0. It is not demonstrated that the resulting m_i are genuinely of finite MPTT norm after globalization, nor that differentiation of the 1/|ω_a| factors produces only the s^{1/4} growth asserted in §6.3, for instance in (6.8a), (6.9a) and (6.10a). If the correct growth is s^{1/2} or worse, estimates such as ∫ s^{1/4}∥u∥^2_{L∞}∥u∥_{L2} ds fail to close, and Proposition 6.1, hence Proposition 4.1 and Theorem 1.1, is not established. This is not an objection to the plausibility of the result; it is a precise missing verification at the technical heart of the proof.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a small-data scattering result for the two-dimensional modified Zakharov-Kuznetsov equation ∂tu + ∂x(Δu + u^3) = 0. The main theorem states that for initial data small in H^3 ∩ L^2 weighted by |x|+|y|, the global solution remains bounded in H^3 and the associated profile function converges in H^2 as t→∞. The proof uses the method of space-time resonances: a bootstrap of an a priori estimate that combines an H^3 energy estimate with a weighted L^2 estimate for the profile. The weighted estimate is obtained from the Duhamel formula after a decomposition of the symbol (ξ_a+ξ_b)∂_{ξ_a}φ, with a singular 1/|ω_a| factor localized near the space-time resonant set, followed by repeated integration by parts in time and frequency. The paper is organized as Sections 2–6, with kernel estimates, multilinear paraproduct estimates, the bootstrap proposition, the energy estimate, and the weighted estimate.","tokens_in":20672,"tokens_out":11765,"duration_ms":111281,"significance":"If the result is correct, it would be the first scattering result for the 2D modified Zakharov-Kuznetsov equation, and the proof would be a useful application of the space-time resonance method to a cubic dispersive equation with a degenerate non-resonant structure. The overall bootstrap structure is coherent, the use of Coifman-Meyer and Muscalu-Pipher-Tao-Thiele multilinear estimates is appropriate, and the paper is self-contained apart from standard tools. The main technical novelty is the singular symbol decomposition in Lemma 6.4 and its use in the weighted estimate; this is also the part that requires the most scrutiny. The proof does not appear to be circular: the a priori estimates are of bootstrap type and no constant is fitted to the data.","major_comments":[{"comment":"The proof of Lemma 2.1 asserts that if two factors lie respectively in L^{p_a}_w and L^{p_b}_w, then their product lies in L^p_w for every p ≥ max(p_a,p_b). This is not a valid product rule: in general L^{p_1}_w · L^{p_2}_w ⊂ L^r_w with 1/r = 1/p_1 + 1/p_2, and the endpoint p = max(p_1,p_2) is false. For example, the product ⟨x⟩^{-1/4}⟨y⟩^{-1/4} is not in L^4_w. Since Lemma 4.2 invokes Lemma 2.1 with p = 2/ε at the endpoint β_a = 1/2−ε, the stated dispersive decay rates for |∂_{x_a}|^{1/2−ε} and |∂_{x_b}|^{1/2−ε} are not justified as written. A corrected lemma using strong L^p estimates for p > max(p_a,p_b) or a Lorentz-space product rule is needed, and the resulting decay exponents in Lemma 4.2 must be rechecked.","section":"Section 2, Lemma 2.1"},{"comment":"The proof of Theorem 1.1 begins with the assertion that the hypothesis controls ∥u∥_{X,1}. However, Proposition 4.1 is a statement for solutions on [1,T] with data at t=1, while the theorem assumes data at t=0. The displayed bound ∥x_a f(1)∥_{L^2} ≤ ∥3∂_{x_a}^2 e^{-L}u(1)∥_{L^2} + ∥e^{-L}(x_a u(1))∥_{L^2} only reduces the problem to a weighted bound on the nonlinear solution u(1); this weighted bound on [0,1] is not proved, and Remark 1.2 explicitly states that this issue is avoided. A local-in-time weighted estimate, or a modified theorem statement starting at t=1, is required for the theorem as stated.","section":"Section 4.3, proof of Theorem 1.1"},{"comment":"The proof of Lemma 6.4 is a sketch at the load-bearing step. In the ρ_a=0 case the text invokes 'arguments of differential geometry and local inversion' to derive an identity involving φ and ∂_{η_b}φ, ∂_{σ_b}φ, and then combines the three singular solutions (1,1,2/x), (1,−1,2/y), (−1,1,2/z) by an unspecified 'angular partition of unity' to localize the singularity at η_a=σ_a=ρ_a=0. It is not demonstrated that the resulting coefficients m_i have finite MPTT norm after globalization, nor that differentiating the 1/|ω_a| factors does not produce worse singularities. Since this decomposition is the foundation of the integration-by-parts scheme in Section 6.3, a complete proof of Lemma 6.4 is needed.","section":"Section 6.1, Lemma 6.4"},{"comment":"The weighted estimate Proposition 6.1 relies on several asserted MPTT bounds for time-dependent symbols, for example ∥|ω_b|^{-2}∂_{ξ_a}φ χ(s)∥_{MPTT} ≲ s^{-1/2}, ∥|ω_a|^{-1}ω f m̃ eμ eχ(s)∥_{MPTT} ≲ s^{1/4}, and the analogous bounds used in (6.9a) and (6.10a). These bounds are stated without proof, and the s^{1/4} growth is exactly what makes integrals such as ∫ s^{1/4}∥u∥^2_{L∞}∥u∥_{L2} ds converge. If differentiating the cutoff χ(s,ξ,η,σ) = χ_0(s^{1/4}|ω_a|/|ω_b|) produces s^{1/2} growth or worse, the estimates (6.6a) and (6.8a) fail to close. The paper should provide a verification of these symbol bounds and of the fact that the angular partition of unity keeps all derivatives under control.","section":"Section 6.3, bounds near singularities"}],"minor_comments":[{"comment":"In the trilinear case of Theorem 3.3, the final display states ∥Tm∥_{Lp×Lq×Lr→Lq}, but the target space should be L^s as in the preceding line.","section":"Section 3, Theorem 3.3"},{"comment":"In the boundary term (6.4c), the integration element dηdσds includes an extraneous ds after the time integration by parts; the boundary term at s=1 should be dηdσ only.","section":"Section 6.2, Lemma 6.5"},{"comment":"The label 'Définition 6.2' is in French; it should be 'Definition 6.2' for consistency with the rest of the text.","section":"Section 6.1"},{"comment":"In the first dispersive estimate the choice p = 2/(3ε) is said to be larger than 4 for ε small, but the later choices p = 2/ε are endpoint choices for the half-derivative kernel estimates; after Lemma 2.1 is corrected, the permissible range for p should be restated explicitly.","section":"Section 4.2, Lemma 4.2"}],"recommendation":"major_revision","confidential_remarks":"The main theorem as stated is not fully proved because the bootstrap starts at t=1 while the data are given at t=0; this is acknowledged in the paper but needs to be repaired. The other load-bearing gaps, Lemma 2.1 and Lemma 6.4 with the Section 6.3 symbol bounds, are technical but seem fixable within the scope of the manuscript, so I do not recommend rejection at this stage."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: genuine new result, probably right, but twice not yet finished — the short-time interval is skipped by explicit choice, and the singular decomposition that carries the weighted estimate is sketched, not proved. Worth refereeing.\n\nWhat's new: this appears to be the first scattering theorem for the 2D mZK equation, small data with H^3 and first-order weighted regularity. The method is the standard space-time resonance framework, but the paper adds a real twist: the non-resonant symbol does not satisfy the full-division identity (1.4), and the author uses a singular version (Lemma 6.4) where 1/|ω_a| appears only near the space-time resonant set. That is the technical core, and the surrounding bootstrap is coherent. The energy estimate is routine, the dispersive lemma is basically right, and the generic bilinear/trilinear estimates close. The citation pattern is sensible; the single self-citation is unrelated to the main argument.\n\nSoft spots, in order. First, Lemma 6.4. The proof is a sketch: 'arguments of differential geometry and local inversion' for the ρ_a=0 case, plus an unspecified angular partition of unity to combine three singular solutions. It is not demonstrated that the globalized symbols m_i have finite MPTT norm, nor that differentiating the 1/|ω_a| factors only costs s^{1/4} in the estimates of §6.3. If the true cost is s^{1/2}, the integrals such as ∫ s^{1/4} ∥u∥²_{L∞}∥u∥_{L2} ds stop converging, and Proposition 6.1, hence Theorem 1.1, is not established. That is not an objection to the result; it is a precise missing verification in the load-bearing step.\n\nSecond, the gap between t=0 and t=1. The author states the theorem for t≥0, then proves the weighted estimate for t∈[1,T] and says in Remark 1.2 that propagation of the weighted norm from 0 to 1 'should be possible' but is 'completely avoid[ed]'. That is honest, but it means the theorem as stated is not proved. A short-time weighted LWP estimate would close it; this is likely minor in difficulty, but it belongs in the paper.\n\nMinor: Lemma 2.1 claims a weak-L^p endpoint that the proof does not justify — the tensor product of two weak-L^p factors need not lie in weak-L^p at the endpoint. The applications use p>4, so choosing p slightly larger and absorbing the slack into ε fixes it.\n\nNo circularity: the bootstrap is self-contained, no fitted constants.\n\nWho this is for: dispersive PDE specialists, particularly those working on space-time resonances for degenerate or singular phase interactions. Reading group value: moderate; the core lemma needs more detail before the argument is teachable.\n\nRecommendation: do not desk reject. Send to a serious referee, asking for a full proof of Lemma 6.4 and the s^{1/4} symbol bounds, plus a resolution of the t∈[0,1] issue. If those are supplied, the paper is likely a solid contribution.","headline":"First scattering result for 2D mZK, with a coherent bootstrap but a load-bearing singular-symbol lemma that is only sketched and a skipped short-time interval; deserves refereeing, not a desk reject.","tokens_in":21271,"tokens_out":8884,"would_cite":true,"duration_ms":83276,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q53","35B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that small, spatially localized solutions of the 2D modified Zakharov-Kuznetsov equation scatter to linear waves at large times.","keywords":["modified Zakharov-Kuznetsov equation","scattering","space-time resonances","global well-posedness","dispersive estimates","weighted norms","Airy kernel","small data"],"falsifier":"Check the identity (6.2) at a point approaching the singular set with $\\rho_a=0$, $\\rho_b=-\\eta_b=-\\sigma_b\\neq0$, and verify that the multiplier norms used in (6.6a) obey the claimed $s^{-1/2}$ decay; if the symbols have derivatives that grow faster as $|\\omega_a|/|\\omega_b|\\to0$, the integration-by-parts scheme collapses.","tokens_in":20170,"feed_emoji":"🌊","tokens_out":15516,"duration_ms":135222,"temperature":0.7,"pith_summary":"This paper proves a nonlinear scattering result for the two-dimensional modified Zakharov-Kuznetsov equation, the cubic dispersive model that describes ion-acoustic waves in a magnetized plasma and extends the modified Korteweg-de Vries equation to two dimensions. The central theorem states that initial data small in $H^3$ and with finite weighted $L^2$ norm $\\|(|x|+|y|)u_0\\|_{L^2}$ yield a global solution $u(t)$ with $\\|u(t)\\|_{H^3}\\le C\\epsilon_0$ for all $t\\ge0$, and the profile $f(t)=e^{tL}u(t)$ converges in $H^2$ as $t\\to\\infty$, with $\\|f(\\infty)-f(0)\\|_{H^2}\\lesssim \\epsilon^3$. A sympathetic reader should care because this is the first scattering result for this equation: it says that small, well-localized waves cease to interact at large times and simply disperse linearly, and the explicit rate of approach to the asymptotic profile is a quantitative statement of that decay. The proof is carried out through the space-time resonance method, isolating the interaction phase and its stationary set and converting resonant terms into more decaying ones by integration by parts.","feed_headline":"Small data scatter for the 2D modified Zakharov-Kuznetsov equation","feed_subtitle":"The new proof shows these plasma waves converge to linear waves at large time.","key_machinery":"The load-bearing object is the Duhamel formula for the Fourier transform of the profile, written with the cubic phase $\\varphi(\\xi,\\eta,\\sigma)$ and symbol $\\xi_a+\\xi_b$. The decisive mechanism is the singular decomposition of Lemma 6.4: the product $(\\xi_a+\\xi_b)\\partial_{\\xi_a}\\varphi$ is expressed as a combination of $\\partial_{\\eta_a}\\varphi$, $\\partial_{\\sigma_a}\\varphi$, $\\partial_{\\eta_b}\\varphi$, $\\partial_{\\sigma_b}\\varphi$, and $\\varphi$ itself, with coefficients having finite bi-parameter multiplier norm and the only singularity being a factor $1/|\\omega_a|$ that appears only near the space-time resonant set (where the phase and its frequency derivatives vanish together). With that identity, an integration by parts in time or in the frequencies $\\eta,\\sigma$ turns the leading cubic term into quartic terms or boundary terms, and time-dependent cutoffs $\\chi(s)=\\chi_0(s^{1/4}|\\omega_a|/|\\omega_b|)$ separate the singular region, where the cancellation of the symbol is exploited, from the rest, where the singular identity applies. The dispersive backbone is the Airy-kernel estimate $|K_t(x_a,x_b)|\\lesssim t^{-2/3}\\langle t^{-1/3}x_a\\rangle^{-1/4}\\langle t^{-1/3}x_b\\rangle^{-1/4}$, which through weak Lebesgue spaces yields the $L^\\infty$ decay used to close every estimate.","core_discovery":"Theorem 1.1 is the central claim: there are constants $\\epsilon_0, C>0$ such that every initial datum $u_0$ with $\\|u_0\\|_{H^3} + \\|(|x|+|y|)u_0\\|_{L^2} \\le \\epsilon_0$ gives a global solution $u(t)$ of (1.1) satisfying $\\|u(t)\\|_{H^3}\\le C\\epsilon_0$ for all $t\\ge0$, and the profile $f(t)=e^{tL}u(t)$ converges in $H^2$ as $t\\to\\infty$. The equation being studied is $\\partial_t u + \\partial_x(\\Delta u + u^3)=0$ in two dimensions, equivalently $\\partial_t v + \\partial_{x_a}^3 v + \\partial_{x_b}^3 v + (\\partial_{x_a}+\\partial_{x_b})(v^3)=0$ after the change of variables, with linear operator $L = \\partial_{x_a}^3+\\partial_{x_b}^3$. Scattering here means the nonlinear evolution is asymptotically linear: $u(t)$ approaches $e^{-tL}f(\\infty)$, and the paper records the explicit closeness $\\|f(\\infty)-f(0)\\|_{H^2}\\lesssim \\epsilon^3$.","pith_inferences":["Editorial inference: a numerical simulation with small, compactly supported data could test the claimed asymptotics by checking that $\\|f(t)-f(s)\\|_{H^2}\\to0$ as $t>s\\to\\infty$; the paper's decay estimate for $\\partial_t f$ predicts a rate of order $t^{-2/9+\\delta}$.","Editorial inference: the method's template, singular symbol decomposition plus time-dependent cutoffs, appears transferable to other cubic dispersive equations in two dimensions whose interaction symbol vanishes on the space-time resonant set; the main new input would be an analogue of Lemma 6.4.","Editorial inference: if the $H^3$ assumption can be relaxed to the energy space $H^1$, scattering in $L^2$ would likely follow from the same weighted-estimate scheme and would place the result at the critical scaling index $s_c=0$."],"forward_implications":["For every initial datum of size at most $\\epsilon_0$, the solution is global, stays bounded in $H^3$ by $C\\epsilon_0$, and the profile has a limit $f(\\infty)$ in $H^2$; hence the scattering map for small localized data is well defined.","The nonlinear evolution is asymptotically linear: $u(t)$ is approximated by $e^{-tL}f(\\infty)$ as $t\\to\\infty$, so the cubic nonlinearity has no lasting effect on small, localized waves.","The result holds symmetrically for $t\\to-\\infty$, so scattering occurs in both time directions with the same constants.","The $H^3$ condition is stated by the author as sub-optimal; the natural energy space $H^1$ with $L^2$ scattering is not excluded and would match the critical scaling $s_c=0$."],"supporting_citations":[{"why":"supplies the Airy kernel decay estimate used to turn weighted $L^2$ control into $L^\\infty$ decay of solutions.","marker":"[41]"},{"why":"provides the bi-parameter multilinear multiplier estimates used to bound the Duhamel and boundary terms.","marker":"[44]"},{"why":"supplies the classical multilinear multiplier estimates used for the non-singular terms and generic weighted bounds.","marker":"[8]"},{"why":"gives the weak Lebesgue space and Hardy-Littlewood-Sobolev framework used in the linear dispersive estimates.","marker":"[50]"},{"why":"supplies the commutator estimate used in the $H^3$ energy estimate.","marker":"[35]"},{"why":"establishes the local well-posedness theory from which the bootstrap starts and to which the a priori estimate is applied.","marker":"[37]"},{"why":"introduces the space-time resonance method whose integration-by-parts strategy the weighted estimate follows.","marker":"[13]"}],"fun_headline_variants":["2D mZK: small data scatter to linear waves","Scattering proven for 2D modified Zakharov-Kuznetsov","2D modified Zakharov-Kuznetsov: small data scatters","Small data in 2D mZK: nonlinear waves go linear","2D mZK: small initial data, linear asymptotic behavior"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the weighted estimate rests on Lemma 6.4, the claim that the symbol $(\\xi_a+\\xi_b)\\partial_{\\xi_a}\\varphi$ can be decomposed with coefficients of finite multiplier norm whose only singularity is a $1/|\\omega_a|$ factor localized at the space-time resonant set; the lemma's proof is sketched through differential geometry, local inversion, and an angular partition of unity, so if that decomposition, or the $s^{-1/2}$ and $s^{1/4}$ bounds for the cutoffs in Subsection 6.3, fails, the integration-by-parts scheme collapses.","fun_headline_variants_meta":{"raw":{"variants":["2D mZK: small data scatter to linear waves","Scattering proven for 2D modified Zakharov-Kuznetsov","2D modified Zakharov-Kuznetsov: small data scatters","Small data in 2D mZK: nonlinear waves go linear","2D mZK: small initial data, linear asymptotic behavior"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000826,"raw_usage":{"total_tokens":3606,"prompt_tokens":934,"completion_tokens":2672,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":550,"completion_tokens_details":{"reasoning_tokens":2580}},"tokens_in":550,"tokens_out":2672,"duration_ms":20990,"temperature":1.0,"reasoning_tokens":2580,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:11:12.648630+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the identity (6.2) at a point approaching the singular set with $\\rho_a=0$, $\\rho_b=-\\eta_b=-\\sigma_b\\neq0$, and verify that the multiplier norms used in (6.6a) obey the claimed $s^{-1/2}$ decay; if the symbols have derivatives that grow faster as $|\\omega_a|/|\\omega_b|\\to0$, the integration-by-parts scheme collapses.","supporting_citations":[{"cited_title":"Linares and G","cited_arxiv_id":null,"evidence_quote":"supplies the Airy kernel decay estimate used to turn weighted $L^2$ control into $L^\\infty$ decay of solutions."},{"cited_title":"Muscalu and J","cited_arxiv_id":null,"evidence_quote":"provides the bi-parameter multilinear multiplier estimates used to bound the Duhamel and boundary terms."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the classical multilinear multiplier estimates used for the non-singular terms and generic weighted bounds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"gives the weak Lebesgue space and Hardy-Littlewood-Sobolev framework used in the linear dispersive estimates."},{"cited_title":"Kato and G","cited_arxiv_id":null,"evidence_quote":"supplies the commutator estimate used in the $H^3$ energy estimate."},{"cited_title":"Kinoshita, Well-posedness for the Cauchy problem of the modified Zakharov-Kuznetsov equation, Funkcial","cited_arxiv_id":null,"evidence_quote":"establishes the local well-posedness theory from which the bootstrap starts and to which the a priori estimate is applied."},{"cited_title":"Germain and N","cited_arxiv_id":null,"evidence_quote":"introduces the space-time resonance method whose integration-by-parts strategy the weighted estimate follows."}],"review_version":2}