{"id":"94b2c6c0-eda5-4f0e-9186-0ae9fc67344e","arxiv_id":"2411.14024","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"All nonconstant traveling wave solutions of the mZK equation arise from a single quadrature and split into 25 explicit families according to the roots of a quartic.","lead":"This paper classifies all nonconstant traveling wave solutions of the modified Zakharov-Kuznetsov equation, a model for nonlinear plasma waves, into 25 explicit families. The classification unifies many previously scattered ansatz-based solutions and adds new solution families.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Formula (20) in Case I cannot represent the real solution 2cosh(kr), so the explicit classification is incomplete even in the linear case A=B=0.","rationale":"The reader identified completeness gaps from division by v and the exclusion of constants. My check finds a sharper, decisively verifiable failure: in the paper's own Case I, the explicit family (20) is not the full general solution of the reduced ODE. Since A=B=0 is explicitly included and the mZK equation then is linear, any missing branch directly contradicts the claim that every traveling wave solution belongs to one of the 25 families. The implicit Theorem 1 may still be correct, because 2cosh(kr) is captured by the quadrature with H=arcosh, but the explicit formula derived in Section 3.1 loses the positive-exponential-coefficient branch. The defect is localized to the primitive and solved form in Case I and should be fixable, so the appropriate verdict remains CONDITIONAL rather than REJECT; however, the current text's blanket classification claim is false as written.","tokens_in":18178,"tokens_out":33525,"duration_ms":297679,"concrete_test":"Set A=B=0, M=N=1, c=1, so k=1/sqrt(2). Verify by direct substitution that v(r)=2cosh(kr) solves -v'+(M+N)v'''=0. Then rewrite (20) as v=α+p e^{kr}+q e^{-kr} and observe that its two sign choices force either p=-e^{-kC1}/4<0 or q=-e^{kC1}/4<0, whereas the test solution has p=q=1. This settles whether the linear family (20) is complete; if the check succeeds, Section 3.1 must be corrected to v=α+D cosh(k(C1-r)) (or the analogous sinh/trig form).","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Section 3.1 (Case I: A=B=0) claims that for M+N/c>0, formula (20) gives the corresponding traveling wave solutions. But for A=B=0 the ODE (4) is -cv'+(M+N)v'''=0, whose smooth nonconstant solutions are v(r)=α+p e^{kr}+q e^{-kr}, k=sqrt(c/(M+N)), with p,q arbitrary reals. Formula (20), however, has the form α - (1/4)e^{-kC1} e^{kr} - β e^{kC1} e^{-kr} for the upper choice of signs, or the mirror form for the lower choice; in both cases one of the two exponential coefficients is forced to be strictly negative. The real, globally smooth solution v(r)=2cosh(kr) corresponds to p=q=1 and satisfies the ODE, but it cannot be represented by (20) with real C1,C2,C3. Thus the claimed exhaustive classification misses a nonconstant family already in the simplest case treated by the paper. The failure traces to the primitive H written in Section 3.1: solving the quadrature gives v=α+D cosh(k(r-C1)) with D of either sign, while the logarithmic expression in (19) selects only one sign branch and the subsequent solved form (20) loses the other. This is a concrete counterexample to Table 1's exhaustiveness, independent of the constant-solution and v=0 issues.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies traveling wave solutions u(x,y,t)=v(x+y-ct) of the modified Zakharov-Kuznetsov equation (2). The traveling-wave reduction gives the third-order ODE (4). Using a C^∞-structure of vector fields on the jet space, the authors derive first integrals I3 and I2 and reduce the problem to a first-order quadrature (v')^2 = P(v)/[-6(M+N)] with quartic P in (18). Theorem 1 states that all traveling wave solutions are implicitly given by x+y-ct ± H(u;C2,C3)=C1, where H is a primitive of h(v)=sqrt(-6(M+N)/P(v)). Section 3 enumerates explicit solutions according to the root structure of P, summarized in Table 1 as 25 k-parameter families, and Section 4 fits several previously published solutions into these families. Section 5 presents kink, bright-soliton, and periodic examples. The paper concludes that every traveling wave solution belongs to exactly one of the 25 families.","tokens_in":18454,"tokens_out":10521,"duration_ms":106309,"significance":"The methodological core—exhibiting explicit first integrals and reducing the ODE to a quadrature—is sound and directly checkable, and the recovery of previously published solutions in Section 4 is a useful unifying feature. If the classification were complete, this would be a valuable reference result for the mZK equation, replacing scattered ansatz-based formulas by a systematic catalog. The explicit derivation of I3 and I2 in Eqs. (10) and (12) and the parameter counting in Table 1 are concrete strengths. However, the completeness claims in Theorem 1 and Section 6 are not currently supported: the simplest linear case already omits a nonconstant family from the explicit formula, and constant solutions and complex-root cases leave additional gaps in the claimed exhaustive classification.","major_comments":[{"comment":"For A=B=0, the reduced ODE (4) becomes -c v' + (M+N) v''' = 0. If c/(M+N)>0, its smooth nonconstant solutions are v(r)=α + p e^{k r} + q e^{-k r} with k=sqrt(c/(M+N)) and arbitrary real p,q. The solution v(r)=2 cosh(k r) (p=q=1, α=0) satisfies the ODE, but formula (20) always forces one of the two exponential coefficients to be -1/4 e^{-kC1} or -1/4 e^{kC1}, hence strictly negative; no choice of real C1,C2,C3 yields p=q=1. Therefore the explicit Case I family is not exhaustive, and the completeness claim of Table 1 fails. The missing branch corresponds to taking the other sign in the primitive of (19), e.g. v=α + D cosh(k(r-C1)) with real D.","section":"Section 3.1, Eq. (20)"},{"comment":"Theorem 1 states that 'all' traveling wave solutions are described by (16), but constant solutions are not included: for any K∈R, v≡K solves (4) also when M+N≠0, while the derivation of I2 in (12) requires v≠0 and the denominator P(K) in h from (17) would vanish in a primitive. The theorem and the subsequent classification should be restricted to nonconstant solutions, with constants handled as a separate trivial case. In addition, the derivation divides by v in the ansatz for X2 and in the formula for I2, and the paper does not provide an analytic-continuation or local-coordinate argument for solutions that pass through v=0; this is another source of incompleteness for the stated 'all' claim.","section":"Theorem 1 and Section 2"},{"comment":"The sentence 'It can be checked that... we obtain identical expressions' for the cases λ<0 or A^2+6Bc-2B^2ρ^2-2ABρ-B^2λ<0 is an unsupported assertion. When the roots are complex, the elliptic-integral formulas (60)-(63) as displayed contain square roots and moduli that are not real, and no real reduction or verification is supplied that the resulting expressions solve (4). Since Table 1 lists these as real k-parameter families, the classification is not demonstrated without this step. Relatedly, the definitions of ξ in (62) and (63) appear to involve square roots of negative quantities under the ordering ϕ1<ϕ2<ϕ3<ϕ4; these formulas need checking.","section":"Section 3.3, Case 7 (after Eq. (63))"}],"minor_comments":[{"comment":"The displayed primitive H(v) in Case I is difficult to parse and the domain restrictions for the logarithmic and square-root expressions are not stated; please rewrite it with explicit branches and domains.","section":"Section 3.1, Eq. (19)"},{"comment":"The parameters c,C1,C2,C3 are called arbitrary, but the expression contains sqrt(24C3/c) and requires c/(M+N)<0; these constraints should be stated.","section":"Section 3.1, Eq. (21)"},{"comment":"The conclusion says the solutions are classified into 'twenty-five distinct classes,' while Table 1 displays fifteen rows with several rows containing two formulas; please clarify whether 'classes' means individual formula entries or root-configuration rows.","section":"Section 6"},{"comment":"It would be helpful to state explicitly that each family in Section 3 has been verified by substitution into (4), or to include a short appendix with machine-checked verification, since the completeness argument depends on the correctness of the explicit formulas.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The 2cosh counterexample is decisive for the paper's central completeness claim, but it is a local flaw in Section 3.1 and appears fixable within the manuscript's scope. I would not reject if the authors correct the missing branch, restrict the theorem to nonconstant solutions, and either prove or remove the unsupported complex-root assertion. The first-integral derivation itself is a solid contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a serious look: the paper reduces the mZK traveling wave ODE to a quartic quadrature, builds a 25-family table, and shows how earlier ansatz solutions slot into it. That is real consolidation. The two integrations leading to the quadrature are checkable, and the Section 4 re-derivations of literature solutions are a nice service.\n\nThe soft spots are real. The blanket \"all\" is too strong: constant solutions are outside the implicit formula (16), so Theorem 1 should be qualified. More seriously, the stress-test counterexample is right: for A=B=0, v=2cosh(kr) solves the ODE but is not in (20), because the formula forces one exponential coefficient to be negative while 2cosh has both positive. That breaks the claimed exhaustiveness of the classification in the simplest case. The fix is to allow an additional sign branch or to represent the general solution with both cosh and sinh terms. The complex-root and K<0 cases are asserted rather than demonstrated, and the division by v in the first integral means solutions touching v=0 need an analytic continuation argument. These are fixable, but they are genuine gaps.\n\nThe paper is for PDE and symbolic-computation readers who want a parameter-counted catalog; it should not be cited as complete until the Case I issue and the \"all\" qualifier are repaired. It deserves peer review, not desk rejection, because the core derivation is solid and the catalog is useful.\n\nRecommendation: send it to a referee, but expect major revision before the exhaustiveness claim can stand.","headline":"A useful catalog of mZK traveling waves, but the completeness claim is false as stated: Case I misses the 2cosh family.","tokens_in":18985,"tokens_out":10916,"would_cite":false,"duration_ms":92733,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35C07","35C05","35Q53"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that every nonconstant traveling wave solution of the modified Zakharov–Kuznetsov equation is captured by one implicit formula and sorted into exactly 25 explicit families.","keywords":["modified Zakharov-Kuznetsov equation","traveling wave solutions","C-infinity structure","exact solutions","classification","Jacobi elliptic functions","solitons","Zakharov-Kuznetsov equation"],"falsifier":"Take the mZK equation with $A=0$, $B=M=N=1$, integrate the reduced ODE numerically from initial data chosen so that $v(r)$ crosses through $v=0$ with nonzero slope, and test whether the resulting smooth nonconstant wave appears as a limit of one of the listed families; a wave that does not would disprove the completeness claim.","tokens_in":17982,"feed_emoji":"🌊","tokens_out":12438,"duration_ms":104419,"temperature":0.7,"pith_summary":"The paper sets out to prove that the modified Zakharov–Kuznetsov equation $u_t + A u u_x + B u^2 u_x + M u_{xxx} + N u_{xyy}=0$ has a complete, explicit catalog of nonconstant traveling wave solutions. Using a geometric integration method based on a $\\mathcal{C}^\\infty$-structure, it reduces the traveling-wave differential equation to a first-order quadrature and then organizes every solution according to the root pattern of a single quartic polynomial. The result is a table of 25 parameterized families, ranging from exponential and rational waves to tanh- and sech-shaped kinks and bright solitons and to periodic Jacobi elliptic waves. Earlier solutions obtained by various ansatz methods are shown to be special parameter choices inside these families. If the completeness claim holds, the paper settles the traveling-wave classification for this equation rather than adding isolated examples.","feed_headline":"Every traveling wave of the modified ZK equation fits 25 families","feed_subtitle":"The classification absorbs all previously known exact waves and maps out kinks, bright solitons, and periodic waves.","key_machinery":"The load-bearing object is the $\\mathcal{C}^\\infty$-structure: an ordered triple of vector fields $X_1=\\partial_r$, $X_2=\\partial_{v_1}+\\frac{v_1}{v}\\partial_{v_2}$, $X_3=\\partial_{v_2}$ that, together with the vector field $Z$ representing the third-order ODE, generate involutive distributions. Interior multiplication of the volume form with $Z,X_1,X_2,X_3$ produces three Pfaffian forms whose successive first integrals $I_3$, $I_2$, and $I_1$ reduce the problem to a single quadrature. The classifying object is the quartic $P(v)=Bv^4+2Av^3-6cv^2-C_2v+C_3$: the sign of $M+N$ and the degree and multiplicity pattern of the real roots of $P$ determine which of the 25 families applies, and the elliptic or elementary antiderivative of $1/\\sqrt{P}$ gives the explicit solution formula.","core_discovery":"The paper's central claim is that every nonconstant traveling wave solution of the mZK equation, written as $u(x,y,t)=v(r)$ with $r=x+y-ct$ and $c\\neq 0$, satisfies the implicit relation $x+y-ct\\pm H(v;C_2,C_3)=C_1$, where $H$ is a primitive of $h(v)=\\sqrt{-6(M+N)/(Bv^4+2Av^3-6cv^2-C_2v+C_3)}$ and $C_1,C_2,C_3$ are integration constants. This is derived by integrating the third-order ODE $-c v_1 + A v v_1 + B v^2 v_1 + (M+N)v_3=0$ through a sequence of Pfaffian equations, yielding first integrals that reduce the ODE to the quadrature $(v_1)^2 = -(Bv^4+2Av^3-6cv^2-C_2v+C_3)/(6(M+N))$. Section 3 then enumerates all real root configurations and multiplicities of the quartic $P(v)=Bv^4+2Av^3-6cv^2-C_2v+C_3$, producing 25 explicit $k$-parameter families of solutions. The paper further asserts that any traveling wave solution belongs to exactly one of these families, so that known particular solutions from the literature are identifiable as special cases of the table.","pith_inferences":["The same quadrature-and-root-enumeration pattern should apply to other evolution equations whose traveling-wave reduction is a third-order ODE admitting a compatible $\\mathcal{C}^\\infty$-structure, so the root table here could serve as a template.","Because the derivation divides by $v$ and by $v_1$, solutions that cross $v=0$ or pass through stationary points of the wave profile may lie on branches the paper does not explicitly analyze; a separate limiting argument would be needed to include them in the 25 families.","The algebraic dependence of the families on the roots of $P$ suggests a computational decision procedure: given the equation parameters and initial data, compute $C_2,C_3$, factor $P$, and return the unique family from the table."],"forward_implications":["If the completeness claim is correct, no nonconstant traveling wave of the mZK equation can escape the catalog: every such wave is either of the implicit form or one of the 25 explicit families.","Any particular solution produced by direct methods can be identified by computing the invariants $C_2,C_3$ from the solution, factoring the quartic $P$, and reading off the corresponding family and free-parameter values from the table.","The classification exposes the full parameter space of physically interesting waves: kink waves in one parameter regime, bright solitary waves in another, and periodic Jacobi elliptic waves in the four-distinct-root cases.","Some families have up to four free parameters, so previously published one-parameter solutions appear as low-dimensional slices of a larger solution manifold."],"supporting_citations":[{"why":"Supplies the theorem that a completely integrable Pfaffian equation provides the first integrals used in the C-infinity-structure integration.","marker":"[11]"},{"why":"Presents the C-infinity-structure method for integrating involutive distributions, the geometric basis of the reduction.","marker":"[12]"},{"why":"Details the procedure for computing the sequence of 1-forms and successive integrals of a differential equation.","marker":"[13]"},{"why":"Gives the incomplete elliptic integral and Jacobi elliptic function sn used in the explicit solution formulas.","marker":"[20]"},{"why":"Provides earlier particular mZK solutions that the paper embeds into families (51), (43), (44), and (38).","marker":"[3]"},{"why":"Supplies solitary wave solutions for the special mZK variant that are classified as special cases of families (43) and (44).","marker":"[21]"}],"fun_headline_variants":["All mZK traveling waves classified into 25 exact families","25 families capture every traveling wave of the mZK equation","mZK equation's traveling waves fully catalogued in 25 families","One framework unifies all known mZK wave solutions into 25 families"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything hinges on the assumption that the two-step reduction of the traveling-wave ODE, which divides by the wave height $v$ and by its slope $v_1$, produces a quadrature that governs every nonconstant traveling wave, with no branch lost when the wave touches $v=0$ or a root of the quartic $P$.","fun_headline_variants_meta":{"raw":{"variants":["All mZK traveling waves classified into 25 exact families","25 families capture every traveling wave of the mZK equation","mZK equation's traveling waves fully catalogued in 25 families","One framework unifies all known mZK wave solutions into 25 families"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00093,"raw_usage":{"total_tokens":3956,"prompt_tokens":890,"completion_tokens":3066,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":506,"completion_tokens_details":{"reasoning_tokens":2994}},"tokens_in":506,"tokens_out":3066,"duration_ms":20773,"temperature":1.0,"reasoning_tokens":2994,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:38:05.879592+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the mZK equation with $A=0$, $B=M=N=1$, integrate the reduced ODE numerically from initial data chosen so that $v(r)$ crosses through $v=0$ with nonzero slope, and test whether the resulting smooth nonconstant wave appears as a limit of one of the listed families; a wave that does not would disprove the completeness claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that a completely integrable Pfaffian equation provides the first integrals used in the C-infinity-structure integration."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Presents the C-infinity-structure method for integrating involutive distributions, the geometric basis of the reduction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Details the procedure for computing the sequence of 1-forms and successive integrals of a differential equation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the incomplete elliptic integral and Jacobi elliptic function sn used in the explicit solution formulas."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides earlier particular mZK solutions that the paper embeds into families (51), (43), (44), and (38)."},{"cited_title":"Al-Amin, M","cited_arxiv_id":null,"evidence_quote":"Supplies solitary wave solutions for the special mZK variant that are classified as special cases of families (43) and (44)."}],"review_version":1}