REVIEW 3 major objections 4 minor 30 references
Mode stability for self-similar blowup of slightly supercritical NLS: II. high-energy spectrum
T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper proves that in dimensions 1 through 10, the self-similar blowup linearized operator has no unstable discrete eigenvalues away from the origin.
desk verdict A serious and likely important spectral result, but the main theorems are conditional on an externally verified coercivity that the paper does not reproduce. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is a linear Liouville argument: an eigenfunction $Y_0$ of $H_b$ is viewed as the initial datum of a globally defined linearized flow $Y(t)=e^{i\lambda t}Y_0$, and the spectral question is converted into a rigidity question for that flow. The argument combines the algebraic structure of the generalized kernel of $H_0$, a modulation step that imposes almost orthogonality on the evolved pair $(u,w)$, and energy–Virial identities whose coercivity is the key quantitative input: the estimates $(L_1 u,u) \sim \|u\|_{\dot H^1}^2 + \|\langle r\rangle^{-\mu_d}u\|^2$ and the analogous bound for $L_2 w$, valid under orthogonality conditions for $1 \le d \le 10$. For the bifurcated operator $H_b$, the proof adds a truncated and weight-adapted Virial functional to handle the near-neutral region $|\operatorname{Im}\lambda| \le b^{4+d}$, and a delocalization estimate for the radial case $d=2$.
What would settle it
Compute the quadratic form $(L_1 u,u)+(L_2 w,w)$ for a pair $(u,w)$ satisfying the orthogonality conditions (2.9) in some dimension $d \le 10$ and find a strictly negative value; or exhibit a nonzero solution of $(H_b-\lambda)Y=0$ with $\operatorname{Im}\lambda < b(\sigma-s_c)$ and $|\lambda| \ge \delta$; or exhibit an $H_0$ eigenfunction at an embedded eigenvalue $\lambda \in \mathbb{R}\setminus\{-1,0,1\}$ or a resonance at $\pm 1$. Any one of these would directly contradict Theorems 1.1 or 1.2.
Extended reading notes
Core claim
On its own terms, the paper establishes Theorem 1.2: for $1 \le d \le 10$, any $\delta > 0$, and sufficiently small $s_c$, the discrete spectrum of $H_b$ on $(\dot H^\sigma)^2$ satisfies $\sigma_{\mathrm{dist}}(H_b|_{(\dot H^\sigma)^2}) \cap \{z : \operatorname{Im} z < b(\sigma - s_c),\ |z| \ge \delta\} = \emptyset$. In words, the only possible unstable modes of the linearized operator around the self-similar profile $Q_b$ are confined to a small neighborhood of the origin, where the known low-energy analysis applies. Together with that low-energy result, the paper concludes the full mode stability assumption needed for the asymptotic stability of $Q_b$, including sharp rates for the perturbation and logarithmic blowup of critical norms. A byproduct is Theorem 1.1, the complete spectrum of the ground-state linearized operator $H_0$: essential spectrum $(-\infty,-1] \cup [1,\infty)$, discrete spectrum $\{0\}$ with the known generalized nullspace, no embedded eigenvalues, and no resonances at $\pm 1$ for $1 \le d \le 10$.
Load-bearing premise
The argument depends on a coercivity estimate for the Virial commutator that the paper takes from earlier work with numerical verification and does not prove analytically; if that estimate fails in any dimension $1 \le d \le 10$, the rigidity conclusion that the eigenfunction is zero collapses.
Editorial extensions
If this is right
- For $1 \le d \le 10$ and $0 < s_c \ll 1$, the self-similar blowup profile $Q_b$ is asymptotically stable in $\dot H^\sigma$ and in $H^1$ for suitable open sets of initial data, with explicit decay rates and logarithmic divergence of critical norms at the blowup time.
- The complete spectrum of the ground-state linearized operator $H_0$ is now known for $1 \le d \le 10$: no eigenvalues embedded in the essential spectrum and no resonances at the endpoints $\pm 1$.
- With the low-energy analysis, Theorem 1.2 verifies the full spectral assumption of the stability theorem, so the self-similar blowup scenario is justified at the linear level.
- The linear Liouville method replaces a non-self-adjoint eigenvalue problem by coercivity of self-adjoint quadratic forms, so the same strategy can be applied to other linearized operators around stationary states.
Reading between the lines
- I infer that the dimensional restriction $d \le 10$ is an artifact of the numerically verified coercivity rather than of the structural argument; if the coercivity estimate is proved analytically in higher dimensions, both theorems should extend verbatim to those dimensions.
- I infer that the same linear Liouville scheme could be turned into a numerical spectral oracle: running the coercivity check for a candidate operator in a new dimension would give a rigorous certificate of mode stability without computing Jost functions or resolvent kernels.
- A testable extension suggested by the paper's closing comments is to push the allowed range of $\sigma$ from $s_c + b^{d+4}$ up to $O(b)$; the obstruction identified is quantized eigenvalues, so a natural experiment is to search numerically for such eigenvalues in the interval $b \ll |\lambda| \ll b^{d+4}$.
- I infer that the absence of embedded eigenvalues for $H_0$ in $d \le 10$ may be provable by the same weighted Virial identity without the numerical coercivity input, provided one only needs non-resonance instead of full mode stability.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper is the second part of a study on mode stability for the linearized operator around self-similar blowup profiles of slightly supercritical NLS. It proves high-energy mode stability for the linearized operator H_b on (Ḣ^σ)^2 for 1 ≤ d ≤ 10 (Theorem 1.2) and, as a byproduct, a full spectral characterization of the linearized operator H_0 around the mass-critical ground state (Theorem 1.1). The proofs use a linear Liouville argument: an eigenfunction is viewed as a stationary solution of a linear evolution equation, and modulation plus truncated energy/Virial estimates produce rigidity. Theorem 1.3 then derives asymptotic stability of the self-similar blowup by combining the two spectral theorems with the author's companion paper [17] and previous preprint [18]. The main technical input is Proposition 2.1(2), a coercivity estimate for the Virial commutator that is stated to be 'proven with numerical help' in [23,11,30] and is not reproduced here.
Significance. If the main results are correct, they complete a long-standing program on the asymptotic stability of self-similar blowup for slightly mass-supercritical NLS in dimensions 1 ≤ d ≤ 10, answering a question raised in [1,24]. The spectral characterization of H_0 for 2 ≤ d ≤ 10 appears to be new. The linear Liouville strategy is an interesting adaptation of Martel–Merle's rigidity method to a non-self-adjoint spectral problem, and it may be transferable to other linearized operators. The significance is partly conditional, however: the full range d ≤ 10 and the rigidity conclusions in Theorems 1.1 and 1.2 rest on the numerically assisted coercivity of Proposition 2.1(2), and Theorem 1.3 depends on the author's unpublished companion works [17,18].
major comments (3)
- [§2.1, Proposition 2.1(2), Eq. (2.11)] The proof of both Theorem 1.1 (Step 3(iii) of the proof in §3.1) and Theorem 1.2 (Step 2, estimate (3.48), and Step 3, estimate (3.53)) uses the coercivity (L1u,u)+(L2w,w) ≳ ‖u‖²_{Ḣ¹} + ‖⟨r⟩^{-µ_d}u‖² + ‖w‖²_{Ḣ¹} + ‖⟨r⟩^{-µ_d}w‖² under the orthogonality conditions (2.9). This is the only input that carries the full dimension range 1 ≤ d ≤ 10, and the paper states only that it is 'proven with numerical help' in [23,11,30], with Appendix A merely reformulating the cited results. No code, interval bounds, or verification script is included. If this inequality fails in any dimension, the rigidity conclusions that force the eigenfunction to vanish in Theorems 1.1 and 1.2 would collapse. This is a load-bearing correctness risk. Please either include a complete, reproducible verification of the coercivity (e.g., computer-assisted interval arithmetic), or state explicitly that Theorems 1.1 and 1.2 are conditional on an externally verified numerical–analytic property, with precise theorem numbers from [23,11,30].
- [§3.2 and Appendix B, Lemma 2.5] The proof of Theorem 1.2 relies on Lemma 2.5 for regularity, smoothing, and delocalization of eigenfunctions; its proof in Appendix B invokes [18, Lemma 2.4, Proposition 2.2, Lemma 2.11] and [17, Proposition 2.4 and Proposition 4.13] as black boxes. Since [18] is an unpublished preprint and [17] is a companion paper not included in this submission, the a priori estimates used in the energy and weighted-energy steps (e.g., the bound ‖w̃‖_{Ḣ²} used around (3.55)) are not verifiable from the present manuscript. Please either reproduce the needed statements with proofs, or clearly delimit the argument as conditional on [17,18] and state the exact assumptions imported from those works.
- [Theorem 1.3 and §1.2] Theorem 1.3, the advertised asymptotic stability of the self-similar blowup, is not proved in this paper but assembled from Theorem 1.2, [17, Theorem 1.1], and [18, Theorem 1.4 and 1.5]. Because [17] is a companion preprint and [18] is the author's earlier preprint, the status of Theorem 1.3 as a theorem of the present paper should be clarified: either state it as a corollary conditional on the full mode stability assumption [18, Assumption 1.2] being verified in those works, or include the necessary parts of [17,18] so that the conclusion is self-contained.
minor comments (4)
- [§3, opening line] The sentence 'we prove Theorem and 1.1 and Theorem 1.2' contains a typo and should read 'we prove Theorems 1.1 and 1.2'.
- [§3.1, Step 3(iii)] In the display following item (a), the right-hand side should contain squares on the norms: the conclusion should be ∂ₜI(t) ≳ ‖ũ₀‖²_{Ḣ¹} + ‖⟨x⟩^{-μ_d}ũ₀‖²_{L²} + ‖w̃₀‖²_{Ḣ¹} + ‖⟨x⟩^{-μ_d}w̃₀‖²_{L²}; as written the inequality is dimensionally inconsistent with the use of Proposition 2.1(2).
- [Appendix A, proof of Proposition 2.1(1)] In the definition of the auxiliary function w̃, the coefficient is given as β = (u,ρ)_{L²}/(Q,ρ)_{L²}, but this should be β = (w,ρ)_{L²}/(Q,ρ)_{L²}; the current formula appears to be a typo and makes the subsequent identity β = 2(u,ρ)/‖xQ‖² inconsistent with the orthogonality condition (w,ρ)=0.
- [§2.1, Proposition 2.1(2)] The equivalence symbol '∼' in (2.11) suggests both upper and lower bounds, but the proof and applications only use the lower bound. Please clarify, e.g., by writing '≳' for the coercivity statement and noting whether the matching upper bound is known.
Circularity Check
No circular derivation: Theorem 1.2 is proved by a linear Liouville argument whose only external input is a coercivity lemma imported from prior numerical work; the target spectral statements are not assumed or fitted into that input.
full rationale
The derivation chain is not circular. Theorem 1.2 reduces the eigenvalue problem (Hb−λ)Y0=0 to a rigidity statement for the linearized flow; the proof hinges on Proposition 2.1(2), the coercivity of the Virial commutator, which is imported from [23,11,30] and explicitly labelled 'proven with numerical help' in Section 2.1. This is an external numerical input, not a restatement of the theorem's conclusion: the cited works verify coercivity of scalar quadratic forms for 1≤d≤10, they do not assert absence of eigenvalues for Hb. The same input is used only to force u˜=w˜=0 after modulation and energy/Virial monotonicity; the modulation, almost-orthogonality, weighted-energy, and delocalization arguments are carried out in this paper. The citations to the author's companion works [17,18] supply low-energy spectral control and resolvent/linear-theory estimates for the self-similar profile, but each is a separate parameter-free statement with assumptions that do not include Theorem 1.2, so they are independent support rather than a self-citation loop. The one genuine caveat is reproducibility: Appendix A restates [23, Theorem 1.1] and [4, Lemma 2.2] rather than reproducing the numerical verification, and Lemma 2.5 relies on estimates from [18]. That is a correctness/reproducibility risk, not circularity, since the implication 'coercivity ⇒ mode stability' is the paper's own contribution.
Assumptions & free parameters
free parameters (1)
- µ_d (weight in Virial coercivity) =
µ_2 = 11/10; µ_d = 1 for d = 1 or d ≥ 3
assumptions (3)
- domain assumption Coercivity of the Virial commutator, Proposition 2.1(2)
- domain assumption Existence and asymptotics of the self-similar profile Qb, Proposition 2.3
- standard math Generalized kernel structure of H0, from [29] and [4]
Cite this review
Pith. "Pith review of Mode stability for self-similar blowup of slightly supercritical NLS: II. high-energy spectrum." pith.science (2026). https://pith.science/paper/JPZBXALK
@misc{pith2026250711259,
author = {Pith},
title = {Pith review of: Mode stability for self-similar blowup of slightly supercritical NLS: II. high-energy spectrum},
year = {2026},
howpublished = {\url{https://pith.science/paper/JPZBXALK}},
note = {Machine review of arXiv:2507.11259}
}
abstract
In continuation of the study of the companion work, we prove the high-energy mode stability for linearized operator around self-similar profiles in [Bahri-Martel-Rapha\"el, 2021] for slightly mass-supercritical NLS in $1 \le d \le 10$. This concludes the asymptotic stability of such self-similar blowup, and answers the question from [Bahri-Martel-Rapha\"el, 2021] and [Merle-Rapha\"el-Szeftel, 2010]. As a byproduct, we characterize the spectrum for linearized operator around mass-critical ground state for $1 \le d \le 10$, which could be useful for future studies of asymptotic behavior near ground state. The core idea is a linear Liouville argument, originated by Martel-Merle [Martel-Merle, 2000, 2001] studying soliton stability, to reformulate the eigen problem as rigidity of linear dynamics so as to introduce modulation and to apply nonlinear dynamical controls. Our controlling quantities were verified with numerical help in [Merle-Rapha\"el, 2005; Fibich-Merle-Rapha\"el, 2006; Yang-Roudenko-Zhao, 2018] for $1 \le d \le 10$.
Figures
Reference graph
Works this paper leans on
-
[17]
Mode stability for self-similar blowup of slightly supercritical nls: I
Zexing Li. Mode stability for self-similar blowup of slightly supercritical nls: I. low-energy spectrum. arxiv preprint 2025
work page 2025
-
[18]
On stability of self-similar blowup for mass supercritical NLS
Zexing Li. On stability of self-similar blowup for mass supercritical nls. arXiv preprint arXiv:2304.02078v2, 2023
work page Pith review arXiv 2023
-
[1]
Self-similar blow-up profiles for slightly supercritical nonlinear Schrödinger equations.Ann
Yakine Bahri, Yvan Martel, and Pierre Raphaël. Self-similar blow-up profiles for slightly supercritical nonlinear Schrödinger equations.Ann. Henri Poincaré, 22(5):1701–1749, 2021
work page 2021
-
[2]
A critical center-stable manifold for schrödinger’s equation in three dimen- sions
Marius Beceanu. A critical center-stable manifold for schrödinger’s equation in three dimen- sions. Communications on Pure and Applied Mathematics , 4(65):431–507, 2012
work page 2012
-
[3]
V. S. Buslaev and G. S. Perelman. On the stability of solitary waves for nonlinear Schrödinger equations. In Nonlinear evolution equations , volume 164 ofAmer. Math. Soc. Transl. Ser. 2 , pages 75–98. Amer. Math. Soc., Providence, RI, 1995
work page 1995
-
[4]
Shu-Ming Chang, Stephen Gustafson, Kenji Nakanishi, and Tai-Peng Tsai. Spectra of lin- earized operators for nls solitary waves.SIAM Journal on Mathematical Analysis , 39(4):1070– 1111, 2008
work page 2008
-
[5]
Charles Collot and Pierre Germain. Asymptotic stability of solitary waves for one dimensional nonlinear schr\" odinger equations.arXiv preprint arXiv:2306.03668 , 2023
arXiv 2023
-
[6]
Charles Collot, Pierre Germain, and Eliot Pacherie. Abscence of embedded spectrum for nonlinear Schrödinger equations linearized around one dimensional ground states. Preprint, arXiv:2503.02957 [math.AP] (2025), 2025
work page Pith review arXiv 2025
Show all 30 references
-
[7]
A survey on asymptotic stability of ground states of nonlinear Schrödinger equations
Scipio Cuccagna. A survey on asymptotic stability of ground states of nonlinear Schrödinger equations. In Dispersive nonlinear problems in mathematical physics , pages 21–57. Rome: Aracne; Caserta: Dipartimento di Matematica della Seconda Università di Napoli, 2004
2004
-
[8]
A survey on asymptotic stability of ground states of nonlinear Schrödinger equations
Scipio Cuccagna and Masaya Maeda. A survey on asymptotic stability of ground states of nonlinear Schrödinger equations. II. Discrete Contin. Dyn. Syst., Ser. S , 14(5):1693–1716, 2021
2021
-
[9]
The asymptotic stability on the line of ground states of the pure power NLS with0 < |p − 3| ≪1
Scipio Cuccagna and Masaya Maeda. The asymptotic stability on the line of ground states of the pure power NLS with0 < |p − 3| ≪1. J. Funct. Anal., 288(11):57, 2025. Id/No 110861
2025
-
[10]
Numerical verification of a gap condition for a lin- earized nonlinear Schrödinger equation.Nonlinearity, 19(4):829–852, 2006
Laurent Demanet and Wilhelm Schlag. Numerical verification of a gap condition for a lin- earized nonlinear Schrödinger equation.Nonlinearity, 19(4):829–852, 2006
2006
-
[11]
Proof of a spectral property related to the singularity formation for theL2 critical nonlinear Schrödinger equation.Phys
Gadi Fibich, Frank Merle, and Pierre Raphaël. Proof of a spectral property related to the singularity formation for theL2 critical nonlinear Schrödinger equation.Phys. D, 220(1):1–13, 2006
2006
-
[12]
Stability theory of solitary waves in the presence of symmetry
Manoussos Grillakis, Jalal Shatah, and Walter Strauss. Stability theory of solitary waves in the presence of symmetry. I.J. Funct. Anal., 74:160–197, 1987
1987
-
[13]
Krieger and W
J. Krieger and W. Schlag. Stable manifolds for all monic supercritical focusing nonlinear Schrödinger equations in one dimension.J. Amer. Math. Soc. , 19(4):815–920, 2006
2006
-
[14]
Hardy-type inequalities
Alois Kufner and Bohumír Opic. Hardy-type inequalities. Longman Scientific & Technical, 1990
1990
-
[15]
Uniqueness of positive solutions of∆u − u + up = 0 in RN
Man Kam Kwong. Uniqueness of positive solutions of∆u − u + up = 0 in RN. Archive for Rational Mechanics and Analysis , 105(3):243–266, 1989
1989
-
[16]
Asymptotic stability of solitary waves for the 1d focusing cubic Schrödinger equation under even perturbations
Yongming Li and Jonas Luhrmann. Asymptotic stability of solitary waves for the 1d focusing cubic Schrödinger equation under even perturbations. Preprint, arXiv:2408.15427 [math.AP] (2024), 2024
2024 arXiv
-
[19]
Asymptotic stability of small standing solitary waves of the one-dimensional cubic-quintic Schrödinger equation.Invent
Yvan Martel. Asymptotic stability of small standing solitary waves of the one-dimensional cubic-quintic Schrödinger equation.Invent. Math., 237(3):1253–1328, 2024
2024
-
[20]
A Liouville theorem for the critical generalized Korteweg-de Vries equation
Yvan Martel and Frank Merle. A Liouville theorem for the critical generalized Korteweg-de Vries equation. J. Math. Pures Appl. (9) , 79(4):339–425, 2000
2000
-
[21]
Asymptotic stability of solitons for subcritical generalized KdV equations
Yvan Martel and Frank Merle. Asymptotic stability of solitons for subcritical generalized KdV equations. Arch. Ration. Mech. Anal. , 157(3):219–254, 2001
2001
-
[22]
Spectral analysis for matrix hamiltonian operators
Jeremy L Marzuola and Gideon Simpson. Spectral analysis for matrix hamiltonian operators. Nonlinearity, 24(2):389, 2010
2010
-
[23]
The blow-up dynamic and upper bound on the blow-up rate for critical nonlinear Schrödinger equation.Ann
Frank Merle and Pierre Raphael. The blow-up dynamic and upper bound on the blow-up rate for critical nonlinear Schrödinger equation.Ann. of Math. (2) , 161(1):157–222, 2005
2005
-
[24]
Stable self-similar blow-up dynamics for slightly L2 super-critical NLS equations.Geom
Frank Merle, Pierre Raphaël, and Jeremie Szeftel. Stable self-similar blow-up dynamics for slightly L2 super-critical NLS equations.Geom. Funct. Anal., 20(4):1028–1071, 2010
2010
-
[25]
On the formation of singularities in solutions of the critical nonlinear Schrödinger equation
Galina Perelman. On the formation of singularities in solutions of the critical nonlinear Schrödinger equation. Ann. Henri Poincaré, 2(4):605–673, 2001. 32 Z. LI
2001
-
[26]
W. Schlag. Stable manifolds for an orbitally unstable nonlinear Schrödinger equation.Ann. of Math. (2) , 169(1):139–227, 2009
2009
-
[27]
Dispersive estimates for schrödinger operators: a survey.Mathematical as- pects of nonlinear dispersive equations , 163:255–285, 2005
Wilhelm Schlag. Dispersive estimates for schrödinger operators: a survey.Mathematical as- pects of nonlinear dispersive equations , 163:255–285, 2005
2005
-
[28]
Stein and Guido Weiss.Introduction to Fourier analysis on Euclidean spaces , volume No
Elias M. Stein and Guido Weiss.Introduction to Fourier analysis on Euclidean spaces , volume No. 32 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1971
1971
-
[29]
Weinstein
Michael I. Weinstein. Modulational stability of ground states of nonlinear Schrödinger equa- tions. SIAM J. Math. Anal. , 16(3):472–491, 1985
1985
-
[30]
Blow-up dynamics and spectral property inthe L2-criticalnonlinearSchrödingerequationinhighdimensions
Kai Yang, Svetlana Roudenko, and Yanxiang Zhao. Blow-up dynamics and spectral property inthe L2-criticalnonlinearSchrödingerequationinhighdimensions. Nonlinearity, 31(9):4354– 4392, 2018. Laboratoire Analyse, Géométrie et Modélisation, CY Cergy Paris Université, 2 a venue Adol...
2018
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.