{"id":"f0504d12-eca4-43ac-9c39-ed0ac8d83d55","arxiv_id":"2511.03973","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Periodic deep-water waves with a vorticity jump are constructed by global bifurcation, but a key estimate relies on an unstated bound.","lead":"This paper proves existence of large-amplitude periodic water waves over deep water where the current's swirl may jump across an internal interface. The proof strategy is sound in outline, but a central estimate relies on an additional condition the authors do not state.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.3's proof of μ_ε(-2Γ_inf)<-1 relies on the false bound Γ(p)≤-Γ_inf, which sign-changing vorticity satisfying the stated hypotheses need not obey; the bifurcation eigenvalue is therefore not established.","rationale":"The reader and I identify the same load-bearing step: Lemma 4.3's construction of λ_ε*. I checked the algebra and the stated hypotheses genuinely do not imply the pointwise bound used in (4.22); sign-changing vorticity can easily make Γ(p) exceed -Γ_inf while still satisfying -Γ_inf<g^{2/3}/4. The explicit example above is admissible and violates the inequality. Since every later step—transversality, global bifurcation of the approximating problem, nodal preservation, the ε→0 limit, and Whyburn's lemma—depends on the existence of λ_ε*, the central claim of Theorem 2.1 is not proven as written. The paper has a coherent structure and the gap may be repairable, but no machine-checked or numerical verification is supplied to compensate. Therefore the reader's REJECT verdict remains appropriate.","tokens_in":29374,"tokens_out":13751,"duration_ms":111018,"concrete_test":"For g=1, p0=-1, γ(s)=-1 on [0,1), γ(s)=9(s+1)^{-3} on [1,∞), verify the hypotheses and compute μ_0(-2Γ_inf) by solving the singular Sturm-Liouville problem (4.20) or by high-accuracy Rayleigh-Ritz using the explicit a(p). If μ_0(-2Γ_inf) ≥ -1, Lemma 4.3 is false for admissible data and the bifurcation construction collapses. If μ_0(-2Γ_inf) < -1, the lemma may still be true, but (4.22) needs a different proof, so the theorem still lacks support as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Lemma 4.3, the estimate (4.22) is meant to prove μ_ε(-2Γ_inf)<-1, the starting point for finding λ_ε* with μ_ε(λ_ε*)=-1. The displayed chain bounds the integrals by replacing (2Γ(p)-2Γ_inf)^{3/2} and (2Γ(p)-2Γ_inf)^{1/2} with (-4Γ_inf)^{3/2} and (-4Γ_inf)^{1/2}. This requires the pointwise inequality 2Γ(p)-2Γ_inf ≤ -4Γ_inf, equivalently Γ(p)≤-Γ_inf for all p∈(-∞,0]. The hypotheses on γ—piecewise C^{1,α}, γ(s)=O(s^{-2-r}), and -Γ_inf<g^{2/3}/4—do not imply this upper bound. Example: take g=1, p0=-1, γ(s)=-1 on [0,1), γ(s)=9(s+1)^{-3} on [1,∞). Then Γ(p)=-p on [-1,0] and Γ(p)=-1/8 + (9/2)(1-p)^{-2} on (-∞,-1], so Γ_inf=-1/8, -Γ_inf=1/8<1/4, but Γ(-1/2)=1/2>1/8, violating the needed inequality. Since Lemma 4.3 supplies the unique bifurcation eigenvalue for each approximating problem, and Lemma 4.4, Theorem 4.6, the nodal arguments, and the ε→0 limit all depend on it, Theorem 2.1 is not established as written. The gap may be repairable, but the current proof does not cover sign-changing vorticity.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a global existence theorem for two-dimensional periodic Stokes waves in infinitely deep water with vorticity that is piecewise smooth (one jump at a prescribed level). The authors use the Dubreuil-Jacotin height-function transformation to rewrite the free-boundary problem as a transmission problem on a fixed half-strip, introduce a family of ε-regularized approximating problems whose linearizations are Fredholm, apply the Buffoni-Toland analytic global bifurcation theorem at a simple eigenvalue, propagate nodal patterns along each branch, and finally pass to the ε→0 limit via Whyburn's lemma. The main claimed result, Theorem 2.1, states that under the assumptions γ∈C^{1,α} piecewise, γ(s)=O(s^{-2-r}) as s→∞, and −Γ_inf<g^{2/3}/4, there is a connected set K of solutions containing a laminar flow and admitting a sequence with either unbounded wave speed c_k→∞ or sup_D ∂_p h_k→∞ (approach to horizontal stagnation).","tokens_in":29784,"tokens_out":19091,"duration_ms":162480,"significance":"If the proof were complete, this would be the first global existence result for Stokes waves with discontinuous vorticity in infinite depth, combining several nontrivial ingredients: a transmission formulation, a non-Fredholm linearization repaired by ε-regularization, eigenvalue analysis, nodal preservation, and an ε→0 limit. The paper is largely a well-structured adaptation of known machinery from Constantin-Strauss, Hur, and Martin-Matioc, and it states explicit hypotheses with no fitted parameters or circular reliance on the main theorem. The central obstruction is a specific missing estimate in Lemma 4.3, so the claimed generality is not currently established; however, the overall framework is credible and the gap is localized rather than a collapse of the entire strategy.","major_comments":[{"comment":"The proof that μ_ε(−2Γ_inf)<−1 replaces (2Γ(p)−2Γ_inf)^{3/2} and (2Γ(p)−2Γ_inf)^{1/2} by (−4Γ_inf)^{3/2} and (−4Γ_inf)^{1/2}. This is only valid if Γ(p)≤−Γ_inf for every p∈(−∞,0]. The stated assumptions (piecewise C^{1,α}, γ(s)=O(s^{-2−r}), −Γ_inf<g^{2/3}/4) do not imply this pointwise bound. Example: take g=8, p0=−1, γ(s)=−1 for 0≤s<1 and γ(s)=9(s+1)^{-3} for s≥1. Then Γ(p)=−p on [−1,0] and Γ(p)=−1/8+(9/2)(1−p)^{-2} on (−∞,−1], so Γ_inf=−1/8, −Γ_inf=1/8<8^{2/3}/4=1, but Γ(−1/2)=1/2>1/8. Thus (4.22) is not established for sign-changing vorticity satisfying the hypotheses. Lemma 4.3 is the only source of the bifurcation point λ_ε* for each approximating problem; Lemma 4.4, Theorem 4.6, Lemma 4.9, Theorem 4.10, and the ε→0 limit in Section 5 all depend on it. Theorem 2.1 is therefore not proved as written. The argument may be repairable with a different test function or an additional hypot","section":"§4.1, Lemma 4.3, display (4.22)"},{"comment":"Even if the hidden pointwise bound Γ(p)≤−Γ_inf were assumed, the chain in (4.22) ends with −g+g/2+ε/2+g^{1/3}/2<0. For g=1 this equals ε/2≥0, and for g<1 it is positive, so the strict inequality is false without an additional assumption g>1 or an unstated normalization. Since the period is fixed at 2π, g is not automatically scaled to 1; the hypotheses of Lemma 4.3 and Theorem 2.1 do not include g>1. Thus the proof of the key eigenvalue inequality needs either a more careful estimate or an explicit normalization/assumption.","section":"§4.1, display (4.22), final inequality"}],"minor_comments":[{"comment":"There are several typos and small presentation issues: 'equaiton' before (4.19); 'Whyburns' in the abstract and Section 5 should be 'Whyburn's'; in Theorem 2.1 the connected set is called K but condition (1) refers to 'C'; Lemma 4.3 contains 'It is easy to that μ_ε is a C^1-function' (missing 'see'); in Lemma 5.2 the region R^-_2 is used without definition (presumably the left half of R_2). These do not affect the mathematics.","section":"Various"},{"comment":"The nodal-pattern lemmas are stated tersely; Lemma 4.8 is deferred to [23, Lemma C.3] and Lemma 4.9's orthogonality contradiction is only sketched. Since these arguments are standard in the literature, this is acceptable but would benefit from a short explanation of the weight with respect to which the eigenfunctions are orthogonal.","section":"§4.2, Lemma 4.7–4.9"},{"comment":"The application of the Phragmén-Lindelöf theorem in the unbounded strip is plausible, but the auxiliary functions f and g use a constant N depending on M and δ; the choice of β,τ is said to satisfy (5.4)–(5.5) without showing existence. This is a minor omission, as the inequalities clearly hold for large N and suitably small β,τ.","section":"§5, Lemma 5.2"}],"recommendation":"major_revision","confidential_remarks":"The reader's report and the stress-test note identify the same load-bearing gap in Lemma 4.3; I concur with that diagnosis. I recommend major revision rather than outright rejection because the proof architecture is sound and the gap is localized: if the authors can supply a correct proof of μ_ε(−2Γ_inf)<−1 under the stated hypotheses (or under a clearly stated and geometrically meaningful additional assumption), the rest of the paper has the shape of a publishable result. If the needed fix requires imposing a substantial new restriction on Γ (e.g., Γ≤−Γ_inf for all p), then the statement of Theorem 2.1 should be changed accordingly and the significance reassessed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this paper goes after the right open direction—deep water plus piecewise smooth vorticity—with a coherent combination of transmission problems and Hur's singular bifurcation method. The stress-test note is correct: Lemma 4.3 has a load-bearing gap, and as written Theorem 2.1 is not proved for sign-changing vorticity.\n\nWhat is genuinely new: the paper is the first to combine discontinuous vorticity with an unbounded deep-water domain. The height-function reformulation, the transmission conditions at p=p0, the approximating operators Fε, and the Whyburn-limit argument are all laid out carefully. The background is honest, and the citation pattern is normal; the self-citation of [15] is not a problem.\n\nThe soft spot: in Lemma 4.3, the proof that μ_ε(-2Γ_inf)<-1 uses the estimate after (4.22). The authors bound (2Γ(p)-2Γ_inf)^{3/2} and the 1/2-power by the corresponding powers of (-4Γ_inf). That requires the pointwise inequality Γ(p) ≤ -Γ_inf for all p∈(-∞,0]. The stated hypotheses—piecewise C^{1,α}, γ(s)=O(s^{-2-r}), and -Γ_inf<g^{2/3}/4—do not imply this. If γ changes sign, Γ can sit well above -Γ_inf while the infimum is still small. The stress-test example is a valid counterexample to the needed bound. Since Lemma 4.3 is what produces the bifurcation point λ_ε* at every approximation level, and since Lemma 4.4, Lemma 4.9, Theorem 4.10, and the ε→0 passage all depend on it, the main theorem is not established as written.\n\nThis is not a fatal flaw in the overall strategy. The gap looks repairable: adding the assumption sup Γ ≤ -Γ_inf, or more restrictively requiring Γ≤0, would make the estimate go through, and the rest of the machine probably runs. But the claimed generality—arbitrary piecewise smooth vorticity with small negative infimum—is not supported as it stands.\n\nWho gets value: anyone working on rotational water waves, especially the deep-water singular bifurcation literature. It deserves a serious referee: the combination is important, and the proof has enough substance that a careful referee could help the authors fix the lemma or force them to state the strengthened hypothesis.\n\nMy recommendation: send it to peer review, with the spectral estimate flagged as the central point to verify. I would not cite the theorem as proved until that lemma is repaired.","headline":"A serious, well-written attack on deep water with discontinuous vorticity, but the proof of the key spectral lemma contains a load-bearing false bound, so Theorem 2.1 is not established as stated for sign-changing vorticity.","tokens_in":30275,"tokens_out":3626,"would_cite":false,"duration_ms":32174,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B32","35N05","51M10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that Stokes waves with piecewise smooth vorticity exist in infinitely deep water, and along the branch the waves either accelerate without bound or approach horizontal stagnation.","keywords":["Stokes waves","piecewise smooth vorticity","deep water","transmission problem","global bifurcation","non-Fredholm operator","hodograph transformation","height function"],"falsifier":"Take a piecewise smooth γ with a negative dip (so Γ_inf < 0) and a later positive bump so that Γ(p_0) > -Γ_inf for some p_0, satisfying the decay and the bound -Γ_inf < g^{2/3}/4; then compute µ_ε(-2Γ_inf) via the Rayleigh quotient with a test function like e^p. If µ_ε(-2Γ_inf) ≥ -1, the eigenvalue -1 is not attained and the constructed bifurcation point does not exist.","tokens_in":29213,"feed_emoji":"🌊","tokens_out":7483,"duration_ms":59766,"temperature":0.7,"pith_summary":"The paper's main theorem asserts that two-dimensional periodic travelling gravity waves (Stokes waves) are possible in an infinitely deep fluid even when the vorticity jumps discontinuously across an internal interface. Using a sequence of approximate problems to regain compactness in the unbounded domain, the authors construct a connected family of wave solutions that contains a flat, laminar flow. Along this family, either the wave speed grows without bound or the flow approaches a state of horizontal stagnation, meaning the horizontal velocity approaches the wave speed somewhere in the fluid. This is the first global existence result for deep-water waves with discontinuous vorticity, a step toward realistic oceanographic models where shear currents are not smooth.","feed_headline":"First global proof of Stokes waves with jumps in vorticity","feed_subtitle":"New branch of solutions shows the waves either accelerate without bound or approach horizontal stagnation.","key_machinery":"The height-function formulation sends the fluid domain to a semi-infinite strip and turns the jump in vorticity into a transmission condition across the internal interface p = p_0. Because the linearized operator on the unbounded domain is not Fredholm, the paper studies ε-approximations whose linearizations are Fredholm of index zero; the bifurcation points are determined by a singular Sturm-Liouville problem whose Rayleigh quotient µ_ε(λ) crosses -1, giving a simple eigenvalue. Global bifurcation on each approximate branch, preservation of a nodal pattern, and a topological connectedness lemma then produce a continuum for the original problem.","core_discovery":"The central discovery is Theorem 2.1: under the hypotheses γ ∈ C^{1,α} piecewise, γ(s) = O(s^{-2-r}) as s→∞, and -Γ_inf < g^{2/3}/4, there is a connected set K of solutions (c,h) to the height-function system (2.15)–(2.16) that contains a laminar solution and has a sequence with c_k→∞ or sup_D ∂_p h_k→∞. The theorem is proved by recasting the free-boundary problem with a jump in vorticity as a transmission problem, introducing an ε-regularized approximating family of Fredholm operators, applying analytic global bifurcation theory to each approximate problem, and using a topological connectedness lemma to pass to the limit. The two alternatives in the conclusion mirror the known behavior for","pith_inferences":["The proof of Lemma 4.3 relies on the bound Γ(p) ≤ -Γ_inf, which is not a consequence of the stated hypotheses unless γ never takes positive values; a corrected condition might involve an upper bound on sup Γ rather than -Γ_inf alone.","If the hidden bound fails, the bifurcation points λ_ε^* may not exist for all ε, and the whole continuum construction could collapse; the theorem might still hold under a stronger assumption such as γ ≤ 0 on [0,∞).","A direct computation of the Rayleigh quotient for a vorticity profile with a negative dip and a positive bump would test the key inequality (4.22).","The method may generalize to three-dimensional perturbations or to waves with vorticity that has multiple jumps, but the eigenvalue crossing would need re-verification."],"forward_implications":["If Theorem 2.1 is correct, the global bifurcation structure of deep-water waves persists under discontinuous vorticity, so jumps in the shear current do not prevent the existence of large-amplitude waves.","The alternatives—unbounded wave speed or approach to horizontal stagnation—become the only possible fates along the branch, giving a dichotomy analogous to the smooth-vorticity case.","The ε-approximation method yields a template for treating non-Fredholm free-boundary problems with internal interfaces in unbounded domains.","Remark 2.2 indicates the result extends to finitely many vorticity discontinuities."],"fun_headline_variants":["Stokes waves with vorticity jumps: either accelerate or stagnate","Global proof: Stokes waves with piecewise vorticity exist","Vorticity jumps in water waves: global bifurcation branch","New theorem: Stokes waves either speed up or hit stagnation"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that Γ(p) ≤ -Γ_inf for all p, used in Lemma 4.3 to show µ_ε(-2Γ_inf) < -1; the stated hypotheses do not guarantee this when γ has positive values, and without it the existence of the bifurcation point λ_ε^* is not established.","fun_headline_variants_meta":{"raw":{"variants":["Stokes waves with vorticity jumps: either accelerate or stagnate","Global proof: Stokes waves with piecewise vorticity exist","Vorticity jumps in water waves: global bifurcation branch","New theorem: Stokes waves either speed up or hit stagnation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000698,"raw_usage":{"total_tokens":2980,"prompt_tokens":721,"completion_tokens":2259,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":465,"completion_tokens_details":{"reasoning_tokens":2189}},"tokens_in":465,"tokens_out":2259,"duration_ms":14998,"temperature":1.0,"reasoning_tokens":2189,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T23:47:22.935136+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a piecewise smooth γ with a negative dip (so Γ_inf < 0) and a later positive bump so that Γ(p_0) > -Γ_inf for some p_0, satisfying the decay and the bound -Γ_inf < g^{2/3}/4; then compute µ_ε(-2Γ_inf) via the Rayleigh quotient with a test function like e^p. If µ_ε(-2Γ_inf) ≥ -1, the eigenvalue -1 is not attained and the constructed bifurcation point does not exist.","supporting_citations":[],"review_version":1}