{"id":"23e49697-da68-448b-a23b-a4a7dd891f0f","arxiv_id":"1908.03787","paper_version":7,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Near a non-degenerate orbit of Stokes waves over a flat bottom, any small periodic bottom perturbation gives rise to at least two distinct steady water waves.","lead":"The paper proves that, for small periodic bottom perturbations, at least two distinct steady water wave solutions persist near any non-degenerate translational orbit of Stokes waves. The result gives a rigorous mathematical explanation for the coexistence of multiple steady wave states, such as dunes and antidunes, over a periodic seabed.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central theorem is a sound conditional result, but its advertised application to finite-depth Stokes waves rests on an unproven non-degeneracy hypothesis that the paper itself flags as only 'may be possible'.","rationale":"The reader's verdict is CONDITIONAL, and I agree. My stress-test of Theorem 16 found no internal inconsistency; the proof is a standard and believable reduction. The single most load-bearing gap is the unverified non-degeneracy of finite-depth Stokes-wave orbits, which the paper explicitly leaves open. The abstract's wording overstates the result by presenting Stokes-wave persistence as a consequence rather than as a consequence conditional on a hypothesis still to be proved. The additional eigenvalue-scaling error in Theorem 12 identified by the reader is real but independent of Theorem 16, so it does not change my assessment of the central claim. Since the theorem is clearly stated as conditional and the defect is in the application rather than in the proof logic, I recommend no change to the CONDITIONAL verdict.","tokens_in":13953,"tokens_out":12901,"duration_ms":146195,"concrete_test":"Run a numerical continuation of the primary Stokes branch at finite depth (for example h=1) using the code in [8], and at each sampled amplitude compute the smallest singular value of the restricted Hessian D^2_wH(u_c;0,c):W∩X→W∩Y. If that value crosses zero away from the bifurcation point c_1, the non-degeneracy hypothesis fails at that wave and Theorem 16 cannot be invoked; if it remains bounded away from zero on a fine grid, the concern is weakened, though a rigorous finite-depth analogue of [2] via [20] would still be needed to settle it.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 15 is the load-bearing assumption: D^2H(u_c;0,c) must be invertible on W∩X, uniformly, before the Lyapunov-Schmidt reduction in Theorem 16 can proceed. For the intended Stokes-wave application this is exactly what is not established. The paper cites the infinite-depth non-degeneracy theorem of [2] and numerical evidence [8], and then says only that extending [2] to finite depth with the Babenko-like formulation of [20] 'may be possible.' If the restricted Hessian along the primary finite-depth Stokes branch has a zero direction in W — for instance at a fold or harmonic bifurcation — Theorem 16 gives no two-wave conclusion at that parameter, and the abstract's 'Consequently...' is stronger than what has been proved. The proof of Theorem 16 itself is internally consistent: the slice coordinates are valid because the action is by isometries, the reduced Hamiltonian's critical points solve the full problem, and a continuous function on a circle has at least two critical points. The Theorem 12 eigenvalue-bound error is a genuine secondary defect, but it affects Corollary 13 and not Theorem 16.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies steady two-dimensional water waves in a periodic strip with a periodic bottom perturbation b and a mean current c. Using a Hamiltonian formulation based on the Dirichlet-Neumann operator, it proves (Theorem 9) unique continuation of the trivial solution for small b when c is not one of the linear speeds c_k, and (Theorem 12) a quantitative version of this continuation under a smallness condition |b| ≤ ε^{2(1+δ)} outside c-neighborhoods of size k^{-3/2}ε. The main result (Theorem 16) states that if a flat-bottom steady wave u_c has a non-degenerate S^1-orbit in the sense of Definition 15, then for small periodic b there are at least two nearby steady waves u_{b,1}=u_c(x+θ_1)+O(|b|) and u_{b,2}=u_c(x+θ_2)+O(|b|). The proof uses slice coordinates and a Lyapunov-Schmidt reduction to a Hamiltonian on S^1, whose maximum and minimum give the two phases.","tokens_in":14085,"tokens_out":13739,"duration_ms":147577,"significance":"The main idea is elegant: breaking translation symmetry by a small periodic bottom turns the S^1-orbit into a reduced Hamiltonian on a circle, so the existence of at least two critical points follows from elementary topology. Theorem 16 is proved by a clean, internally consistent Lyapunov-Schmidt reduction, and the non-degeneracy hypothesis is explicitly stated. The appendix also gives a useful self-contained construction of the harmonic function Φ_b and estimates for the Dirichlet-Neumann operator. The value of the paper, however, is conditional: the advertised Stokes-wave application rests on a non-degeneracy assumption that is not proven for finite-depth Stokes waves, and the quantitative continuation theorem contains a spectral estimate that is incorrect as written. These issues do not destroy the main theorem, but they require revision.","major_comments":[{"comment":"The spectral estimate in the proof of Theorem 12 is incorrect as written. From the displayed formula for λ^-_k one obtains ∂_c λ^-_k(c_k) = -2 c_k k^2 / sqrt((g-k tanh(hk))^2 + 4 c_k^2 k^2), so ∂_c λ^-_k(c_k)/√k → -2√g; the expression in the paper has the factor √k in the numerator rather than the denominator and the denominator lacks the square root. Consequently, the claimed lower bound |λ^-_k(c)| ≥ k γ1 ε for |c-c_k| ≥ k^{-3/2}ε is not correct in order of magnitude: the mean value theorem gives |λ^-_k(c)| ∼ ε/k in the worst case. Since the velocities c_k accumulate at c=0, the uniform invertibility estimate ‖L(c)^{-1}‖_{Y→X} ≤ 1/(γ1 ε) is not established; in H^s norms the inverse can grow like k^2/ε for large k. Theorem 12 and Corollary 13 therefore need revision, for example by keeping c uniformly away from 0 or by letting the admissible ε depend on the mode k.","section":"§3.2, Theorem 12"},{"comment":"The abstract states, as a consequence, that the paper obtains persistence of at least two steady waves close to a non-degenerate S^1-orbit of Stokes waves bifurcating from the velocities c_k. However, non-degeneracy in the sense of Definition 15 is not established for finite-depth Stokes waves. The introduction itself says only that it 'may be possible' to extend the infinite-depth result [2] using the Babenko-like formulation [20], and the numerical evidence [8] is not a proof. Thus the Stokes-wave conclusion is conditional on an open hypothesis. The abstract and the 'Main Result' paragraph should be rephrased so that this hypothesis is explicit, rather than presenting the consequence as unconditional.","section":"Abstract and §1 (Main Result)"}],"minor_comments":[{"comment":"The word 'non-trival' should be 'non-trivial'.","section":"Abstract"},{"comment":"The symbols c_* and λ_j are used in the introduction and figure captions without precise definitions; they should be defined or the text should refer to the corresponding hypothesis.","section":"Figure 2 and §1"},{"comment":"The statement writes the perturbation as O(|b|_{s+1}) without specifying the space; the proof makes clear it is O(|b|_{s+1}) in X, and the statement should say this explicitly.","section":"Theorem 16"},{"comment":"The line 'Since the theorem holds uniformly in the region of parameters ... for any δ>0' should be reworded after the spectral estimate is corrected, because the uniformity in k is precisely the point that needs justification.","section":"§3.2, proof of Theorem 12"}],"recommendation":"major_revision","confidential_remarks":"The spectral error in Theorem 12 is more serious than a typo: the claimed uniform bound cannot hold as stated because the velocities c_k accumulate at c=0 and the spectral gap for large k is of order ε/k, not kε. However, the main Theorem 16 is independent of that estimate, and the error appears fixable by localizing the parameter region or by making the radius depend on k. The non-degeneracy caveat for the Stokes-wave application is openly acknowledged in the paper, but the abstract overstates the result; this should be corrected before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the quick read on Craig & García-Azpeitia, arXiv:1908.03787. Two things to know before you open it. First, the main result—Theorem 16—is a legitimate new conditional theorem: from a non-degenerate S^1 orbit of a flat-bottom steady wave, a small periodic bottom perturbation yields at least two nearby steady waves at distinct phases. The proof is a standard Lyapunov-Schmidt reduction plus the observation that a continuous function on a circle has a max and a min. That part is sound, and it is genuinely new as far as I can tell. Second, the paper overreaches in two places. The abstract says the theorem gives persistence of two Stokes waves; the actual hypothesis needed—non-degeneracy of the orbit—is not proven for finite-depth Stokes waves. They cite the infinite-depth result of Buffoni–Dancer–Toland and numerical evidence, and only say a finite-depth extension 'may be possible.' So the 'Consequently...' line is stronger than what is proved. The other soft spot is Theorem 12. The proof claims a uniform lower bound of order k for the eigenvalues λ^-_k, but their own derivative computation gives |∂_c λ^-_k| ≈ √k. Since their parameter region excludes only a neighborhood of width k^{-3/2}ε around each c_k, the linear estimate yields a lower bound of order ε/k, not kε. That does not give the uniform invertibility bound they need. This is a real error, and it undermines the continuation from the trivial solution and Corollary 13. It does not, however, touch Theorem 16, which is independent of the uniform-in-k bound.\n\nCredit where due: the paper is honest about the non-degeneracy caveat in the introduction, and the slice construction for the infinite-dimensional action is handled cleanly. The main theorem is likely correct and is a useful addition to the water-waves toolbox. The citation pattern looks fine; the prior work is acknowledged.\n\nBottom line: send it to a serious referee. It needs revision—fix the eigenvalue estimate or weaken the claim, and adjust the abstract to say 'if the non-degeneracy holds.' But the central persistence result is worth printing.","headline":"The two-wave persistence theorem is a real conditional result; the advertised Stokes-wave consequence and the Theorem 12 parameter estimate both overreach.","tokens_in":14665,"tokens_out":3712,"would_cite":true,"duration_ms":37978,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76B15","35B32","35Q35"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a non-degenerate flat-bottom wave, a small periodic bottom yields at least two phase-shifted steady waves.","keywords":["water waves","steady waves","periodic bottom","Dirichlet-Neumann operator","Stokes waves","symmetry breaking","Lyapunov-Schmidt reduction","Hamiltonian formulation"],"falsifier":"If along the finite-depth Stokes branch one finds a wave where the Hessian $D^2H(u_c;0,c)$ has a zero mode on the orthogonal complement of $\\partial_x u_c$, the non-degeneracy hypothesis fails at that wave and Theorem 16 gives no two-wave conclusion there.","tokens_in":13691,"feed_emoji":"🌊","tokens_out":13459,"duration_ms":123571,"temperature":0.7,"pith_summary":"Steady water waves over a wavy bottom are obtained as perturbations of flat-bottom waves, and the perturbation does not destroy the waves: it multiplies them. The paper proves that for any non-degenerate flat-bottom steady wave $u_c$—one whose only neutral direction is the horizontal translation—a sufficiently small periodic bottom $b$ admits at least two steady waves $u_{b,1}=u_c(x+\\theta_1)+O(\\|b\\|)$ and $u_{b,2}=u_c(x+\\theta_2)+O(\\|b\\|)$ with distinct phases $\\theta_1,\\theta_2$. This applies, conditionally on a non-degeneracy assumption, to Stokes waves on the primary bifurcation branch, giving the first rigorous multiplicity statement of this kind. The same Hamiltonian machinery also recovers the unique continuation of the trivial solution for small bottoms except at the critical speeds $c_k$. The underlying reason is topological: a circle-valued reduced energy must have a maximum and a minimum, so symmetry breaking forces at least two steady configurations rather than none.","feed_headline":"Wavy bottom splits one Stokes wave into two steady waves","feed_subtitle":"Broken translation symmetry leaves a maximum and a minimum of the reduced energy, so two waves must persist.","key_machinery":"The machinery has three parts. First, the Dirichlet-Neumann operator $G(\\eta;b)$ turns the free-boundary Euler equations into an analytic Hamiltonian $H(\\eta,\\xi;b,c)$ in surface-elevation and velocity-trace coordinates, with a uniform current term of mean speed $c$. Second, for flat bottoms the Hamiltonian is invariant under horizontal translations $S^1$, so a non-constant solution $u_c$ sits on a circle of translated copies; the slice coordinate $\\upsilon(\\theta,w)=\\theta\\cdot(u_c+w)$ ($\\theta\\in S^1$, $w$ orthogonal to $\\partial_x u_c$) provides local coordinates near that circle. Third, Lyapunov-Schmidt reduction solves the normal equation $\\nabla_w H_b(\\theta,w)=0$ by the implicit function theorem, yielding the reduced one-dimensional Hamiltonian $h_b(\\theta)=H_b(\\theta,w(\\theta;b))$ on $S^1$. The key mechanism is that $h_b$ is a small non-constant perturbation of a constant function, and any such function on a circle has at least two critical points—its maximum and minimum—giving the two steady waves.","core_discovery":"The central claim is Theorem 16. Start with a nontrivial steady wave $u_c$ for a flat bottom whose set of horizontal translates—its $S^1$-orbit—is non-degenerate: at $u_c$ the Hessian of the Hamiltonian is invertible on the subspace of functions orthogonal to $\\partial_x u_c$. The theorem states that under this hypothesis every sufficiently small periodic bottom perturbation $b$ produces at least two steady solutions $u_{b,j}(x)=u_c(x+\\theta_j)+O(\\|b\\|_{s+1})$ with distinct phases $\\theta_j$. In the proof, the Hamiltonian is written in slice coordinates $\\upsilon(\\theta,w)=\\theta\\cdot(u_c+w)$ near the orbit; the implicit function theorem eliminates the normal component $w$, and the reduced Hamiltonian $h_b(\\theta)$ on the circle $S^1$ is a small deformation of a constant. A continuous function on a circle must have a maximum and a minimum, each giving one of the two waves. Applied to the classical Stokes waves—periodic traveling gravity waves of permanent form—this yields persistence of two steady waves over periodic bottoms along the primary branch, away from degenerate points.","pith_inferences":["One testable prediction is the phase relation: for a small sinusoidal bottom, the maximum and minimum of $h_b$ should sit near the bottom's crest and trough, so the two waves are approximately in phase and anti-phase with the bed—the dune and antidune patterns mentioned in the introduction.","Since any nonconstant function on a circle has at least two critical points, the 'two waves' count is the generic minimum; bottoms with several Fourier modes could produce additional extrema of $h_b$ and hence more than two steady waves near the same orbit.","A close numerical study of the restricted Hessian along the finite-depth Stokes branch as amplitude grows would identify the exact points where non-degeneracy, and therefore the two-wave conclusion, can fail; this is the sharpest route to making the theorem unconditional.","For higher-dimensional tori $\\mathbb{T}^n$ with surface tension, the same reduction yields a reduced Hamiltonian on $\\mathbb{T}^n$, and Lusternik-Schnirelmann category should force at least $n+1$ critical points—so the mechanism generalizes from 'two waves' to 'several waves' as the dimension of the symmetry group grows."],"forward_implications":["For any non-degenerate flat-bottom wave $u_c$, each sufficiently small periodic bottom $b$ supports at least two distinct steady waves, both of the form $u_c(x+\\theta_j)+O(\\|b\\|_{s+1})$.","Away from the critical speeds $c_k$, the flat trivial solution has a unique continuation to small bottoms on the explicit parameter set $|c-c_k|\\ge k^{-3/2}\\varepsilon$, $|b|_{s+1}\\le\\varepsilon^{2(1+\\delta)}$; this quantifies the previous continuation theorem.","When $u_c$ and $b$ share the period $2\\pi/p$, the two persisting waves come in $\\mathbb{Z}_p$-orbits of phase shifts, so counting spatially distinct profiles multiplies the two solutions by $p$.","Assuming the infinite-depth non-degeneracy proof extends to finite depth via a Babenko-type formulation, the primary Stokes branch supports two steady waves over a wavy bottom at every non-degenerate point, with only a discrete exceptional set."],"supporting_citations":[{"why":"Supplies the Hamiltonian formulation, the linearization $L(c)$ with kernel at $c_k$, and the local Stokes-wave bifurcation from the trivial solution.","marker":"[7]"},{"why":"Proves non-degeneracy up to a countable set of the primary Stokes branch in infinite depth, the hypothesis needed for Theorem 16.","marker":"[2]"},{"why":"Provides numerical evidence that the primary Stokes branch has only turning-point degeneracies, supporting the non-degeneracy assumption for application.","marker":"[8]"},{"why":"Gives a Babenko-type formulation for finite depth that the paper cites as the route to extending non-degeneracy to its own setting.","marker":"[20]"},{"why":"The prior continuation result for trivial solutions over near-flat bottoms that Theorem 9 recovers and Corollary 13 quantifies.","marker":"[18]"},{"why":"Establishes analyticity of the Dirichlet-Neumann operator in surface and bottom variations, used throughout the Hamiltonian reduction.","marker":"[21]"}],"fun_headline_variants":["Periodic bottoms force twin steady waves","Two steady waves always survive a wavy floor","Stokes wave doubles into two steady states","Broken translation symmetry spawns paired waves"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result depends on the flat-bottom wave being isolated up to horizontal translations: no small deformation orthogonal to the translation direction may solve the linearized problem. For finite-depth Stokes waves this is assumed from infinite-depth results and numerics, and the paper says the finite-depth proof 'may be possible' rather than supplying it.","fun_headline_variants_meta":{"raw":{"variants":["Periodic bottoms force twin steady waves","Two steady waves always survive a wavy floor","Stokes wave doubles into two steady states","Broken translation symmetry spawns paired waves"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000283,"raw_usage":{"total_tokens":1650,"prompt_tokens":901,"completion_tokens":749,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":517,"completion_tokens_details":{"reasoning_tokens":694}},"tokens_in":517,"tokens_out":749,"duration_ms":6595,"temperature":1.0,"reasoning_tokens":694,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:04:35.058909+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"If along the finite-depth Stokes branch one finds a wave where the Hessian $D^2H(u_c;0,c)$ has a zero mode on the orthogonal complement of $\\partial_x u_c$, the non-degeneracy hypothesis fails at that wave and Theorem 16 gives no two-wave conclusion there.","supporting_citations":[{"cited_title":"Craig, D","cited_arxiv_id":null,"evidence_quote":"Supplies the Hamiltonian formulation, the linearization $L(c)$ with kernel at $c_k$, and the local Stokes-wave bifurcation from the trivial solution."},{"cited_title":"Buffoni, E","cited_arxiv_id":null,"evidence_quote":"Proves non-degeneracy up to a countable set of the primary Stokes branch in infinite depth, the hypothesis needed for Theorem 16."},{"cited_title":"Craig , D","cited_arxiv_id":null,"evidence_quote":"Provides numerical evidence that the primary Stokes branch has only turning-point degeneracies, supporting the non-degeneracy assumption for application."},{"cited_title":"Kuznetsov, E","cited_arxiv_id":null,"evidence_quote":"Gives a Babenko-type formulation for finite depth that the paper cites as the route to extending non-degeneracy to its own setting."},{"cited_title":"Krasovskii","cited_arxiv_id":null,"evidence_quote":"The prior continuation result for trivial solutions over near-flat bottoms that Theorem 9 recovers and Corollary 13 quantifies."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes analyticity of the Dirichlet-Neumann operator in surface and bottom variations, used throughout the Hamiltonian reduction."}],"review_version":1}