{"id":"6ba47385-d6d7-407c-89f5-2361e91b364d","arxiv_id":"2505.00417","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Continuous curves of constant-vorticity gravity water waves connect a laminar flow to a touching wave, for fixed small nonzero gravity, in infinite and finite depth.","lead":"Gonçalves proves that for small fixed gravity, a continuous family of periodic water waves with constant vorticity runs from a flat laminar flow up to a touching wave whose surface meets itself, in both infinite and finite depth. The same construction yields a breaking wave with a vertical tangent, and the paper analyzes where the horizontal velocity vanishes near such points.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorems 7 and 9 assert an endpoint (touching wave) that Theorem 6 does not prove: the branch is only constructed on a≤1/4−γ, and no compactness or limiting argument is supplied.","rationale":"The reader's weakest_assumption identified exactly the missing endpoint/compactness argument, and my reading confirms that Theorems 7 and 9 are asserted rather than proved. The local bifurcation machinery in Section 4.2 is substantial and likely correct, and the gap is probably fillable by a standard compactness argument, so the appropriate verdict remains CONDITIONAL rather than REJECT. I see no independent reason to strengthen the criticism: the missing step is real but not a demonstration that the result is false. No ad hominem or theatrical language is warranted; the paper's own text flags the gap by moving from Theorem 6 to Theorems 7 and 9 without a proof.","tokens_in":13294,"tokens_out":8789,"duration_ms":94767,"concrete_test":"Fix G=G0≠0 small and l=0. Take a_n↑a*, where a* is the claimed touching-wave parameter (1/4 or amax, as appropriate), and attempt to prove that the sequence W(G0,a_n,0) is bounded in C^{3+α} and has a subsequence converging to a solution w* with G(w*;G0,a*,0)=0 and a vertical tangent / self-touching surface. In particular, test the only possible route: apply Theorem 6 along γ_n→0 and take a diagonal limit; if no such convergence argument can be written, Theorem 7 is false as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is the continuous curve from a laminar flow to a touching wave. This requires a limit as the amplitude parameter approaches the endpoint of the branch. Theorem 6, however, only constructs W on S with a≤1/4−γ for each fixed γ∈(0,1/8); Lemma 11 covers only compact intervals [λ,1/4−λ], and Lemma 13 is purely local near a=0. The sentence immediately after Theorem 6 — \"The solutions from Theorem 6 give rise to solutions...\" — simply asserts Theorems 7 and 9, but no uniform bound, no Arzelà–Ascoli extraction, and no verification that the limiting profile is vertical or self-touching is given. The uniqueness statement in Theorem 6 is local in w for each parameter point and cannot by itself produce an endpoint. Thus, even if every local bifurcation step is correct, the existence of the touching-wave endpoint is unsupported. Corollaries 8 and 10 inherit this gap if they rely on the endpoint; the breaking wave assertion might survive if it occurs strictly before the endpoint, but that is not shown. This is a load-bearing missing argument, not a stylistic omission.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies periodic gravity water waves with constant vorticity in both infinite and finite depth, reformulating the problem through conformal maps as an operator equation with an additional depth parameter l. It extends the local bifurcation results of Hur and Wheeler to finite depth (Theorems 4 and 5) and then claims the existence of a continuous curve of solutions connecting a laminar flow to a touching wave for fixed small nonzero gravity, in infinite depth (Theorem 7) and finite depth (Theorem 9), together with breaking-wave corollaries. Section 5 analyzes critical layers near vertical-tangent points. The main technical content is a uniform implicit-function argument (Lemma 11), a local bifurcation analysis near the laminar state (Lemmas 12 and 13), and a patching argument (Theorem 6).","tokens_in":13487,"tokens_out":22132,"duration_ms":239290,"significance":"If the endpoint claim were established, the paper would make a substantial contribution: a single connected branch from a laminar flow to a touching wave for arbitrary constant vorticity with fixed small gravity, including the finite-depth case and breaking waves. The local bifurcation computations are detailed and the relation to the Hur-Wheeler exact solutions and operator framework is transparent; the paper uses external results as ingredients rather than circular reasoning, and no fitted parameters are introduced. However, the central advertised endpoint—the touching wave—is not actually proved from the constructions in Section 4, so the main theorem is currently an assertion rather than a consequence of the written argument.","major_comments":[{"comment":"The touching-wave endpoint is asserted but not proved. Theorem 6 constructs W only on S with a ≤ 1/4 − γ for a fixed γ > 0, and the proof, Eq. (27), patches Wλ from Lemma 11 with v + d from Lemma 13. No compactness or limiting argument is supplied as the parameter approaches the upper end of the interval, and no identification of a limiting profile with a vertical or self-touching wave is given. The uniqueness statement in Theorem 6 is local in w for each (G,a,l) and therefore cannot by itself produce an endpoint. Consequently Theorems 7 and 9, and Corollaries 8 and 10 insofar as they depend on the endpoint, are unsupported as written. If the breaking wave is meant to occur strictly before the endpoint, that should be proved explicitly.","section":"§4.1 (Theorems 7 and 9) and §4.2 (proof of Theorem 6)"},{"comment":"For finite depth the operator G uses E(w,1/l²), but the set U is defined by the non-degeneracy condition 1 − iζ∂ζE(w,∞) ≠ 0 for the infinite-depth extension. The proof of Theorem 6 does not show that the constructed W(G,a,l) with l ≠ 0 satisfies the corresponding condition 1 − iζ∂ζE(w,1/l²) ≠ 0 or that the conformal map is injective, which is required for the operator solution to give a genuine solution of (3) and (4b). A short continuity argument from l = 0 would likely repair this, but it is absent; as written, the finite-depth conclusions in Theorems 5 and 9 are not fully derived.","section":"§2.2 (definition of U) and §4.2 (passage to physical solutions)"}],"minor_comments":[{"comment":"The sentence classifying the first nonzero derivative k as even for a breaking wave and odd for an overhanging wave is backwards: the subsequent analysis uses k odd for the case 'no local extremum' and k even for the overhanging/local-extremum case. Please correct the classification so that the text agrees with the case analysis that follows.","section":"§5, proof of Proposition 14"},{"comment":"The displayed definition of S after Eq. (27) writes '1/√2 − γ' and suppresses the l-dependence of ̃G⁻¹(G); this appears to be a typo for 1/4 − γ and should be made consistent with the statement of Theorem 6.","section":"§4.2, proof of Theorem 6"},{"comment":"The sentence 'We useH∞, to denote the standard periodic Hilbert transform' contains a typo and a missing space; the notation should be introduced cleanly, especially since H_d is later used for the strip transform.","section":"§2.1, definition of the Hilbert transform"},{"comment":"The abstract and introduction emphasize fixed nonzero gravity, while Theorems 7 and 9 state the result for all G ∈ (−ε,ε), including G = 0. Please clarify whether G = 0 is included by the exact Hur–Wheeler curve or should be explicitly excluded.","section":"§1 and §4.1"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the missing endpoint argument in Theorems 7 and 9. It is a substantial but well-defined gap, likely addressable by a global continuation or compactness argument within the paper's framework, so I recommend major revision rather than rejection. The local analysis in Lemmas 12–13 appears careful and the finite-depth U-condition gap is also fixable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Thanks for the report. I agree with the reader's conditional verdict, and the stress-test lands on the right spot.\n\nThe genuinely new content is the finite-depth formulation (the extra parameter l), the uniform implicit function theorem on compact a-intervals, and the local bifurcation analysis. Lemmas 12 and 13 are detailed and appear correct. Theorems 4 and 5, which extend Hur–Wheeler's overhanging and touching waves to finite depth, are a solid contribution on their own. Section 5 on critical layers is independent and seems interesting.\n\nThe main problem is the endpoint. Theorem 6 constructs W only on a ≤ 1/4 − γ. The proof stops short; there is no argument that as a approaches 1/4 the profiles converge to a touching wave. The sentence after Theorem 6 just asserts Theorems 7 and 9. No compactness, no Arzelà–Ascoli, no verification of verticality or self-contact. There is also an inconsistency: the statement of Theorem 6 uses S with a ≤ 1/4 − γ, while the proof defines S with a ≤ 1/√2 − γ. That typo signals the construction does not have a clear endpoint.\n\nThis is a load-bearing gap, not a cosmetic one. The local branch construction is probably correct, and the finite-depth results are valuable, but the advertised curve that reaches a touching wave is unproved. The missing step is likely fillable with a standard limiting argument, but it is not in the manuscript.\n\nI would send this to a serious referee. The local theory is nontrivial, and a referee should demand the endpoint proof. The paper is honest and does not hide its assumptions; it simply omits the key compactness step. If I cite it, I would cite Theorems 4 and 5, not Theorem 7 or 9.","headline":"Solid local bifurcation work and a real finite-depth extension, but the advertised continuous curve to a touching wave is asserted, not proved.","tokens_in":14044,"tokens_out":8690,"would_cite":false,"duration_ms":82777,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","76B15","35B32"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that for fixed small nonzero gravity, a continuous curve of periodic gravity water waves with constant vorticity connects a laminar flow to a touching wave.","keywords":["gravity water waves","constant vorticity","touching waves","breaking waves","overhanging waves","local bifurcation theory","critical layers","free-surface problem"],"falsifier":"Numerically continue $G(w;G,a,l)=0$ for a fixed small positive gravity $G$ from the laminar solution, increasing the amplitude parameter; if the profile never becomes self-touching, or if the curve terminates before a vertical tangent appears, then the endpoint claim of Theorem 7 fails, because the theorem requires the touching wave to lie on the same continuous curve.","tokens_in":13051,"feed_emoji":"🌊","tokens_out":12205,"duration_ms":121178,"temperature":0.7,"pith_summary":"This paper proves that for fixed, sufficiently small, nonzero gravity, a continuous curve of periodic gravity water waves with constant vorticity connects a laminar flow to a touching wave, a profile whose surface meets itself tangentially and encloses a bubble of air. The construction covers both infinitely deep and finitely deep flows, and along the curve one finds a breaking wave: a profile that is vertical at one point but never overhanging. The paper also establishes overhanging and touching waves for finite depth and analyzes the local behavior of critical layers, points where the horizontal velocity vanishes, at vertical-tangent points on the surface; that critical-layer analysis holds for arbitrary constant vorticity. The upshot is that a previously local or numerical picture of overhanging and touching waves becomes a continuous-deformation statement at fixed gravity.","feed_headline":"Water waves bend from laminar flow to a self-touching profile","feed_subtitle":"For fixed small gravity, the branch passes through a vertical-tangent breaking wave along the way.","key_machinery":"The load-bearing object is the operator $G(w;G,a,l)$ of equation (7), defined on Banach spaces $X$ and $Y$ of $2\\pi$-periodic symmetric functions: its zeros are exactly the conformally reformulated steady water waves with gravity $G$, amplitude-like parameter $a$, and depth encoded by $l$ (with $l=0$ the infinite-depth case). Around the explicit one-parameter family $w(a)$ of exact overhanging solutions at $G=0$, the paper uses a two-parameter version of the Crandall-Rabinowitz bifurcation theorem to build a local curve, then glues it to the compact-interval family via a uniqueness argument. A curve $\\tilde G(a,l)$ of constant (laminar) solutions marks the edge of the domain $S$, so for each fixed $G$ the branch starts at the laminar flow and is followed in $a$.","core_discovery":"The central claim, Theorem 7 (with the finite-depth analogue Theorem 9), is that for each fixed small gravity $G\\in(-\\epsilon,\\epsilon)$ there exists a continuous curve of solutions of the reformulated water-wave equations joining a laminar flow to a touching wave. Because the curve passes through the whole range of amplitudes, Corollary 8 follows: at least one profile on the curve has a vertical tangent at a point and is nowhere overhanging, i.e. a breaking wave. The construction rests on the exact family $w(a)$ of overhanging solutions at $G=0$ and a two-parameter bifurcation argument that starts near the origin and is glued, by uniqueness, to a compact-interval family obtained from the Implicit Function Theorem. The paper also proves finite-depth versions of overhanging and touching waves and a local description of critical layers at vertical-tangent points.","pith_inferences":["A numerical continuation of the operator equation for fixed small $G$ could locate the amplitude at which the surface first touches itself and compare it with the separately constructed touching waves, effectively testing the missing endpoint limiting argument.","Proposition 14 gives a local sign test that could be applied to any numerically computed or experimentally measured wave with a vertical tangent: checking whether the horizontal coordinate has a local extremum at the tangent point should predict whether a zero-velocity line reaches the surface.","The same conformal-operator scheme could be adapted to nonzero surface tension or to other exact base families, with the bifurcation-and-compactness gluing as the continuation strategy."],"forward_implications":["For fixed small nonzero gravity in infinite depth, water waves can be continuously deformed from a flat laminar flow to a touching wave.","A vertical-tangent breaking wave necessarily appears on that deformation, without the profile ever overhanging.","For all sufficiently large finite depth, the same laminar-to-touching curve exists, and separate finite-depth constructions give overhanging waves and touching waves.","The sign of gravity controls critical layers at a vertical-tangent point: with positive gravity and no local extremum of the horizontal coordinate, no critical layer from the fluid touches the surface, while with negative gravity or at a local extremum one does.","The critical-layer analysis is not tied to the constructed branch and applies to arbitrary constant vorticity."],"supporting_citations":[{"why":"supplies the infinite-depth overhanging and touching wave theorem whose operator and derivative setup this paper extends.","marker":"[15]"},{"why":"supplies the explicit one-parameter family of exact overhanging solutions used as the base of the branch.","marker":"[14]"},{"why":"derives the strip formulation that the operator equation is built on.","marker":"[12]"},{"why":"provides the analytic global bifurcation framework adapted as the paper's Proposition 15.","marker":"[3]"},{"why":"supplies the bifurcation formulas used to compute derivatives of the amplitude parameter in Lemma 13.","marker":"[16]"},{"why":"supplies the smooth dependence on the depth parameter and critical-layer analysis used in the bifurcation argument.","marker":"[5]"},{"why":"provides the finite-depth conformal mapping and regularity framework used for the finite-depth case.","marker":"[6]"},{"why":"supplies the analyticity and critical-layer strategy followed in Proposition 2.","marker":"[1]"}],"fun_headline_variants":["From flat to touching: water waves at fixed gravity","Water waves bridge laminar flow and self-touching profiles","A continuous path from calm to touching waves","Laminar to touching: one continuous water-wave family","From laminar flow to a touching wave, via breaking"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The solution branch is constructed only on compact subintervals of the amplitude parameter, and the paper does not prove that the branch has a limit at the endpoint where the touching wave is supposed to lie.","fun_headline_variants_meta":{"raw":{"variants":["From flat to touching: water waves at fixed gravity","Water waves bridge laminar flow and self-touching profiles","A continuous path from calm to touching waves","Laminar to touching: one continuous water-wave family","From laminar flow to a touching wave, via breaking"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000565,"raw_usage":{"total_tokens":2652,"prompt_tokens":891,"completion_tokens":1761,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":507,"completion_tokens_details":{"reasoning_tokens":1697}},"tokens_in":507,"tokens_out":1761,"duration_ms":13685,"temperature":1.0,"reasoning_tokens":1697,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:43:02.993171+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically continue $G(w;G,a,l)=0$ for a fixed small positive gravity $G$ from the laminar solution, increasing the amplitude parameter; if the profile never becomes self-touching, or if the curve terminates before a vertical tangent appears, then the endpoint claim of Theorem 7 fails, because the theorem requires the touching wave to lie on the same continuous curve.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the infinite-depth overhanging and touching wave theorem whose operator and derivative setup this paper extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the explicit one-parameter family of exact overhanging solutions used as the base of the branch."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"derives the strip formulation that the operator equation is built on."},{"cited_title":"Buffoni and J","cited_arxiv_id":null,"evidence_quote":"provides the analytic global bifurcation framework adapted as the paper's Proposition 15."},{"cited_title":"Kielh¨ ofer.Bifurcation Theory: An Introduction with Applications to Partial Differential Equations","cited_arxiv_id":null,"evidence_quote":"supplies the bifurcation formulas used to compute derivatives of the amplitude parameter in Lemma 13."},{"cited_title":"Constantin, W","cited_arxiv_id":null,"evidence_quote":"supplies the smooth dependence on the depth parameter and critical-layer analysis used in the bifurcation argument."},{"cited_title":"Constantin and E","cited_arxiv_id":null,"evidence_quote":"provides the finite-depth conformal mapping and regularity framework used for the finite-depth case."},{"cited_title":"Aasen and K","cited_arxiv_id":null,"evidence_quote":"supplies the analyticity and critical-layer strategy followed in Proposition 2."}],"review_version":1}