{"id":"79f3802d-bea3-449c-b5dd-1947c734bea4","arxiv_id":"1908.02655","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A rigorous existence proof for small-amplitude doubly periodic gravity-capillary water waves whose vorticity is a Beltrami field on water of finite depth.","lead":"This paper proves that small three-dimensional ocean waves can have swirling currents inside them, repeating in a grid pattern on water of finite depth. It is the first existence proof for such doubly periodic gravity-capillary waves carrying vorticity.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the conditional theorem is internally consistent and its restrictive assumptions are explicitly shown to be satisfiable.","rationale":"The paper is a rigorous bifurcation-theoretic existence proof. The reduction of the Beltrami water-wave problem to the surface equation (2.6) is carried out under an explicit non-resonance condition, and the linearized analysis correctly identifies the dispersion relation and the conditions for a two-dimensional kernel. The Lyapunov-Schmidt reduction is standard: the linearized operator is Fredholm, the kernel is spanned by the two cosine modes, the transversality condition makes the bifurcation equations solvable by the implicit function theorem, and the remainder estimates are adequate. The assumptions are not hidden: non-resonance (2.7), exactly four dispersion roots, and transversality (3.12) are all stated in Theorem 4.1, and Remark 4.2 shows how to construct parameters satisfying them, with Proposition 3.1(iv) providing the exact multiplicity for symmetric lattices outside a countable set of σ values. No circularity, post-hoc fitting, or unsupported exclusion was identified. The reader's weakest-assumption analysis correctly focuses on the non-resonance condition, which is the most fundamental restriction but is both necessary for the reduction and satisfiable. I therefore see no reason to change the ACCEPT verdict, though the confidence level of MODERATE remains appropriate given the length of the proof and the absence of independent formal verification or numerical testing.","tokens_in":22836,"tokens_out":49536,"duration_ms":510836,"concrete_test":"Take a concrete parameter set satisfying the Remark 4.2 construction, e.g., α=1, d=1, |k1|=|k2|=0.9, angle θ=π/6, compute c* from (3.9)-(3.10) and the resulting ν, then enumerate all dual-lattice vectors with |k| below a large cutoff R and numerically verify that ρ(c*,k)=0 only for ±k1 and ±k2, and that the Jacobian determinant ∂c1ρ(c*,k1)∂c2ρ(c*,k2) − ∂c1ρ(c*,k2)∂c2ρ(c*,k1) is nonzero. This would independently confirm that the theorem's hypotheses are satisfiable and the bifurcation equations are nondegenerate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 4.1: under the non-resonance condition (2.7), the exact-four-roots dispersion condition, and the transversality condition (3.12), there is a two-parameter family of small-amplitude doubly periodic solutions. I find no internal inconsistency or missing step that would undermine the proof. The most restrictive hypothesis is the non-resonance condition (2.7), needed for the elimination of the velocity field in Theorem 2.1; when it fails, Cases III and IV of Section 3.1 show additional linearized modes appear. This is an explicit assumption, and Remark 4.2 shows it can be satisfied together with κ>0 by choosing |k_j| close to |α| and avoiding finitely many lattice angles. The exact-four-roots condition is verified in Proposition 3.1(iv) for symmetric lattices for all but countably many surface-tension values, and the transversality condition is automatic under (3.7). Thus the theorem is conditional, but the conditions are nonempty and explicitly constructible. The least explicitly detailed step is the use of Fourier multiplier properties on Hölder spaces in Lemma 4.4, but the operator is a compact perturbation of g−σΔ and the cited standard theory is appropriate; I do not regard this as a load-bearing gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves an existence theorem for small-amplitude three-dimensional steady gravity-capillary water waves with vorticity, periodic with respect to a given two-dimensional lattice, under the assumption that the relative velocity field is a Beltrami field (curl u = αu). The authors reduce the free-boundary problem to a single nonlinear pseudodifferential equation for the surface elevation by analytically eliminating the velocity field (Theorem 2.1, condition (2.7)), analyze the linearized problem via Fourier modes to derive the dispersion relation (3.3), and establish the needed transversality condition (Proposition 3.3). The main result, Theorem 4.1, uses Lyapunov-Schmidt reduction to construct a two-parameter family of solutions near a laminar flow, with surface elevation η = t1 cos(k1·x') + t2 cos(k2·x') + O(|t|^2), analytic in the parameters t = (t1,t2). The theorem is explicitly conditional on three assumptions: the non-resonance condition (2.7), the exact-four-roots condition for the dispersion equation, and the transversality condition (3.12). Propositions 3.1 and 3.3 and Remark 4.2 show that these assumptions can be satisfied, in particular for symmetric lattices with generic surface-tension values.","tokens_in":23042,"tokens_out":8402,"duration_ms":88340,"significance":"If the result is correct, it provides the first existence theory for genuinely three-dimensional doubly periodic water waves with vorticity in the Beltrami class, going beyond the irrotational theory developed by Reeder-Shinbrot, Sun, Craig-Nicholls, and Groves-Mielke. The proof is rigorous and self-contained: it is based on classical elliptic theory, Fourier-multiplier estimates, and a multi-parameter bifurcation argument, with no fitted parameters or external numerical input. The paper also recovers 2.5-dimensional waves and describes dimension-breaking connections between the genuinely three-dimensional family and the 2.5-dimensional families, which is a notable structural insight. The conditional hypotheses are clearly stated, and the authors explicitly show that the non-resonance and transversality conditions are open or generic, so the theorem is not vacuous. The main limitation, the exclusion of resonant cases (Cases III and IV in Section 3.1), is acknowledged and does not undermine the stated conditional result.","major_comments":[{"comment":"The non-resonance condition (2.7) excludes a genuine set of parameter values for which additional linearized modes appear, as shown by the paper's own analysis in Cases III and IV of Section 3.1. This is an explicit limitation that the authors acknowledge in Remark 4.3. Remark 4.2 demonstrates that (2.7) can be satisfied together with κ(|k_j|) > 0 by choosing |k_j| close to |α| and avoiding finitely many angles, so the conditional theorem has nonempty scope. I do not regard this as a defect, but the exclusion should be kept in mind when citing the theorem.","section":"Section 3.1, Cases III and IV; Remark 4.3"}],"minor_comments":[{"comment":"There is a duplicated word in the sentence 'if α ≠ 0 we we can always assume that it is positive'; 'we we' should be 'we'.","section":"Section 3.1, near equation (3.8)"},{"comment":"The word 'elluded' should be 'eluded'.","section":"Section 1.3"},{"comment":"In the displayed condition for (2.7), the indices n1 and n2 are said to range over Z; it would be clearer to state explicitly that n1 and n2 are not both zero, although the surrounding text implies this.","section":"Remark 4.2"},{"comment":"The claim that the Fourier multiplier operator L is Fredholm of index 0 and invertible on the complement is justified by a citation to [3, Prop. 2.78]; a one-sentence explanation of why the symbol's zeros at ±k1, ±k2 are isolated would improve readability, but the cited theory is appropriate.","section":"Lemma 4.4"}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this is a strong paper and the first real existence theorem for genuinely three-dimensional steady water waves with vorticity, in the Beltrami case, on finite depth. The result is conditional—non-resonance, exactly four dispersion roots, transversality—but those are normal bifurcation hypotheses, and the authors show they can be met.\n\nWhat's genuinely new: all prior doubly periodic existence results were irrotational (Reeder–Shinbrot, Craig–Nicholls, Groves–Mielke) or explicit Gerstner-type solutions. This paper handles Beltrami fields, so the vorticity is collinear with velocity. The route is clean: flatten the domain, eliminate the velocity field under a non-resonance condition, reduce to one pseudodifferential surface equation, then Lyapunov–Schmidt reduction. The dispersion analysis in Section 3 is careful, and Proposition 3.1 plus Remark 4.2 give concrete, nonempty parameter choices. The transversality condition is automatic under the geometric condition (3.7), which makes the main theorem usable. The paper also recovers the 2.5-dimensional families and shows how the genuinely 3D waves branch off them.\n\nSoft spots, in proportion: the non-resonance condition (2.7) is a real exclusion—when it fails, extra linear modes appear and the reduction to the surface equation is not available. The authors know this; Remark 4.3 says the surface-equation route loses some generality. That is not a flaw in the proof, just a boundary on the result. The exact-four-roots condition is only verified for symmetric lattices and for all but countably many values of surface tension; that is fine for an existence theorem, but it means the theorem is not quantitative about which σ are excluded. The Fourier multiplier step on Hölder spaces (Lemma 4.4) is cited to standard theory rather than proved in detail; I did not find a gap there, and the stress-test note agrees.\n\nI have no serious objection. The proof is long but organized; the assumptions are explicit and satisfiable; the citations to the irrotational literature and to force-free fields are appropriate. The paper is not trying to sell a physical model—the authors admit Beltrami vorticity is mathematically motivated—but it fills a long-standing gap and gives a usable template for further results.\n\nWho should read it: anyone working on 3D water waves, bifurcation from laminar flows, or free boundary problems with Beltrami fields. It deserves a serious referee. I would send it to review.","headline":"First genuinely three-dimensional steady water waves with Beltrami vorticity, proved by a clean reduction and multi-parameter bifurcation; conditions are explicit and satisfiable.","tokens_in":23595,"tokens_out":2675,"would_cite":true,"duration_ms":22552,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B32","35Q35","76B15","76B45"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves the existence of small-amplitude, doubly periodic, three-dimensional gravity-capillary water waves with vorticity, bifurcating from a Beltrami laminar flow.","keywords":["doubly periodic water waves","Beltrami flows","vorticity","gravity-capillary waves","multi-parameter bifurcation","Lyapunov-Schmidt reduction","laminar flow","dispersion relation"],"falsifier":"Take a concrete parameter set satisfying all hypotheses—say $\\alpha=1$, $d=1$, a symmetric lattice with $|k_1|=|k_2|$ and angle $\\theta$ obeying (3.8), and $\\sigma$ outside the countable exceptional set—and solve the reduced surface equation (2.6) numerically near the bifurcation point. If any nontrivial small solution exists that is not captured by the leading-order formula $\\eta=t_1\\cos(k_1\\cdot x')+t_2\\cos(k_2\\cdot x')+O(|t|^2)$ with $c-c^\\star=O(|t|^2)$, or if the predicted two-parameter family fails to appear, the central claim would be contradicted. A cheaper check: search the dual lattice for all roots of $\\rho(c^\\star,k)=0$; a third pair of roots for every $\\sigma$ would refute the genericity statement in Remark 4.2.","tokens_in":22627,"feed_emoji":"🌊","tokens_out":10468,"duration_ms":95412,"temperature":0.7,"pith_summary":"The paper proves the existence of small-amplitude, doubly periodic, three-dimensional steady water waves that carry vorticity, on water of finite depth, under gravity and surface tension. The velocity field is a Beltrami field—vorticity everywhere parallel to velocity—so the underlying trivial solutions are laminar flows whose direction rotates with depth, a model the authors suggest could describe wind-driven surface currents over a differently directed subsurface current. Starting from such a laminar flow, and assuming a non-resonance condition plus a two-dimensional kernel for the linearised problem, the authors construct an analytic two-parameter family of genuinely three-dimensional waves whose free surface is a sum of two cosine modes to leading order. This supplies the first existence theory for genuinely three-dimensional periodic water waves with vorticity, a case that cannot generally be reduced to an elliptic free-boundary problem.","feed_headline":"Doubly periodic waves with vorticity exist at small amplitude","feed_subtitle":"A two-parameter family of 3D gravity-capillary waves branches from depth-rotating laminar flows.","key_machinery":"The argument is carried by a reduction of the free-boundary problem to one nonlinear equation for the surface. After a flattening change of variables and a shift of the velocity field, the system becomes (2.5), and the operator $C_\\alpha: v \\mapsto (\\nabla\\times v - \\alpha v,\\, v_3|_{\\text{surface}})$ is shown to be an isomorphism under the non-resonance condition (2.7); this lets the velocity be eliminated, leaving the single pseudodifferential surface equation (2.6). The linearisation of this surface equation has Fourier symbol $\\rho(c,k)$, and the assumptions of Theorem 4.1 make its kernel two-dimensional, spanned by $\\cos(k_1\\cdot x')$ and $\\cos(k_2\\cdot x')$. A Lyapunov–Schmidt reduction then splits the surface into the two kernel modes plus an orthogonal correction, producing a $2\\times 2$ system of bifurcation equations whose coefficient matrix has determinant equal to the transversality expression from (3.12); the implicit function theorem solves it for $c$ as a function of $t$. The geometric heart of the parameter search is the observation that, for fixed $k$, the equation $\\rho(c,k)=0$ defines a hyperbola $C(k)$ in the $(c_1,c_2)$-plane, and the angle between the asymptotes of two such hyperbolas controls whether the two curves intersect in a non-tangential point—condition (3.8) guarantees both a common root $c^\\star$ and transversality.","core_discovery":"The central result, Theorem 4.1, is an existence theorem: given depth $d>0$, vorticity parameter $\\alpha$, surface tension $\\sigma>0$, and a laminar Beltrami flow $U[c^\\star_1,c^\\star_2]$, suppose the dual lattice is generated by independent vectors $k_1,k_2$ and that (i) the non-resonance condition (2.7) holds, (ii) at $c=c^\\star$ the dispersion relation $\\rho(c,k)=g+\\sigma|k|^2-\\frac{(c\\cdot k)^2}{|k|^2}\\kappa(|k|)+\\alpha\\frac{(c\\cdot k)(c\\cdot k^\\perp)}{|k|^2}=0$ has exactly the four roots $\\pm k_1,\\pm k_2$ in the lattice, and (iii) the transversality condition (3.12) holds. Then there is a neighbourhood of zero in the $(t_1,t_2)$-plane and analytic corrections $\\delta_1,\\delta_2=O(|t|^2)$ such that for each $t$ there is a doubly periodic solution $(v,\\eta)$ of the Beltrami–Euler system (2.5) with $c_1=c^\\star_1+\\delta_1(t)$, $c_2=c^\\star_2+\\delta_2(t)$ and $\\eta(x')=t_1\\cos(k_1\\cdot x')+t_2\\cos(k_2\\cdot x')+O(|t|^2)$. The solution depends analytically on $t$, and locally these are the only nontrivial solutions except for two families of two-and-a-half-dimensional waves. The paper also shows the hypotheses can be satisfied: for any $\\alpha>0$ and $d>0$ one can choose lattice lengths and angle so that a suitable $c^\\star$ exists, and in the symmetric-lattice case the 'exactly four roots' condition holds for all surface-tension values outside a countable exceptional set.","pith_inferences":["Editorial extension: because the theorem excludes resonant vertical modes by (2.7), resonant lattices form the natural next target; Cases III and IV in Section 3.1 already show what new linear modes appear there, suggesting coupled-mode or constant-mode bifurcations the present theory does not reach.","Editorial extension: the explicit leading-order formula $\\eta\\approx t_1\\cos(k_1\\cdot x')+t_2\\cos(k_2\\cdot x')$ makes the family directly accessible to numerical continuation and to a linear stability analysis of the bifurcating waves, neither of which the paper undertakes.","Editorial extension: the same reduction machinery, with a different dispersion relation, might transfer to other elliptic free-boundary problems with Beltrami or force-free fields, such as magnetohydrostatic free surfaces, though the hyperbola-intersection argument would have to be reworked."],"forward_implications":["For any $\\alpha>0$ and $d>0$, parameters can be chosen—lattice lengths, angle, and a generic surface tension—so that the theorem applies, yielding genuinely three-dimensional doubly periodic waves with nonzero Beltrami vorticity.","The theorem also covers $\\alpha=0$, giving another proof of existence of doubly periodic irrotational gravity-capillary waves, now obtained alongside the vortical case.","Along the curves $t_1=0$ and $t_2=0$ the two-parameter family degenerates into two families of two-and-a-half-dimensional waves, so the genuinely three-dimensional waves appear through dimension-breaking bifurcations and connect two different two-and-a-half-dimensional states.","Near the bifurcation point the family is exhaustive: the only small-amplitude solutions are the two-parameter genuinely three-dimensional family and the two two-and-a-half-dimensional families."],"supporting_citations":[{"why":"Supplies the elliptic boundary estimates used to prove the unperturbed operator $C_0$ is an isomorphism in Lemma 2.2.","marker":"[2]"},{"why":"Provides the Fourier multiplier bounds on Hölder spaces used in the proof of Lemma 4.4 that the linearised surface operator is Fredholm.","marker":"[3]"},{"why":"Formulates the variational principle for doubly periodic waves over Beltrami flows that motivates and frames the problem studied here.","marker":"[27]"},{"why":"Gives the prior existence theory for irrotational doubly periodic gravity-capillary waves to which the $\\alpha=0$ case and the symmetric-lattice multiplicity analysis are compared.","marker":"[31]"},{"why":"Proves that constant nonzero vorticity cannot support genuinely three-dimensional travelling waves, which motivates the choice of nonconstant Beltrami vorticity.","marker":"[34]"}],"fun_headline_variants":["3D doubly periodic water waves with vorticity exist","Small-amplitude vorticity waves exist in 3D","Existence of doubly periodic waves with vorticity","Beltrami fields spawn 3D periodic water waves","Small-amplitude doubly periodic waves with vorticity exist"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction depends on avoiding a resonance: for every lattice wave number $k$ shorter than $|\\alpha|$, the quantity $\\sqrt{\\alpha^2-|k|^2}$ must not be an integer multiple of $\\pi/d$; at such a resonance extra internal modes appear and the proof's reduction to a single surface equation no longer works.","fun_headline_variants_meta":{"raw":{"variants":["3D doubly periodic water waves with vorticity exist","Small-amplitude vorticity waves exist in 3D","Existence of doubly periodic waves with vorticity","Beltrami fields spawn 3D periodic water waves","Small-amplitude doubly periodic waves with vorticity exist"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00066,"raw_usage":{"total_tokens":3051,"prompt_tokens":1008,"completion_tokens":2043,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":624,"completion_tokens_details":{"reasoning_tokens":1964}},"tokens_in":624,"tokens_out":2043,"duration_ms":16909,"temperature":1.0,"reasoning_tokens":1964,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:37:43.230763+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete parameter set satisfying all hypotheses—say $\\alpha=1$, $d=1$, a symmetric lattice with $|k_1|=|k_2|$ and angle $\\theta$ obeying (3.8), and $\\sigma$ outside the countable exceptional set—and solve the reduced surface equation (2.6) numerically near the bifurcation point. If any nontrivial small solution exists that is not captured by the leading-order formula $\\eta=t_1\\cos(k_1\\cdot x')+t_2\\cos(k_2\\cdot x')+O(|t|^2)$ with $c-c^\\star=O(|t|^2)$, or if the predicted two-parameter family fails to appear, the central claim would be contradicted. A cheaper check: search the dual lattice for all roots of $\\rho(c^\\star,k)=0$; a third pair of roots for every $\\sigma$ would refute the genericity statement in Remark 4.2.","supporting_citations":[{"cited_title":",Douglis,A","cited_arxiv_id":null,"evidence_quote":"Supplies the elliptic boundary estimates used to prove the unperturbed operator $C_0$ is an isomorphism in Lemma 2.2."},{"cited_title":", Chemin,J","cited_arxiv_id":null,"evidence_quote":"Provides the Fourier multiplier bounds on Hölder spaces used in the proof of Lemma 4.4 that the linearised surface operator is Fredholm."},{"cited_title":", Wahlén, E.: A variational principle for three-dimensional water waves over Beltrami flows","cited_arxiv_id":null,"evidence_quote":"Formulates the variational principle for doubly periodic waves over Beltrami flows that motivates and frames the problem studied here."},{"cited_title":", Shinbrot, M.: Three-dimensional, nonlinear wave interaction in water of constant depth","cited_arxiv_id":null,"evidence_quote":"Gives the prior existence theory for irrotational doubly periodic gravity-capillary waves to which the $\\alpha=0$ case and the symmetric-lattice multiplicity analysis are compared."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves that constant nonzero vorticity cannot support genuinely three-dimensional travelling waves, which motivates the choice of nonconstant Beltrami vorticity."}],"review_version":1}