{"id":"3323352a-21a5-4acb-8d90-3b2e6ff9111a","arxiv_id":"2412.00558","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Gradient blow-up solutions of the Camassa-Holm and Hunter-Saxton equations form C^{3/5} cusps at the first singularity, with sharp Hölder exponent and blow-up rates.","lead":"This paper proves that generic gradient blow-up in the Camassa-Holm equation produces a cusp with Hölder regularity 3/5, not the 1/3 cusp seen in Burgers-type equations. It constructs self-similar blow-up profiles and uses modulation and bootstrap estimates to establish the sharp regularity and the exact blow-up rates.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Bootstrap closure rests on two maximum principles (Lemmas 6.5 and 6.6) whose proofs are only cited to the overlapping preprint [2]; if those lemmas are invalid or misapplied, the global pointwise estimates and the C^{3/5} conclusion fail.","rationale":"The reader identified the imported maximum principles as the weakest assumption, and my read agrees: the paper's own text, in Appendix 6.3, refers the proofs of Lemmas 6.5 and 6.6 to an overlapping-author preprint [2], and Section 4 repeatedly invokes these lemmas for the weighted, nonlocal, transport-type estimates that close the bootstrap. Since the bootstrap closure is the mechanism that produces the global pointwise bounds (3.35a)-(3.35f), the C^{3/5} regularity statement in Theorem 1.1 depends on the correctness and correct application of those two lemmas. I found no internal inconsistency in the rest of the proof: the self-similar profile construction in Section 2 is self-contained, the modulation system is plausible, and the algebra leading to the 3/5 exponent is coherent. The abstract's 'open set' phrase is imprecise relative to the exact jet conditions in (1.8), but that is a presentation issue, not a correctness risk. The numerical verification of (2.24) for m0 = 93 is supportive but not a proof; the paper wisely uses the rigorous m0 = 2 · 10^6 bound. The single load-bearing concern is therefore the unproved external maximum principles, and the proposed check is to verify those lemmas and their hypotheses in each application. Because the reader already made this the basis for a CONDITIONAL verdict, my stress-test does not move the verdict; it confirms that the conditionality is warranted.","tokens_in":46690,"tokens_out":7113,"duration_ms":66116,"concrete_test":"Obtain the full proofs of Lemmas 6.5 and 6.6 from arXiv:2405.02557 (or re-derive them independently) and then verify, for each application in Section 4, that every hypothesis is satisfied with the constants used in that application. In particular, for Lemma 4.8 confirm that the kernel comparison (4.41) holds for all s in [s0, σ1] using the profile inequality (2.24) with m0 = 2 · 10^6 and λ = 1.0001, and check that condition (6.14) in Theorem 6.5 is verified in Lemmas 4.2 and 4.3 with the stated δ and F0. If any single application misses a hypothesis, the bootstrap closure fails; if all applications check out, the external dependency is benign.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central proof of Theorem 1.1 is the bootstrap argument in Section 4, and every bootstrap lemma that produces a global pointwise estimate calls on one of the two imported maximum principles: Lemma 4.2 uses Theorem 6.5, Lemma 4.3 uses Theorem 6.5 and Lemma 6.6, Lemma 4.5 uses Theorem 6.5 and Lemma 6.6, Lemma 4.7 uses Lemma 6.6, and Lemma 4.8 uses the same mechanism, together with the kernel comparison (4.41) that is only valid if the profile inequality (2.24) holds. The statements of Lemmas 6.5 and 6.6 are reproduced in Appendix 6.3, but their proofs are not; the paper explicitly says 'For the proof, we refer to ... of [2]' for both lemmas, where [2] is an overlapping-author preprint (arXiv:2405.02557) that is not published. These are not generic off-the-shelf results: they are weighted, nonlocal maximum principles with delicate hypotheses such as condition (6.14) (d0 λ_D > F0/(2(1 - δ))) and the limsup decay conditions (6.16). The paper does not supply enough detail to check from the text alone, for instance, that in Lemma 4.8 the kernel K^ν satisfies the comparison (4.41) uniformly in s, or that the constants in Lemmas 4.2 and 4.3 satisfy (6.14) with the same δ used in the kernel bounds. If either imported lemma has a hidden hypothesis failure, or if its proof in [2] does not cover the exact unbounded-domain, weighted setting used here, then estimates (3.35a)-(3.35f) cannot be closed and the sharp C^{3/5} regularity result loses its foundation. This is a self-identified gap: the appendix outsources exactly the decisive inequalities on which the bootstrap closure depends.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Camassa-Holm (CH) equation and proves that, for a class of smooth initial data with a large negative slope at one point, the solution loses C^1 regularity at a finite time T* by forming a C^{3/5} cusp: the solution remains bounded, its C^{3/5} Hölder seminorm stays bounded uniformly in time on bounded open sets, while for any α>3/5 the α-Hölder seminorm diverges at the rate (T*−t)^{-(5α−3)/2}. The proof constructs a one-parameter family of self-similar blow-up profiles U_β for the Hunter–Saxton (HS) equation, which the authors identify as the leading-order correction to the CH equation in the blow-up regime. A modulation/bootstrap argument in self-similar variables yields global pointwise estimates (3.35a)–(3.35f) on the rescaled solution, from which the sharp regularity statement follows. A parallel theorem is stated and outlined for the HS equation. The appendix contains several profile inequalities, one of which (2.24) is verified both by an analytic asymptotic argument and by numerical computation.","tokens_in":47081,"tokens_out":7356,"duration_ms":164955,"significance":"If the proof is correct, this is a substantial advance: it is the first proof of a sharp Hölder exponent for generic pre-shocks of the CH equation, identifying C^{3/5} rather than the C^{1/3} of Burgers shocks, and it provides detailed spatial and temporal blow-up dynamics. The construction of the self-similar profiles and the asymptotic analysis of the profile ODE in Proposition 2.1 are elegant and self-contained, and the exponent 3/5 is derived from the ODE asymptotics rather than fitted. The paper also gives a clean corollary for the Hunter–Saxton equation. The main limitation is the dependence of the bootstrap on two maximum principles (Lemmas 6.5 and 6.6) whose proofs are only cited to an unpublished overlapping-author preprint [2]; as a result the paper is not fully self-contained for a load-bearing part of the argument. The numerical verification of (2.24) is useful but is not a substitute for a rigorous proof of that inequality.","major_comments":[{"comment":"Lemmas 6.5 and 6.6 are stated in the appendix, but their proofs are not included; the text refers to the unpublished preprint [2] (arXiv:2405.02557) by two of the same authors. These lemmas are used in every bootstrap closure step: Lemma 4.2 uses Theorem 6.5, Lemma 4.3 uses Theorem 6.5 and Lemma 6.6, Lemma 4.5 uses Theorem 6.5 and Lemma 6.6, Lemma 4.7 uses Lemma 6.6, and Lemma 4.8 uses Theorem 6.5 and Lemma 6.6 via the kernel bound (4.41). Consequently, the global pointwise estimates (3.35a)–(3.35f), on which Theorem 1.1 rests, cannot be verified from the present manuscript alone. The authors should either include complete proofs of Lemmas 6.5 and 6.6 in the paper (adapting them to the exact unbounded-domain, weighted setting used here) or point to a published version of [2] that contains those proofs.","section":"Section 6.3; Lemmas 6.5 and 6.6"},{"comment":"In each application of Theorem 6.5, the hypothesis (6.14), namely d0 λ_D > F0/(2(1−δ)), must be verified with the specific constants d0, F0, λ_D, and δ appearing in that lemma. The manuscript only asserts this for Lemma 4.2 (\"We remark that the condition (6.14) in Theorem 6.5 holds for sufficiently small ε >0\") and does not verify it for Lemmas 4.3, 4.5, and 4.8. Since (6.14) is a strict inequality involving constants that depend on M, l, and ε, an explicit check is needed; otherwise the use of the maximum principle is not fully justified.","section":"Lemmas 4.2, 4.3, 4.5, and 4.8"},{"comment":"The proof of the key profile inequality (2.24) with m0=2·10^6 and λ=1.0001 is not complete. The text states that g'(X) ≤ 0, g(k) < 0, and h(X) ≤ 0 for X in the relevant intervals are \"straightforward\" polynomial checks, but the actual algebra is not displayed. Since Lemma 4.8 uses (2.24) via (4.44) to establish the kernel comparison (4.41), which closes the bootstrap for the sharp C^{3/5} bound, this polynomial verification is load-bearing. The authors should provide a complete, verifiable proof (for example, using interval arithmetic or Sturm sequences) rather than relying on the numerical plots in Section 6.2, which are not a substitute for a rigorous proof.","section":"Lemma 6.4 and Lemma 4.8"}],"minor_comments":[{"comment":"There is a typographical error: \"Lemma 6 .7\" should read \"Lemma 6.7\" (with no space).","section":"After Lemma 6.6"},{"comment":"The indicator notation I[0,y] is used without definition; please define it explicitly, e.g., as the characteristic function of the interval [0,y] (or [y,0] when y<0).","section":"Lemmas 4.2 and 4.8"},{"comment":"The proofs repeatedly choose constants \"sufficiently large M\" and \"sufficiently small ε\" without specifying the order of the choices. A short paragraph in Section 4 stating the hierarchy (e.g., first fix M, then choose ε small depending on M) would improve readability and verifiability.","section":"Section 4 overall"},{"comment":"The blow-up location x_* is defined only inside the proof as x_* = β^{−1/2} ξ(T_*). Restating this definition in the statement of Theorem 1.1 would help the reader.","section":"Theorem 1.1, Step 3"}],"recommendation":"major_revision","confidential_remarks":"The main risk is the reliance on [2] for the two maximum principles. This is not a novelty concern but a verifiability concern: the present manuscript cannot be accepted without either providing complete proofs of Lemmas 6.5 and 6.6 or citing a published, refereed source. The numerical verification in Section 6.2 should be clearly separated from the rigorous proof. If the authors can supply the missing proofs and verify condition (6.14) in every application, the paper would be a strong contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: the 3/5 exponent is a real result, not numerology. The derivation from the self-similar ODE is clean and the construction of the U_beta profiles is original; the Hunter–Saxton extension is a nice add-on. The main risk is not the exponent arithmetic but the foundation: the global bootstrap closure repeatedly invokes two maximum principles (Lemmas 6.5 and 6.6) whose proofs are only cited to [2], an overlapping-author preprint. If those lemmas do not cover the weighted unbounded-domain setup used here, or if condition (6.14) is not checked uniformly, the pointwise estimates collapse. The paper does not supply enough from its own text to verify this.\n\nWhat it does well: the profile ODE is analyzed thoroughly, the asymptotic decay matching giving 3/5 is parameter-free, and the modulation/bootstrap structure is appropriate for this literature. The numerical verification confirms inequality (2.24), but the proof also supplies a rigorous m0 and lambda, so the numerical part is supplementary, not load-bearing. The temporal blow-up rate (1.16) follows naturally once the pointwise estimates are in place.\n\nSoft spots, in proportion: (i) the imported maximum principles are the main issue; a referee should demand either full proofs in this paper or a precise transfer argument from [2], plus explicit verification of (6.14) in each application. (ii) The abstract says \"fairly general open set\" but the hypotheses (1.7)–(1.13) are exact jet conditions (e.g., ∂xu0(0) = −2/ε, ∂²xu0(0) = 0, ∂³xu0(0) in a specific interval). That is not an open set in H^5; the wording should be aligned with the actual conditions. (iii) Some polynomial inequalities in Lemma 6.4 are summarized as \"straightforward\"—they look verifiable but tedious; this is minor.\n\nWho should read it: people working on wave breaking and singularity formation for CH/HS, and anyone relying on maximum principles for nonlocal transport equations. It deserves a serious referee. My recommendation: send it to review, but require the authors to close the gap on Lemmas 6.5/6.6, either by proving them in this setting or by clearly delineating what is imported from [2].","headline":"Sharp C^{3/5} for Camassa-Holm blow-up is a genuine advance, but the proof's foundation rests on two maximum principles imported from an overlapping preprint; send to review and require the gap be closed.","tokens_in":47656,"tokens_out":2621,"would_cite":true,"duration_ms":86739,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35A21","76B15","35C06","76B25"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that smooth Camassa-Holm solutions that blow up in finite time form $C^{3/5}$ cusps at the blow-up point, with all stronger Hölder seminorms diverging at the rate $(T_*-t)^{-(5\\alpha-3)/2}$.\n","keywords":["Camassa-Holm equation","gradient blow-up","Hölder regularity","self-similar blow-up profiles","wave breaking","Hunter-Saxton equation","modulation theory","$C^{3/5}$ cusp"],"falsifier":"Run a high-resolution numerical simulation of the Camassa-Holm equation from initial data satisfying (1.7)–(1.13) and measure the Hölder exponent of the solution at the blow-up time in a neighborhood of the blow-up point; if it is not $3/5$ within numerical error, the sharp-regularity claim is wrong. Independently, check the two nonlocal maximum principles cited to [2] in exactly the form used here; a counterexample to either would collapse the bootstrap closure.\n","tokens_in":46475,"feed_emoji":"🌊","tokens_out":6744,"duration_ms":63713,"temperature":0.7,"pith_summary":"The paper proves that when smooth solutions of the Camassa-Holm equation break in finite time—gradient blows up while the solution stays bounded—the first singularity is generically a cusp of Hölder class $C^{3/5}$, not the $C^{1/3}$ cubic-root cusp of Burgers shocks. This is the first proof of the sharp Hölder regularity of Camassa-Holm gradient blow-up. The argument constructs a one-parameter family of self-similar blow-up profiles, shows they are stable via a bootstrap in self-similar coordinates, and derives global pointwise estimates. It also transfers the same $C^{3/5}$ description to generic singularities of the Hunter-Saxton equation. If correct, it identifies a new, milder type of wave-breaking singularity than that known for other transport-type equations.\n","feed_headline":"Camassa-Holm wave breaking forms C^{3/5} cusps","feed_subtitle":"Self-similar profiles prove the gradient blow-up is milder than Burgers' cubic-root shocks.","key_machinery":"The central object is the one-parameter family of odd self-similar profiles $\\{U_\\beta\\}$ solving the profile ODE $(1+\\tfrac12 U')U'+(U+\\tfrac52 y)U''=0$, with $U'(0)=-2$ and $U'''(0)=256\\beta$. This ODE comes from the self-similar ansatz $u(x,t)=(-t)^{3/2}U(x/(-t)^{5/2})$ for the Hunter-Saxton equation, which is the leading-order correction to the Camassa-Holm equation near blow-up. Its far-field behavior $|y|^{2/5}|U_\\beta'(y)|\\to(50\\beta)^{-1/5}$ gives the exponent $3/5$, and its local expansion fixes the modulation dynamics. The proof then uses modulation variables $(\\tau,\\kappa,\\xi)$ and a bootstrap in self-similar time; the closure of the bootstrap is carried by two nonlocal maximum principles (Lemmas 6.5 and 6.6) that control transport-type equations with integral terms.\n","core_discovery":"The central claim is Theorem 1.1: for $H^5$ initial data satisfying a set of localization and steepness conditions near a unique minimum of $\\partial_x u$, the Camassa-Holm solution remains smooth up to $T_*$, and at $T_*$ the solution is exactly $C^{3/5}$ at the blow-up point. The $C^{3/5}$ Hölder seminorm stays uniformly bounded on bounded sets, while for every $\\alpha>3/5$ it diverges at the rate $(T_*-t)^{-(5\\alpha-3)/2}$. The invariant Hamiltonian $H(t)=\\int(u^2+u_x^2)\\,dx$ already rules out $C^{1/3}$ (in fact any regularity worse than $C^{1/2}$); the paper pins the threshold at $3/5$. The mechanism is that the leading-order correction to the Camassa-Holm equation in the blow-up regime is the Hunter-Saxton equation, whose self-similar profiles $U_\\beta$ have $U_\\beta(y)\\sim -(5/3)(50\\beta)^{-1/5}|y|^{3/5}$ at infinity, and this $y^{3/5}$ decay becomes the spatial cusp. Generic Hunter-Saxton singularities are shown to be of the same type.\n","pith_inferences":["The same mechanism would likely apply to other hybrid hyperbolic-elliptic systems with an $H^1$-type invariant: whenever the leading-order blow-up correction is a scalar transport equation with a quadratic gradient term, the generic cusp exponent may be fixed by the far field of a profile ODE rather than by Burgers' cubic-root singularity.","A direct numerical measurement of the Hölder exponent at blow-up for the Camassa-Holm equation, using high-resolution spectral methods, could independently confirm or refute $3/5$; existing numerical estimates around $0.58$ are consistent but not conclusive.","The validity of Lemmas 6.5 and 6.6 is a prerequisite for the proof: because their proofs are deferred to a companion paper, an independent check of those maximum principles in exactly the form used here is needed before the bootstrap closure is fully self-contained.","If the far-field decay of the profile were different, say $|U'(y)|\\sim|y|^{-p}$, the same argument would produce Hölder exponent $1/(1+p)$; the value $3/5$ is tied to the specific exponent $2/5$ in the far-field decay."],"forward_implications":["At the blow-up time the Camassa-Holm solution is a $C^{3/5}$ cusp at the blow-up point: the $C^{3/5}$ Hölder seminorm is finite on any bounded set containing that point, while every stronger Hölder seminorm blows up with the stated rate.","Because the $C^{3/5}$ bound is uniform on bounded sets, the solution remains bounded at blow-up even though $\\partial_x u$ becomes infinite, matching the physical picture of wave breaking.","The same $C^{3/5}$ threshold holds for generic singularities of the Hunter-Saxton equation, without the small-or-large-gradient restriction needed for the Camassa-Holm result.","The invariant $H^1$ energy forces any Camassa-Holm pre-shock to be at least $C^{1/2}$; the theorem sharpens this to exactly $C^{3/5}$ for the constructed open set of initial data.","For these data the blow-up time satisfies $|T_*|=O(\\varepsilon^3)$, so the self-similar scale $(-t)^{5/2}$ and the time scale are quantitatively controlled."],"supporting_citations":[{"why":"Supplies the nonlocal maximum principle and spatial-decay lemma (Lemmas 6.5 and 6.6) that close the bootstrap.","marker":"[2]"},{"why":"Introduces the maximum-principle bootstrap technology for gradient blow-up that the paper adapts to the Camassa-Holm setting.","marker":"[11]"},{"why":"Extends the shock-formation framework the paper uses as its template for pointwise estimates and stability.","marker":"[12]"},{"why":"Gives the Camassa-Holm equation and its integrable/peakon structure, the starting model of the paper.","marker":"[13]"},{"why":"Provides numerical evidence of Hölder regularity near $0.58$ that the paper's $3/5$ result sharpens.","marker":"[16]"},{"why":"Defines the Hunter-Saxton equation, whose self-similar profiles are the reference objects for the blow-up construction.","marker":"[34]"},{"why":"Shows the Hunter-Saxton equation arises as the high-frequency limit of the Camassa-Holm equation, justifying its role as the leading-order correction.","marker":"[35]"},{"why":"Provides singularity-tracking numerics that the paper compares against when asserting the sharp exponent $3/5$.","marker":"[41]"},{"why":"Develops the spectral method for tracing complex singularities used in the numerical regularity estimates.","marker":"[42]"}],"fun_headline_variants":["CH blow-up: cusp regularity pinned at 3/5","Camassa-Holm singularities are C^{3/5} cusps","Wave breaking: Hölder exponent 3/5 proven for CH","CH pre-shocks: cusp regularity C^{3/5}","Exact cusp exponent for Camassa-Holm blow-up: 3/5"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The bootstrap closure relies on two nonlocal maximum-principle lemmas (Lemma 6.5 and Lemma 6.6) whose proofs are not included in the paper but are referred to a companion preprint; if those lemmas are invalid, or are misapplied to this transport-type equation, the global pointwise estimates that produce the $C^{3/5}$ conclusion lose their foundation.\n","fun_headline_variants_meta":{"raw":{"variants":["CH blow-up: cusp regularity pinned at 3/5","Camassa-Holm singularities are C^{3/5} cusps","Wave breaking: Hölder exponent 3/5 proven for CH","CH pre-shocks: cusp regularity C^{3/5}","Exact cusp exponent for Camassa-Holm blow-up: 3/5"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000961,"raw_usage":{"total_tokens":4182,"prompt_tokens":1125,"completion_tokens":3057,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":741,"completion_tokens_details":{"reasoning_tokens":2958}},"tokens_in":741,"tokens_out":3057,"duration_ms":22057,"temperature":1.0,"reasoning_tokens":2958,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:14:30.289251+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a high-resolution numerical simulation of the Camassa-Holm equation from initial data satisfying (1.7)–(1.13) and measure the Hölder exponent of the solution at the blow-up time in a neighborhood of the blow-up point; if it is not $3/5$ within numerical error, the sharp-regularity claim is wrong. Independently, check the two nonlocal maximum principles cited to [2] in exactly the form used here; a counterexample to either would collapse the bootstrap closure.","supporting_citations":[{"cited_title":"Buckmaster, S","cited_arxiv_id":null,"evidence_quote":"Introduces the maximum-principle bootstrap technology for gradient blow-up that the paper adapts to the Camassa-Holm setting."},{"cited_title":"Buckmaster, S","cited_arxiv_id":null,"evidence_quote":"Extends the shock-formation framework the paper uses as its template for pointwise estimates and stability."},{"cited_title":"Camassa, D.D","cited_arxiv_id":null,"evidence_quote":"Gives the Camassa-Holm equation and its integrable/peakon structure, the starting model of the paper."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides numerical evidence of Hölder regularity near $0.58$ that the paper's $3/5$ result sharpens."},{"cited_title":"Hunter, R","cited_arxiv_id":null,"evidence_quote":"Defines the Hunter-Saxton equation, whose self-similar profiles are the reference objects for the blow-up construction."},{"cited_title":"Hunter, Y","cited_arxiv_id":null,"evidence_quote":"Shows the Hunter-Saxton equation arises as the high-frequency limit of the Camassa-Holm equation, justifying its role as the leading-order correction."},{"cited_title":"Rocca, M.C","cited_arxiv_id":null,"evidence_quote":"Provides singularity-tracking numerics that the paper compares against when asserting the sharp exponent $3/5$."},{"cited_title":"Sulem, P.L","cited_arxiv_id":null,"evidence_quote":"Develops the spectral method for tracing complex singularities used in the numerical regularity estimates."}],"review_version":1}