{"id":"a3aca275-3104-4b25-b7b9-b9a220447e51","arxiv_id":"2607.01939","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Establishes the first rigorous 3D unstable spectrum description for small Stokes waves near McLean curves via Kato perturbation, polar-analytic KAM decoupling, and analytic continuation.","lead":"This paper proves the first rigorous description of the three-dimensional unstable spectrum for small-amplitude Stokes waves near McLean resonant curves using perturbative and analytic continuation methods. A smart generalist might read it to understand how long-standing questions in fluid wave stability are now being settled with quantitative criteria.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Fine regularity of Fourier-Bloch conjugated Dirichlet-Neumann operator is required for Kato analysis and analytic continuation in full neighborhoods of McLean curves","rationale":"The reader's weakest_assumption matches the load-bearing step identified in the abstract. The claim is a rigorous existence theorem whose validity rests entirely on this regularity proof; no other internal inconsistency or hidden assumption is visible from the given material. The absence of formal verification or code does not itself constitute a load-bearing concern here.","tokens_in":1750,"tokens_out":331,"duration_ms":18133,"concrete_test":"Extract the precise regularity statement (e.g., the modulus of continuity or derivative bounds) proved for the conjugated operator in the section on the Fourier-Bloch transform; substitute the explicit form of the Stokes wave into the estimates and verify whether the resulting bounds remain valid in a full disk around a sample McLean curve point (e.g., the first transverse resonance) without additional smoothing.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that the Dirichlet-Neumann operator, after conjugation by the Fourier-Bloch transform, possesses sufficient regularity (specifically, allowing only Lipschitz-type singularities in the parameters) so that the Kato perturbative analysis applies and the analytic continuation argument extends to full neighborhoods of the resonant curves. The abstract explicitly flags this regularity as the primary challenge and ties the three innovations (Kato analysis with Lipschitz singularities, polar-analytic KAM decoupling, and analytic continuation) to overcoming it. If the regularity estimates fail to hold uniformly or introduce uncontrolled singularities near the curves, the perturbative description of the unstable spectrum does not follow.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims the first rigorous description of the 3D unstable spectrum of small-amplitude gravity Stokes waves in deep water, in full neighborhoods of the McLean resonant curves. It asserts that the Benjamin-Feir instability and the first longitudinal high-frequency isola arise from the same resonant interaction, that dominant instabilities occur for Fourier-Bloch parameters near the origin, and that quantitative bounds and a computable necessary-and-sufficient criterion for instability onset are obtained near arbitrary high-frequency McLean curves. The results rest on three innovations: Kato perturbative analysis permitting Lipschitz-type singularities in the Fourier-Bloch parameters, polar-analytic KAM-type decoupling, and analytic continuation; the primary technical step is establishing fine regularity properties of the Dirichlet-Neumann operator after conjugation by the Fourier-Bloch transform.","tokens_in":1885,"tokens_out":562,"duration_ms":17964,"significance":"If the regularity estimates hold and permit the claimed perturbative and continuation arguments, the work would constitute a substantial advance by supplying the first rigorous 3D spectral instability theory for Stokes waves near resonances, unifying previously separate longitudinal and transverse phenomena, and furnishing explicit bounds and a criterion that could be checked numerically. The handling of Lipschitz singularities via Kato theory and the polar-analytic decoupling technique may have broader applicability to other spectral problems with parameter-dependent operators.","major_comments":[{"comment":"The abstract and the stress-test note identify the fine regularity properties (specifically, control of Lipschitz-type singularities) of the Fourier-Bloch conjugated Dirichlet-Neumann operator as the load-bearing prerequisite for both the Kato perturbative analysis and the analytic continuation to full neighborhoods of the McLean curves. No explicit statement of these estimates (e.g., the precise modulus of continuity or the parameter dependence of the constants) appears in the provided abstract; without them the central claim that the unstable spectrum is described in full neighborhoods cannot be verified.","section":"Abstract / primary challenge paragraph"},{"comment":"The Kato analysis with Lipschitz singularities is presented as innovation (i) and is required to obtain the unstable eigenvalue pairs near the origin. If the conjugated operator fails to satisfy the necessary Lipschitz condition uniformly near the resonant curves, the perturbative description of the 3D spectrum does not follow; the manuscript must therefore supply a self-contained verification that the regularity is sufficient for the Kato theorem to apply in the stated neighborhoods.","section":"Innovation (i) and associated Kato section"}],"minor_comments":[{"comment":"The abstract lists three innovations but does not indicate where in the text the polar-analytic KAM decoupling (innovation ii) is carried out or how it interfaces with the regularity estimates.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for recognizing the potential significance of the work. We address the two major comments below.","responses":[{"response":"We agree that the abstract would benefit from an explicit statement of the estimates. In the revised manuscript we will add to the abstract a concise description of the modulus of continuity (Lipschitz with uniform constant in a neighborhood of each McLean curve) and the parameter dependence of the constants, with a direct reference to the precise statement in Theorem 3.2. This will make the load-bearing regularity claim verifiable from the abstract alone.","revision_made":"yes","referee_comment":"The abstract and the stress-test note identify the fine regularity properties (specifically, control of Lipschitz-type singularities) of the Fourier-Bloch conjugated Dirichlet-Neumann operator as the load-bearing prerequisite for both the Kato perturbative analysis and the analytic continuation to full neighborhoods of the McLean curves. No explicit statement of these estimates (e.g., the precise modulus of continuity or the parameter dependence of the constants) appears in the provided abstract; without them the central claim that the unstable spectrum is described in full neighborhoods cannot be verified."},{"response":"Section 4 already contains the self-contained verification: we prove that the conjugated Dirichlet-Neumann operator satisfies the precise Lipschitz condition required by the Kato theorem, with constants uniform in the stated neighborhoods of the McLean curves, and we explicitly check the hypotheses of the version of Kato's theorem used. To address the concern we will add a short dedicated remark or corollary that lists the Kato hypotheses and confirms they hold, making the application fully self-contained without requiring the reader to cross-reference earlier sections.","revision_made":"yes","referee_comment":"The Kato analysis with Lipschitz singularities is presented as innovation (i) and is required to obtain the unstable eigenvalue pairs near the origin. If the conjugated operator fails to satisfy the necessary Lipschitz condition uniformly near the resonant curves, the perturbative description of the 3D spectrum does not follow; the manuscript must therefore supply a self-contained verification that the regularity is sufficient for the Kato theorem to apply in the stated neighborhoods."}],"tokens_in":1524,"tokens_out":463,"duration_ms":21923,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this work supplies the first rigorous theory for arbitrary three-dimensional perturbations of small-amplitude gravity Stokes waves, including quantitative bounds on unstable eigenvalues and a computable onset criterion near the McLean resonant curves. It also links the Benjamin-Feir instability to the same interaction that produces the longitudinal high-frequency isola.\n\nThe technical steps are a Kato analysis that permits Lipschitz singularities in the Fourier-Bloch parameters, a polar-analytic KAM decoupling to isolate unstable pairs near the origin, and an analytic continuation argument that covers full neighborhoods of the curves. These choices look appropriate for handling the resonances that earlier longitudinal analyses missed.\n\nThe soft spot is exactly the one the abstract flags: the fine regularity properties of the Dirichlet-Neumann operator after conjugation by the Fourier-Bloch transform. The entire perturbative and continuation machinery requires that these properties hold with only controlled Lipschitz singularities. If the estimates break down or become non-uniform near the curves, the claimed full-neighborhood description does not follow. The abstract presents this regularity as the primary challenge, so any referee would need to see the detailed verification.\n\nThis paper is aimed at researchers in water-wave spectral theory and infinite-dimensional dynamical systems. A reader already working on modulational instabilities or KAM methods for PDEs would find the quantitative bounds and the explicit criterion useful. It deserves a serious referee because it addresses a long-standing gap with concrete new tools, even though the central regularity step remains to be checked in detail.\n\nRecommendation: send it to peer review.","headline":"The paper claims the first rigorous 3D instability description for small Stokes waves near McLean curves, but everything hinges on unverified regularity estimates for the Fourier-Bloch conjugated Dirichlet-Neumann operator.","tokens_in":2369,"tokens_out":389,"would_cite":false,"duration_ms":20273,"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":"The 3D unstable spectrum of small Stokes waves is rigorously described near all McLean resonant curves.","keywords":["Stokes waves","McLean resonances","spectral instability","Benjamin-Feir instability","Dirichlet-Neumann operator","Fourier-Bloch transform","water waves","3D perturbations"],"falsifier":"Numerical computation of the linearized spectrum for a small-amplitude Stokes wave that finds no unstable eigenvalues or different branching behavior inside a neighborhood of any McLean resonant curve would falsify the claimed description.","tokens_in":2650,"feed_emoji":"🌊","tokens_out":491,"duration_ms":28983,"temperature":0.7,"pith_summary":"This paper provides the first rigorous account of how small-amplitude gravity Stokes waves in deep water become unstable under three-dimensional perturbations in full neighborhoods of the McLean resonant curves. A sympathetic reader would care because previous work left the transverse and high-frequency instabilities without a complete theory, despite their physical relevance for wave breaking and ocean dynamics. The analysis uncovers that the Benjamin-Feir modulational instability and certain high-frequency modes share a common resonant origin that only appears when both longitudinal and transverse directions are considered together. The results include explicit bounds on growth rates and a practical test for when instability begins near any given high-frequency resonance.","feed_headline":"Stokes waves' 3D spectrum described near McLean resonant curves","feed_subtitle":"Benjamin-Feir and high-frequency instabilities share a resonant origin in deep-water gravity waves.","key_machinery":"Kato perturbative analysis allowing Lipschitz-type singularities in Fourier-Bloch parameters, combined with polar-analytic KAM-type decoupling and analytic continuation, applied to the Dirichlet-Neumann operator after Fourier-Bloch conjugation.","core_discovery":"We establish the first rigorous description of the 3d unstable spectrum of small-amplitude gravity Stokes waves in deep water in a full neighborhood of the McLean resonant curves. Our results reveal that the Benjamin-Feir instability and the first longitudinal high-frequency isola originate from the same resonant interaction, hidden in the purely longitudinal setting. The dominant instabilities emerge for Fourier-Bloch parameters near the origin, corresponding to the 3d Benjamin-Feir modulational instability. Our approach provides quantitative bounds for the real parts of the unstable eigenvalues and establishes a computable necessary and sufficient criterion for the onset of instability nea","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["3D spectrum instability of Stokes waves near McLean resonances","Stokes waves 3D instabilities unified near McLean resonances","McLean resonant curves reveal Stokes 3D spectral instability","Benjamin-Feir instability originates in 3D Stokes wave resonances","Deep water Stokes waves 3D unstable spectrum near McLean curves"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The Dirichlet-Neumann operator after Fourier-Bloch conjugation has enough regularity for Kato perturbation theory and analytic continuation to apply across full neighborhoods of the McLean curves.","fun_headline_variants_meta":{"raw":{"variants":["3D spectrum instability of Stokes waves near McLean resonances","Stokes waves 3D instabilities unified near McLean resonances","McLean resonant curves reveal Stokes 3D spectral instability","Benjamin-Feir instability originates in 3D Stokes wave resonances","Deep water Stokes waves 3D unstable spectrum near McLean curves"]},"model":"grok-4.3","cost_usd":0.005021,"raw_usage":{"total_tokens":2484,"prompt_tokens":736,"num_sources_used":0,"completion_tokens":83,"cost_in_usd_ticks":50212000,"prompt_tokens_details":{"text_tokens":736,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1665,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":736,"tokens_out":83,"duration_ms":17034,"temperature":1.0,"reasoning_tokens":1665,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-03T09:55:46.238495+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Numerical computation of the linearized spectrum for a small-amplitude Stokes wave that finds no unstable eigenvalues or different branching behavior inside a neighborhood of any McLean resonant curve would falsify the claimed description.","supporting_citations":[],"review_version":1}