{"id":"0a0e4414-3d2f-4302-a397-a4abfef47b6a","arxiv_id":"2412.02131","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"There is no finite or infinite time blow-up solution for the mass-critical 2D cubic Zakharov-Kuznetsov equation when the initial L2 mass equals the ground state mass.","lead":"Mathematicians prove that the 2D cubic Zakharov-Kuznetsov equation has no blow-up solution with exactly the critical mass. The result settles a natural question in dispersive PDE theory and shows the subcritical mass condition for global existence is not sharp.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The final contradiction in Step 3 of Theorem 1.2 does not follow from (3.10): the comparison of b/λ^θ at two times has endpoint error terms at the earlier time, so a nonzero lower bound is never established. Even granting [4] and the coercivity of A, the proof has a gap.","rationale":"The paper's central claim rests on a contradiction at the end of the proof. The reader identified the imported monotonicity Proposition 2.10 and numerical coercivity of A as the weakest assumption, but the more load-bearing problem is in the final ODE step itself: even if all of Section 2 is accepted, the passage from (3.10) to the two-sided comparison in Step 3 is not justified. Equation (3.10) bounds the difference of X = b/λ^θ by endpoint errors; the earlier endpoint error is not small when the later endpoint approaches blow-up, and if both endpoints approach blow-up then X tends to 0 on both sides, so the asserted comparison is vacuous. The proof never establishes the needed nonzero lower bound for X near blow-up, which is the only way to contradict the energy/mass upper bound |b|/λ^θ ≲ λ^{2−θ} → 0. This is an internal logical concern, not a disagreement with consensus; it could be repaired by supplying the missing lower-bound estimate. For that reason the result is conditional rather than established, and the reader's stated reason should be revised to include this gap.","tokens_in":20405,"tokens_out":28838,"duration_ms":299869,"concrete_test":"Re-derive the final Step 3 as a formal consequence of (3.10) and Proposition 2.10. Take s* = 0 (the time t1) and a sequence s** → -∞; show from (3.10) that |b(0)|/λ^θ(0) ≤ C(|b(s**)|/λ^θ(s**) + o(1)) with an error term independent of s**. If the required estimate fails, e.g., if N1(0)/λ^θ(0) dominates |b(0)|/λ^θ(0), then the two-sided comparison in Step 3 is unjustified and the nonexistence claim is not proved as written. A successful check would need to exhibit a quantitative lower bound on |b(s)|/λ^θ(s) valid up to the blow-up time, analogous to what the heuristic d/ds(b/λ^θ)=0 would provide.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In the endgame, Step 3 claims that (3.10) implies, for -s** large, |b(s**)|/(2λ^θ(s**)) ≤ |b(s*)|/λ^θ(s*) ≤ 2|b(s**)|/λ^θ(s**). But (3.10) reads |X(s*)−X(s**)| ≲ N1(s*)/λ^θ(s*) + b^2(s*)/λ^θ(s*) + b^2(s**)/λ^θ(s**), with X = b/λ^θ. The right-hand side contains terms evaluated at the earlier time s*. These are not controlled by X(s**) and need not be small when -s** is large unless s* is also pushed to -∞. If s* is pushed to -∞ to make those terms vanish, then X(s*) → 0 by Proposition 3.2, so both sides of the claimed two-sided bound tend to 0; this yields no nonzero constant and no contradiction with b(t1) < 0. What is missing is a lower bound, uniform as s → -∞, on |b(s)|/λ^θ(s), or a limit argument showing that the invariant cannot vanish. The displayed estimates only give the upper bound |b|/λ^θ ≲ λ^{2−θ} → 0, which is compatible with all the other inequalities. Thus the final contradiction is not established by the written proof. This is an internal logical gap, independent of the reliance on the companion paper [4] and of the numerical verification of the coercivity of A in (1.5).","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that the 2D cubic Zakharov-Kuznetsov equation has no blow-up solution whose L2 mass equals the ground-state mass ||Q||_{L2}. The proof assumes such a solution exists, applies a modulated decomposition near the soliton manifold, and uses refined modulation laws and an energy-virial Lyapunov functional to control the remainder. The authors first establish an exponential decay of the remainder on the right, then enter a monotonicity regime, and finally compare the quantities |b|/λ^θ and |b|/λ^2 to obtain a contradiction. Most of the technical machinery is imported from the companion paper [4].","tokens_in":20793,"tokens_out":7001,"duration_ms":63213,"significance":"If the proof can be completed, the result is a clean and surprising contrast with the mass-critical gKdV equation, where minimal-mass blow-up solutions exist, and it sharpens the known global-existence threshold for the 2D cubic ZK equation. The idea of exploiting the heuristic invariant b/λ^θ is elegant, and the paper is honest about its reliance on companion work and on a numerically verified spectral condition. The statement is crisp and the strategy is potentially very useful. However, the proof as written contains an internal gap in the final step, and the heavy dependence on an unpublished preprint lowers confidence in the current version.","major_comments":[{"comment":"The final contradiction is not justified by the displayed estimates. The derivation of the two-sided bound |b(s**)|/(2λ^θ(s**)) ≤ |b(s*)|/λ^θ(s*) ≤ 2|b(s**)|/λ^θ(s**) requires that the right-hand side of (3.10) be negligible relative to |b(s**)|/λ^θ(s**), but that right-hand side contains the endpoint terms N1(s*)/λ^θ(s*) and b^2(s*)/λ^θ(s*) evaluated at the earlier time s*. To make these terms small one would need to send s* → -∞, yet Proposition 3.2 yields only the upper bound |b(s)|/λ^θ(s) ≲ λ^{2-θ}(s) → 0 as s → -∞, so with s* → -∞ the left-hand side of (3.10) also tends to 0. Thus the argument never establishes a nonzero lower bound on |b|/λ^θ; it is compatible with b/λ^θ → 0. Without such a lower bound, the comparison with |b|/λ^2 ≲ λ^{2-θ} E0 → 0 does not produce the claimed contradiction with b(t1) < 0. This is a load-bearing gap in the written proof.","section":"Section 3.2, Step 3 (Eq. (3.10))"},{"comment":"The monotonicity property of the Lyapunov functional is the key estimate used to close the bootstrap in Proposition 3.4 and to control the remainder terms in Section 3.2. This proposition is quoted without proof from the companion preprint [4], and its proof is stated to rely on the coercivity of the operator A in (1.5), which the manuscript (following [9]) describes only as 'numerically verified.' A numerical check is not a mathematical proof, so the virial estimate, the monotonicity regime, and hence the entire Section 3 are conditional on an unproved spectral condition. The authors should either provide a rigorous proof of (1.5), state the theorem as explicitly conditional on that numerical verification, or supply a published reference that contains the proof.","section":"Section 2.3, Proposition 2.10 and Eq. (1.5)"},{"comment":"The paper is not self-contained: essentially all of the technical machinery used in Section 3 is imported from the companion paper [4], which is an unpublished arXiv preprint (2407.00300). In particular, the localized profile estimates, the refined modulation laws, and the energy-virial Lyapunov functional are stated as 'recalled' results. A referee cannot verify the central claim of this manuscript without access to a complete, accepted version of [4]. For a journal submission, either the key proofs should be included or summarized, or the companion paper should be published and cross-referenced with precise statements of the results used.","section":"Sections 2.1–2.3 (Lemmas 2.2, 2.8 and Proposition 2.10)"}],"minor_comments":[{"comment":"There are several typographical errors: 'Propostion' in Section 3.2 Step 1, 'satisy' in the statement of Proposition 2.10, and 'defintion' in Remark 3.3.","section":"Throughout"},{"comment":"The notation '0<λ (t)< 3 2' is unclear; it should be written as 0 < λ(t) < 3/2.","section":"Lemma 2.12"},{"comment":"The inequalities in (2.7) are typographically ambiguous; they should read |ψ''_A| ≲ (1/A)|ψ'_A| and |ψ'''_A| ≲ (1/A^2)|ψ'_A|.","section":"Section 2.4, Eq. (2.7)"},{"comment":"The bootstrap argument in Proposition 3.4 is compressed, especially the passage from (3.6) to the improvement via (3.9) and the use of Proposition 2.10; adding more details would improve readability and verifiability.","section":"Proposition 3.4"},{"comment":"The limitation to blow-up along all times rather than along a sequence is consistent with Definition 1.1, but it would be helpful to explicitly note that the proof does not exclude global solutions with ||∇φ(t_n)|| → ∞ along a sequence of times.","section":"Remark 1.3"}],"recommendation":"major_revision","confidential_remarks":"The main result is interesting and potentially significant for the mass-critical Zakharov-Kuznetsov problem, and the strategy is elegant. However, the proof as written contains a genuine gap in the final contradiction: the two-sided estimate on |b|/λ^θ in Step 3 does not follow from (3.10) without a uniform lower bound on that quantity. In addition, the paper relies almost entirely on an unpublished companion preprint and on a numerically verified spectral condition, which is a concern for the journal's verification standards. I recommend major revision. If the authors can supply the missing lower bound (or a different closing argument) and clarify the status of the imported estimates, the result would be a valuable contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proves nonexistence of minimal-mass blow-up for the 2D cubic ZK equation, a natural result that contrasts with the known gKdV minimal-mass blow-up. The high-level strategy is attractive: assume a blow-up solution, control the geometric parameters via the modulation and virial machinery, and reach an ODE contradiction. The mass/energy expansions in Lemma 2.5 are clean, and the paper is honest about importing most of the technical apparatus from the companion paper [4]. The numerical verification of the coercivity of A is a softer issue, and it is at least flagged as such.\n\nThe main soft spot is internal and lies in Step 3 of the proof of Theorem 1.2. The claimed two-sided bound on b/λ^θ does not follow from (3.10) as written. The right-hand side of (3.10) contains N1(s*)/λ^θ(s*) and b^2(s*)/λ^θ(s*), terms evaluated at the earlier time s*. To get a lower bound on |b(s**)|/λ^θ(s**) that is independent of s**, you need those terms to be small relative to |b(s*)|/λ^θ(s*), typically via an estimate like N1(s) ≲ |b(s)|. The paper does not provide such an estimate. If you instead push s* to -∞ to make those terms vanish, then X(s*) = |b(s*)|/λ^θ(s*) also tends to zero by the same upper bound that is supposed to produce the contradiction, so no nonzero lower bound remains. The written proof therefore does not establish that b/λ^θ stays away from zero, and without that the contradiction collapses. This is a real gap, not just a complaint about the reliance on [4].\n\nThe paper is still worth a serious referee. The result is new and important within the subfield, and the gap looks fixable: adding a weighted remainder estimate N1 ≲ |b| in the monotonicity regime, or a Liouville-type argument excluding a zero limit for the invariant, would plausibly close it. The external dependence on [4] and on the numerically verified coercivity should also be addressed, but those are secondary.\n\nMy recommendation: send it to review, and ask the authors to supply the missing lower bound argument in Step 3. I would not cite this version in its current state.","headline":"Plausible headline result and a coherent high-level strategy, but the final contradiction in Step 3 has a genuine gap that the authors need to fix before the proof is complete.","tokens_in":21264,"tokens_out":12778,"would_cite":false,"duration_ms":117622,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q53","35B44","35B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that no solution of the 2D cubic Zakharov-Kuznetsov equation with exactly the ground-state L^2 mass can develop a singularity in finite or infinite time.","keywords":["Zakharov-Kuznetsov equation","mass-critical","minimal mass blow-up","nonexistence","modulation theory","energy-virial Lyapunov functional","ground state","Gagliardo-Nirenberg inequality"],"falsifier":"Compute the quadratic form $(Af,f)$ over smooth test functions orthogonal to $Q$, $\\partial_{y_1}Q$ and $\\partial_{y_2}Q$: if any test function gives $(Af,f)<0$, then the coercivity (1.5) used in Proposition 2.10 is false and the paper's contradiction argument lacks its key monotonicity input.","tokens_in":20213,"feed_emoji":"🌊","tokens_out":11186,"duration_ms":98715,"temperature":0.7,"pith_summary":"The paper aims to settle the critical-mass threshold for the 2D cubic Zakharov-Kuznetsov equation, a mass-critical dispersive wave equation. Its main theorem states that no solution with initial $L^2$ norm equal to the ground-state norm $\\|Q\\|_{L^2}$ can blow up in finite or infinite time, in the sense that the gradient norm $\\|\\nabla\\varphi(t)\\|_{L^2}$ cannot tend to infinity as $t$ approaches a blow-up time $T$. This matters because the analogous mass-critical gKdV equation does have a minimal-mass blow-up solution, so the paper identifies a real difference between the two models. The proof is a contradiction argument: a hypothetical minimal-mass solution is brought into a monotonicity regime, and the refined modulation equations then force the conserved ratio $b/\\lambda^{\\theta}$ both to stay bounded below and to tend to zero, which cannot happen.","feed_headline":"No minimal-mass wave blows up in the 2D Zakharov-Kuznetsov equation","feed_subtitle":"Contradicts the pattern for critical gKdV and pushes the blow-up threshold strictly above the ground-state mass.","key_machinery":"The central mechanism is the near-soliton modulation decomposition combined with a monotone energy-virial Lyapunov functional $M_{ij}$. A supposed minimal-mass blow-up solution is written as $\\varphi(t,x)=\\lambda(t)^{-1}(Q_{b(t)}+\\varepsilon(t))((t,x-x(t))/\\lambda(t))$, where $Q_b=Q+b\\chi_bP$ is the localized profile built from the ground state $Q$ and a special function $P$ satisfying $\\partial_{y_1}LP=\\Lambda Q$, and where $\\varepsilon$ satisfies orthogonality conditions to the neutral modes. In the rescaled time $s=\\int d\\sigma/\\lambda^3$, the modulation equations read $\\lambda_s/\\lambda\\approx -b$ and $b_s+\\theta b^2\\approx0$, with $\\theta\\approx1.66$, so $b/\\lambda^\\theta$ is the almost-conserved quantity. The paper introduces a weighted energy functional $M_{ij}$, with a small-constant regularized virial correction $\\eta=(1-\\gamma\\Delta)^{-1}L\\varepsilon$, that is coercive and monotone under bootstrap assumptions (H1)--(H3); this monotonicity, together with an almost monotone mass estimate on the right of the soliton, gives the ODE control used to close the argument. What the machinery does is convert a hypothetical singularity into an ODE invariant that contradicts the scaling of the energy.","core_discovery":"On the paper's own terms, the discovery is Theorem 1.2: there is no finite or infinite $T$ such that an $H^1$ solution of (1.1), $\\partial_t\\varphi + \\partial_{x_1}(\\Delta\\varphi + \\varphi^3)=0$, with $\\|\\varphi(0)\\|_{L^2}=\\|Q\\|_{L^2}$, satisfies $\\|\\nabla\\varphi(t)\\|_{L^2}\\to\\infty$ as $t\\uparrow T$. The proof starts from the decomposition of such a hypothetical solution near the ground state, introduces the renormalized time $s=-\\int_t^{t_1} d\\sigma/\\lambda^3(\\sigma)$, and shows that the mass and energy conservation laws imply $|b|\\lesssim \\lambda^2 E_0$, while the refined modulation theory gives a nearly conserved quantity $b/\\lambda^\\theta$. Comparing the two forces at two widely separated times, the paper concludes that $b/\\lambda^\\theta$ must be both comparable to itself and arbitrarily small, a contradiction. Remark 1.3 records that the argument covers blow-up along the whole approach to $T$; global solutions that concentrate only along a sequence of times are not treated.","pith_inferences":["Editorial extension: the same ODE-invariant mechanism should rule out minimal-mass blow-up for other mass-critical dispersive equations without pseudo-conformal symmetry, as long as their linearized operators satisfy the needed coercivity.","Editorial extension: the paper's only non-rigorous input is the numerically verified coercivity of the operator $A$ in (1.5); an analytic proof of that spectral gap would make the theorem fully unconditional, whereas a failure of coercivity would break the monotonicity step and might open the door to a minimal-mass blow-up branch.","Editorial extension: the proof suggests that a hypothetical critical-mass singularity would have to be extremely right-localized in the renormalized variables; the exponential decay obtained from almost monotonicity of mass is what forces the solution into the monotonicity regime, so any counterexample would have to evade that decay."],"forward_implications":["Every $H^1$ solution with $L^2$ norm equal to $\\|Q\\|_{L^2}$ is globally bounded; the blow-up threshold for the 2D cubic ZK equation lies strictly above the ground-state mass.","There is no pseudo-conformal or self-similar minimal-mass blow-up solution for this equation, unlike the mass-critical NLS and gKdV models.","Any blow-up solution necessarily has supercritical mass, so the small-supercritical blow-up results and the nonexistence at criticality together leave no gap at the threshold.","The modulation identities $\\lambda_s/\\lambda\\approx -b$ and $b_s+\\theta b^2\\approx0$ supply quantitative parameter laws for any near-soliton solution, not merely a qualitative nonexistence statement."],"supporting_citations":[{"why":"Supplies the localized profile, modulation equations, refined parameter controls, and the monotone energy-virial Lyapunov functional used throughout Section 2.","marker":"[4]"},{"why":"Provides the small-supercritical blow-up theory and the numerically verified coercivity of the operator A in (1.5) on which the virial estimate rests.","marker":"[9]"},{"why":"Gives the minimal-mass blow-up solution for the mass-critical gKdV equation, the contrasting result that motivates the problem and supplies the modulation strategy.","marker":"[17]"},{"why":"Provides the nonexistence approach for minimal-mass gKdV under a one-sided decay assumption, including the almost monotonicity of mass used in Section 2.4.","marker":"[15]"},{"why":"Establishes the sharp Gagliardo-Nirenberg inequality that fixes the critical mass and shows that subcritical-mass solutions are globally well posed.","marker":"[27]"}],"fun_headline_variants":["No blow-up at minimal mass for 2D Zakharov-Kuznetsov","Critical-mass ZK waves defy blow-up, unlike gKdV","Mass-critical blow-up forbidden in 2D Zakharov-Kuznetsov","2D ZK: no blow-up at ground-state mass"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a certain linearized operator satisfies a spectral-gap (coercivity) condition, a fact the paper cites as numerically verified rather than proved; most of the modulation and Lyapunov machinery is also imported from the companion paper [4].","fun_headline_variants_meta":{"raw":{"variants":["No blow-up at minimal mass for 2D Zakharov-Kuznetsov","Critical-mass ZK waves defy blow-up, unlike gKdV","Mass-critical blow-up forbidden in 2D Zakharov-Kuznetsov","2D ZK: no blow-up at ground-state mass"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000606,"raw_usage":{"total_tokens":2828,"prompt_tokens":949,"completion_tokens":1879,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":565,"completion_tokens_details":{"reasoning_tokens":1798}},"tokens_in":565,"tokens_out":1879,"duration_ms":13491,"temperature":1.0,"reasoning_tokens":1798,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T23:48:45.895487+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the quadratic form $(Af,f)$ over smooth test functions orthogonal to $Q$, $\\partial_{y_1}Q$ and $\\partial_{y_2}Q$: if any test function gives $(Af,f)<0$, then the coercivity (1.5) used in Proposition 2.10 is false and the paper's contradiction argument lacks its key monotonicity input.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the small-supercritical blow-up theory and the numerically verified coercivity of the operator A in (1.5) on which the virial estimate rests."},{"cited_title":"Martel, F","cited_arxiv_id":null,"evidence_quote":"Gives the minimal-mass blow-up solution for the mass-critical gKdV equation, the contrasting result that motivates the problem and supplies the modulation strategy."},{"cited_title":"Martel and F","cited_arxiv_id":null,"evidence_quote":"Provides the nonexistence approach for minimal-mass gKdV under a one-sided decay assumption, including the almost monotonicity of mass used in Section 2.4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the sharp Gagliardo-Nirenberg inequality that fixes the critical mass and shows that subcritical-mass solutions are globally well posed."}],"review_version":1}