{"id":"28325b7e-0d95-441f-a52b-a73713a93843","arxiv_id":"2509.06084","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For strong surface tension, the 3D gravity capillary water wave equations admit small fully localized traveling solitary waves whose leading-order profile is a KP-I lump.","lead":"The authors prove that small, fully localized solitary waves exist on the surface of a three-dimensional ideal fluid under gravity and surface tension, with a leading profile given by the known lump solution of the KP-I model equation. The result provides a rigorous bridge from a simplified two-dimensional model to the full 3D water wave equations.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uniform spectral gap for the ε-perturbed linearized KP-I operator is asserted, not proved; Lyapunov-Schmidt reduction and Theorem 1.1 collapse if λ2(ε) is not bounded away from zero.","rationale":"The reader's conditional verdict hinges on the same point: the uniform spectral gap. I find no internal contradiction that would force rejection, but the gap is genuinely load-bearing. The proof of Proposition 4.1 asserts the spectral transfer from ε=0 rather than proving it, and Theorem 1.1 cannot be accepted as fully proved without this. A numerical spectral computation for small ε is a decisive, feasible check. Therefore I keep the conditional verdict; the concern does not move the reader's assessment but confirms it.","tokens_in":60861,"tokens_out":12071,"duration_ms":130867,"concrete_test":"For ε = 0.1, 0.05, 0.025, 0.0125, discretize the linearized operator Lε on a large periodic box in the symmetry class Hox using the exact Fourier symbol from (4.11) and the explicit qε from (2.11), and compute the two lowest eigenvalues λ1(ε) < 0 < λ2(ε). If λ2(ε) ≥ c0 > 0 for this sequence and λ1(ε) stays bounded away from 0, the uniform gap is supported; if λ2(ε) → 0 or λ1(ε) approaches 0, the spectral assumption fails and the reduction collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 4, Step 1 defines the operator L on E and asserts, via Liu-Wei [46], a unique negative eigenvalue λ1 and a positive spectral gap λ2 uniform in ε. Step 2's coercivity (4.3) on the orthogonal complement is the invertibility that the Lyapunov-Schmidt reduction needs, and the estimates (4.6)-(4.7) all use λ2 ≥ λ* > 0 independent of ε. However [46] treats only the ε=0 KP-I linearized operator. The explicit qε in (2.11) is a one-parameter family, and the nonlocal term L2 is not present in [46]; no conjugation, relative compactness, or perturbation argument is given to transfer the gap. If λ2(ε) tends to 0, or if the negative eigenvalue crosses zero for some small ε, Proposition 4.1, Proposition 4.2, and the fixed-point argument in Section 5 all fail. The sentence 'whose nondegeneracy is established in [46]' does not cover this family. The deferred proof of Proposition 4.2 and the unspecified narrower range for σ are secondary, but they point in the same direction: the spectral assumption is load-bearing and unverified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to construct fully localized solitary traveling-wave solutions of the three-dimensional gravity-capillary water wave problem, for surface tension σ>1/3 and wave speed c=(1+ε^2)^{-1/2}. Using the Dirichlet-to-Neumann formulation, the authors perform a KP-I asymptotic reduction and introduce an ε-dependent linearized operator Lε that contains both an anisotropic fourth-order differential part and a nonlocal term involving |D|tanh(|D|). They establish L^2 and L^p estimates for the linearized problem, then use a fixed-point argument around the explicit KP-I lump qε to produce the solution pair (ηε,ξε) with the stated asymptotic expansions. The central claim is Theorem 1.1.","tokens_in":61198,"tokens_out":9063,"duration_ms":100783,"significance":"If the proof is completed as intended, the result is significant: it would give the first rigorous construction of fully localized 3D gravity-capillary solitary waves by perturbing the explicit KP-I lump, with sharp scaling and decay information. The DNO estimates in Section 3 are detailed and the use of continued-fraction inequalities for tanh to control the nonlocal term is a useful technical idea. The paper also identifies a genuinely difficult point, namely the linearized operator with a nonlocal term, and the L^p theory developed for it has independent interest. However, a load-bearing spectral uniformity assertion is not proved, and the existence part of Proposition 4.2 is deferred to an analogous argument in another paper despite the presence of a new nonlocal term.","major_comments":[{"comment":"The proof asserts that the ε-dependent operator L has a unique negative eigenvalue λ1 and that the smallest positive eigenvalue λ2 is bounded below uniformly in ε; the coercivity (4.3) and the estimates (4.6)-(4.7) depend on this uniformity. The cited result [46, Theorem 2] treats the linearized KP-I operator at ε=0 only. Here the operator contains ε through A=A(ε), c=c(ε), the one-parameter lump qε in (2.11), and the full operator Lε also contains the nonlocal term L2, which is absent from [46]. No perturbation, resolvent-convergence, or relative-compactness argument is supplied to show that the spectral gap persists as ε→0. If λ2(ε) tends to 0, or if the negative eigenvalue crosses zero, then (4.3), (4.6)-(4.7), Proposition 4.2, and the fixed-point argument in §5 all collapse. The sentence 'whose nondegeneracy is established in [46]' at (2.11) does not cover the ε-family. This is the c","section":"§4, Proposition 4.1, Steps 1-2"},{"comment":"The existence of a solution to (4.1) in F1 is deferred to 'arguments similar to Proposition 4.2 in [47]'. This is not a routine adaptation, because Lε contains L2, a nonlocal operator involving |D|tanh(|D|), and the L^p part of the proof relies on a Green's function representation for the full symbol in (4.11). The written proof jumps from an E1 Hilbert-space estimate to the L^4 estimate (4.12) without proving that the full symbol gives the claimed L^{4/3}→L^4 mapping. Since the nonlinear fixed-point argument in §5 uses the full force of (4.12), the missing argument should be supplied, or the proof in [47] should be adapted explicitly with the L2 terms verified.","section":"§4, Proposition 4.2"},{"comment":"The contraction estimates (5.68) are asserted for six different combinations of P1, P2, P3, P4, but the proof checks only representative terms and states that the remaining terms admit similar estimates. Given that P3 and P4 involve compositions of the operators B, A, R3, Riesz transforms, and tanh(|D|), the omitted verifications are substantial. In particular, the ε-power bookkeeping in the R3 estimate (the chain leading to Cε^2||ϕ1−ϕ2||_*) is delicate and should be checked term by term. Because the contraction mapping argument is the final step of the proof, the non-representative terms should either be written out or organized in a systematic table with all ε weights.","section":"§5, estimates (5.68)"}],"minor_comments":[{"comment":"The abstract contains grammatical errors ('solution resemble lump type solutions') and the running title reads 'SHADOW W ATER W A VE'; these should be corrected.","section":"Abstract and running title"},{"comment":"The statement says 'f(P) is an old continuous function'; 'old' should be 'odd'.","section":"Lemma 3.4"},{"comment":"The letter h is used both for the scaled free-surface profile in (2.2) and for the right-hand side of (5.2)/(5.9). This is confusing; please use different symbols, e.g. ζ for the free-surface profile and r for the right-hand side.","section":"Notation in §5"},{"comment":"The operator L defined in Step 1 of Proposition 4.1 is not the same as Lε in (4.1), since L does not contain L2. Please clarify explicitly which operator's spectral properties are being used and how they transfer to Lε.","section":"§4, operator notation"},{"comment":"The two rational bounds for tanh x are asserted without proof or citation. Please provide a reference or a short justification, and state the range of x for which the inequalities are used.","section":"Equation (1.20)"}],"recommendation":"major_revision","confidential_remarks":"The main theorem is plausible and the paper contains substantial technical work, but the spectral gap issue is a genuine, load-bearing gap. I recommend major revision rather than acceptance. The manuscript itself notes independent simultaneous results by Groves and Wahlen [27,39]; the novelty claim should be positioned carefully relative to those works. The deferred proof of Proposition 4.2 and the omitted contraction estimates should be addressed regardless."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline: this is a serious attempt at a real result—existence of fully localized 3D gravity-capillary solitary waves with KP-I lump asymptotics—but the proof as written has a load-bearing gap around the spectral uniformity of the linearized operator. I wouldn't accept it as-is, but it deserves refereeing, not a desk reject.\n\nWhat's new: the theorem itself—lifting a non-degenerate KP-I lump to a full solution of the water wave system with controlled asymptotics—is not in the prior literature. The DNO estimates in Section 3 are genuinely substantial; the work with the continued fraction for tanh, the refined bounds for B_l and A_l, and the structure of the remainder R_3 are real and reproducible. The paper is honest about borrowing the reduction strategy from their Gross-Pitaevskii paper [47], and it acknowledges Groves-Wahlen's independent work. That's proper.\n\nWhere it's soft: the core issue is Proposition 4.1, Step 1. The operator L_ε = L1 + L2 - (3/c)∂1(∂1q∂1·) is self-adjoint on E, and the paper asserts a unique negative eigenvalue and a spectral gap λ2 ≥ λ* > 0 uniformly in ε, citing Liu-Wei [46] for nondegeneracy of the ε=0 KP-I lump. But [46] doesn't cover the ε-family, and the nonlocal term L2 isn't in [46]. The proof needs the uniformity for the coercivity (4.3) and for everything downstream (4.6)–(4.7), the Lyapunov-Schmidt reduction, and the fixed point argument. The sentence 'whose nondegeneracy is established in [46]' doesn't bridge that. If λ2(ε)→0 or the negative eigenvalue crosses, Theorem 1.1 collapses. The paper explicitly says 'we restrict σ to a narrower range' but never states the range—that's a separate but symptomatic problem. And Proposition 4.2 defers existence to 'arguments similar to Proposition 4.2 in [47]' even though the operator contains a new nonlocal term; the L^p extension there is sketched, not proved.\n\nAm I sure it's wrong? No. The spectral gap might follow from a perturbation argument that the authors know—but it's not written. The deferred proofs might be long but standard. The problem is that the load-bearing parts are asserted, not derived, in a paper of this length and importance.\n\nWho is this for? Specialists in water waves and singular perturbation methods. A reader who can fill the spectral gap themselves will get value; a reader looking for a complete proof won't.\n\nRecommendation: send to peer review. Ask for the spectral gap proof, the explicit σ range, and a self-contained proof of Proposition 4.2. If those come back, this could be a strong paper.","headline":"Plausible and technically rich existence proof, but a load-bearing spectral-uniformity gap keeps it from being complete; deserves serious refereeing.","tokens_in":61636,"tokens_out":2049,"would_cite":false,"duration_ms":22655,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35C08","35B25","76B15","76B45","35Q53"],"pacs":[],"model":"deepseek-v4-flash","headline":"Three-dimensional gravity-capillary water waves admit fully localized solitary waves","keywords":["gravity-capillary water waves","KP-I equation","lump solutions","solitary waves","Dirichlet-Neumann operator","Lyapunov-Schmidt reduction","surface tension","traveling waves"],"falsifier":"Compute the eigenvalues of the modified linearized operator L_ε, including its nonlocal Dirichlet–Neumann term, on the odd/even symmetry subspace for a sequence ε → 0. If the gap between the negative eigenvalue and zero, or between zero and the next positive eigenvalue, shrinks faster than the perturbation norms used in Proposition 4.1, the uniform a priori estimate fails and the contraction argument collapses.","tokens_in":60775,"feed_emoji":"🌊","tokens_out":4650,"duration_ms":56188,"temperature":0.7,"pith_summary":"The paper proves that the 3D gravity-capillary water wave problem, with gravity and depth normalized to one, admits fully localized solitary traveling waves whenever the surface tension parameter σ exceeds 1/3. For every sufficiently small amplitude parameter ε, there is a solution traveling at speed c = (1 + ε²)^(-1/2) whose free surface, after rescaling, is ε² times the derivative of a KP-I lump solution, up to O(ε³). The proof reduces the free-boundary problem to a single nonlocal nonlinear equation using the Dirichlet–Neumann operator, then solves it around the nondegenerate KP-I lump by a Lyapunov–Schmidt reduction and contraction argument. If correct, this gives a precise existence theorem for fully localized 3D solitary water waves with sharp asymptotics as the wave speed approaches the critical value.","feed_headline":"KP-I lumps become 3D water-wave solitary waves","feed_subtitle":"Near-critical-speed traveling waves exist for surface tension σ > 1/3, with sharp lump asymptotics.","key_machinery":"The central object is the modified linearized KP-I operator L_ε = A∂_1⁴ − ∂_1² − (1 + ε²)∂_2² + (2A + 1/3)ε²∂_1²∂_2² + σ(1 + ε²)ε⁴∂_2⁴ + ε^(-4)(1 + ε²)(1 + ε²σP)(QG₀ − ε²P) − (3/c)∂_1(∂_1q ∂_1·), with A = σ(1 + ε²) − 1/3, P = −∂_1² − ε²∂_2², Q = 1 + (1/3)ε²P, and G₀ = |D| tanh(|D|). This operator carries the KP-I linearization, the anisotropic rescaling, and the nonlocal Dirichlet–Neumann contribution. The proof uses a continued-fraction lower bound for tanh to keep the operator elliptic, a spectral decomposition with a unique negative eigenvalue and a positive spectral gap inherited from the KP-I lump analysis, and a weakly decoupled fixed-point argument in scaled Sobolev spaces.","core_discovery":"Theorem 1.1 states that for any sufficiently small ε > 0 there is a solution pair (η_ε, ξ_ε) to the water wave system (1.8) with traveling speed c = (1 + ε²)^(-1/2), satisfying η_ε(x1,x2,t) = ε² Q(ε(x1 − ct), ε²x2) + O(ε³) and ξ_ε = ε q(ε(x1 − ct), ε²x2) + O(ε²), where q is a non-degenerate lump solution of the KP-I equation and Q = ∂_x q. The proof rewrites the water wave equations with the Dirichlet–Neumann operator, substitutes a two-scale ansatz, and derives a compatibility equation whose leading part is the KP-I equation. The linearized operator around the lump is shown to be invertible with ε-uniform estimates on suitable odd/even Sobolev spaces, and the nonlinear terms are shown to co","pith_inferences":["The construction likely extends to other nondegenerate rational solutions of KP-I-type models, since the only spectral input needed is a unique negative eigenvalue and a uniform gap.","A direct numerical check of the ε-uniform spectral gap in Proposition 4.1 would isolate the one load-bearing assumption: discretize L_ε near the lump and watch the gap as ε shrinks.","The independent similar result by Groves and Wahlen noted in the paper suggests the asymptotic normalization and speed are natural; comparing the two derivations could clarify whether the fixed-point spaces are optimal.","Orbital stability of the KP-I lump does not automatically transfer to these water waves; the dynamical stability of the constructed solitary waves remains open. "],"forward_implications":["Fully localized 3D gravity-capillary solitary waves exist for all sufficiently small amplitudes when σ > 1/3, with speed approaching the critical shallow-water speed c = 1.","The free surface profile is asymptotically ε²Q(ε(x₁ − ct), ε²x₂), so the known explicit KP-I lump gives a concrete leading-order prediction for the wave shape.","The ε-uniform invertibility of the nonlocal linearized operator provides a tool for studying spectra, stability, and uniqueness of these waves.","If other KP-I solutions are shown to be non-degenerate with finite Morse index, the same construction would yield additional fully localized water-wave families, as the paper suggests.","The expansion of the Dirichlet–Neumann operator is controlled in Sobolev spaces with estimates uniform in ε, making the reduction amenable to future higher-order or numerical approximation. "],"supporting_citations":[{"why":"Supplies nondegeneracy, Morse index, and orbital stability of the KP-I lump solution, providing the spectral input used in the linear theory.","marker":"Liu-Wei [46]"},{"why":"Provides the Dirichlet–Neumann operator expansion and singular integral operator estimates that Section 3 refines for the nonlinear analysis.","marker":"[21]"},{"why":"Serves as the template for deriving a priori estimates and solving the linear and nonlinear problems around a lump solution.","marker":"[47]"},{"why":"Gives the explicit two-dimensional lump solutions of the KP equation, the explicit profiles used in the ansatz.","marker":"[50]"},{"why":"Establishes the Hamiltonian long-wave reduction connecting the water wave problem to model equations including KP, grounding the asymptotic derivation.","marker":"[17]"},{"why":"Defines the function space E with the antiderivative ∂₁⁻¹ used in the spectral decomposition of the linearized operator.","marker":"[6]"},{"why":"Supplies the detailed Dirichlet–Neumann operator estimates and Calderón–Zygmund kernel bounds used in the remainder estimates.","marker":"[62]"}],"fun_headline_variants":["KP-I lumps become fully localized 3D water waves","3D capillary-gravity solitary waves from KP-I lumps","Lump solutions yield 3D traveling waves near critical speed","KP-I to water waves: localized solitary waves exist","3D water-wave lumps from KP-I: proof of existence"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The linearized operator around the lump is assumed to have a unique negative eigenvalue and a positive spectral gap that stays bounded away from zero uniformly as ε → 0; the paper cites this as inherited from the KP-I lump analysis, but the uniform-in-ε verification is sketched rather than proved.","fun_headline_variants_meta":{"raw":{"variants":["KP-I lumps become fully localized 3D water waves","3D capillary-gravity solitary waves from KP-I lumps","Lump solutions yield 3D traveling waves near critical speed","KP-I to water waves: localized solitary waves exist","3D water-wave lumps from KP-I: proof of existence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000185,"raw_usage":{"total_tokens":1126,"prompt_tokens":680,"completion_tokens":446,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":424,"completion_tokens_details":{"reasoning_tokens":378}},"tokens_in":424,"tokens_out":446,"duration_ms":5206,"temperature":1.0,"reasoning_tokens":378,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T04:28:18.441920+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the eigenvalues of the modified linearized operator L_ε, including its nonlocal Dirichlet–Neumann term, on the odd/even symmetry subspace for a sequence ε → 0. If the gap between the negative eigenvalue and zero, or between zero and the next positive eigenvalue, shrinks faster than the perturbation norms used in Proposition 4.1, the uniform a priori estimate fails and the contraction argument collapses.","supporting_citations":[{"cited_title":"Craig, U","cited_arxiv_id":null,"evidence_quote":"Provides the Dirichlet–Neumann operator expansion and singular integral operator estimates that Section 3 refines for the nonlinear analysis."},{"cited_title":"From KP-I lump solution to travelling waves of Gross-Pitaevskii equation","cited_arxiv_id":"2110.15472","evidence_quote":"Serves as the template for deriving a priori estimates and solving the linear and nonlinear problems around a lump solution."},{"cited_title":"Manakov, V.E","cited_arxiv_id":null,"evidence_quote":"Gives the explicit two-dimensional lump solutions of the KP equation, the explicit profiles used in the ansatz."},{"cited_title":"Craig, M.D","cited_arxiv_id":null,"evidence_quote":"Establishes the Hamiltonian long-wave reduction connecting the water wave problem to model equations including KP, grounding the asymptotic derivation."},{"cited_title":"de Bouard, J.C","cited_arxiv_id":null,"evidence_quote":"Defines the function space E with the antiderivative ∂₁⁻¹ used in the spectral decomposition of the linearized operator."},{"cited_title":"Schanz,On the evolution of gravity-capillary waves in three dimensions, ProQuest LLC, Ann Arbor, MI, 1996","cited_arxiv_id":null,"evidence_quote":"Supplies the detailed Dirichlet–Neumann operator estimates and Calderón–Zygmund kernel bounds used in the remainder estimates."}],"review_version":1}