{"id":"1c6bc0f0-c76f-4d8b-822c-116f0be9ce9a","arxiv_id":"2607.19762","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"On the origin-H2 realization, the CLM collapse linearization has essential spectrum Re λ = -1/2 and point spectrum {0,1}, hence a spectral gap 1/2; weaker L2 realizations fill the whole strip.","lead":"This paper computes the spectrum of the linearized self-similar collapse profile of the Constantin–Lax–Majda equation at a=0. It finds the essential spectrum on one vertical line and exactly two symmetry eigenvalues, giving a spectral gap of 1/2 on a specially chosen function space.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Stability gap is realization-relative: on the maximal L2 realization the strip is full essential spectrum, and the paper gives no dynamical principle selecting the origin-H2 space X that produces the gap.","rationale":"The a=0 spectral theorems appear internally consistent and carefully proved; the Hardy-Mellin resolvent, the completeness lemma, and the explicit semigroup are substantial and mutually supportive. The single most load-bearing weakness is the realization-dependence of the stability conclusion: the gap exists only on the origin-H2 space X, which the paper itself labels a modeling choice in §3.1 and does not derive from the nonlinear dynamics. This is not merely a philosophical objection, because Proposition 2 shows the maximal L2 realization has a completely different spectrum—the whole strip—so the physical relevance of the gap hinges entirely on whether the true perturbation dynamics selects X. The paper's careful separation of spectral gap (on X) from semigroup decay (on Y3/2) is honest, but it also means that even within the linear theory, no decay in the X norm is claimed; the decay statement is on a different space with only a one-way transfer bound. The proposed test—directly computing the X-norm evolution via the explicit semigroup—would either substantiate the modeling choice (if the modulation complement decays in X) or expose that the stability conclusion is weaker than the abstract suggests. The reader's CONDITIONAL verdict captures this exactly, so no adjustment is needed.","tokens_in":45737,"tokens_out":16116,"duration_ms":159469,"concrete_test":"Using the exact semigroup formula in Appendix A, compute ∥e^{L0 τ} Q φ∥_X for a dense set of X-data (e.g., φ(y)=χ(y)y and φ(y)=χ(y)y³ with χ a smooth cutoff), for τ up to, say, 10. If the X-norm of the modulation complement Q e^{L0 τ} φ does not decay at rate e^{-τ/2} (or grows), then the spectral gap on X does not yield linear decay in the physical norm, confirming that the stability claim rests on the Y3/2 transfer rather than on X. This settles whether the realization choice is sufficient for the stated stability conclusion.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 2 shows σ_ess(L0) ⊇ {λ: -1/2 ≤ Re λ ≤ 3/2} on the maximal L2 realization, while Theorem 1's single line and the 1/2 gap hold only on X = {odd φ: φ, φ''∈L², φ(y)=a1 y+o(y)}. The paper states in §3.1 that X is 'a modeling choice, not derived here from a dynamical well-posedness principle.' The central stability claim therefore depends on perturbations generated by the physical evolution being confined to X. No such confinement is proved for the nonlinear flow, and for the linearized semigroup the exact decay e^{-τ/2} is obtained only on the conjugated weighted space Y_{3/2}, with a bounded transfer J_X: X→Y_{3/2} but no reverse estimate controlling the X norm. Since L0 is non-normal, the spectral gap on X does not by itself imply decay in X; the paper acknowledges this. Thus the headline 'linearly stable with a gap of 1/2 on X' is conditional on an unproven modeling choice and on a decay statement in a different norm.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper analyzes the linearization of the generalized Constantin-Lax-Majda (gCLM) family at the exact a=0 self-similar collapse profile Ω(y) = -y/(y^2+1/4). The main theorems, all at a=0, are: Theorem 1 (on an origin-H2 space X, the essential spectrum of L0 in the half-plane {Re λ ≥ -1/2} is exactly the vertical line {Re λ = -1/2}); Theorem 2 (the discrete spectrum in the open strip is exactly {0,1}, the scaling and time-shift symmetry modes); and Theorem 3 (the full point spectrum over C is exactly {0,1}, so the essential line carries no embedded eigenvalues). Proposition 2 shows that on the maximal L2 realization the whole strip is essential spectrum, and the paper identifies the numerical smear with this maximal realization. Appendix A gives an explicit conjugated semigroup with exact decay e^{-τ/2} on a weighted space Y_{3/2}, reached from X by a bounded transfer map with no reverse estimate. For a>0, Proposition 1 gives a conditional two-line essential-spectrum inclusion under admissibility hypotheses, and the paper recomputes the branch c_l(a) as a numerical cross-check and records the formal scaling-relevance exponent s*(a)=1/c_l(a). The paper is explicit that the a>0 results and the semigroup transfer are not completed nonlinear-stability statements.","tokens_in":46032,"tokens_out":16445,"duration_ms":172763,"significance":"If the a=0 theorems are correct, this is a significant contribution: it gives a rigorous spectral picture of the CLM collapse profile, including the exact location of the essential spectrum, completeness of the two symmetry modes, and a closed-form linear semigroup. The paper's strengths are its explicit and constructive arguments — Mellin diagonalization, Weyl sequences, an explicit resolvent majorant, a Hardy-space completeness lemma, and machine-verified algebraic identities — and its unusually honest treatment of the distinction between spectral gaps and dynamical decay. The realization dichotomy (Proposition 2) is a valuable conceptual contribution because it explains a numerical artifact as the faithful spectrum of a weaker realization. The a>0 and s*(a) material is appropriately labeled conditional or formal; it does not carry the main claim.","major_comments":[{"comment":"The spectral gap and the resulting statement 'linearly stable ... with a gap of 1/2 on X' are properties of the chosen origin-H2 realization X. Proposition 2 shows that on the maximal L2 realization the essential spectrum contains the full strip {-1/2 ≤ Re λ ≤ 3/2}, and §3.1 explicitly calls X 'a modeling choice, not derived here from a dynamical well-posedness principle.' Since no theorem shows that the nonlinear flow, or even the linearized evolution from natural data, keeps perturbations in X, the stability claim is conditional on an unproven modeling choice. This is not a technical error, but it is load-bearing for the physical interpretation. I recommend that the abstract and conclusion state prominently that the stability theorem is a spectral statement about the X-realization, and that the dynamical selection of X is an open problem.","section":"§3.1, Eq. (3.2); Proposition 2 (Eq. (3.5))"},{"comment":"The exact semigroup decay e^{-τ/2} is proved only on the conjugated weighted space Y_{3/2}, reached from X by the bounded transfer map J_X; there is no reverse estimate controlling the X-norm of e^{L0 τ} φ. Because L0 is non-normal, the spectral gap on X does not by itself imply X-norm decay, as the paper acknowledges. Nevertheless, the abstract's 'exact decay rate e^{-τ/2}' could be misread as a decay statement in the physical space X. I recommend adding an explicit caveat, both in the abstract and in the semigroup theorem, that this decay holds in Y_{3/2} and that X-norm decay and nonlinear persistence remain open.","section":"Appendix A, Eqs. (A.21)-(A.24)"}],"minor_comments":[{"comment":"The convention that numbered results run independently within each section, so that 'Lemma 4.5' can live in 'Section 4.4,' is needlessly confusing and invites mis-citation. Please renumber the results or provide a mapping between result numbers and subsection numbers.","section":"§4 (Numbering convention)"},{"comment":"The definition of X includes the condition φ(y)=a1 y+o(y), which is automatic for odd functions in H2(R) and therefore redundant. Since the 'modeling choice' discussion depends on the second-derivative condition, the redundancy should be stated explicitly to prevent a reader from thinking an extra origin condition is being imposed.","section":"§3.1"},{"comment":"There is a typo in 'classicalconecalculus[23,24]' — missing spaces. Please also check other instances of concatenated words in the manuscript.","section":"Introduction"},{"comment":"The numerical spectral classification relies on a heuristic Nyquist filter (<N/16) and other diagnostic thresholds. The paper is honest that these are exploratory, but a sentence in Section 7 summarizing which conclusions are robust to the filter choice would strengthen the presentation.","section":"§3.2 / §7"}],"recommendation":"minor_revision","confidential_remarks":"The a=0 spectral analysis is substantial, carefully proved, and likely correct. The central tension is that the stability conclusion is tied to a realization the paper itself calls a modeling choice; I would not reject on this basis, but the authors should make the scope limitation unmissable in the abstract and introduction. The a>0 material is appropriately labeled conditional/exploratory and should not be over-interpreted. I recommend minor revision rather than accept only because the two caveats above deserve more prominent placement in the final version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nRead this carefully, not because the prose is easy but because the a=0 spectral picture is a real result. The paper proves, on the origin-H2 space X, that the essential spectrum of the CLM collapse linearization meets Reλ ≥ -1/2 in exactly the line Reλ = -1/2, and that the full point spectrum over C is {0,1} with no embedded eigenvalues. It also gives a constructive resolvent bound scaling like α^{-3/2}, an explicit Weyl sequence mechanism for the far-field line, and the realization dichotomy in Proposition 2: on the maximal L2 realization the whole strip is essential spectrum, while origin-H2 removes it. That is new relative to the existing modulation-stability and pole-dynamics literature, which studied nonlinear stability and blow-up but not the spectrum of the linearization. The proof is long but internally consistent: Mellin diagonalization, Hardy block diagonalization, a distributional support lemma, and explicit kernel estimates. I did not find a load-bearing gap at a=0. The authors also deserve credit for separating the semigroup decay on the conjugated Y_{3/2} space from the spectral gap on X, and for stating in §3.1 that the origin-H2 space is a modeling choice rather than something derived from a dynamical well-posedness principle.\n\nThe soft spots are exactly where the paper says they are. The stability gap of 1/2 is realization-relative: on the maximal L2 realization the strip is full spectrum, so the physical interpretation depends on perturbations staying in X, and that confinement is not proved for the nonlinear flow. The stress-test note lands here. Likewise the e^{-τ/2} decay is proved on Y_{3/2}, not in X, and the paper is explicit that L0 is non-normal so the spectral gap does not by itself give decay in X. For a>0 the essential-spectrum inclusion is conditional on unverified admissibility hypotheses, the discrete exclusion is numerical evidence, and the s*(a) exponent is a formal scaling diagnostic. The branch recomputation is only two or three significant figures, but the paper flags it as a cross-check, not a theorem. None of this is hidden or incoherent.\n\nWho should read it: anyone working on spectral theory of nonlocal transport operators or on gCLM blow-up. The a=0 theorems are a genuine contribution and deserve a serious referee. The paper should not be desk-rejected. Send it to referees who can check the a=0 proof carefully and who will weigh whether the origin-H2 realization is the physically meaningful one for the nonlinear problem.\n\nRegards.","headline":"The a=0 spectral theorems are real and mostly self-contained; the stability interpretation is conditional on an admitted modeling choice, and the paper is honest about that.","tokens_in":46514,"tokens_out":1775,"would_cite":true,"duration_ms":23596,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35B44","35P05","47A10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the linearized self-similar collapse of the CLM equation has a clean spectral gap of 1/2 on a carefully chosen function space, with only the two symmetry modes as spectrum above that gap.","keywords":["Constantin-Lax-Majda equation","self-similar blow-up","essential spectrum","spectral gap","Hilbert transform","operator realization","linear stability","fractional dissipation"],"falsifier":"Compute, at a = 0, the second-derivative integral of the explicit candidate eigenfunction u_λ(y) = y^{1−λ}/(y + i/2)² for a value of λ in (−1/2, 0) other than 0. The paper's completeness lemma predicts ∫₀^δ |u_λ''(y)|² dy = ∞ for every such λ, so if the integral is finite for any λ in that range, the origin-H² completeness claim collapses.","tokens_in":45627,"feed_emoji":"🌀","tokens_out":8129,"duration_ms":80315,"temperature":0.7,"pith_summary":"The paper's target is the linearized operator that governs small perturbations of the exact self-similar collapse profile Ω(y) = −y/(y² + 1/4) of the Constantin–Lax–Majda (CLM) equation, the a = 0 member of the generalized family. On the origin-H² space X of odd functions that are square-integrable together with their second derivative, the author proves that the essential spectrum meets the half-plane Re λ ≥ −1/2 in exactly the vertical line Re λ = −1/2, and that the only eigenvalues are 0 and 1, the scaling and time-shift modes. Consequently the collapse is linearly stable in the spectral sense with a gap of 1/2, and the linearized semigroup decays exactly as e^{−τ/2} on a conjugated weighted space reached by a bounded transfer map. A realization dichotomy shows this clean picture is space-dependent: on the maximal L² realization the whole strip is essential spectrum, which is what naive discretizations display. Conditional statements for a > 0 give a two-line essential-spectrum inclusion and a formal scaling-relevance exponent s*(a) = 1/c_l(a).","feed_headline":"Self-similar CLM collapse has a spectral gap of 1/2","feed_subtitle":"At a=0 the linearized collapse operator has only the two symmetry modes above Re λ = -1/2, and the rest decays as e^{-τ/2}.","key_machinery":"The central object is the origin-H² space X = {odd φ : φ, φ'' ∈ L², φ(y) = a₁y + o(y)}; choosing it is what converts the dense L² spectrum into a single essential line. The carrying identity is the Hardy reduction due to the exact profile: on the upper-half-plane Hardy space the nonlocal term collapses to the scalar first-order operator L0⁺ = −1 − y∂_y + i/(y + i/2), with explicit solutions u_λ(y) = y^{1−λ}/(y + i/2)². The far-field essential line is placed by a log-widening approximate-eigenfunction (Weyl) sequence in the Mellin variable, and the strip is emptied by an explicit resolvent kernel controlled by the Hardy–Mellin operator, whose exact norm is 1/(Re z + 1/2). Conjugation by (y +","core_discovery":"At a = 0, with the exact profile Ω, the linearized CLM operator L0, realized on the space X, has essential spectrum equal to the single vertical line {Re λ = −1/2} inside the closed half-plane Re λ ≥ −1/2, and full point spectrum exactly {0, 1}; the open strip contains no discrete spectrum. The proof is constructive: a log-widening Weyl sequence places the essential line, an explicit Hardy–Mellin resolvent with norm governed by O(α^{−3/2}) empties the strip, and a Hardy diagonalization reduces the operator to a scalar first-order ODE whose only L², odd, smooth-at-origin solutions are the two symmetry modes. The paper further shows that the semigroup is explicit after conjugation v = (y + i/2","pith_inferences":["Editorial inference: the realization dichotomy suggests a practical numerical test — adding the origin second-derivative condition to a log-Mellin discretization should collapse the filled strip to the line Re λ = −1/2; observing this collapse would independently corroborate the X picture.","Editorial inference: since the semigroup decay is exact and profile-independent in the conjugated variable, one can try to prove the missing quadratic estimate for N(φ) = φHφ and a lower bound for the dissipation form in Y_{3/2}; if those hold, the paper's linear machinery would likely close a nonlinear persistence theorem for 0 < s < 1 at a = 0.","Editorial inference: the two-line inclusion for a > 0 leaves an exactness question; a numerical scan of the rightmost essential edge along the branch, compared with the maximum of the two predicted lines, would indicate whether the gap is exactly 1 − c_l/2 minus the protrusion term.","Editorial inference: the observation that the origin line depends on the second-derivative weight suggests that stronger H³ realizations should move the origin line further left uniformly in a; verifying this would make the a > 0 essential picture realization-robust."],"forward_implications":["The CLM collapsing profile is linearly stable at a = 0 in the spectral sense: no eigenvalues lie in the open strip (−1/2, 0), so a gap of 1/2 separates the two symmetry modes from the essential spectrum.","The full point spectrum over C is exactly {0, 1}; in particular the essential line carries no embedded eigenvalues, so nothing further contaminates the spectral picture.","The linearized semigroup has the exact closed-form decay e^{−τ/2} on the conjugated weighted space Y_{3/2}, reached from X by a bounded transfer; this is the linear input for a persistence proof, which the paper leaves open.","The realization dichotomy means that numerical methods without an origin condition are faithfully computing the maximal L² spectrum, a whole filled strip, rather than the physical X spectrum; methods enforcing the origin regularity should see the single line.","The recomputed branch c_l(a) reproduces the known critical advection to 0.04%, and the exponent s*(a) = 1/c_l(a) marks the formal threshold below which fractional dissipation is asymptotically subdominant in self-similar variables."],"fun_headline_variants":["CLM collapse: spectral gap of 1/2 at a=0","Self-similar CLM: only two modes above -1/2","Linearized CLM: gap of 1/2 in spectrum","CLM spectrum: gap 1/2, only two symmetry modes"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is the choice of origin-H² space X as the physical realization — the paper states in Section 3.1 that this is a modeling choice, not derived from a dynamical well-posedness principle, and the spectral gap disappears on the maximal L² realization; separately, the a = 0 exact decay is proven on the weighted space Y_{3/2} but its transfer to the X norm, or to the nonlinear flow, like the a > 0 discrete exclusion, is left open in Section 8.","fun_headline_variants_meta":{"raw":{"variants":["CLM collapse: spectral gap of 1/2 at a=0","Self-similar CLM: only two modes above -1/2","Linearized CLM: gap of 1/2 in spectrum","CLM spectrum: gap 1/2, only two symmetry modes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001464,"raw_usage":{"total_tokens":5866,"prompt_tokens":1022,"completion_tokens":4844,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":766,"completion_tokens_details":{"reasoning_tokens":4765}},"tokens_in":766,"tokens_out":4844,"duration_ms":34155,"temperature":1.0,"reasoning_tokens":4765,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T11:46:47.022919+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, at a = 0, the second-derivative integral of the explicit candidate eigenfunction u_λ(y) = y^{1−λ}/(y + i/2)² for a value of λ in (−1/2, 0) other than 0. The paper's completeness lemma predicts ∫₀^δ |u_λ''(y)|² dy = ∞ for every such λ, so if the integral is finite for any λ in that range, the origin-H² completeness claim collapses.","supporting_citations":[],"review_version":1}