{"id":"82e9db0b-2840-4efe-813e-0d8093fb9373","arxiv_id":"2507.01288","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves the existence of wave operators for the two-dimensional Zakharov-Kuznetsov equation for small final data.","lead":"This paper proves that for the two-dimensional Zakharov-Kuznetsov equation, small prescribed asymptotic states always come from a genuine global solution, establishing the existence of wave operators. The result is a step toward a full scattering theory for this plasma-wave model, whose quadratic nonlinearity sits at the short-/long-range boundary.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.1 depends on an unproved weighted decay bound for V(t)(x1 f); the stated Lemma 2.1 only gives t^{-2/3} for this quantity, so the t^{-1} endpoint and the alpha>2/3 bootstrap are not established.","rationale":"The paper has a coherent strategy and proves a plausible new result: existence of wave operators for the 2D Zakharov-Kuznetsov equation in the final-state framework. The space-time resonance decomposition is nontrivial, and the algebraic identity (3.18) is the right kind of null structure. However, the central estimate Lemma 3.1 is not fully proved as written. The space-resonant terms after integration by parts require exactly the weighted decay estimate for V(tau)(x1 f) that the reader identifies, and that estimate is not a direct consequence of the stated Lemma 2.1. Since Lemma 3.1 is the only route to the v2 bound in Lemma 3.3 and hence to the bootstrap for w, this is a genuine load-bearing gap. I also checked the bootstrap exponent issue in Section 4. The implication from the squared energy inequality to (4.3) is not dimensionally valid: taking square roots produces terms of order ||w||^{3/2}, not ||w||^2. This is a separate internal inconsistency, but it appears fixable by changing the exponents in the bootstrap and choosing T large, whereas the missing weighted linear estimate is more fundamental. I do not see evidence that the theorem is false; it is more likely that the author has omitted a family of weighted estimates. The paper would be accepted only after the author supplies the missing estimates for V(t)(x1 f) and corrects the bootstrap algebra. The reader's CONDITIONAL verdict is therefore appropriate, so my read does not change the verdict.","tokens_in":15086,"tokens_out":30421,"duration_ms":304224,"concrete_test":"Take a Schwartz function f whose Fourier transform vanishes to first order on the axes, e.g. \\hat f(xi) = xi1 xi2 e^{-|xi|^2}, so that the Z norm is plausibly finite, and compute or sharply bound the decay of ||V(t)(x1 f)||_{L_infty}. Specifically, prove or disprove the asserted estimate ||V(t)(x1 f)||_{L_infty} <= C t^{-1} ||f||_Z. If it holds, supply the missing commutator/weighted-L1 derivation from Lemma 2.1. If it fails, the displayed bound for Isr,1,1 in Lemma 3.1 uses a false estimate and the t^{-1} endpoint collapses. The same check validates Lemma 3.3(3.23), since Lemma 3.3 is the only route to the bootstrap estimates (4.6)-(4.8).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing step is the proof of Lemma 3.1. Its t^{-1} bound for v2 feeds Lemma 3.3 and then (4.6)-(4.8), where closing the bootstrap for w at alpha>2/3 requires v2 to decay at least like t^{-1}. The place where this is not justified is the space-resonant term Isr,1,1. After integration by parts in eta1, the second displayed summand is bounded by ||V(tau)(x1 f)||_{L_infty} ||V(tau)(sqrt(2) partial_x2^{-1} + partial_x1 partial_x2^{-2})g||_{L2}. The second factor is controlled by the Z norm. The first factor is the problem. Lemma 2.1 as stated gives (2.2) ||V(t)h||_infty <= C t^{-2/3}||h||_1 and (2.3) || |partial_1|^{1/2}|partial_2|^{1/2} V(t)h ||_infty <= C t^{-1}||h||_1. Neither of these directly implies ||V(tau)(x1 f)||_infty <= C tau^{-1}||f||_Z. To use (2.3) one would need to write V(t)(x1 f) = |partial_1|^{1/2}|partial_2|^{1/2} V(t)(partial_1^{-1/2} partial_2^{-1/2} x1 f) and then prove ||partial_1^{-1/2} partial_2^{-1/2} x1 f||_{L1} <= C||f||_Z. This is not automatic: the half-wave Fourier multipliers have singular symbols on the coordinate axes, and the commutator of partial^{-1/2} with multiplication by x1 is more singular, not less. No weighted or commutator estimate of this kind is stated or proved in the paper. For generic Schwartz data with finite Z norm, the generic Airy decay of V(t)(x1 f) is only t^{-2/3}; extra cancellation would have to come from the exact vanishing of \\hat f on the axes forced by finiteness of Z, but that mechanism is absent. The text merely says 'By the decay estimate (Lemma 2.1 (2.3))', which is a gap. The exponent mismatch in (4.3) is also real but secondary: taking square roots of the preceding squared energy inequality gives a term of order ||w||_{XT}^{3/2}, not ||w||_{XT}^2. That is likely repairable by adjusting exponents, whereas the missing weighted decay is the core gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims existence of wave operators for the two-dimensional Zakharov-Kuznetsov equation (1.1) in the final-state problem framework. The strategy is to represent the solution as v = v1 + v2 + w, where v1 is the free evolution of given final data and v2 is the first Picard correction. The main analytic input is a bilinear dispersive estimate (Lemma 3.1) giving an L^2 bound of size t^{-1} for the oscillatory integral defining v2, obtained by space-time resonance decomposition and the algebraic null-structure identity (3.18). From this, Lemma 3.3 derives decay of v2 in H^3, and a bootstrap in Section 4 closes at rate t^{-α} with α > 2/3, yielding Theorem 1.1.","tokens_in":15453,"tokens_out":9676,"duration_ms":99883,"significance":"If the proof were complete, the result would be a significant advance: it would establish scattering for the borderline quadratic Zakharov-Kuznetsov equation in two dimensions, where naive L^∞ decay t^{-2/3} is not integrable. The paper is self-contained relative to classical tools (Coifman-Meyer, Keel-Tao Strichartz, Airy decay), and the algebraic identity (3.18) is explicit and checkable. The main concern is that a load-bearing estimate in Lemma 3.1 is not justified; if that gap is repaired, the overall strategy is plausible and the paper would merit publication.","major_comments":[{"comment":"After integration by parts in η1, the second displayed summand is bounded using ||V(τ)(x1 f)||_{L∞} ≤ C τ^{-1} ||f||_Z. This bound is not a consequence of Lemma 2.1 as stated. Lemma 2.1(2.3) gives τ^{-1} decay only for |∂1|^{1/2}|∂2|^{1/2} V(τ)h with an L1 norm of h; applying it with h = |∂1|^{-1/2}|∂2|^{-1/2} x1 f would require the estimate || |∂1|^{-1/2}|∂2|^{-1/2} x1 f ||_{L1} ≲ ||f||_Z. The paper neither states nor proves such a weighted commutator estimate, and it is not automatic because x1 does not commute with the half-wave Fourier multipliers and the commutator is more singular, not less. Since (3.1) is the key input to Lemma 3.3(3.23) and to the bootstrap estimates (4.6)-(4.8), this gap is load-bearing for Theorem 1.1.","section":"Section 3, proof of Lemma 3.1, space-resonant term Isr,1,1"},{"comment":"The proof says that all other space-resonant terms \"can be treated in a similar way.\" Several of those terms will produce the same problematic factor V(τ)(x1 f) or analogous weighted commutator expressions after integration by parts. The author should verify explicitly that every term either avoids this factor or is controlled by the stated Z norm, or provide a general lemma covering all such cases. As written, the t^{-1} estimate for Isr is not established.","section":"Section 3, Lemma 3.1, remaining space-resonant terms"},{"comment":"The closing of the bootstrap for w at rate α > 2/3 depends critically on the t^{-1} decay of v2 in H^3, which in turn rests on Lemma 3.1. If Lemma 3.1 only yielded t^{-2/3} decay for v2 (the generic linear decay rate available from Lemma 2.1), then the term in (4.6) involving ||v2||_{H^2} ||w||_{H^2} would produce t^{-α+1/3} after integration, which is not bounded by t^{-α}. Thus the missing estimate in Lemma 3.1 is not a technicality but a necessary ingredient for the stated rate.","section":"Section 4, bootstrap estimates (4.6)-(4.8)"}],"minor_comments":[{"comment":"In the display after \"Hence Lemma 3.2 yields,\" the notation [V(t)f] and [V(t)(...)] appears inside integrals over τ; these should be V(τ), not V(t). The same typo occurs in the subsequent estimates for Isr,1,1.","section":"Section 3, proof of Lemma 3.1"},{"comment":"The citation to \"Kinoshita-Correia\" with footnote \"work in preparation\" is not a complete reference. If the paper is available, it should be cited properly; if it is not used as a load-bearing input, it could be removed.","section":"Section 1, references"},{"comment":"In the definition of B1,1, the factorization (2η2^2 − η1^2)/η2^2 = (√2η2 − η1)(√2η2 + η1)/η2^2 is used implicitly; writing the intermediate step would improve readability.","section":"Section 3, equation (3.16)"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a timely and difficult problem, and the algebraic decomposition in Lemma 3.1 is elegant. However, the missing weighted estimate for V(τ)(x1 f) is a genuine gap in the central bilinear estimate. I recommend major revision rather than rejection because the issue is localized and may be repairable with an additional lemma or a modified decomposition; but without that repair the proof of Theorem 1.1 does not go through."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The result is new and worth attention: existence of wave operators for the 2D quadratic Zakharov-Kuznetsov equation, which was open. The strategy is the standard space-time resonance method, and the algebraic identity (3.18) is the right kind of null structure. The paper also honestly notes that asymptotic completeness remains open.\n\nWhat the paper does well: the reduction to the symmetric equation, the setup with v1 and v2, and the use of Coifman-Meyer multipliers are all sound in outline. The time-resonant terms are handled cleanly. Lemma 3.3 follows from Lemma 3.1 in a straightforward way.\n\nWhere the soft spots are. The proof of Lemma 3.1 has a genuine gap. In the space-resonant term Isr,1,1, after integration by parts in η1, one of the three resulting terms is bounded by ||V(τ)(x1 f)||∞ times L2 norms of V(τ)(√2 ∂_{x2}^{-1} + ∂_{x1}∂_{x2}^{-2})g. The second factor is indeed controlled by the Z norm. The first factor is the problem. Lemma 2.1 gives t^{-2/3} decay for V(t)h in L∞, and a t^{-1} decay only for |∂1|^{1/2}|∂2|^{1/2}V(t)h. Neither implies t^{-1} for V(t)(x1 f). To close that you would need a weighted estimate like || |∂1|^{-1/2}|∂2|^{-1/2} x1 f ||_{L1} ≲ ||f||_Z, which is not stated and is not obvious because of commutator singularities. The text just cites Lemma 2.1(2.3), which does not land. This is a load-bearing step: without the t^{-1} bound for v2, the bootstrap in Section 4 does not close.\n\nThere is also a smaller issue in Section 4. The squared energy inequality leads, after multiplying by t^α and taking the supremum, to a term like T^{-3α/2+1/3}||w||_{XT}^{3/2}, not T^{-α+2/3}||w||_{XT}^2. The displayed (4.3) does not follow as written. This looks repairable, but it is another place where the proof is not self-contained.\n\nOverall: the theorem is plausible and the architecture is sensible, but the core bilinear estimate is not fully justified. The paper deserves a serious referee, and the referee should ask for a complete proof of the missing weighted decay estimate or a modification of the norm to make it true. If that gap is closed, this is a solid contribution.\n\nRecommendation: send to peer review with a request for major revision.","headline":"A plausible new wave-operator result for 2D quadratic ZK, with a real gap in the key bilinear estimate that needs patching before the proof is complete.","tokens_in":16187,"tokens_out":3829,"would_cite":false,"duration_ms":62250,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q53","35P25"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that asymptotically prescribed small free solutions of the two-dimensional Zakharov–Kuznetsov equation are realized by global solutions, with the difference decaying in $H^2$ like $t^{-\\alpha}$ for any $\\alpha>2/3$.","keywords":["Zakharov-Kuznetsov equation","wave operators","scattering","space-time resonance method","final state problem","bilinear dispersive estimates","Coifman-Meyer theorem","Airy function decay"],"falsifier":"Choose two compactly supported Schwartz functions $f,g$ with finite $X$ norm and compute, for large $t$, the $L^2$ norm of $(\\partial_{x_1}+\\partial_{x_2})\\int_t^\\infty V(t-\\tau)[(V(\\tau)f)(V(\\tau)g)]\\,d\\tau$; if it does not stay bounded by $C t^{-1}\\|f\\|_X\\|g\\|_X$, Lemma 3.1 fails. Analytically, one can check whether the multiplier $\\partial_{\\sigma_1}m_{sr,1,1}(\\zeta+\\sigma,\\sigma)$ satisfies the Hörmander–Mihlin bound $|\\partial^\\beta m|\\lesssim(|\\zeta|^2+|\\sigma|^2)^{-|\\beta|/2}$ on the set where the denominator $p$ vanishes; a singularity there would break the integration-by-parts step.","tokens_in":14771,"feed_emoji":"🌊","tokens_out":12963,"duration_ms":122787,"temperature":0.7,"pith_summary":"The paper proves an existence result for wave operators for the two-dimensional Zakharov–Kuznetsov equation, a model for weakly magnetized plasma waves with a quadratic nonlinearity. In the final-state formulation, it shows that for any sufficiently small free solution $V(t)v_\\infty$ prescribed at infinity, there is an actual global solution $v(t)$ that approaches it: the $H^2$-distance decays like $t^{-\\alpha}$ with $\\alpha>2/3$. This is nontrivial because in two dimensions the quadratic nonlinearity sits at the borderline between short-range and long-range scattering, so the natural linear decay is not integrable in time. The construction splits the solution into the free wave, a corrected bilinear profile, and a small remainder, and the main work is a bilinear dispersive estimate obtained by the space-time resonance method. The result gives the existence of wave operators for the two-dimensional Zakharov–Kuznetsov equation in the final-state framework.","feed_headline":"Wave operators exist for the 2D Zakharov–Kuznetsov equation","feed_subtitle":"A new proof constructs global solutions approaching any small free solution, with decay better than t^{-2/3}.","key_machinery":"The key object is the bilinear correction $v_2(t)=-(\\partial_{x_1}+\\partial_{x_2})\\int_t^\\infty V(t-\\tau)[(V(\\tau)f)(V(\\tau)g)]\\,d\\tau$ and the null-structure identity (3.18), which rewrites the symbol $\\xi_1+\\xi_2$ as $[A(\\xi,\\eta)\\phi+B_1(\\xi,\\eta)\\partial_{\\eta_1}\\phi+B_2(\\xi,\\eta)\\partial_{\\eta_2}\\phi]/p(\\xi,\\eta)$, where $\\phi$ is the phase of the oscillatory integral and $p$ is a positive quadratic denominator. This identity is what converts the derivative nonlinearity into terms that can be integrated by parts in time (the $\\phi$ terms) or in frequency (the $\\partial_{\\eta_j}\\phi$ terms). After these integrations, the proof applies the Coifman–Meyer bilinear multiplier theorem, and the linear Airy-type decay estimate for $V(t)$ supplies the $t^{-1}$ factor. The weighted norm $X$ is chosen so that the weighted derivatives produced by the integrations by parts remain bounded.","core_discovery":"The central claim is Theorem 1.1: there exists $\\varepsilon>0$ such that every $v_\\infty$ with $\\|v_\\infty\\|_X\\le\\varepsilon$ defines a unique global solution $v\\in C(\\mathbb{R};H^1(\\mathbb{R}^2))$ of $\\partial_t v+\\partial_{x_1}^3 v+\\partial_{x_2}^3 v=(\\partial_{x_1}+\\partial_{x_2})(v^2)$ satisfying $\\|v(t)-V(t)v_\\infty\\|_{H^2}\\lesssim \\varepsilon t^{-\\alpha}$ for $t>0$, with $\\alpha>2/3$, and the analogous statement holds for $t<0$. Consequently $v_\\infty\\mapsto v(0)$ is a well-defined wave operator on the ball of radius $\\varepsilon$ in the weighted space $X$. The proof writes $v=v_1+v_2+w$, where $v_1$ is the free evolution of the final state, $v_2$ is a bilinear correction that removes the quadratic interaction, and $w$ is a remainder obtained by a contraction and compactness argument; the essential difficulty is the $L^2$ estimate for $v_2$.","pith_inferences":["A natural next question, not addressed in the paper, is asymptotic completeness: whether every small global solution of the two-dimensional Zakharov–Kuznetsov equation has a scattering state in $X$; the identity (3.18) may be the right tool to attempt it.","The norm $X$ is heavy, involving weights $\\langle x\\rangle$ and anisotropic negative derivatives up to order $-2$; one could test whether the same wave-operator statement holds with a lighter norm, which would indicate the minimal weighted regularity needed for scattering.","Because the obstruction is the borderline quadratic nonlinearity in two dimensions, the same null-structure decomposition should transfer to other two-dimensional dispersive equations with a cubic phase and a derivative quadratic nonlinearity, such as related members of the Zakharov–Kuznetsov family."],"forward_implications":["The wave operator $v_\\infty\\mapsto v(0)$ is defined on the ball $\\{f\\in X:\\|f\\|_X\\le\\varepsilon\\}$ and takes values in $H^1(\\mathbb{R}^2)$.","Every sufficiently small asymptotic state in $X$ is the scattering state of a unique global solution, so the free evolution is genuinely attained at infinity with rate $t^{-\\alpha}$, $\\alpha>2/3$.","The same conclusion holds for $t<0$, so the scattering construction works in both time directions.","Mass and energy conservation extend the solution from a large time $T$ to all of $\\mathbb{R}$, so the global solution belongs to $C(\\mathbb{R};H^1)$."],"supporting_citations":[{"why":"Supplies the Coifman–Meyer bilinear multiplier theorem used to bound every term after the null-structure decomposition.","marker":"[3]"},{"why":"One of the two papers developing the quadratic Schrödinger space-time resonance splitting that the argument follows.","marker":"[6]"},{"why":"Companion paper to [6]; together they provide the time/space resonance framework for the oscillatory integral estimate.","marker":"[7]"},{"why":"Developed the space-time resonance method in the Gross–Pitaevskii setting, the approach adopted for Lemma 3.1.","marker":"[10]"},{"why":"Endpoint Strichartz estimates used to turn the linear dispersive decay into the space-time bounds in Lemma 2.1(ii).","marker":"[13]"},{"why":"Airy function asymptotics, including the $|\\partial_y|^{1/2}Ai$ decay, underlying the linear estimates in Lemma 2.1.","marker":"[17]"},{"why":"Provides the compactness argument that converts the uniform a priori estimate (4.9) into an actual solution.","marker":"[20]"},{"why":"Motivates the change of variables that symmetrizes the equation into the form (1.5) used throughout the paper.","marker":"[2]"}],"fun_headline_variants":["Wave operators exist for 2D Zakharov-Kuznetsov","2D ZK equation has wave operators","Scattering to free waves in 2D Zakharov-Kuznetsov","2D ZK: global solutions approach small free waves","Space-time resonance proves 2D ZK wave operators"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the bilinear dispersive estimate of Lemma 3.1 holds: the oscillatory integral defining $v_2$ is bounded in $L^2$ by $t^{-1}$ times a product of weighted norms, which depends on every multiplier produced by identity (3.18) satisfying the Hörmander–Mihlin condition and on the linear decay being exactly $t^{-1}$.","fun_headline_variants_meta":{"raw":{"variants":["Wave operators exist for 2D Zakharov-Kuznetsov","2D ZK equation has wave operators","Scattering to free waves in 2D Zakharov-Kuznetsov","2D ZK: global solutions approach small free waves","Space-time resonance proves 2D ZK wave operators"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000752,"raw_usage":{"total_tokens":3322,"prompt_tokens":895,"completion_tokens":2427,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":511,"completion_tokens_details":{"reasoning_tokens":2341}},"tokens_in":511,"tokens_out":2427,"duration_ms":18969,"temperature":1.0,"reasoning_tokens":2341,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:56:51.795065+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose two compactly supported Schwartz functions $f,g$ with finite $X$ norm and compute, for large $t$, the $L^2$ norm of $(\\partial_{x_1}+\\partial_{x_2})\\int_t^\\infty V(t-\\tau)[(V(\\tau)f)(V(\\tau)g)]\\,d\\tau$; if it does not stay bounded by $C t^{-1}\\|f\\|_X\\|g\\|_X$, Lemma 3.1 fails. Analytically, one can check whether the multiplier $\\partial_{\\sigma_1}m_{sr,1,1}(\\zeta+\\sigma,\\sigma)$ satisfies the Hörmander–Mihlin bound $|\\partial^\\beta m|\\lesssim(|\\zeta|^2+|\\sigma|^2)^{-|\\beta|/2}$ on the set where the denominator $p$ vanishes; a singularity there would break the integration-by-parts step.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Coifman–Meyer bilinear multiplier theorem used to bound every term after the null-structure decomposition."},{"cited_title":"and Shatah J., Global solutions for 3D quadratic Schr¨ odinger equations","cited_arxiv_id":null,"evidence_quote":"One of the two papers developing the quadratic Schrödinger space-time resonance splitting that the argument follows."},{"cited_title":"and Shatah J., Global solutions for 2D quadratic Schr¨ odinger equations","cited_arxiv_id":null,"evidence_quote":"Companion paper to [6]; together they provide the time/space resonance framework for the oscillatory integral estimate."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Developed the space-time resonance method in the Gross–Pitaevskii setting, the approach adopted for Lemma 3.1."},{"cited_title":"and Tao T., Endpoint Strichartz estimates","cited_arxiv_id":null,"evidence_quote":"Endpoint Strichartz estimates used to turn the linear dispersive decay into the space-time bounds in Lemma 2.1(ii)."},{"cited_title":"and Ponce G., Introduction to nonlinear dispersive equations","cited_arxiv_id":null,"evidence_quote":"Airy function asymptotics, including the $|\\partial_y|^{1/2}Ai$ decay, underlying the linear estimates in Lemma 2.1."},{"cited_title":"and Tsutsumi Y., Global existence and asymptotic behavior of solutions for the Zakharov equations in three space dimensions , Adv","cited_arxiv_id":null,"evidence_quote":"Provides the compactness argument that converts the uniform a priori estimate (4.9) into an actual solution."},{"cited_title":"and Saut J.-C., Dispersion estimates for third order equations in two dimensions","cited_arxiv_id":null,"evidence_quote":"Motivates the change of variables that symmetrizes the equation into the form (1.5) used throughout the paper."}],"review_version":1}