{"id":"449ad0d9-c59c-44dc-8671-bee852f1c8ea","arxiv_id":"1908.07508","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"On the torus, the fifth-order KdV-BBM model is locally and globally well-posed in H^s for s>=1, and fails to be well-posed with norm inflation for s<1.","lead":"This paper studies a fifth-order KdV-BBM water-wave equation on a periodic domain, proving well-posedness for smoothness level s at least 1, and ill-posedness plus norm inflation below s=1. It extends earlier real-line results to the periodic setting, where resonances and multilinear estimates are different.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Norm-inflation time scale T_j = k1^{-θσ} makes the claimed dominant term tend to zero, so the proof of Theorem 1.4 collapses.","rationale":"I independently rechecked the norm-inflation argument, focusing on equations (5.35), (5.38), and (5.41). The reader's identification of the time-scale incompatibility is exactly right: the proof requires θ>3 for the remainder estimate, but that same inequality makes the second Picard iterate tend to zero at the proposed inflation times. The norm-inflation theorem is a headline contribution of the paper, so its failure means the central claim package is not supported as written. I did not find a comparable defect in the local well-posedness proof; the ill-posedness argument also appears plausible. The concern is not a matter of disagreement with a consensus but a concrete internal inconsistency in the proof. Since the reader already recommended REJECT and my stress-test confirms the main reason for that verdict, I recommend no change to the reader's verdict.","tokens_in":22410,"tokens_out":6092,"duration_ms":58776,"concrete_test":"Substitute T_j = k1^{-θσ} into (5.35) and evaluate ∥η1(T_j)∥_{H^s} ∼ k1^{(2−θ)σ}; for the published θ>3 this tends to 0, contradicting the growth required by Theorem 1.4. Then recompute the bootstrap estimate (5.39) with θ in (2,3) and verify that α ≳ k1^{(3−θ)σ}→∞, so the remainder is no longer controlled. This one comparison settles whether any choice of θ can simultaneously make η1 large and ζ bounded.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In §5 the proof obtains (5.35): ∥η1(·,t)∥_{H^s} ∼ k1^{2σ}t. The inflation sequence is then chosen as T_j = k1^{-θσ} with θ>3. Substitution gives ∥η1(T_j)∥_{H^s} ∼ k1^{(2-θ)σ}, which tends to 0 as k1→∞ because (2−θ)σ<0. Thus at exactly the times claimed in Theorem 1.4 the second Picard iterate—the term responsible for growth—is small, and since the linear term S(t)η0 has H^s norm ∼k1^{σ−1+s}→0 and the remainder ζ is bounded (with the chosen θ it is actually O(k1^{(3−θ)σ})→0), the solution norm cannot exceed a constant, let alone grow to j. The authors' sentence that the norm 'can be made as big as we wish by choosing k1 large' is only valid for fixed t, not for t=T_j. Lowering θ to (2,3) would make the η1-term grow, but then the remainder bootstrap (5.38)–(5.41) fails: the α-term becomes k1^{(3−θ)σ}→∞. The two required estimates are incompatible, so the norm-inflation theorem is not proven as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the periodic initial-value problem for a fifth-order KdV-BBM water-wave model (1.1). It claims local well-posedness in H^s(T) for s >= 1 via multilinear estimates and a contraction argument (Theorem 1.1); global well-posedness for gamma = 7/48 and s >= 1 using a conserved H^2 energy and a low-high splitting argument (Theorems 1.2, 3.1, 3.3); ill-posedness for s < 1 by discontinuity of the flow map (Theorem 1.3); and norm inflation in H^s(T) for s < 1 (Theorem 1.4). The abstract frames these results as a sharp regularity threshold for the periodic model, in parallel with the real-line results in [4] and [12].","tokens_in":22655,"tokens_out":8063,"duration_ms":80800,"significance":"If all four theorems were established, the paper would provide a complete periodic analogue of the sharp well-posedness theory for this higher-order water-wave model, and the norm-inflation result would substantially strengthen the ill-posedness statement. The local well-posedness proof rests on clean multilinear estimates, and the ill-posedness argument is a concrete Picard-iterate discontinuity; these parts are convincing and are a real contribution. However, the global well-posedness argument for s >= 2 and the norm-inflation proof contain load-bearing gaps, and the norm-inflation argument as written contains an internal contradiction. Because Theorems 1.2 and 1.4 are central claims of the paper, the manuscript is not acceptable in its present form.","major_comments":[{"comment":"The norm-inflation proof has a fatal time-scale inconsistency. The choice T_j = k1^{-theta sigma} with theta > 3 is substituted only into the remainder bound (5.41), but not into the dominant term (5.35). Substituting t = T_j into (5.35) gives ||eta1(.,T_j)||_{H^s} ~ k1^{(2-theta)sigma}, which tends to 0 as k1 -> infinity because (2 - theta)sigma < 0. The linear term has size O(k1^{sigma-1+s}) and also tends to 0, and (5.41) gives ||zeta|| = O(k1^{(3-theta)sigma}) -> 0. Thus at the asserted times T_j the solution norm cannot grow, let alone exceed j. The sentence after (5.35) that the norm 'can be made as big as we wish by choosing k1 large' is only valid for fixed t, not for t = T_j. Moreover, the two requirements are incompatible: choosing theta < 2 would make the eta1-term grow at T_j, but then the alpha-term in (5.38) becomes k1^{(3-theta)sigma} -> infinity and the remainder bootstrap (5.39)-(5.42) fails. Hence Theorem 1.4 is not proven as written.","section":"Section 5, Eqs. (5.35), (5.38)-(5.41)"},{"comment":"The extension from local to global well-posedness for 1 <= s < 2 is not completed. Lemma 3.1 estimates one step of the splitting, but the induction argument for continuing the process is delegated to the real-line paper with the phrase 'as in the real line case (see [12])'. In particular, the new low-frequency object u1 = u(t0) + h(t0) in (3.27) is not shown to satisfy the frequency localization or the growth bounds required for the next splitting step. The asserted bound (3.21) in Theorem 3.3 is stated but never derived; the proof ends with (3.32) and the sentence 'this completes the proof'. Since Theorem 1.2 depends on this iteration, the global claim for the range 1 <= s < 2 is unsupported.","section":"Section 3.2, Theorem 3.3 and Lemma 3.1"},{"comment":"The proof of global well-posedness for s > 2 is only described as 'a standard argument' using the conserved H^2 energy. For s = 2 the conserved energy controls the H^2 norm, but for s > 2 the local existence time in (2.26) depends on ||eta0||_{H^s}, and no H^s a priori estimate or higher-energy argument is provided. Since Theorem 1.2 claims global well-posedness for all s >= 1, this missing estimate is a load-bearing gap, not a routine detail.","section":"Section 3.1, Theorem 3.1"},{"comment":"The proof of Theorem 1.4 assumes delta3 = 1 - delta2/delta1 > 0 after the change of variables, but this condition is not stated in the introduction, in the parameter conditions after (1.3), or in Theorem 1.4. If it is an additional hypothesis on the coefficients, it must be made explicit; if it is always satisfied by the abcd-system parameters, that needs proof.","section":"Section 5, Eq. (5.1)"}],"minor_comments":[{"comment":"The sentence 'inserting (4.6) in (5.6)' should refer to (4.5), since (5.6) is defined later and in a different section.","section":"Section 4, after Eq. (4.6)"},{"comment":"There are several typographical errors, including 'solucion' in Theorem 1.1, 'Similarty' in the paragraph after (2.3), and 'inducted by' in the proof of Theorem 1.3; these should be corrected.","section":"Throughout"},{"comment":"Theorem 1.4 is stated for the homogeneous space dot H^s(T), but the proof estimates the H^s(T) norm. For the mean-zero initial data constructed in (5.11)-(5.12) the two norms coincide, but this equivalence should be mentioned explicitly.","section":"Theorem 1.4 and Section 5"},{"comment":"The remainder estimate (5.36) is written with powers of ||eta1|| and ||S(t)eta0|| that are not derived from (2.15)-(2.20); for example, the cubic and mixed terms in the displayed inequality appear to be overcounted. The subsequent bootstrap may still be valid, but the displayed estimate needs justification or correction.","section":"Section 5, Eq. (5.36)"}],"recommendation":"reject","confidential_remarks":"The local well-posedness and ill-posedness portions of the paper appear sound and could form the basis of a publishable contribution after substantial revision. However, the norm-inflation theorem is not proven as written, and the global extension from s = 2 to s >= 1 is incomplete in essential places. These are central claims, so I cannot recommend acceptance or minor revision. I would encourage the authors to repair the norm-inflation construction and to write out the missing global induction in a resubmission."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read on the Carvajal–Panthee–Pastran paper. The periodic local well-posedness (s≥1) and the ill-posedness below s=1 look like solid work, and those parts deserve credit. But the norm-inflation theorem, which is the headline contribution, is not proven: the chosen time scale kills the very term that is supposed to inflate the norm, and no alternative scaling repairs the remainder bootstrap. The global well-posedness also has a gap for s>2 and an unstated parameter restriction.\n\nWhat's actually new: the periodic setting for fifth-order KdV-BBM, with discrete multilinear estimates and a resonance analysis for ill-posedness. The estimates in §2 are clean, and the ill-posedness construction based on the second Picard iterate is convincing—it transfers the real-line idea to the circle with the right frequency blocks. The norm-inflation technique is also new for this model, but that's where it falls apart.\n\nThe specific problem: in §5, (5.35) gives ||η1(t)|| ~ k1^{2σ} t. The authors then choose T_j = k1^{-θσ} with θ>3. Substituting gives ||η1(T_j)|| ~ k1^{(2-θ)σ} → 0. The linear term tends to 0 too, and the remainder is bounded by 2C k1^{(3-θ)σ} → 0. So at the claimed times the solution norm is actually small. If you try θ<2 to make η1 grow, the remainder bound (5.41) fails because α ~ k1^{(3-θ)σ} blows up. There is no θ interval that makes both work. This isn't a minor typo; it's the central estimate of Theorem 1.4.\n\nOther issues: Theorem 3.1 claims global well-posedness for s≥2 using only the H^2 conserved quantity. That doesn't control H^s for s>2, and no higher-energy estimate is supplied. The splitting argument for 1≤s<2 is sketched with a reference to the real-line case, but the key bound (3.21) is asserted rather than proved; the proof of Lemma 3.1 has a suspicious line where the δ≥s range is used and then δ=1 is taken. Also, the norm-inflation section introduces δ3 = 1 - δ2/δ1 > 0, but the paper's parameter constraints don't guarantee this; so Theorem 1.4 only could hold for a restricted parameter set, unstated in the theorem.\n\nBottom line: the local and ill-posedness results look salvageable and probably correct. The norm-inflation theorem as stated is unsupported, and the global theorem has gaps. The paper deserves a serious referee because the local/ill-posedness part is genuine, but it needs substantial revision before it's publishable. I'd send it back with clear requests: fix the norm-inflation time scale or recast the claim, prove the s>2 global step, and state the δ3>0 assumption.","headline":"Solid periodic local well-posedness and ill-posedness results, but the norm-inflation proof collapses: the chosen time scale makes the supposedly dominant term vanish, so Theorem 1.4 is unproven.","tokens_in":23225,"tokens_out":3939,"would_cite":false,"duration_ms":36922,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35A01","35Q53"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims the periodic fifth-order KdV-BBM water-wave model is locally well-posed in $H^s(\\mathbb{T})$ for $s\\ge 1$, globally well-posed when $\\gamma=7/48$, and that below $s=1$ the solution map is discontinuous and exhibits norm…","keywords":["KdV equation","BBM equation","Initial value problem","Local well-posedness","Global well-posedness","Ill-posedness","Norm-inflation","Periodic domain"],"falsifier":"Directly compute, for the trigonometric data in Theorem 1.4, the $H^s$-norm of the second Picard iterate at time $T_j = k_1^{-\\theta \\sigma}$; equation (5.35) gives $\\|\\eta_1(T_j)\\|_{H^s} \\sim k_1^{(2-\\theta)\\sigma}$, which tends to zero when $\\theta>3$, so a direct evaluation would settle whether the claimed growth occurs. For the global result, verifying whether the missing bound (3.21) holds on the torus would settle the splitting argument.","tokens_in":22157,"feed_emoji":"🌊","tokens_out":8903,"duration_ms":79599,"temperature":0.7,"pith_summary":"This paper studies the periodic initial-value problem for a fifth-order KdV-BBM water-wave model, a unidirectional water-wave equation with linear dispersion up to five derivatives and quadratic and cubic nonlinearities. It claims that the problem is locally well-posed in the Sobolev space $H^s(\\mathbb{T})$ for every $s\\ge 1$, with the solution depending analytically on the data. For the special coefficient choice $\\gamma=7/48$, the paper claims the solution extends globally in time for all $s\\ge 1$. It further claims the threshold $s=1$ is sharp: for $s<1$ the data-to-solution map is discontinuous at the origin, and there are smooth data arbitrarily small in $H^s$ whose solutions develop arbitrarily large $H^s$ norm in arbitrarily short time. If true, this pins down the exact regularity needed to run a contraction-mapping theory on the torus.","feed_headline":"Periodic water-wave model is well-posed exactly above H^1","feed_subtitle":"Local well-posedness holds for Sobolev data with s≥1; below that the flow map breaks and norms inflate.","key_machinery":"The argument is carried by frequency-localized multilinear estimates for the Fourier multiplier operators derived from the linear phase. The central estimate, Proposition 2.1, says that $\\|\\omega(\\partial_x)(uv)\\|_{H^s} \\lesssim \\|u\\|_{H^s}\\|v\\|_{H^s}$ for $s \\ge 0$, where $\\omega(\\partial_x)$ has symbol $|k|/(1+k^2)$; this is exactly the regularizing factor that lets the quadratic and cubic terms be controlled in $H^s$. The ill-posedness and norm-inflation parts use the second Picard iterate $I_2$ on initial data concentrated near frequency $\\pm N$, and the norm-inflation construction uses trigonometric data $\\sin(k_1 x) + \\sin(k_2 x)$ with $k_2 = k_1 + 1$ after a change of variables that removes the fifth-order linear term.","core_discovery":"On the periodic domain $\\mathbb{T}$, the initial-value problem $\\eta_t + \\eta_x - \\gamma_1 \\eta_{xxt} + \\gamma_2 \\eta_{xxx} + \\delta_1 \\eta_{xxxxt} + \\delta_2 \\eta_{xxxxx} + \\tfrac{3}{2} \\eta \\eta_x + \\gamma (\\eta^2)_{xxx} - \\tfrac{7}{48}(\\eta_x^2)_x - \\tfrac{1}{8}(\\eta^3)_x = 0$, $\\eta(x,0)=\\eta_0(x)$, is locally well-posed for $\\eta_0 \\in H^s(\\mathbb{T})$, $s\\ge 1$, by a contraction mapping built on multilinear estimates for the Fourier multipliers coming from the linear symbol. When $\\gamma = \\tfrac{7}{48}$, the energy $E(\\eta) = \\frac{1}{2}\\int (\\eta^2 + \\gamma_1 \\eta_x^2 + \\delta_1 \\eta_{xx}^2 )\\, dx$ is conserved, and a low-frequency/high-frequency splitting extends the local solution to arbitrary time intervals for all $s\\ge 1$. The regularity threshold is sharp: for $s<1$ the flow map $\\eta_0 \\mapsto \\eta(t)$ is discontinuous at the origin from $H^s(\\mathbb{T})$ to periodic distributions, and a sequence of smooth data converging to zero in $H^s(\\mathbb{T})$ produces solutions whose $H^s(\\mathbb{T})$-norm exceeds any prescribed bound at times tending to zero.","pith_inferences":["The same frequency-localized failure of the second iterate is likely to produce ill-posedness for other fifth-order dispersive equations with BBM-type regularizing denominators, since only the shape of the multiplier symbol matters.","Because the $H^s$ norm is invariant under the translation change of variables used in Section 5, the norm-inflation statement for the transformed equation transfers verbatim to the original equation, which the paper itself exploits.","A testable extension would be to replace the two-frequency initial data $\\sin(k_1x)+\\sin(k_2x)$ by a single frequency $\\sin(k_1x)$; if the resonance terms still dominate, the construction would simplify.","If the global splitting argument is sound, the growth bound $\\|\\eta(t)-S(t)\\eta_0\\|_{H^2} \\lesssim (1+T)^{2-s}$ implies that the high-frequency part of the solution remains essentially linear in $H^2$, a property that could be checked numerically for the periodic model."],"forward_implications":["If Theorem 1.1 is correct, the periodic fifth-order KdV-BBM equation is locally well-posed exactly in $H^s(\\mathbb{T})$ for $s \\ge 1$, with real-analytic dependence of solutions on data.","If Theorem 1.2 is correct, the special coefficient value $\\gamma=7/48$ gives global solutions for all $s \\ge 1$ on the torus, matching the real-line result.","If Theorem 1.3 is correct, any well-posedness theory for $s<1$ must abandon continuity of the data-to-solution map at the origin.","If Theorem 1.4 is correct, smooth data with arbitrarily small $H^s$ norm, $s<1$, can develop arbitrarily large $H^s$ norm in arbitrarily short time."],"supporting_citations":[{"why":"introduces the fifth-order KdV-BBM water-wave model and proves the real-line well-posedness results that the periodic paper extends.","marker":"[4]"},{"why":"supplies the sharp bilinear estimate for the BBM equation that underlies the multilinear estimates in Propositions 2.1-2.4.","marker":"[6]"},{"why":"proves global well-posedness for s≥1 and ill-posedness for s<1 on the real line, the pattern adapted to the torus.","marker":"[12]"},{"why":"provides the norm-inflation construction for the BBM equation that the periodic norm-inflation proof adapts.","marker":"[5]"},{"why":"introduces the flow-map discontinuity notion used for the periodic ill-posedness theorem.","marker":"[11]"},{"why":"supplies the change of variables that removes the fifth-order linear term in the norm-inflation section.","marker":"[3]"}],"fun_headline_variants":["Sharp H^1 threshold for periodic water wave model","Norm inflation below H^1 in higher-order water waves","Global well-posedness on torus for water wave model","Well-posedness exactly at H^1: flow map breaks below","Periodic water waves: local to global, sharp regularity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proofs rely on the assumption that a single short time scale $T_j = k_1^{-\\theta \\sigma}$ (with $\\theta>3$) can make the second Picard iterate dominate in $H^s$ while the remainder stays bounded, and, for the global result, that the real-line iteration estimates from the earlier work transfer to the periodic setting.","fun_headline_variants_meta":{"raw":{"variants":["Sharp H^1 threshold for periodic water wave model","Norm inflation below H^1 in higher-order water waves","Global well-posedness on torus for water wave model","Well-posedness exactly at H^1: flow map breaks below","Periodic water waves: local to global, sharp regularity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000807,"raw_usage":{"total_tokens":3630,"prompt_tokens":1120,"completion_tokens":2510,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":736,"completion_tokens_details":{"reasoning_tokens":2426}},"tokens_in":736,"tokens_out":2510,"duration_ms":17014,"temperature":1.0,"reasoning_tokens":2426,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:17:21.974808+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Directly compute, for the trigonometric data in Theorem 1.4, the $H^s$-norm of the second Picard iterate at time $T_j = k_1^{-\\theta \\sigma}$; equation (5.35) gives $\\|\\eta_1(T_j)\\|_{H^s} \\sim k_1^{(2-\\theta)\\sigma}$, which tends to zero when $\\theta>3$, so a direct evaluation would settle whether the claimed growth occurs. For the global result, verifying whether the missing bound (3.21) holds on the torus would settle the splitting argument.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"introduces the fifth-order KdV-BBM water-wave model and proves the real-line well-posedness results that the periodic paper extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the sharp bilinear estimate for the BBM equation that underlies the multilinear estimates in Propositions 2.1-2.4."},{"cited_title":"Carvajal, M","cited_arxiv_id":null,"evidence_quote":"proves global well-posedness for s≥1 and ill-posedness for s<1 on the real line, the pattern adapted to the torus."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the norm-inflation construction for the BBM equation that the periodic norm-inflation proof adapts."},{"cited_title":"Bourgain; Refinements of Strichartz inequality and applications to 2D -NLS with critical nonlinearity, IMRN 5 (1998) 253–283","cited_arxiv_id":null,"evidence_quote":"introduces the flow-map discontinuity notion used for the periodic ill-posedness theorem."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the change of variables that removes the fifth-order linear term in the norm-inflation section."}],"review_version":1}