REVIEW 1 major objections 6 minor 35 references
Almost sure local well-posedness for the nonlinear Schr\"odinger equations on $\Bbb T^d$ with non-algebraic nonlinearity
T0 review · 1 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Random data below critical regularity still yield local NLS flow on the torus for every non-algebraic power.
desk verdict First random-data theorem for non-algebraic NLS powers on tori; the flagged union-bound gap doesn't survive contact with the arithmetic. 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 objects are the Galilean transform $I_\xi u(t,x)=e^{ix\cdot\xi-it|\xi|^2}u(t,x-2t\xi)$, the renormalized opposite-phase shear $I_\xi^{\mathrm{op}}u=e^{4it|\xi|^2}I_\xi u$, and the space-time Besov and atomic spaces (the $U^p_\Delta$, $V^p_\Delta$ spaces and the $Z^s$ space) in which the estimates are measured. The mechanism that carries the argument is the reversed counting lemma: for a dyadic high-frequency block $N$ decomposed into Galilean blocks of width $R$, fixing the nonzero coefficient frequency $m\neq 0$ and counting the block index $k$ gives $\#\{k: |k|_\infty\sim K,\, |4Rk\cdot m-\tau|\le L\}\lesssim K^{d-1}(1+L/(R|m|))$, a codimension-one gain that supplies the extra derivative recovery needed to sum over random blocks uniformly. The zero-mean condition is what makes this count available, which is why the gauged nonlinearity $G(y)=F(y)-c_a\mu(y)y$, with $\mu(y)=\int_{\mathbb{T}^d}|y|^a\,dx$, appears; the opposite-phase term requires the renormalized shear and a separate resonance counting on the quadratic modulation $\eta+4Rk\cdot m-8R^2|k|^2$.
What would settle it
Compute the union bound for the events $\Omega_{N,R,k}$ in Lemma 3.7 using the per-block tail from Lemma 3.2, which has no $N^{2\varepsilon}$ factor: with roughly $N^d$ blocks at scale $N$, the total failure probability can only stay below $\exp(-cT^{-\tilde\vartheta})$ if $\varepsilon$ exceeds $d/2$, contradicting the parameter choice $2\varepsilon<\sigma-\delta_0-\varepsilon_0$ in (2.6). That contradiction would dissolve the uniform smoothing and with it the two-component contraction.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for each dimension $d$ and each power $a>4/d$ with $0<s_c<1+a$, the gauged NLS $(i\partial_t+\Delta)y=\lambda(F(y)-c_a\mu(y)y)$, with $c_a=(1+a)/2$ and $\mu(y)=\int_{\mathbb{T}^d}|y|^a\,dx$, is almost surely locally well-posed for Gaussian random data, the nonlinear remainder gaining a fixed positive amount $\varepsilon_0$ of regularity beyond the scaling index $s_c$, and the original NLS follows by undoing the phase. The proof turns the deterministic Galilean bilinear estimates into a frequency-gaining probabilistic form: fixing the nonzero coefficient frequency $m$ and counting the Galilean block index $k$ gives the slab count $\#\{k: |k|_\infty\sim K,\, |4Rk\cdot m-\tau|\le L\}\lesssim K^{d-1}(1+L/(R|m|))$, whose loss of one lattice dimension is exactly the extra high-frequency power the random summation requires. Since the gain disappears at $m=0$, the spatial mean of the coefficient must be removed—this is what forces the gauge transform. The remaining interactions split into a mean-free same-phase term, an opposite-phase term handled by a renormalized shear, and a scalar remainder controlled by first-chaos large deviations; the fixed point is closed in a two-component space $(\beta,v)$ with reconstruction $J(\beta,v)=\beta z+v$, where the rough scalar direction is absorbed into $\beta$.
Load-bearing premise
The load-bearing premise is that the uniform good event for the random linear evolution costs only a tiny derivative loss $N^\varepsilon$ at every frequency scale, as Lemma 3.7 claims; the proof of that lemma points back to a result that contains no such $N^\varepsilon$ factor, so if the uniform intersection really costs more regularity, the positive smoothing $\varepsilon_0$ collapses and the contraction does not close.
Editorial extensions
If this is right
- For every dimension $d$ and every non-algebraic power in the full mass-supercritical range, the random-data Cauchy problem for the gauged NLS is locally well-posed with uniform positive smoothing, and the original NLS inherits the same theory by undoing the gauge.
- The energy-critical case $s_c=1$ is covered in all dimensions $d\ge 3$, including all higher-dimensional non-algebraic powers, recovering the quintic $\mathbb{T}^3$ and cubic $\mathbb{T}^4$ results as special cases.
- The gauge transform is not a convenience but a necessity: the zero Fourier mode of the coefficient would destroy the frequency gain, so any successful theory for this class must remove it.
- The scalar remainder is controlled independently of the two Galilean countings, so the positive smoothing does not rest on the delicate slab count alone.
- Uniqueness holds in the natural phase-adapted class $z+Y^{s_c+\varepsilon_0}$, and a Borel–Cantelli argument upgrades the statement to a probability-one event.
Reading between the lines
- If the uniform-event gap in Lemma 3.7 is closed, the same framework should transport to other periodic dispersive equations with non-algebraic nonlinearities, since the reversed counting depends only on lattice arithmetic, not on the specific Schrödinger symbol.
- The two-component contraction suggests a general device for removing rough scalar directions in random-data theories: absorb the scalar ODE into a coefficient $\beta$ and measure the contraction through the reconstructed sum $\beta z+v$, so that cancellations between the rough phase and the smooth remainder are exploited.
- A testable extension would be to push the argument to global-in-time statements for defocusing powers by combining the local theory with conservation laws or with the invariant-measure machinery, though such statements are not claimed here.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the periodic NLS (1.1) with non-algebraic power nonlinearity |z|^a z and Gaussian random initial data (1.2). The main result, Theorem 1.1, asserts almost sure local well-posedness of the gauged equation (1.3) in every dimension d and for the full mass-supercritical range 0<s_c<1+a, with the nonlinear remainder in Y^{s_c+epsilon_0}(I_T). The proof combines the Galilean bilinear estimates of Kwak and Kwon [25] with new random-data large-deviation estimates, a Bony decomposition of the gauged nonlinearity, and a phase-adapted two-component contraction. The claimed random gain is obtained from a frequency-gaining refinement of the deterministic Galilean counting, together with pathwise Besov bounds for the random linear solution.
Significance. If Theorem 1.1 were established, it would be a significant advance: prior almost sure well-posedness results on tori were mostly restricted to algebraic nonlinearities, while this paper aims at all non-algebraic powers in every dimension, including higher-dimensional energy-critical models. The paper is self-consciously built on the deterministic theory of Kwak and Kwon [25] and on the author's recent fixed-point strategy in [28], and it contains explicit new ingredients: a zero-mean mean-free coefficient, an opposite-phase interaction, and a scalar remainder with a separate shellwise estimate. The main probabilistic uniform event, however, is not established as stated; the proof of Theorem 1.1 therefore does not close as written. The underlying ideas may be salvageable, but substantial work is needed in Section 3.
major comments (1)
- [§3.2, Lemma 3.7 and Remark 3.5] The uniform large-deviation event (3.5) is not established. In the proof of Lemma 3.7, the author derives P(Ω_T^c) ≤ Σ_N log N · N^d exp(-c N^{2ε} T^{2(ϑ-(1/p-α))}) and then asserts that this is ≲ exp(-c' T^{2(ϑ-(1/p-α))}). This inequality is arithmetically false. Setting κ = 2(1/p - α - ϑ) > 0, the exponential factor is ≥ e^{-c} for dyadic N = 2^j with j ≤ j0 = floor((κ/(2ε)) log_2(1/T)). For R=1, the number of (R,k) triples is at least c N^d, so the partial sum is at least c 2^{j0 d} ≈ T^{-κ d/(2ε)}, which diverges as T→0 and cannot be bounded by exp(-c' T^{-κ}). In fact, for R=1 and N ≈ T^{-κ/(2ε)}, each of the ~N^d near-disjoint frequency blocks violates the threshold with probability ≈ e^{-c}, so the probability that all blocks are good is at most (1-e^{-c})^{cN^d} ≈ exp(-c' N^d), which tends to 0 as T→0. Hence the claimed good event Ω_T has complement probability near 1, not exp(-cT^{-γ}). Since (3.5) is used in Lemmas 3.8–3.15, in the estimates of Section 4, and in the contraction argument of Section 5, the proof of Theorem 1.1 does not close. Remark 3.5 asserts the same uniform-in-N bound with a derivative loss N^ε and the same failure probability; it suffers from the same union-bound defect.
minor comments (6)
- [Page 3, Section 1.1] The phrase "in out case" should read "in our case".
- [§2.2] In the dictionary of constants, "The numbers 0, s1, r are chosen" presumably refers to s_0, s_1, r; the subscript on s_0 is missing.
- [Lemma 3.7] The statement writes "for every p_ω ≥ 2" but the displayed norm uses L^q_ω; the exponent q is not defined in the lemma. It should presumably be L^{p_ω}_ω.
- [Lemma 3.1, proof] The notation "h^{-2α}|_{1/2T}" in the first display after the separation of the integral is garbled and should be rewritten as a proper evaluation of the antiderivative.
- [Lemma 3.7, proof] The derivation of the per-block tail exp(-c N^{2ε} T^{2(ϑ-(1/p-α))}) from Lemma 3.2 is not immediate, since Lemma 3.2 contains no N^{2ε} factor; the author should explicitly invoke Lemma 2.15 with the frequency-localized moment bound and state the threshold used.
- [Remark 3.3] The word "Lebesque" should be "Lebesgue", and "Soblev" should be "Sobolev".
Circularity Check
No significant circularity: the central random-data theorem is built from independent prior deterministic and probabilistic inputs, and the only self-citation is a non-load-bearing methodological reference.
full rationale
The paper's central claim, Theorem 1.1, is not presupposed by its inputs. The gauged NLS (1.3) is obtained from the original NLS by the exact algebraic gauge identity (1.5), and the existence proof then derives the desired y=z+w with w in Y^{s_c+epsilon_0} from the contraction argument in Section 5. The load-bearing analytic inputs are the deterministic critical theory of Kwak and Kwon [25], the independent probabilistic Gaussian tail bounds of Burq and Tzvetkov [11] and Tzvetkov [33], and the embedding, duality, and atomic-space tools for U^2, V^2, and Z^s spaces. The two randomized bilinear estimates in Section 3 are genuinely new statements rather than restatements of fitted parameters. The only author self-citation is [28], cited in Section 1.3(iv) only as a fixed-point strategy ('following a strategy similar to the one used in author's recent work [28]'); that strategy is then implemented with estimates proved in the present paper, so the citation is not load-bearing. The skeptical complaint about Lemma 3.7 concerns the arithmetic of the union bound and whether the displayed failure probability closes; that is a correctness gap, not a circularity, because the uniform event (3.5) is asserted as a new probabilistic estimate and is not derived from the conclusion of Theorem 1.1. Accordingly no circular step can be exhibited with a quote that reduces the theorem to its own inputs, so the score is 0.
Assumptions & free parameters
free parameters (5)
- delta =
0 < delta < delta_0, arbitrary small
- delta_0 =
small, chosen after s0, s1, alpha_a
- epsilon_0 =
small positive
- epsilon =
small derivative loss
- sigma, sigma_1..sigma_4, vartheta, tilde_vartheta =
hierarchy of small constants
assumptions (6)
- standard math Standard vector-valued Besov embedding, interpolation, and duality properties (Lemma 2.2)
- standard math Fractional chain rules and Holder-Besov inequalities (Lemmas 2.4-2.7)
- standard math Large deviation estimates for Gaussian random variables (Lemmas 2.14-2.15)
- standard math The U^p/V^p atomic spaces and the Z^s space satisfy the embeddings and duality in Lemmas 2.10-2.11
- domain assumption The deterministic Galilean bilinear and Bony estimates of Kwak-Kwon hold as stated ([25, Lem. 3.9, Prop. 3.11, Lem. 4.1, Lem. 4.4])
- domain assumption The random data are independent standard complex Gaussians (1.2) and the power a satisfies a>4/d and 0<s_c<1+a
Cite this review
Pith. "Pith review of Almost sure local well-posedness for the nonlinear Schr\"odinger equations on $\Bbb T^d$ with non-algebraic nonlinearity." pith.science (2026). https://pith.science/paper/JX6J5O5H
@misc{pith2026260804643,
author = {Pith},
title = {Pith review of: Almost sure local well-posedness for the nonlinear Schr\"odinger equations on $\Bbb T^d$ with non-algebraic nonlinearity},
year = {2026},
howpublished = {\url{https://pith.science/paper/JX6J5O5H}},
note = {Machine review of arXiv:2608.04643}
}
abstract
We study the Cauchy problem for the nonlinear Schr\"odinger equation on $\mathbb T^d$ with random initial data and a general non-algebraic power-type nonlinearity. We establish almost sure local well-posedness in every spatial dimension and for the whole mass-supercritical range allowed by the natural condition $0<s_{\mathrm c}<1+a$. The main new ingredient is a frequency-gaining probabilistic refinement of the Galilean bilinear estimates recently developed by Kwak and Kwon \cite{KwakKwon}. In the random setting, the gauge decomposition gives rise to three new types of terms: a mean-free coefficient, an opposite-phase interaction, and a scalar remainder. We control them by new resonance counting and large deviation arguments, and close the local theory through a phase-adapted two-component contraction. In the energy-critical case, our result extends the low-dimensional algebraic theories of Nahmod--Staffilani \cite{NahmodStaffilani15} and Yue \cite{Yue21} to every dimension $d\geq3$, including the higher-dimensional non-algebraic models.
Reference graph
Works this paper leans on
-
[28]
Critical scattering for the nonlinear S chr \"o dinger equation on waveguide manifolds
Luo, Y. Critical scattering for the nonlinear S chr \"o dinger equation on waveguide manifolds. Preprint, arXiv :2506.00442 [math. AP ] (2025), 2025
arXiv 2025
-
[25]
Critical local well-posedness of the nonlinear S chr\"odinger equation on the torus
Kwak, B., and Kwon, S. Critical local well-posedness of the nonlinear S chr\"odinger equation on the torus. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire 43 , 1 (2026), 155--201
work page 2026
-
[1]
Operator-valued Fourier multipliers, vector-valued Besov spaces, and applications
Amann, H. Operator-valued Fourier multipliers, vector-valued Besov spaces, and applications. Math. Nachr. 186\/ (1997), 5--56
work page 1997
-
[2]
Compact embeddings of vector-valued S obolev and B esov spaces
Amann, H. Compact embeddings of vector-valued S obolev and B esov spaces. Glas. Mat. Ser. III 35(55) , 1 (2000), 161--177. Dedicated to the memory of Branko Najman
work page 2000
-
[3]
Bourgain, J. Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. I . S chr\" o dinger equations. Geom. Funct. Anal. 3 , 2 (1993), 107--156
work page 1993
-
[4]
Bourgain, J. Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. II . T he K d V -equation. Geom. Funct. Anal. 3 , 3 (1993), 209--262
work page 1993
-
[5]
Periodic nonlinear Schr \"o dinger equation and invariant measures
Bourgain, J. Periodic nonlinear Schr \"o dinger equation and invariant measures. Commun. Math. Phys. 166 , 1 (1994), 1--26
work page 1994
-
[6]
Invariant measures for the 2d-defocusing nonlinear Schr \"o dinger equation
Bourgain, J. Invariant measures for the 2d-defocusing nonlinear Schr \"o dinger equation. Commun. Math. Phys. 176 , 2 (1996), 421--445
work page 1996
Show all 35 references
-
[7]
R., and Yue, H
Bringmann, B., Deng, Y., Nahmod, A. R., and Yue, H. Invariant Gibbs measures for the three dimensional cubic nonlinear wave equation. Invent. Math. 236 , 3 (2024), 1133--1411
2024
-
[8]
Strichartz inequalities and the nonlinear S chr\" o dinger equation on compact manifolds
Burq, N., G\' e rard, P., and Tzvetkov, N. Strichartz inequalities and the nonlinear S chr\" o dinger equation on compact manifolds. Amer. J. Math. 126 , 3 (2004), 569--605
2004
-
[9]
Bilinear eigenfunction estimates and the nonlinear S chr\" o dinger equation on surfaces
Burq, N., G\' e rard, P., and Tzvetkov, N. Bilinear eigenfunction estimates and the nonlinear S chr\" o dinger equation on surfaces. Invent. Math. 159 , 1 (2005), 187--223
2005
-
[10]
Multilinear eigenfunction estimates and global existence for the three dimensional nonlinear S chr\" o dinger equations
Burq, N., G\' e rard, P., and Tzvetkov, N. Multilinear eigenfunction estimates and global existence for the three dimensional nonlinear S chr\" o dinger equations. Ann. Sci. \' E cole Norm. Sup. (4) 38 , 2 (2005), 255--301
2005
-
[11]
Random data Cauchy theory for supercritical wave equations I : Local theory
Burq, N., and Tzvetkov, N. Random data Cauchy theory for supercritical wave equations I : Local theory. Invent. Math. 173 , 3 (2008), 449--475
2008
-
[12]
Random data Cauchy theory for supercritical wave equations
Burq, N., and Tzvetkov, N. Random data Cauchy theory for supercritical wave equations. II . A global existence result. Invent. Math. 173 , 3 (2008), 477--496
2008
-
[13]
Semilinear S chr\"odinger equations , vol
Cazenave, T. Semilinear S chr\"odinger equations , vol. 10 of Courant Lecture Notes in Mathematics . New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2003
2003
-
[14]
Ill-posedness for nonlinear S chrodinger and wave equations, 2003
Christ, M., Colliander, J., and Tao, T. Ill-posedness for nonlinear S chrodinger and wave equations, 2003
2003
-
[15]
Almost sure well-posedness of the cubic nonlinear Schr \"o dinger equation below \(L^ 2 ( T )\)
Colliander, J., and Oh, T. Almost sure well-posedness of the cubic nonlinear Schr \"o dinger equation below \(L^ 2 ( T )\) . Duke Math. J. 161 , 3 (2012), 367--414
2012
-
[16]
R., and Yue, H
Deng, Y., Nahmod, A. R., and Yue, H. Random tensors, propagation of randomness, and nonlinear dispersive equations. Invent. Math. 228 , 2 (2022), 539--686
2022
-
[17]
R., and Yue, H
Deng, Y., Nahmod, A. R., and Yue, H. Invariant Gibbs measures and global strong solutions for nonlinear Schr \"o dinger equations in dimension two. Ann. Math. (2) 200 , 2 (2024), 399--486
2024
-
[18]
Construction of \(L^2\) log-log blowup solutions for the mass critical nonlinear Schr \"o dinger equation
Fan, C., and Mendelson, D. Construction of \(L^2\) log-log blowup solutions for the mass critical nonlinear Schr \"o dinger equation. J. Eur. Math. Soc. (JEMS) 26 , 5 (2024), 1795--1849
2024
-
[19]
Paracontrolled approach to the three-dimensional stochastic nonlinear wave equation with quadratic nonlinearity
Gubinelli, M., Koch, H., and Oh, T. Paracontrolled approach to the three-dimensional stochastic nonlinear wave equation with quadratic nonlinearity. J. Eur. Math. Soc. (JEMS) 26 , 3 (2024), 817--874
2024
-
[20]
Well-posedness and scattering for the KP - II equation in a critical space
Hadac, M., Herr, S., and Koch, H. Well-posedness and scattering for the KP - II equation in a critical space. Ann. Inst. H. Poincar\' e Anal. Non Lin\' e aire 26 , 3 (2009), 917--941
2009
-
[21]
On scattering for the quintic defocusing nonlinear S chr\" o dinger equation on R T^2
Hani, Z., and Pausader, B. On scattering for the quintic defocusing nonlinear S chr\" o dinger equation on R T^2 . Comm. Pure Appl. Math. 67 , 9 (2014), 1466--1542
2014
-
[22]
Global well-posedness of the energy-critical nonlinear S chr\" o dinger equation with small initial data in H^1( T^3)
Herr, S., Tataru, D., and Tzvetkov, N. Global well-posedness of the energy-critical nonlinear S chr\" o dinger equation with small initial data in H^1( T^3) . Duke Math. J. 159 , 2 (2011), 329--349
2011
-
[23]
Strichartz estimates for partially periodic solutions to S chr\" o dinger equations in 4d and applications
Herr, S., Tataru, D., and Tzvetkov, N. Strichartz estimates for partially periodic solutions to S chr\" o dinger equations in 4d and applications. J. Reine Angew. Math. 690\/ (2014), 65--78
2014
-
[24]
G., Frantzeskakis, D
Kevrekidis, P. G., Frantzeskakis, D. J., and Carretero-Gonz\'alez, R. The defocusing nonlinear S chr\"odinger equation . Society for Industrial and Applied Mathematics, Philadelphia, PA, 2015. From dark solitons to vortices and vortex rings
2015
-
[26]
Lee, G. E. Local wellposedness for the critical nonlinear Schr \"o dinger equation on \( T ^3 \) . Discrete Contin. Dyn. Syst. 39 , 5 (2019), 2763--2783
2019
-
[27]
J., and Teichmann, J
Liu, C., Pr \"o mel, D. J., and Teichmann, J. Characterization of nonlinear Besov spaces. Trans. Am. Math. Soc. 373 , 1 (2020), 529--550
2020
-
[29]
R., and Staffilani, G
Nahmod, A. R., and Staffilani, G. Almost sure well-posedness for the periodic 3D quintic nonlinear Schr \"o dinger equation below the energy space. J. Eur. Math. Soc. (JEMS) 17 , 7 (2015), 1687--1759
2015
-
[30]
Modified S trichartz estimates with an application to the critical nonlinear S chr\"odinger equation
Nakamura, M., and Wada, T. Modified S trichartz estimates with an application to the critical nonlinear S chr\"odinger equation. Nonlinear Anal. 130\/ (2016), 138--156
2016
-
[31]
On the probabilistic well-posedness of the nonlinear Schr \"o dinger equations with non-algebraic nonlinearities
Oh, T., Okamoto, M., and Pocovnicu, O. On the probabilistic well-posedness of the nonlinear Schr \"o dinger equations with non-algebraic nonlinearities. Discrete Contin. Dyn. Syst. 39 , 6 (2019), 3479--3520
2019
-
[32]
Optimal integrability threshold for Gibbs measures associated with focusing NLS on the torus
Oh, T., Sosoe, P., and Tolomeo, L. Optimal integrability threshold for Gibbs measures associated with focusing NLS on the torus. Invent. Math. 227 , 3 (2022), 1323--1429
2022
-
[33]
Construction of a Gibbs measure associated to the periodic Benjamin - Ono equation
Tzvetkov, N. Construction of a Gibbs measure associated to the periodic Benjamin - Ono equation. Probab. Theory Relat. Fields 146 , 3-4 (2010), 481--514
2010
-
[34]
Almost sure well-posedness for the cubic nonlinear Schr \"o dinger equation in the super-critical regime on \( T ^d\) , \(d 3\)
Yue, H. Almost sure well-posedness for the cubic nonlinear Schr \"o dinger equation in the super-critical regime on \( T ^d\) , \(d 3\) . Stoch. Partial Differ. Equ., Anal. Comput. 9 , 1 (2021), 243--294
2021
-
[35]
On scattering for the defocusing nonlinear S chr\" o dinger equation on waveguide R^m T (when m = 2,3 )
Zhao, Z. On scattering for the defocusing nonlinear S chr\" o dinger equation on waveguide R^m T (when m = 2,3 ). J. Differential Equations 275\/ (2021), 598--637
2021
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.