{"id":"a19c043f-f16e-4f78-8129-12810a6a7997","arxiv_id":"2507.00436","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves existence of nontrivial bifurcating standing waves for the Bona-Smith water-wave model and gives a feasibility classification for abcd-systems.","lead":"This math paper studies a family of water-wave model equations and asks when a standard bifurcation technique can produce standing wave solutions. It classifies the whole family into feasible, infeasible, and uncertain cases, and proves an existence theorem for the Bona-Smith system.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.2 is false for parameters satisfying α q²=γβ²; an explicit parameter with unique Σ and β2≠0 makes the pseudo-inverse unbounded, undermining the Lyapunov-Schmidt reduction.","rationale":"The central claim is plausible, and the Lyapunov-Schmidt strategy mirrors Chen-Iooss. Credit is due for the explicit classification and for isolating a concrete bifurcation scenario. However, the reduction hinges on a uniform bound for the pseudo-inverse (Lemma 3.2). The reader correctly identifies a defect there. My investigation shows the defect is sharper: the exceptional case αq²=γβ² makes the bound fail outright, and the example above satisfies the theorem's standing hypotheses. Because adding a non-resonance condition would repair the statement, I do not move the verdict from CONDITIONAL; I make the condition concrete. I also note the sign inconsistencies between (4.11) and Lemma 4.1 are secondary but should be corrected in revision.","tokens_in":19441,"tokens_out":23107,"duration_ms":235645,"concrete_test":"Use α0=(2√3−3)/3, β0=2√(2α0), γ0=1/2, and verify three facts: (1) solving q(1+αp²)=βp√(1+γαp²) gives Σ={(1,1)}; (2) evaluating (4.10) gives β2≠0; (3) for q=2 the denominator Δ=4 for all p, so C(p,2)=αβp⁴/8+O(p³) violates (3.13). If (1) and (2) hold, this parameter lies in the hypotheses of Lemma 4.1 while Lemma 3.2 fails, settling that the reduction lacks a bounded inverse.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 3.2 is load-bearing for the whole reduction: it is the only step giving a uniform bound for the pseudo-inverse \\tilde{L}_0^{-1}, and without it the implicit-function argument in Section 4 has no bounded right-inverse. The lemma is not merely unproved; it is false under the theorem's hypotheses. The proof reduces C to a ratio with denominator q²(1+αp²)²−β²p²(1+γαp²) and passes to p→∞ assuming αq²−γβ²≠0. But if αq²=γβ² for an integer q, the p⁴ term cancels: Δ=q²+(2γ−1)αq²/γ·p², which is constant when γ=1/2. The numerator of C contains γαβp⁴, so C(p,q)∼p⁴ or p² and (3.13) fails. Such q is not automatically in Σ. Concrete example: α0=(2√3−3)/3, β0=2√(2α0), γ0=1/2. Then Σ={(1,1)} is unique and β2 in (4.10) is nonzero, but for q=2, Δ≡4 and C(p,2)=αβp⁴/8+O(p³), unbounded. The theorem's hypotheses do not exclude this parameter, so the claimed existence proof cannot be correct as written.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies standing-wave bifurcations for the class of Bona--Chen--Saut abcd-systems for water waves. It first proposes a feasibility classification of these systems for the Lyapunov--Schmidt method, according to whether the kernel of the linearized operator is finite-dimensional and whether the pseudo-inverse is uniformly bounded. The main part of the paper specializes to the Bona--Smith system, written after rescaling as (3.1), and considers parameter values (α0,β0,γ0) for which the set Σ in (3.11) has a unique element (p0,q0). The authors construct the linearized operator L0, its kernel spanned by ξ0, ξ̄0, ζ0, and a bounded right inverse ~L0^{-1}. They then apply an equivariant Lyapunov--Schmidt reduction, solve the projected equation by the implicit function theorem, and derive a bifurcation equation h(A,̄A,B,μ,ν)=AH(|A|²,B,μ,ν)=0. The leading-order amplitude relation is printed as (4.11), and Lemma 4.1 states the existence of a family of nontrivial bifurcating standing waves U=T_τU0 in H^{k,e}_{♮♮,0}×H^{k,o}_{♮♮}, k≥2, for μ,ν,B close to 0 with the right-hand side of (4.11) nonnegative and β2≠0. A numerical illustration is given in Section 5 for α0=5, β0=4, γ0=1/4.","tokens_in":19714,"tokens_out":11617,"duration_ms":114570,"significance":"If the main theorem were established, it would provide an explicit standing-wave bifurcation result for the Bona--Smith system, extending the Chen--Iooss treatment of the coupled BBM system. The use of an equivariant Lyapunov--Schmidt reduction is appropriate, and the explicit computation of the bifurcation equation and the leading-order amplitude relation is a useful contribution. The paper also correctly identifies the role of the mean value B of η as a distinguished parameter. However, the central linear estimate of Lemma 3.2 is not established and, as stated, is false, and the printed amplitude formula in Lemma 4.1 is inconsistent with the derivation in Eq. (4.11). Because the bounded pseudo-inverse is the bridge that justifies the implicit-function step, the existence proof as written collapses unless these issues are repaired. The paper does not provide machine-checked proofs or reproducible code; its value depends on the analytic arguments, which currently have load-bearing gaps.","major_comments":[{"comment":"The uniform bound (3.13)–(3.14) is not established and is, as stated, false. In the second case |q|<2β/√α, the proof reduces C to a sequence d_p whose limit is computed with denominator |αq²−γβ²|; the text excludes only q²=γβ²/α by saying that the limiting point (+∞,√(γβ²/α)) lies in Σ. But equality αq²=γβ² for an integer q does not force any finite pair (p,|q|) into Σ; it only cancels the degree-four part of Δ(p,q). For example, taking α0=(2√3−3)/3, β0=2√(2α0), γ0=1/2 gives a singleton Σ={(1,1)}, yet for q=2 one has Δ(p,2)=q²(1+αp²)²−β²p²(1+γαp²)≡4 and C(p,2) grows without bound as p→∞, so (3.13) fails. Since Proposition 3.1 and the boundedness of ~L0^{-1} used in §4 depend directly on Lemma 3.2, the Lyapunov--Schmidt reduction is not justified under the hypotheses of the paper.","section":"§3, Lemma 3.2"},{"comment":"The amplitude formula in the statement of Lemma 4.1 contradicts the formula derived in the text. Equation (4.11), together with h2 immediately above it, gives |A|² = β2^{-1}[(2p0q0√(1+γ0α0p0²)−γ0β0p0²)μ − (2+2γ0α0p0²)ν − β0(1+γ0α0p0²)B], up to the displayed order. Lemma 4.1 instead states |A|² = β2^{-1}[(2+2γ0α0p0²)μ − (2p0q0√(1+γ0α0p0²)−γ0β0p0²)ν + β0(1+γ0α0p0²)B]. Thus the coefficients of μ and ν are interchanged and the sign of the B term is reversed. The numerical example in §5 uses the signs of (4.11), so it does not illustrate the printed theorem. The statement of the main existence result must be corrected to agree with the bifurcation equation.","section":"§4, Lemma 4.1 and Eq. (4.11)"},{"comment":"The classification of abcd-systems into feasible, infeasible, and uncertain feasible cases is presented as a conclusion, but Section 2.1 verifies only three representative cases: a=0,b>0,c<0,d>0; a=c=d=0,b=1/3; and a<0,b>0,c<0,d>0. The remaining types listed in Section 2.2 are asserted without checking either the finite-kernel condition or the pseudo-inverse bound case by case. This does not directly affect the Bona-Smith theorem, but if the classification is one of the paper's claims, it needs a genuine systematic verification or should be explicitly labeled as a conjecture based on the three worked cases.","section":"§2.2"}],"minor_comments":[{"comment":"In the first case |q|≥2β/√α, the inequality p/((2β/√α)√(1+αp²)−βp) ≤ p/(2βp) is not valid, because the denominator is asymptotic to βp for large p, not 2βp; the constant should be adjusted (for example to 1/β).","section":"§3, Lemma 3.2 proof"},{"comment":"The closing sentence of Case III reads 'when a = 0, b >0, c <0, d >0', but the case under discussion has a<0; the condition should be a<0.","section":"§2.1, Case III"},{"comment":"The reference to 'Theorem 3.3' should be to Lemma 3.3, and in the same paragraph the orthogonality set is written as {ξ0, ζ0, ζ0}⊥ with ζ0 repeated; it should presumably be {ξ0, ξ̄0, ζ0}⊥.","section":"§4, paragraph before (4.3)"},{"comment":"There are several typographical errors that should be cleaned up, including 'whcih' in Section 1, 'Purude University' in the affiliation, and the garbled remainder term 'O{|A|(|µ| + |ν| + | + |A| + |B|)}' in Lemma 4.1, which has an extra vertical bar and an omitted term.","section":"§4, Lemma 4.1 and §1"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within scope for math.AP, and the overall Lyapunov--Schmidt strategy is reasonable. However, the false uniform bound in Lemma 3.2 is not a minor gap: it invalidates the construction of the bounded right inverse that supports the implicit-function argument in Section 4. The situation is fixable in principle, for instance by adding a generic non-resonance condition excluding αq²=γβ² or by proving the bound through a different argument, and by correcting the amplitude formula in Lemma 4.1. The Section 2.2 classification claim also needs either a proof or an explicit downgrade. I found no evidence of circular reasoning or inappropriate citation practice."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a serious attempt to extend Chen and Iooss's Lyapunov-Schmidt bifurcation program to the Bona-Smith abcd-system, and it contains a genuinely new existence claim (Lemma 4.1) plus a useful feasibility classification of abcd-systems. The reduction itself is standard but carefully executed, and the symmetry handling is clean. If the analytic part were sound, this would be a solid contribution.\n\nIt is not sound as written. Lemma 3.2, the uniform bound on the pseudo-inverse, is false under the theorem's hypotheses. The proof's limit argument excludes q² = γβ²/α by saying that would put (∞,q) in Σ, but that is not what Σ is; the cancellation of the p⁴ term in Δ happens at finite q. The stress-test counterexample is correct: take α0=(2√3−3)/3, β0=2√(2α0), γ0=1/2. Then q=2 satisfies α0 q² = γ0 β0², Δ(p,2) ≡ 4, and C(p,2) grows like p⁴, so the bound (3.13) fails. These parameters meet the uniqueness condition for Σ (Σ={(1,1)}) and β2≠0, so they are inside the theorem's domain. The Lyapunov-Schmidt reduction has no bounded right-inverse without this lemma, so the main existence theorem is not established.\n\nThere are also smaller issues. Lemma 4.1's amplitude formula contradicts (4.11) in the sign of the B term; one of them is wrong. Section 2.2 asserts the full three-way classification without case-by-case proofs; the three examples in Section 2.1 are not enough for the \"11 types\" claim.\n\nThe central idea is plausible and the program is worth pursuing, but as it stands the main result rests on a false lemma. This is not a fixable typo; it needs either a corrected Lemma 3.2 under additional hypotheses (e.g., excluding αq²=γβ² for integer q) or a different way to control the pseudo-inverse. The paper deserves a serious referee to work through these details, so I'd send it to review, but I would not accept it in anything close to its current form. Good for a reading group? Maybe—it's instructive to see the LS machinery applied, but be ready to flag the gap.","headline":"Plausible extension of Chen-Iooss to Bona-Smith, but the load-bearing uniform bound in Lemma 3.2 is false for parameters satisfying αq²=γβ², so the main existence theorem is not established.","tokens_in":20251,"tokens_out":5069,"would_cite":false,"duration_ms":48658,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35G25","35D30"],"pacs":[],"model":"deepseek-v4-flash","headline":"The Bona-Smith system admits nontrivial bifurcating standing waves when a single mode resonates.","keywords":["abcd-systems","standing waves","bifurcation","Lyapunov-Schmidt method","Bona-Smith system","water waves","small divisor problem","Boussinesq-type systems"],"falsifier":"Compute the quantities $C$ and $D$ in (3.13)-(3.14) over a large range of $(p,|q|)$ for a concrete parameter set such as $\\alpha_0=5$, $\\beta_0=4$, $\\gamma_0=\\frac14$; if any non-resonant pair violates the claimed uniform bound, the key estimate of Lemma 3.2 fails. A more targeted check is to verify the displayed inequality after (3.16), namely whether $q^2(1+\\alpha p^2)-\\beta^2 p^2\\ge 4\\beta^2/\\alpha+3\\beta^2 p^2$ actually follows from $|q|\\ge 2\\beta/\\sqrt{\\alpha}$ for all admissible $\\alpha,\\beta,\\gamma$.","tokens_in":19223,"feed_emoji":"🌊","tokens_out":7433,"duration_ms":68935,"temperature":0.7,"pith_summary":"This paper asks which of the four-parameter $abcd$-systems for long water waves admit nontrivial standing-wave solutions obtainable by the Lyapunov-Schmidt bifurcation method. It divides the well-posed systems into three families: feasible, infeasible (where small-divisor problems block the method), and uncertain feasible (where the method works only for special parameters). The main new existence result is for the Bona-Smith system, a two-way model with $a=0$, $b=d>0$, $c<0$: at parameters where the linearized resonance set has exactly one mode and a nondegeneracy condition holds, nontrivial doubly $2\\pi$-periodic standing waves bifurcate, with the wave profile and amplitude given explicitly.","feed_headline":"Standing waves proven for Bona-Smith water-wave system","feed_subtitle":"A Lyapunov-Schmidt argument yields doubly periodic bifurcating solutions near a unique resonating mode.","key_machinery":"The argument is carried by the linearized operator $L$ acting on pairs $(\\eta,u)$ with $\\eta$ even in $x$ and $u$ odd in $x$, whose Fourier symbol is $\\Delta(p,q)=q^2(1+\\alpha p^2)^2-\\beta^2 p^2(1+\\gamma\\alpha p^2)$. Nontrivial kernel modes occur exactly on the resonance set $\\Sigma(\\alpha,\\beta,\\gamma)$; the proof works when $\\Sigma$ has a single point $(p_0,q_0)$, so the kernel is spanned by $\\zeta_0=(1,0)$, $\\xi_0$, and $\\bar\\xi_0$. The Lyapunov-Schmidt reduction projects the nonlinear system onto this finite kernel, uses the implicit function theorem to solve the complementary equation, and reduces the two compatibility conditions to one complex scalar equation $h(A,\\bar A,B,\\mu,\\nu)=A H(|A|^2,B,\\mu,\\nu)=0$. Symmetry under $x$-reflection and time shifts forces this form, and solving $H=0$ gives the amplitude formula (4.11).","core_discovery":"On its own terms, the paper's central claim is an existence theorem. For the Bona-Smith system with parameters $(\\alpha,\\beta,\\gamma)$ near $(\\alpha_0,\\beta_0,\\gamma_0)$, assuming the resonance set $\\Sigma=\\{(p,q)\\in\\mathbb{N}^2: q(1+\\alpha p^2)-\\beta p\\sqrt{1+\\gamma\\alpha p^2}=0\\}$ has exactly one element $(p_0,q_0)$ and the coefficient $\\beta_2$ in (4.10) is nonzero, there is a family of nontrivial standing waves $U=T_\\tau U_0$ in $H^{k,e}_{\\#\\#,0}\\times H^{k,o}_{\\#\\#}$, $k\\ge 2$, for $\\mu,\\nu,B$ close to $0$ with the right side of (4.11) nonnegative. The leading free surface is $\\eta_0(x,t)=2|A|\\cos(q_0 t)\\cos(p_0 x)+B+O(|A|(|\\mu|+|\\nu|+|A|+|B|))$, with $|A|^2$ given by (4.11). The bifurcation set is a discrete union of Whitney umbrellas in the space of wave length, time period, and mean wave amplitude.","pith_inferences":["Editorial extension: the same reduction should apply to the other two feasible families ($a<0,b>0,c=0,d>0$ and $a=0,b>0,c=0,d>0$), with the same three-parameter bifurcation picture, once the analogous kernel-uniqueness and $\\beta_2\\ne 0$ conditions hold.","Editorial extension: for the eleven uncertain feasible systems, the paper's criterion suggests a practical check: locate parameter sets where $\\Sigma(\\alpha,\\beta,\\gamma)$ is finite and unique; each such set should admit the same local standing-wave bifurcation despite the generic small-divisor obstruction.","Editorial extension: because $B$ is the spatial mean of $\\eta$, the result implies standing waves persist with a nonzero mean level, a prediction that numerical time-stepping of the Bona-Smith equations could test directly.","Editorial extension: when $\\Sigma$ contains more than one element, one expects modal-interaction branches; the single-kernel theorem here is the building block for analyzing such near-resonant cases."],"forward_implications":["For the Bona-Smith system, at each isolated parameter triple where a single spatial-temporal mode resonates, a branch of nontrivial standing waves with leading profile $2|A|\\cos(q_0 t)\\cos(p_0 x)$ exists when the coefficient $\\beta_2$ is nonzero.","The amplitude is determined by the balance $|A|^2 = \\frac{1}{\\beta_2}\\{(2+2\\gamma_0\\alpha_0p_0^2)\\mu - (2p_0q_0\\sqrt{1+\\gamma_0\\alpha_0p_0^2}-\\gamma_0\\beta_0 p_0^2)\\nu + \\beta_0(1+\\gamma_0\\alpha_0p_0^2)B\\}$, so the branch structure locally is a Whitney umbrella in parameter space.","The feasibility classification tells which $abcd$-systems can be attacked by Lyapunov-Schmidt for standing waves: three feasible families, two infeasible families blocked by small divisors, and eleven uncertain families that depend on parameter restrictions.","The theory gives a concrete numerical prediction: for $\\alpha_0=5$, $\\beta_0=4$, $\\gamma_0=\\frac14$, the unique resonant mode is $(p_0,q_0)=(1,1)$ and the computed amplitude is $|A|\\approx 0.572$."],"supporting_citations":[{"why":"Supplies the derivation of the $abcd$-systems and the linear well-posedness conditions (C1)-(C3) used to restrict the scope.","marker":"[1]"},{"why":"Provides the nonlinear well-posedness theory for systems satisfying (C1) and (C2), which justifies working in the chosen Sobolev spaces.","marker":"[2]"},{"why":"Introduces the Bona-Smith model whose critical case is the target system for the bifurcation theorem.","marker":"[3]"},{"why":"Started the Lyapunov-Schmidt program for standing waves on the coupled BBM system and supplies the methodological blueprint this paper extends.","marker":"[6]"},{"why":"Provides the general Lyapunov-Schmidt and center-manifold machinery used for the bifurcation reduction and normal-form analysis.","marker":"[8]"},{"why":"Shows the small-divisor problem for finite-depth full water-wave standing waves, which the present systems are chosen to avoid.","marker":"[10]"},{"why":"Shows the infinite-dimensional kernel difficulty for infinite-depth standing waves, another obstruction the present setting is designed to sidestep.","marker":"[16]"}],"fun_headline_variants":["Standing waves proven for Bona-Smith system","Bona-Smith water waves get standing wave proof","Existence of standing waves in Bona-Smith model","New bifurcating standing waves for Bona-Smith system"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument needs a single constant that bounds how strongly the linearized equations amplify each non-resonant Fourier mode, for every mode except the one resonant pair; the proof's derivation of that bound contains an incorrect inequality, so this premise is not fully established.","fun_headline_variants_meta":{"raw":{"variants":["Standing waves proven for Bona-Smith system","Bona-Smith water waves get standing wave proof","Existence of standing waves in Bona-Smith model","New bifurcating standing waves for Bona-Smith system"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000695,"raw_usage":{"total_tokens":3123,"prompt_tokens":908,"completion_tokens":2215,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":524,"completion_tokens_details":{"reasoning_tokens":2153}},"tokens_in":524,"tokens_out":2215,"duration_ms":15829,"temperature":1.0,"reasoning_tokens":2153,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T21:15:59.558532+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the quantities $C$ and $D$ in (3.13)-(3.14) over a large range of $(p,|q|)$ for a concrete parameter set such as $\\alpha_0=5$, $\\beta_0=4$, $\\gamma_0=\\frac14$; if any non-resonant pair violates the claimed uniform bound, the key estimate of Lemma 3.2 fails. A more targeted check is to verify the displayed inequality after (3.16), namely whether $q^2(1+\\alpha p^2)-\\beta^2 p^2\\ge 4\\beta^2/\\alpha+3\\beta^2 p^2$ actually follows from $|q|\\ge 2\\beta/\\sqrt{\\alpha}$ for all admissible $\\alpha,\\beta,\\gamma$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the derivation of the $abcd$-systems and the linear well-posedness conditions (C1)-(C3) used to restrict the scope."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the nonlinear well-posedness theory for systems satisfying (C1) and (C2), which justifies working in the chosen Sobolev spaces."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the Bona-Smith model whose critical case is the target system for the bifurcation theorem."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Started the Lyapunov-Schmidt program for standing waves on the coupled BBM system and supplies the methodological blueprint this paper extends."},{"cited_title":"Haragus, G","cited_arxiv_id":null,"evidence_quote":"Provides the general Lyapunov-Schmidt and center-manifold machinery used for the bifurcation reduction and normal-form analysis."},{"cited_title":"Iooss, P.I","cited_arxiv_id":null,"evidence_quote":"Shows the small-divisor problem for finite-depth full water-wave standing waves, which the present systems are chosen to avoid."},{"cited_title":"Plotnikov, J.F","cited_arxiv_id":null,"evidence_quote":"Shows the infinite-dimensional kernel difficulty for infinite-depth standing waves, another obstruction the present setting is designed to sidestep."}],"review_version":1}