{"id":"d8740dc0-cb41-476f-8ea5-7a79c41c01e0","arxiv_id":"2607.08401","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Cnoidal waves of KdV are nonlinearly modulationally stable under localized H^3 perturbations, the first such result for non-reducible periodic waves in Hamiltonian systems.","lead":"This paper proves that periodic cnoidal waves of the Korteweg-de Vries equation remain stable under small localized perturbations, via a new modulational method. It resolves a 50-year-old open problem in Hamiltonian PDEs and supplies a general framework for other systems with symmetry.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the spectral hypothesis as the sole load-bearing assumption and notes that it is verified for the model at hand. After examining the Floquet–Bloch representation (Appendix C), the modulated energy expansion (Lemma 3.7 / Corollary 3.8), and the bootstrap (4.1)–(4.7), I find no further soft spot that would undermine Theorem 1.4. The concrete check above simply reconfirms the already-claimed spectral gap; a positive outcome leaves the ACCEPT verdict intact.","tokens_in":47026,"tokens_out":408,"duration_ms":4469,"concrete_test":"Independently recompute the sign of β(η,γ)ν(η) for a representative elliptic modulus E=0.5 and γ inside the claimed interval (4(3E-2),4(4E-2)); if the lower bound θ_*(γ) fails to be positive, the spectral hypothesis of Theorem 1.2 collapses and the whole argument fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem 1.4 rests on the existence of a conserved energy E_γ whose second variation A_γ is diffusively spectrally stable (Theorem 1.2 / Definition 1.1). That spectral input is verified in Appendix C by representing A_γ(ξ) on the Riesz bases of Bloch eigenfunctions of the linearization L(ξ) furnished by the squared-eigenfunction connection, yielding the coercivity (C.11) for γ in an open interval. The subsequent nonlinear argument (modulation of the relative energy, Duhamel control of the residual, and the template-function bootstrap in §4) is standard once this input is granted, and no internal inconsistency or hidden gap appears in the estimates. The reduction is cleanly isolated, so the claim stands for the KdV cnoidal waves under the stated hypotheses.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves nonlinear modulational stability of cnoidal waves for the KdV equation under localized (H^3) perturbations. After reducing to a moving frame, the authors construct a relative energy from a linear combination E_\\gamma of the first two KdV Hamiltonians, introduce an inverse-modulated perturbation, and obtain a Duhamel formula. Diffusive spectral stability of the second variation A_\\gamma (Definition 1.1, Theorem 1.2, verified via squared-eigenfunction bases in Appendix C) yields a coercivity estimate at the cost of a derivative of the modulation (Proposition 2.3 / Corollary 3.8). A template-function bootstrap then closes global smallness of the modulated remainder and of ∇ψ, producing Theorem 1.4 (and its higher-order extension Corollary 4.3): the solution stays close in H^2 to a spatiotemporally modulated cnoidal wave, with local orbital stability on every finite interval. The abstract framework of §1.1 isolates the spectral hypothesis so that the nonlinear argument applies to general Hamiltonian systems with symmetry once an analogous energy is available.","tokens_in":47220,"tokens_out":801,"duration_ms":7686,"significance":"Nonlinear stability of genuinely multi-mode periodic waves under localized perturbations has been open in Hamiltonian systems since Benjamin’s 1974 lectures; previous results were limited to plane waves reducible to constants by gauge symmetry. The paper supplies the first such theorem for cnoidal waves of KdV and, more importantly, a clean reduction of the problem to a verifiable spectral condition on a conserved energy. The proof chain (well-posedness, relative-energy conservation, inverse modulation, Floquet–Bloch coercivity, Duhamel residual control, template bootstrap) is complete and self-contained. The isolation of the spectral input, the higher-order extension via the KdV hierarchy, and the explicit discussion of extensions (multiple symmetries, Whitham dynamics, indefinite energies) make the work a substantial advance that is likely to be used beyond KdV.","major_comments":[],"minor_comments":[{"comment":"The linear growth bound ||φ(t)||_L^{2} ː (1+t) in (1.22) is conjectured in §1.2 to be improvable to (1+t)^{1/2}; a short remark quantifying the expected sharpness (or the obstruction to proving it with the present energy) would help readers.","section":null},{"comment":"Figure 2 is informative but the caption could state more explicitly that the initial data are constructed so that the net phase shift vanishes, making the expanding plateaus a pure phase-defect phenomenon.","section":null},{"comment":"In Appendix C the interval I for γ is given as (4(3E-2),4(4E-2)); a one-line numerical illustration for a typical elliptic modulus (e.g., E=0.5) would make the range concrete.","section":null},{"comment":"A few typographical inconsistencies appear (e.g., “Björn” vs. “BJ ÖRN” in the header, occasional missing spaces around operators). A light copy-edit pass would remove them.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is already at a high technical standard; the empty major-comments list is deliberate. The result is a genuine first for multi-mode Hamiltonian periodic waves under localized data and fits the journal well. I see no novelty or citation issues."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper finally settles Benjamin’s 1974 question for cnoidal waves of KdV under localized perturbations. Theorem 1.4 gives global modulational stability: the solution stays close in H^{2} to a spatiotemporally modulated cnoidal wave, with control on the space-time gradient of the phase and local orbital stability on every finite interval. That is new; earlier Hamiltonian results either stayed co-periodic/subharmonic or reduced plane waves to constants via gauge symmetry.\n\nWhat works is the clean reduction. They isolate a conserved energy E_γ (linear combination of the first two KdV Hamiltonians) whose second variation A_γ is diffusively spectrally stable (Definition 1.1, Theorem 1.2). Once that spectral input is granted, the rest is a careful but standard bootstrap: inverse modulation of the relative energy, Floquet–Bloch coercivity at the cost of a derivative (Proposition 2.3), Duhamel control of the residual, and a template-function argument that closes in H^{2} (and higher via the hierarchy). The spectral verification itself (Appendix C) uses the squared-eigenfunction connection and Riesz bases already available in the literature; it is not circular. The abstract framework is written so that any Hamiltonian system with a suitable energy can plug in.\n\nSoft spots are minor and proportional. The whole nonlinear argument stands or falls with the existence of that energy; without it the method does not apply (they are frank about this for gKdV). The L^{2} growth of the phase is only O(t), which they themselves conjecture is not sharp. No free parameters, no invented objects, citations look solid.\n\nThis is for people working on nonlinear waves, infinite-dimensional Hamiltonian dynamics, or modulation theory. It deserves a serious referee and should be engaged with. I would cite it.","headline":"First genuine nonlinear stability theorem for multi-mode periodic waves under localized data in a Hamiltonian system; the method is reusable and the KdV case is cleanly closed.","tokens_in":47771,"tokens_out":460,"would_cite":true,"duration_ms":6558,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B10","35Q53","37K45","37K58"],"pacs":[],"model":"grok-4.5","headline":"Periodic cnoidal waves of the KdV equation are nonlinearly stable under localized perturbations via spatiotemporal modulation.","keywords":["Korteweg-de Vries equation","cnoidal waves","nonlinear stability","localized perturbations","spatiotemporal modulation","diffusive spectral stability","Floquet-Bloch theory","Hamiltonian systems"],"falsifier":"Either exhibit a cnoidal wave for which every candidate conserved energy has a second variation that is not diffusively spectrally stable, or produce a small H^{3}-localized perturbation that drives the solution away from every space–time modulation of the wave in H^{2}.","tokens_in":47958,"feed_emoji":"🌊","tokens_out":606,"duration_ms":5486,"temperature":0.7,"pith_summary":"Standard Hamiltonian stability methods fail for periodic waves under localized (non-periodic) perturbations because the second variation of energy is only semi-definite and its spectrum is essential. This paper resolves that obstruction for cnoidal waves of the Korteweg–de Vries equation by introducing a conserved energy whose second variation is diffusively spectrally stable, then tracking the solution with a space–time modulation that absorbs the neutral translational modes. The result is the first nonlinear stability theorem for genuine multi-mode periodic waves in a Hamiltonian system under fully localized perturbations: the solution stays close to a slowly modulated copy of the wave, and orbital stability holds locally in space. The same framework reduces the problem for general Hamiltonian systems with symmetry to a spectral check on the second variation.","feed_headline":"KdV cnoidal waves stay stable under localized hits","feed_subtitle":"First nonlinear proof for multi-mode periodic waves in a Hamiltonian system, via space-time modulation","key_machinery":"Diffusive spectral stability of the second variation A_γ of a conserved energy (a linear combination of the first two KdV Hamiltonians): this yields a coercivity estimate at the cost of one derivative of the modulation, which is then closed by Duhamel estimates on the inverse-modulated residual.","core_discovery":"Cnoidal waves of the KdV equation are nonlinearly modulationally stable under H^{3}-localized perturbations: the solution remains close in H^{2} to a space–time modulated traveling wave, the space–time gradient of the modulation stays small in any Sobolev norm, and local orbital stability holds on every finite interval.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["KdV cnoidal waves nonlinearly stable under localized perturbations","Periodic KdV waves remain close via space-time modulation","First nonlinear stability for cnoidal waves under local hits","Cnoidal KdV waves hold under H3-localized perturbations","Modulational stability of KdV periodic waves via Floquet-Bloch"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"There must exist a conserved energy whose second variation about the wave is diffusively spectrally stable; without that spectral input the coercivity estimate fails and the argument collapses.","fun_headline_variants_meta":{"raw":{"variants":["KdV cnoidal waves nonlinearly stable under localized perturbations","Periodic KdV waves remain close via space-time modulation","First nonlinear stability for cnoidal waves under local hits","Cnoidal KdV waves hold under H3-localized perturbations","Modulational stability of KdV periodic waves via Floquet-Bloch"]},"model":"grok-4.5","effort":"low","cost_usd":0.005394,"raw_usage":{"total_tokens":1455,"prompt_tokens":738,"num_sources_used":0,"completion_tokens":67,"cost_in_usd_ticks":53940000,"prompt_tokens_details":{"text_tokens":738,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":650,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":738,"tokens_out":67,"duration_ms":6021,"temperature":1.0,"reasoning_tokens":650,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T08:00:36.775553+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Either exhibit a cnoidal wave for which every candidate conserved energy has a second variation that is not diffusively spectrally stable, or produce a small H^{3}-localized perturbation that drives the solution away from every space–time modulation of the wave in H^{2}.","supporting_citations":[],"review_version":1}