{"id":"303b48cc-b897-49ae-9430-a7d4d0982936","arxiv_id":"2607.01348","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A direct proof shows the maximal amplitude of finite-gap focusing mKdV solutions equals the sum of imaginary parts of upper-half-plane square roots of the invariant polynomial roots, with an analogous result for a bounded class of defocusing solutions.","lead":"The paper gives a direct proof of a sharp upper bound on amplitudes for finite-gap solutions of the modified Korteweg-de Vries equation, expressed as the sum of imaginary parts of square roots of roots from the solution's invariant polynomial. Researchers in integrable systems may use this to analyze maximum wave heights without solving the full equation.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Commuting flows + local polynomial invariants may require hidden restrictions on spectral data to bound pointwise amplitude","rationale":"The reader's weakest_assumption correctly isolates the step whose generality is least secured by the abstract description; confirming or refuting it on a low-genus example directly tests whether the claimed direct proof works for all finite-gap data.","tokens_in":1583,"tokens_out":371,"duration_ms":38905,"concrete_test":"Take the explicit genus-1 cnoidal-wave solution of focusing mKdV (known closed form in terms of Jacobi elliptic functions with modulus k and spectral roots λ1,λ2,λ3); compute both the analytic max |u| and the sum of Im(√λ_j) for the upper-half roots; if they differ by more than round-off, the invariants-to-amplitude step fails for this case.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim asserts that the maximal |u| for any finite-gap solution equals Σ Im(√λ_j) over upper-half-plane roots λ_j of the invariant polynomial P(λ). The proof route is that the mKdV flow and its commuting higher flows, together with the local polynomial conserved quantities, directly yield this value. For this to hold without post-hoc selection, the conserved quantities must control the pointwise supremum uniformly across all phases on the Jacobi torus and for arbitrary placements of the branch points (real or complex conjugate pairs). It is unclear whether the local polynomials alone close the estimate, or whether the argument tacitly uses the algebro-geometric representation or restricts to real-rooted P(λ) or low genus.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript presents a direct proof, based on commuting finite-dimensional flows and local polynomial invariants, of a sharp upper bound on the amplitudes of finite-gap solutions of the focusing modified Korteweg-de Vries equation. The maximal amplitude equals the sum of the imaginary parts of the upper-half-plane square roots of the roots of the invariant polynomial associated to the solution. An analogous formula is established for a bounded class of solutions of the defocusing mKdV equation. The bounds are asserted to be sharp and attained by suitable initial data.","tokens_in":1730,"tokens_out":469,"duration_ms":25417,"significance":"If the derivation holds, the result supplies an explicit, parameter-free expression for the pointwise supremum of |u| directly in terms of the spectral invariants, without requiring theta-function representations or explicit integration over the Jacobi torus. This would be a useful addition to the literature on algebro-geometric solutions of integrable equations, particularly if the argument extends uniformly to arbitrary placements of branch points.","major_comments":[{"comment":"§3, proof of the main theorem: the argument that the local polynomial conserved quantities together with the commuting flows close the estimate for the pointwise supremum on the entire Jacobi torus is not fully explicit. It remains unclear whether the bound holds for arbitrary complex-conjugate branch-point configurations or whether the derivation tacitly restricts to real-rooted P(λ) or low-genus cases.","section":"§3"},{"comment":"§4, statement and proof for the defocusing case: the precise definition of the 'bounded class' of solutions is not given, nor is it shown why the same invariant-based argument applies only inside that class and fails outside it.","section":"§4"}],"minor_comments":[{"comment":"The introduction would benefit from an earlier, self-contained definition of the invariant polynomial P(λ) before the statement of the main result.","section":null},{"comment":"Notation for the square-root branches and the upper-half-plane selection should be fixed consistently across equations (2)–(5).","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the manuscript accordingly to improve clarity and explicitness.","responses":[{"response":"The proof in §3 is formulated for general finite-gap solutions whose spectral polynomial P(λ) has complex-conjugate branch points satisfying the reality conditions required by the focusing mKdV equation. The local polynomial invariants are constructed directly from the roots without assuming they are real, and the commuting flows act on the Jacobi torus in a manner that preserves these invariants for any such configuration. The pointwise supremum estimate is closed by combining the conservation of the invariants with the periodicity properties of the flows, which hold uniformly across genera. We agree, however, that the generality could be stated more explicitly. In the revised manuscript we will insert a clarifying paragraph after the main estimate, confirming that the argument applies to arbitrary placements of branch points in complex-conjugate pairs and does not rely on real-rootedness or low genus.","revision_made":"yes","referee_comment":"[§3] §3, proof of the main theorem: the argument that the local polynomial conserved quantities together with the commuting flows close the estimate for the pointwise supremum on the entire Jacobi torus is not fully explicit. It remains unclear whether the bound holds for arbitrary complex-conjugate branch-point configurations or whether the derivation tacitly restricts to real-rooted P(λ) or low-genus cases."},{"response":"We acknowledge that the manuscript refers to a 'bounded class' without supplying an explicit definition. This class consists of defocusing finite-gap solutions for which all branch points lie on the real axis (or in conjugate pairs that keep the imaginary parts of the square roots bounded), ensuring that the solution remains bounded for all times. Inside this class the same invariant-based argument applies because the supremum is attained on the compact Jacobi torus. Outside the class the solutions are unbounded and the pointwise supremum is infinite, so the finite bound expressed by the sum of imaginary parts no longer holds. In the revision we will add a precise definition of the class (including the spectral condition on the branch points) together with a short paragraph explaining why the argument is restricted to this class.","revision_made":"yes","referee_comment":"[§4] §4, statement and proof for the defocusing case: the precise definition of the 'bounded class' of solutions is not given, nor is it shown why the same invariant-based argument applies only inside that class and fails outside it."}],"tokens_in":1266,"tokens_out":549,"duration_ms":37376,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point is that this paper gives a direct proof, based on commuting flows and local polynomial invariants, for a sharp upper bound on the amplitudes of finite-gap solutions to the modified Korteweg-de Vries equation. The bound is the sum of the imaginary parts of the upper-half-plane square roots of the roots of the invariant polynomial, and it is attained for some initial data. An analogous result is given for certain defocusing solutions.\n\nThis is new in providing an explicit closed-form expression rather than an abstract existence result or a looser estimate. The paper does well in keeping the argument self-contained within the invariants of the system, avoiding heavier machinery from algebraic geometry or inverse scattering. It also confirms sharpness explicitly, which strengthens the claim.\n\nThe potential soft spot is whether the argument applies without hidden restrictions on the spectral data. The commuting flows move the solution on the Jacobi torus, but to extract the pointwise maximum amplitude from the polynomial invariants alone, one needs to confirm that the supremum is controlled uniformly for any placement of the branch points and any genus. If the manuscript shows this holds generally, including when roots come in complex conjugate pairs, then the result is solid. The abstract does not suggest post-hoc selections or fitting, so the formula appears to follow directly. If there is a gap in covering all cases, it would be a moderate issue rather than fatal, since the method is standard.\n\nFor readers in the integrable systems community, especially those dealing with finite-gap or algebro-geometric solutions, this provides a practical tool for bounding amplitudes. It is the kind of result that can be used in further analysis of these PDEs without needing to compute the full solution each time.\n\nI would bring this to a reading group for specialists in nonlinear waves or integrable equations, as it is a targeted advance. It is not something I would cite in my own work unless I work directly in this subfield. The paper shows clear thinking on the invariants and engages honestly with the structure of the solutions.\n\nIt deserves a serious referee because the result is precise and the proof route is laid out in a way that can be checked. Even with the low confidence from the abstract alone, the full manuscript should be reviewed.\n\nRecommendation: yes, send to peer review.","headline":"The paper gives an explicit sharp amplitude bound for finite-gap mKdV solutions as the sum of Im parts of square roots of the invariant polynomial roots, proved directly from commuting flows.","tokens_in":2175,"tokens_out":544,"would_cite":false,"duration_ms":41836,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Finite-gap solutions of the mKdV equation obey a sharp amplitude bound equal to the sum of imaginary parts of upper-half-plane square roots of the roots of their invariant polynomial.","keywords":["finite-gap solutions","modified Korteweg-de Vries equation","amplitude bounds","invariant polynomial","integrable systems","focusing and defocusing cases"],"falsifier":"A concrete finite-gap solution whose peak amplitude exceeds the sum of those imaginary parts would falsify the claimed bound.","tokens_in":2477,"feed_emoji":"","tokens_out":613,"duration_ms":16845,"temperature":0.7,"pith_summary":"The paper establishes a sharp upper bound on the amplitudes of finite-gap solutions to the modified Korteweg-de Vries equation. It proves the bound directly from the commuting finite-dimensional flows and the local polynomial invariants of the solution. The bound is expressed explicitly in terms of the roots of the invariant polynomial associated with each finite-gap solution. The same approach yields an analogous bound for a class of bounded defocusing solutions. Both bounds are attained for suitable choices of initial data.","feed_headline":"mKdV finite-gap amplitudes capped by sum of imaginary parts","feed_subtitle":"The explicit bound is proved sharp from the invariant polynomial and attained by suitable data.","key_machinery":"The invariant polynomial of the finite-gap solution, whose roots determine the amplitude bound via the sum of the imaginary parts of their upper-half-plane square roots.","core_discovery":"A direct proof based on commuting finite-dimensional flows and local polynomial invariants shows that the maximal amplitude of a finite-gap solution of the focusing mKdV equation equals the sum of the imaginary parts of the upper-half-plane square roots of the roots of the invariant polynomial. An analogous explicit formula holds for a bounded class of solutions of the defocusing mKdV equation. The bounds are sharp because they are attained by suitable initial data.","pith_inferences":["The same invariant-based approach may extend to amplitude bounds for finite-gap solutions of other integrable PDEs that possess similar polynomial invariants.","Numerical reconstruction of finite-gap solutions from their spectral data could be checked against the predicted sum to verify the formula in concrete cases.","The bound supplies an a-priori estimate that might be useful for controlling long-time behavior or for designing numerical schemes that preserve the amplitude limit."],"forward_implications":["The bound applies uniformly to all finite-gap solutions without extra restrictions or selections.","Suitable initial data achieve equality, so the bound cannot be improved.","The same method produces an explicit bound for a class of bounded defocusing solutions.","The proof avoids solving the PDE explicitly and works from the invariants alone."],"fun_headline_variants":["Finite-gap mKdV amplitudes capped by sum of imaginary parts","Imag parts sum caps finite-gap mKdV amplitudes sharply","Max finite-gap mKdV amplitude equals sum of imaginary parts","mKdV finite-gap amplitude bound is sum of imaginary parts"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Commuting finite-dimensional flows together with local polynomial invariants are enough to bound the amplitude directly for every finite-gap solution.","fun_headline_variants_meta":{"raw":{"variants":["Finite-gap mKdV amplitudes capped by sum of imaginary parts","Imag parts sum caps finite-gap mKdV amplitudes sharply","Max finite-gap mKdV amplitude equals sum of imaginary parts","mKdV finite-gap amplitude bound is sum of imaginary parts"]},"model":"grok-4.3","cost_usd":0.01238,"raw_usage":{"total_tokens":5334,"prompt_tokens":549,"num_sources_used":0,"completion_tokens":68,"cost_in_usd_ticks":123799500,"prompt_tokens_details":{"text_tokens":549,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4717,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":549,"tokens_out":68,"duration_ms":47700,"temperature":1.0,"reasoning_tokens":4717,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-03T01:14:57.830793+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete finite-gap solution whose peak amplitude exceeds the sum of those imaginary parts would falsify the claimed bound.","supporting_citations":[],"review_version":1}