{"id":"bb56307a-71c5-4346-98f0-d090a98c09ca","arxiv_id":"2507.23469","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"The paper constructs arbitrary-genus finite-gap solutions of both mKdV equations using ℘-functions, with full reality conditions proven only for the defocusing case.","lead":"The paper derives explicit finite-gap, quasi-periodic solutions of both the focusing and defocusing modified KdV equation, written with generalized Weierstrass ℘-functions on hyperelliptic spectral curves. A generalist might read it as an algebraic-geometry recipe for real bounded periodic waves, although one key reality-condition step is left as a conjecture.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Focusing mKdV reality theorem rests on unproved Conjecture 1; without it the 'any genus' focusing claim is unsupported.","rationale":"I agree with the reader's weakest_assumption. The defocusing solution chain (Theorems 4 and 6) is technically plausible and does not depend on Conjecture 1, so the paper's core method survives even if the conjecture is unproved. However, the paper's most prominent claim—real bounded quasi-periodic solutions in any genus for both forms, with completely specified reality conditions—is exactly what Theorem 7 plus Conjecture 1 delivers. The manuscript's own Appendix A stops before completing the genus-2 verification, and no genus-3 proof is attempted. This is a correctness risk in the focused sense: the central theorem is conditional on an unproved, non-obvious 'if and only if' statement. The presentational defects (Section 8 heading mismatch, absent plots, broken equation references) do not affect the mathematical argument. A conditional verdict is appropriate; I would not change the reader's verdict.","tokens_in":20176,"tokens_out":9727,"duration_ms":89529,"concrete_test":"Perform a symbolic genus-3 extension of Appendix A: for a curve with finite branch points {0, e2, e2bar, e4, e4bar, e6, e6bar}, use the addition law to express all ℘-functions appearing in (55a)-(55c) at u=s+K in terms of genus-3 ℘-functions at s, and verify whether the identities reduce to algebraic relations among e2,e4,e6 that hold identically for all s. If the reduction requires extra conditions or fails for a symbolic parameter choice, the conjecture is false. Complement with high-precision numerics: evaluate (54)/(55) at 20 random real s vectors for two random genus-3 focusing curves with WorkingPrecision 30; any violation above 10^-10 disproves Theorem 7 as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 6.3's Theorem 7, which supplies real bounded finite-gap solutions of the focusing mKdV equation, is proven only by invoking Conjecture 1. That conjecture asserts the ℘-identities (54)/(55) hold iff the finite branch points are 0 plus g complex-conjugate pairs. The manuscript proves these identities via the addition law only in genera 1 and 2, and the genus-2 appendix is itself incomplete, ending mid-identity at (79). For g≥3 the paper offers only 'numerical computations' as evidence. If the 'if' direction fails, Theorem 7's reality and boundedness conclusions do not follow for any g≥3; if the 'only if' direction fails, the stated complete reality characterization is overbroad. Because the abstract claims reality conditions are 'completely specified', the focusing half of the central claim is not established at the claimed level.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs finite-gap solutions of the modified Korteweg–de Vries (mKdV) equation by algebraic integration on a family of hyperelliptic spectral curves. The central formula expresses the solution as w(x,t) = -b ℘_{1,1,2N-1}(u+u[K]) / (2 ℘_{1,2N-1}(u+u[K])) with u = (b(x+2r_{2N-2}t), -4b^2t, bc_5, ..., bc_{2N-1}), for a genus-N curve. The paper claims that reality and boundedness are completely specified: for the defocusing mKdV, all finite branch points are real; for the focusing mKdV, the finite branch points are 0 together with g complex-conjugate pairs. Theorems 6 and 7 state these results, and a Miura-transformed KdV solution is given in Theorem 8. The defocusing statement follows from Theorem 4 combined with earlier reality results, but the focusing statement depends on Conjecture 1, which is proved only in genera 1 and 2 and checked numerically in higher genera.","tokens_in":20374,"tokens_out":10765,"duration_ms":113940,"significance":"If the claims are fully established, the paper would provide a uniform genus-N ℘-function representation of finite-gap solutions to both the focusing and defocusing mKdV equations, with explicit reality conditions on the spectral curve and the constant vector. This would be a useful contribution to the algebro-geometric theory of mKdV, extending the author's earlier work on KdV and sine-Gordon hierarchies. The defocusing part appears sound and follows from prior results, and the algebraic integration chain leading to the solution formula is broadly standard. The main advertised advance for the focusing case, however, is conditional on an unproved conjecture, so the paper's strongest novelty claim is not currently established at the level promised in the abstract.","major_comments":[{"comment":"Theorem 7, which supplies real bounded finite-gap solutions of the focusing mKdV equation, rests entirely on Conjecture 1: the identities (54) and (55) hold if and only if the finite branch points are 0 and g complex-conjugate pairs. The proof given for the conjecture covers only genera 1 and 2, and the manuscript states only that 'in higher genera, the same identities hold in numerical computations.' Numerical checks are not a proof. Since the abstract claims that reality conditions are 'completely specified,' the focusing half of the central claim is not established for general genus. Either prove Conjecture 1, at least the 'if' direction needed for Theorem 7, or restrict the theorem and the abstract to the proven genera and clearly mark the higher-genus results as conditional.","section":"Section 6.3, Theorem 7 and Conjecture 1"},{"comment":"The genus-2 verification of Conjecture 1 is incomplete. The derivation through equations (72)–(79) stops at the displayed expression (79) without completing the verification of the reality conditions (71b) and (71c). The statement that the simplification occurs 'if and only if four branch points form complex conjugate pairs' is asserted but not demonstrated by the displayed algebra. Because Conjecture 1 is load-bearing for Theorem 7, this incomplete verification is not merely a presentational issue; the proof of the conjecture must be completed.","section":"Appendix A, genus-2 verification"},{"comment":"The reduction of the dynamic variables to the compact expressions (38) depends on the identities (41) and (42), which are claimed to follow 'by substitution' into the evolutionary flows, but the actual computations are not shown. Since (43) is the direct source of the main solution formula (45) in Theorem 4, this is a load-bearing step. The paper should either present the derivation of (41) and (42), or provide a reference where these identities are proved in sufficient detail. As written, a central part of the integration chain is an assertion rather than a demonstrated computation.","section":"Section 5, proof of Theorem 3"}],"minor_comments":[{"comment":"The section is about computing mKdV solutions, but the text says 'present effective computation of quasi-periodic finite-gap solutions of the sine-Gordon equation'; this should be corrected to mKdV.","section":"Section 8, opening sentence"},{"comment":"The change of variables is written as '(x,t) ↦→ (x,t), x = x + 2r_{2N-2}t, t = -4b^2t', which uses the same symbols on both sides of the arrow and is confusing; please use distinct notation for the new variables.","section":"Equation (16)"},{"comment":"There are several typos and OCR artifacts: 'focisung' in Section 2, 'Muira transformation' in the Introduction, 'consitions' in Appendix A, 'Klinian' for 'Kleinian' in Section 4.2, and the residual 'Adler/emdash.cyrKostant/emdash.cyrSymes' in Section 2.1. These should be cleaned up.","section":"Throughout"},{"comment":"There are unresolved placeholder citations '[?]' for separation of variables and for the theta divisor; these references should be filled in.","section":"Sections 3.2 and 4.2"},{"comment":"The numerical checks supporting Conjecture 1 in higher genera are not reproducible from the manuscript: no curves, parameters, or code are supplied. At minimum, the specific branch-point configurations and computed residuals should be listed.","section":"Section 6.3, Conjecture 1"}],"recommendation":"major_revision","confidential_remarks":"The paper is strongly built on the author's own earlier work [6] and [7], and the genuinely new part is the mKdV integration and the claimed complete reality conditions. The defocusing case appears solid, but the focusing case is the main advertised advance and it is not fully proven: Conjecture 1 is only checked numerically for g≥3, and the genus-2 appendix is incomplete. If the author can supply a proof of the conjecture, or explicitly restrict the claims, the paper could become suitable for publication. I also note that the manuscript would benefit from a careful editing pass to remove OCR artifacts and placeholder citations."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is not a desk reject, but it is not publishable as is. The defocusing mKdV solution in arbitrary genus is a real, coherent result; the focusing half is not established at the level the abstract claims.\n\nWhat is actually new: the author carries her ℘-function/orbit program over to mKdV, gives separation of variables (Theorems 1–2), expresses all dynamical variables in ℘-functions (Theorem 3), and writes the finite-gap solution as a ratio of ℘-functions (Theorem 4). The defocusing reality condition—all real branch points, C = u[K]—follows from the earlier KdV and sine-Gordon papers, and the chain is plausible; I don't see a circularity problem. The solution is not fitted to constants; it comes from the Jacobi inversion. The Miura section (Theorem 8) is a nice extra. Credit where due: the algebraic integration is technically solid and the paper will be useful to people who work in Kleinian ℘-functions.\n\nThe soft spots are real. The focusing mKdV case rests entirely on Conjecture 1, Section 6.3: the identities (54)/(55) are claimed to hold iff the finite branch points are 0 plus g complex-conjugate pairs. The 'proof' is a description of a computation, not a proof: genera 1 and 2 via the addition law, and 'numerical computations' in higher genera. Worse, the genus-2 appendix stops mid-identity at equation (79), so even the two-genus case is not fully written up. If the 'if' direction of the conjecture fails, Theorem 7 does not follow for any g ≥ 3. This is a load-bearing gap, not a cosmetic one. The abstract's 'completely specified' is too strong.\n\nThere are also engineering problems. The displayed solution formulas are corrupted: Theorem 4 and equation (51) have an argument 'b(x,t,c5,...)t' and 'b(x+2r_{2N-2}t, -4b^2t, c5,...)t' that cannot be parsed as a vector in Jac(V); as written, the main formula does not make sense. Section 8 is mislabeled as sine-Gordon, has a broken equation reference, and contains no plots despite the abstract promising them. These are fixable, but they are not trivial and they will mislead a casual reader.\n\nWho this is for: specialists in algebro-geometric integration. They can reconstruct the intended argument and will see what remains open. I would send this to peer review, because the defocusing result is substantive and the focusing gap is clearly demarcated (if too large). The referee should insist on a completed proof of Conjecture 1 or a rewrite that states the focusing theorem as conditional, and on repaired formulas. After that, it could be a solid contribution.","headline":"Serious ℘-function integration for mKdV, but the focusing reality theorem rests on an unproved conjecture and the manuscript is unfinished.","tokens_in":20875,"tokens_out":4509,"would_cite":false,"duration_ms":46232,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q53","37K10","14H70","14H42"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper writes every finite-gap solution of the mKdV equation in every genus as a ratio of hyperelliptic $\\wp$-functions, with reality conditions completely specified.","keywords":["mKdV equation","finite-gap solutions","hyperelliptic curves","multiply periodic ℘-functions","quasi-periodic solutions","Jacobi inversion","reality conditions","integrable systems"],"falsifier":"Compute the left-hand sides of identities (54) and (55) on a genus-3 spectral curve whose finite branch points are $0$, two real numbers, and two complex-conjugate pairs, with the remaining branch point at infinity; the conjecture predicts the identities fail, so finding that they hold would refute the stated necessary condition of Theorem 7.","tokens_in":19915,"feed_emoji":"🌊","tokens_out":11009,"duration_ms":106673,"temperature":0.7,"pith_summary":"This paper claims to give, for every genus $N$, the exact quasi-periodic finite-gap solutions of the modified KdV (mKdV) equation, in both its defocusing and focusing forms, as ratios of multiply periodic $\\wp$-functions on a hyperelliptic spectral curve. For the defocusing case the curve must have all real finite branch points, and for the focusing case the branch points must be $0$, $\\infty$, and $g$ complex-conjugate pairs; in both cases the constant shift in the $\\wp$-functions must be the vector of Riemann constants. The claim matters because it reduces the whole genus-$N$ mKdV solution problem to a single algebraic-geometric formula that is real-valued and bounded under explicit curve conditions, and that degenerates to travelling waves in genus one and to soliton solutions in suitable limits. The main load-bearing point is a focusing-case conjecture, proved only for genera 1 and 2 and checked numerically beyond, that the reality identities hold exactly for the conjugate-pair curves.","feed_headline":"Exact mKdV waves written down for every genus","feed_subtitle":"Ratios of hyperelliptic ℘-functions give real bounded quasi-periodic solutions in both mKdV forms.","key_machinery":"The central objects are the multiply periodic Kleinian $\\wp$-functions $$\\wp_{i,j}(u)=-\\$partial^{2}$\\log\\$\\sigma$(u)/\\partial u_i\\partial u_j,\\qquad \\wp_{i,j,k}(u)=-\\$partial^{3}$\\log\\$\\sigma$(u)/\\partial u_i\\partial u_j\\partial u_k,$$ where $\\sigma$ is the $\\sigma$ function of a genus-$N$ hyperelliptic curve and $u$ are non-normalized Jacobian coordinates. These functions uniformize the curve through the Jacobi inversion problem, and the paper's solution is the ratio $-b\\wp_{1,1,2N-1}/(2\\wp_{1,2N-1})$ evaluated at $u+u[K]$; equivalently, the solution is a logarithmic derivative $-\\frac{1}{2}\\,\\partial_x\\log\\wp_{1,2N-1}$. The reality and boundedness analysis is carried by the period lattice: all-real branch points give a rectangular lattice, conjugate-pair branch points give rhombic sublattices, and the shift $C=u[K]$ places the argument on the unique affine subspaces free of zeros of the $\\sigma$ function.","core_discovery":"On the paper's own terms, the discovery is that the mKdV hierarchy, constructed on coadjoint orbits in the loop algebra of $\\mathfrak{sl}(2)$ over the real forms $\\mathfrak{sl}(2,\\mathbb{R})$ and $\\mathfrak{su}(2)$, integrates in every genus by the Abel map: all dynamical variables are $\\wp$-functions, and the finite-gap solution is $$w(x,t)=-\\frac{b\\,\\wp_{1,1,2N-1}(u+u[K])}{2\\,\\wp_{1,2N-1}(u+u[K])},$$ with $u=\\bigl(b(x+2r_{2N-2}t),\\,-4b^{2}t,\\,b c_5,\\dots,b c_{2N-1}\\bigr)$, where $u[K]$ is the vector of Riemann constants. For the defocusing equation the solution is real and bounded when all finite branch points of the spectral curve are real (Theorem 6); for the focusing equation it is real and bounded when the branch points are $0$, $\\infty$, and $g$ complex-conjugate pairs (Theorem 7, granting Conjecture 1). The same construction gives, by the Miura transformation, a new exact quasi-periodic solution of the KdV equation.","pith_inferences":["Editorial extension: if Conjecture 1 is true in all genera, then the same branch-point configuration ($0$, $\\infty$, and $g$ complex-conjugate pairs) should be necessary for real bounded finite-gap solutions of the sine-Gordon hierarchy, since the paper notes that only these curves serve as spectral curves there; the focusing mKdV reality condition would then be a special case of a universal curve","Editorial extension: the formula's logarithmic-derivative form suggests testing the large-genus limit: as $N$ grows and the spectral curve degenerates, the $\\wp$-ratio should converge to known multi-soliton or breather-lattice solutions; computing this degeneration explicitly would connect the finite-gap theory with the soliton literature.","Editorial extension: direct numerical evaluation of the $\\wp$-ratio on a genus-3 curve with a deliberately wrong branch-point configuration, say $0$, two real points, and two complex-conjugate pairs, would provide a cheap check of the focusing theorem that is independent of the addition-law proof."],"forward_implications":["In any genus $N$, the defocusing mKdV equation has real, bounded quasi-periodic solutions on every non-degenerate curve with all real finite branch points, given by the explicit $\\wp$-ratio formula.","The focusing mKdV equation has the same explicit form of real, bounded solution whenever the spectral curve has branch points $0$, $\\infty$, and $g$ complex-conjugate pairs; this is conditional on Conjecture 1 in higher genera.","Because the solution is a logarithmic derivative of a single $\\wp$-function, numerical evaluation reduces to computing theta functions and their derivatives on the Jacobian, which the paper demonstrates by plots in small genera.","In genus one the formula reduces to travelling wave solutions expressed through elliptic functions, recovering the classical periodic mKdV waves.","Applying the Miura transformation to the mKdV solution yields a new exact quasi-periodic solution of the KdV equation, so the construction produces KdV waves as well."],"supporting_citations":[{"why":"Supplies the reality conditions for hyperelliptic curves in the KdV hierarchy: rectangular period lattice, real-valued $\\wp$ on the relevant affine subspaces, and sigma-free subspaces; the defocusing mKdV reality proof cites these results.","marker":"[6]"},{"why":"Supplies the rhombic-lattice reality analysis, the unique sigma-free subspaces $J^{\\mathrm{Re}}_K$ and $J^{\\mathrm{Im}}_K$, and the half-period divisor structure used by Conjecture 1 and Theorem 7 for the focusing case.","marker":"[7]"},{"why":"Defines the sigma function and the multiply periodic $\\wp$-functions and states the fundamental cubic relations used to simplify the dynamical variable expressions.","marker":"[11]"},{"why":"Provides the system of associated first- and second-kind differentials and the solution of the Jacobi inversion problem in terms of $\\wp$-functions.","marker":"[4]"},{"why":"Gives the separation-of-variables procedure for hyperelliptic spectral curves that produces the quasi-canonical coordinates and equations of motion used in Theorems 1 and 2.","marker":"[10]"},{"why":"Provides the orbit-method construction of integrable hierarchies on coadjoint orbits of affine Lie groups, on which the mKdV hierarchy is built.","marker":"[20]"},{"why":"Gives an earlier exact hyperelliptic solution to the focusing mKdV via the Miura transformation from KdV, which the present solution generalizes to every genus in both forms.","marker":"[25]"},{"why":"Constructs real hyperelliptic focusing mKdV solutions in genus three and suggests branch-point conditions, serving as a precedent for the curve conditions in Theorem 7.","marker":"[27]"},{"why":"Introduces the Miura transformation connecting mKdV and KdV solutions, which is the bridge used in Section 7 to obtain the new KdV solution.","marker":"[28]"}],"fun_headline_variants":["Exact mKdV solutions for every genus via ℘-functions","Real bounded quasi-periodic mKdV waves in all genera","Algebraic geometry yields exact mKdV hierarchy solutions","Hyperelliptic ℘ ratios give exact mKdV waves","mKdV finite-gap solutions explicit in ℘-functions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper's focusing-case theorem is only as strong as Conjecture 1, which says that the $\\wp$-function identities (54) and (55) hold exactly when the finite branch points are $0$ together with $g$ complex-conjugate pairs; the conjecture is proved for genera 1 and 2 and checked numerically beyond that.","fun_headline_variants_meta":{"raw":{"variants":["Exact mKdV solutions for every genus via ℘-functions","Real bounded quasi-periodic mKdV waves in all genera","Algebraic geometry yields exact mKdV hierarchy solutions","Hyperelliptic ℘ ratios give exact mKdV waves","mKdV finite-gap solutions explicit in ℘-functions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000245,"raw_usage":{"total_tokens":1515,"prompt_tokens":904,"completion_tokens":611,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":520,"completion_tokens_details":{"reasoning_tokens":524}},"tokens_in":520,"tokens_out":611,"duration_ms":6545,"temperature":1.0,"reasoning_tokens":524,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T10:43:36.027408+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the left-hand sides of identities (54) and (55) on a genus-3 spectral curve whose finite branch points are $0$, two real numbers, and two complex-conjugate pairs, with the remaining branch point at infinity; the conjecture predicts the identities fail, so finding that they hold would refute the stated necessary condition of Theorem 7.","supporting_citations":[{"cited_title":"206 (2025)","cited_arxiv_id":null,"evidence_quote":"Supplies the rhombic-lattice reality analysis, the unique sigma-free subspaces $J^{\\mathrm{Re}}_K$ and $J^{\\mathrm{Im}}_K$, and the half-period divisor structure used by Conjecture 1 and Theorem 7 for the focusing case."},{"cited_title":"M., Enolskii V","cited_arxiv_id":null,"evidence_quote":"Defines the sigma function and the multiply periodic $\\wp$-functions and states the fundamental cubic relations used to simplify the dynamical variable expressions."},{"cited_title":"1361–1367; In Nonlinear and Turb ulent Processes in Physics: Non- linear effects in plasma physics, astrophysics, and element ary particle theory","cited_arxiv_id":null,"evidence_quote":"Provides the orbit-method construction of integrable hierarchies on coadjoint orbits of affine Lie groups, on which the mKdV hierarchy is built."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives an earlier exact hyperelliptic solution to the focusing mKdV via the Miura transformation from KdV, which the present solution generalizes to every genus in both forms."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Constructs real hyperelliptic focusing mKdV solutions in genus three and suggests branch-point conditions, serving as a precedent for the curve conditions in Theorem 7."},{"cited_title":"M., Korteweg/emdash.cyrde Vries equation and generalizations","cited_arxiv_id":null,"evidence_quote":"Introduces the Miura transformation connecting mKdV and KdV solutions, which is the bridge used in Section 7 to obtain the new KdV solution."}],"review_version":1}