REVIEW 4 major objections 4 minor 38 references
On almost periodic solutions to NLS without external parameters
T0 review · 4 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper claims that one-dimensional nonlinear Schrödinger equations on the circle admit infinite-dimensional non-resonant invariant tori without external parameters, and hence almost periodic solutions that are not quasi-periodic.
desk verdict A clear, honest extended sketch of a major result, but it is not the proof—the theorem lives in the companion BGR24 paper, and the sketch leaves an unverified gap between its stated smoothing estimate and the sparsity condition. 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 load-bearing object is the regularizing normal form of Section 2, used as a black box in Section 3. After a symplectic change of variables, the Hamiltonian is $\mathrm{Z}_2$ plus a remainder whose coefficients obey $|P^{\ell,\sigma}| \lesssim 1 \wedge (|\ell^*_3|^2/|\ell^*_1|)$ (equation (7) with $\delta=1$), which makes the vector field one-derivative smoothing except for an $L^2$-norm phase rotation, a gauge transform. This smoothing is what upgrades the KAM twist condition to the diagonal-dominance form (18) and yields the sparsity condition (20) on the infinite mode set $S_\infty$. Around this, the proof builds a loop: open one new site, run a normal-form procedure to shrink the adapted jet to $r_p^{4000}$, then run a KAM step with the current radius as the small parameter; because $r_{p+1}$ can be chosen much smaller than $r_p$, the loop has an infinite reservoir of smallness.
What would settle it
Compute, for cubic NLS, the terms generated by the normal form at order eight and check the claimed bound $|P^{\ell,\sigma}| \lesssim 1 \wedge (|\ell^*_3|^2/|\ell^*_1|)$ on every monomial whose highest mode is paired as an action; a single monomial whose coefficient stays of order one while $|\ell^*_1|$ grows would falsify the smoothing estimate that the KAM part uses as a black box.
Extended reading notes
Core claim
On the paper's own terms, the discovery is Theorem 1.2: there exist non-resonant infinite-dimensional Kronecker tori for (NLS), meaning invariant sets homeomorphic to $\mathbb{T}^{\mathbb{N}}$ on which the flow is conjugate to translation by a rationally independent frequency vector, with every orbit dense. By Corollary 1.5 these tori support almost periodic solutions that are not quasi-periodic. The construction actually produces a family of such tori accumulating on the finite-dimensional KAM tori of [KP96]: one fixes a finite set of modes, builds a torus around it, then repeatedly adds one mode, applies a normal-form step that drives the unwanted low-order terms down to size $r_p^{4000}$, and performs a KAM step whose small parameter is the current radius $r_p$ rather than the global amplitude. The limit $p\to\infty$ is controlled by a sparsity condition on the final set of modes, and the whole scheme works only because the regularized nonlinearity is strong enough to keep the twist map invertible as the dimension grows.
Load-bearing premise
The proof assumes that after a carefully chosen change of variables the nonlinearity really does gain one derivative, except for an irrelevant phase rotation, with bounds that do not degrade as the mode numbers grow; if that fails, the sparsity condition cannot save the iteration.
Editorial extensions
If this is right
- The NLS on the circle has global solutions that are almost periodic but not quasi-periodic, for every nonlinearity satisfying the paper's assumptions: real entire, $f(0)=0$, $f'(0)\neq0$, and at most exponential growth.
- The constructed tori form a family that accumulates on the finite-dimensional KAM tori of [KP96], so the almost periodic solutions occur arbitrarily close to known finite-dimensional invariant tori.
- Each non-resonant Kronecker torus carries dense orbits, so the corresponding solutions are ergodic on the torus with respect to the product measure.
- The proof uses only internal parameters, namely squared moduli of Fourier coefficients, so no external potential or forcing term is needed.
Reading between the lines
- A natural next test is whether the sparsity condition (20) is genuinely necessary; the discussion in the note suggests that a regularizing normal form with better smoothing (larger $\delta$, or no loss $s_0=0$) would relax it, and the sixth-order term $Z_6$ is the obvious place to look.
- The same 'add one mode at a time' iteration should transfer to other one-dimensional Hamiltonian PDEs once an analogue of the regularizing normal form is available; this is a direct test of the method's generality.
- A quantitative version that controls the decay of the radii $r_p$ rather than just choosing them successively smaller would make the tori concrete and could connect the construction to long-time stability theorems.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript states Theorem 1.2, which asserts the existence of non-resonant infinite-dimensional Kronecker tori for the nonlinear Schrödinger equation on the circle without external parameters, and Corollary 1.5, which asserts the existence of almost-periodic solutions that are not quasi-periodic. The proof is presented as an extended sketch: Section 2 describes a partially regularizing normal form whose coefficients depend on the L2 norm, and Section 3 outlines a KAM-type construction using internal parameters, iterating finite-dimensional tori in the style of Pöschel. The text repeatedly states that detailed arguments are contained in the companion paper [BGR24], and several steps are explicitly announced as omitted or simplified.
Significance. If the result holds, it is a significant advance: it would provide the first construction of infinite-dimensional invariant tori for a non-integrable Hamiltonian PDE without external parameters, and equivalently almost-periodic non-quasi-periodic solutions for the 1D NLS. The proposed mechanism—iterating finite-dimensional KAM tori while using internal parameters and a partially regularizing normal form—is novel and goes beyond the previously known external-parameter results. The paper also gives a clear and useful survey of the literature. However, as submitted, the manuscript is a proof sketch rather than a complete proof, and the central claim depends on the companion paper [BGR24] plus several admitted omissions. The significance of the result therefore cannot be evaluated from this manuscript alone.
major comments (4)
- [§3, especially §3.6] Theorem 1.2 is not proved in the manuscript. The text repeatedly states that detailed proofs are contained in [BGR24] (e.g., §1, §2.2, §3.3, §3.7), and the convergence step in §3.6 is described only as "very schematically" using an "infinite reservoir of smallness." The reader is not given a proof of the KAM steps, the measure estimates, or the limit p→∞. As a standalone paper, this is a load-bearing omission. The authors should either include the complete proof or precise theorem-by-theorem reductions to [BGR24], or clearly re-frame the paper as an extended abstract of [BGR24] rather than as a proof of Theorem 1.2.
- [§3.7 and §2] The regularizing normal form bound (7) is not reconciled with the derivative estimate (19) used for the twist condition. Section 2 states the coefficient bound |P^{ℓ,σ}| ≲ 1 ∧ |ℓ*_3|^{2δ}/|ℓ*_1|^δ with δ=1 for the normal form after a symplectic change and a gauge transform, while §3.7 asserts "our case with s0=2δ=2" and uses estimate (19). The derivation of (19) from (7) is not given and is delegated to [BGR24]. This is load-bearing because (18)–(20) are exactly what allow the limit p→∞ in §3.6. Moreover, the heuristic discussion in §3.7 for the sextic term c_{k,ℓ,j}|u_j|^2|u_ℓ|^2|u_k|^2 suggests a bound |c_{k,ℓ,j}| ≤ ⟨k⟩^{-δ}⟨ℓ⟩^{4δ}⟨j⟩^{4δ}, which for k≫ℓ≥j appears weaker than the 1-smoothing bound in (7), so the stated loss s0=2δ=2 is not evidently consistent with (7).
- [§3.1] The L2 norm is treated as a constant in the KAM part, but Section 2 builds the normal form with coefficients depending on ‖u‖^2_{L2}, and §3.7 attributes the loss s0=2 to this dependence. The text says "to simplify our presentation, in this sketch of proof we'll consider ‖u‖^2_{L2} as a constant." This simplification affects the frequency modulation in (17) and the twist condition in (18), since the internal parameters ξ enter both through the amplitudes and through the L2-norm argument of the coefficients. The admitted simplification is therefore load-bearing and must be either removed or fully justified.
- [§3.7] The twist condition is only stated for differentiable λ, but the text explicitly notes: "in fact ξ ↦ λ will be only Lipschitz and we have to adapt the twist condition but we omit this problem here." Since the twist condition (18) and the sparsity condition (20) are essential for taking p→∞, the Lipschitz adaptation must be supplied or precisely referenced. As written, the proof of the twist condition is incomplete.
minor comments (4)
- [§2 and §3.7] The symbol s0 is used with two different meanings: in §2 it denotes a Sobolev regularity exponent in (1/2, s), while in §3.7 it denotes the weight exponent in the ℓ^1_{s0} spaces, where s0=2. Please introduce distinct notation to avoid confusion.
- [§2.3 and §3.7] The sextic integrable term is written as Z6 = ∑_{k≠ℓ} |u_k|^2|u_ℓ|^4/(k−ℓ)^2 in §2.3 and as Z6 = ∑_{k≠ℓ} |u_k|^4|u_ℓ|^2/(k−ℓ)^2 in §3.7. Although the sums are symmetric under exchange of k and ℓ, the notation should be made consistent to avoid confusion.
- [§3.4] The sentence "we will ignore it" refers to removing a small part of parameters during the Birkhoff step. If this removal is not described, the measure estimate for O^{(2)}_ε stated in §3.5 has no visible justification in the note; a precise reference or a brief explanation should be added.
- [Throughout] There are several typographical issues, including "extern al" in the abstract, "withδ = 1" after (7), and inconsistent spacing in displayed formulas. A careful proofreading pass is needed.
Circularity Check
No circularity: the note transparently defers the full proof to the self-cited companion paper and contains no fitted-input prediction.
full rationale
The paper does not fit parameters to data and then present them as predictions; the internal parameters ξ are construction variables (Section 3.2), and the frequencies are defined from them, not fitted. The central result is stated as established in [BGR24], and the note explicitly labels itself an extended sketch; Section 2's regularizing normal form is used as a black box, with the full derivation delegated to [BGR24]. This is a transparent division of labor rather than a definitional identification of the conclusion with an assumption. The twist bound (19) and sparsity condition (20) are asserted as consequences of the sketched KAM analysis, and the note flags omitted technicalities ('we omit this problem here'; 'to simplify our presentation, in this sketch of proof we'll consider ‖u‖²_L2 as a constant'). Whether (19) actually follows from the stated smoothing bound (7), and whether the s0=2δ=2 loss is consistent with the δ=1 smoothing of Section 2, is a correctness/completeness question about the sketch, not a circular reduction: the paper does not define its conclusion into its hypotheses, and the self-citation is not used to forbid alternatives. Hence no step reduces by construction to an earlier input or to the theorem being proved.
Assumptions & free parameters
free parameters (3)
- radii sequence (r_p)_{p>=1} =
Not specified; chosen recursively with r_{p+1} << r_p
- small parameter ε =
Arbitrarily small; constraints like ε ≲ r_1^{5000}
- exponent ν ∈ (1/2,1) =
Fixed, e.g., ν=3/4
assumptions (4)
- standard math Standard Kuksin-Pöschel KAM theory for finite-dimensional tori
- domain assumption Regularizing normal form theorem from [BGR24]
- domain assumption Melnikov-type small divisor estimates (orders 1 to 4) hold on sets of asymptotically full measure
- ad hoc to paper The L2 norm is treated as a constant in the KAM part
Cite this review
Pith. "Pith review of On almost periodic solutions to NLS without external parameters." pith.science (2026). https://pith.science/paper/PCG7WZSI
@misc{pith2026250510051,
author = {Pith},
title = {Pith review of: On almost periodic solutions to NLS without external parameters},
year = {2026},
howpublished = {\url{https://pith.science/paper/PCG7WZSI}},
note = {Machine review of arXiv:2505.10051}
}
read the original abstract
In this note, we present a result established in [BGR24] where we prove that nonlinear Schrodinger equations on the circle, without external parameters, admit plenty of infinite dimensional non resonant invariant tori, or equivalently, plenty of almost periodic solutions. Our aim is to propose an extended sketch of the proof, emphasizing the new points which have enabled us to achieve this result.
Reference graph
Works this paper leans on
-
[1]
P. Baldi, M. Berti, E. Haus, R. Montalto , Time quasi-periodic gravity water waves in finite depth, Inventiones Math https://doi.org/10.1007/s00222-018-0812-2. 214 (2018), 739--911
-
[2]
J. Bernier, N. Camps , Long time stability for cubic nonlinear Schr\" odinger equations on non-rectangular flat tori, arXiv:2402.04122 https://arxiv.org/abs/2402.04122, (2024)
arXiv 2024
-
[3]
J. Bernier, E. Faou, B. Gr\'ebert , Rational normal forms and stability of small solutions to nonlinear Schr\"odinger equations, Annals of PDE https://doi.org/10.1007/s40818-020-00089-5 6 , 14 (2020)
-
[4]
J. Bernier, B. Gr\'ebert , Long time dynamics for generalized Korteweg-de Vries and Benjamin-Ono equations, Arch. Rational Mech. Anal. https://doi.org/10.1007/s00205-021-01666-z 241, 1139--1241 (2021)
-
[5]
J. Bernier, B. Gr\'ebert , Birkhoff normal forms for Hamiltonian PDEs in their energy space, Journal de l’Ecole polytechnique — Mathématiques https://doi.org/10.5802/jep.193, Tome 9 (2022), pp. 681-745
doi:10.5802/jep.193 2022
-
[6]
J. Bernier, B. Gr \'e bert, T. Robert , Infinite dimensional invariant tori for nonlinear Schr\"odinger equations, arxiv.org/abs/2412.11845 https://arxiv.org/abs/2412.11845, (2024)
arXiv 2024
-
[7]
M. Berti, P. Bolle , Quasi-periodic solutions with Sobolev regularity of NLS on T^d with a multiplicative potential, J. Eur. Math. Soc. https://doi.org/10.4171/JEMS/361 15 (2013), 229--286
doi:10.4171/jems/361 2013
-
[8]
M. Berti, Z. Hassainia, N. Masmoudi , Time quasi-periodic vortex patches of Euler equation in the plane, Inventiones Math. https://doi.org/10.1007/s00222-023-01195-4, 233 (2023), 1279--1391
Show all 38 references
-
[9]
Berti, T
M. Berti, T. Kappeler, R. Montalto , Large KAM tori for perturbations of the dNLS equation, Asterisque https://doi.org/10.24033/ast.1053, 403. 2018
2018 doi
-
[10]
Biasco, L
L. Biasco, L. Corsi, G. Gentile, M. Procesi , Asymptically full measure sets of almost-periodic solutions for the NLS equation, arxiv:2412.02648 https://arxiv.org/abs/2412.02648
-
[11]
Biasco, J.E
L. Biasco, J.E. Massetti, M. Procesi , Almost periodic invariant tori for the NLS on the circle, Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire https://doi.org/10.1016/j.anihpc.2020.09.003, 38 (2020) no. 3, 711--758
2020 doi
-
[12]
Biasco, J.E
L. Biasco, J.E. Massetti, M. Procesi , Weak Sobolev almost periodic solutions for the 1D NLS, Duke Math. J. https://doi.org/10.1215/00127094-2022-0089, 172 (14) 2643 - 2714, 2023
2022 doi
-
[13]
Bohr , Almost Periodic Functions, Chelsea Publishing Co., New York, 1947
H. Bohr , Almost Periodic Functions, Chelsea Publishing Co., New York, 1947
1947
-
[14]
Bourgain , Construction of quasi-periodic solutions for Hamiltonian perturbations of linear equations and applications to nonlinear PDE, Internat
J. Bourgain , Construction of quasi-periodic solutions for Hamiltonian perturbations of linear equations and applications to nonlinear PDE, Internat. Math. Res. Notice https://doi.org/10.1155/S1073792894000516 1994 (1994), no. 11, 475--497
1994 doi
-
[15]
J. Bourgain , Construction of approximative and almost-periodic solutions of perturbed linear Schr\"odinger and wave equations, Geometric and Functional Analysis https://doi.org/10.1007/BF02247885 6 (1996) 201--230
1996 doi
-
[16]
Bourgain , Quasi-periodic solutions of H amiltonian perturbations of 2 D linear S chr\"odinger equations , Ann
J. Bourgain , Quasi-periodic solutions of H amiltonian perturbations of 2 D linear S chr\"odinger equations , Ann. of Math. https://doi.org/10.2307/121001 (2), 148 (1998), no. 2, 363--439
1998 doi
-
[17]
Bourgain , On diffusion in high-dimensional Hamiltonian systems and PDE, J
J. Bourgain , On diffusion in high-dimensional Hamiltonian systems and PDE, J. Anal. Math. https://doi.org/10.1007/BF02791532 80, 1--35 (2000)
2000 doi
-
[18]
Bourgain , On invariant tori of full dimension for 1 D periodic NLS , J
J. Bourgain , On invariant tori of full dimension for 1 D periodic NLS , J. Funct. Anal. https://doi.org/10.1016/j.jfa.2004.10.019 229 (2005), no. 1, 62--94
2005 doi
-
[19]
Cong , The existence of full dimensional KAM tori for nonlinear Schr\"odinger equation, Math
H. Cong , The existence of full dimensional KAM tori for nonlinear Schr\"odinger equation, Math. Ann. https://doi.org/10.1007/s00208-023-02782-9 Volume 390, pages 671–719, (2024)
2024 doi
-
[20]
H. Cong, X. Yuan , The existence of full dimensional invariant tori for 1-dimensional nonlinear wave equation, Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire https://doi.org/10.1016/j.anihpc.2020.09.006 38 (2021), no.3, 759--786
2021 doi
-
[21]
Corsi, G
L. Corsi, G. Gentile, M. Procesi , Almost-periodic solutions to the NLS equation with smooth convolution potentials, arXiv:2309.14276 https://arxiv.org/abs/2309.14276, (2023)
2023 arXiv
-
[22]
Craig, C.E
W. Craig, C.E. Wayne , Newton's method and periodic solutions of nonlinear wave equation, Comm. Pure Appl. Math. https://doi.org/10.1002/cpa.3160461102 46 (1993), no. 11, 1409--1498
1993 doi
-
[23]
Eliasson, S.B
L.H. Eliasson, S.B. Kuksin , KAM for the nonlinear Schr\"odinger equation, Ann. Math. https://doi.org/10.4007/annals.2010.172.371 (2) 172 (2010), 371--435
2010 doi
-
[24]
Eliasson, B
L.H. Eliasson, B. Gr\'ebert, S.B. Kuksin , KAM for non-linear beam equation, Geom. Funct. Anal. https://doi.org/10.1007/s00039-016-0390-7 26 (2016) 1588--1715
2016 doi
-
[25]
Erdo gan, N
M.B. Erdo gan, N. Tzirakis, Talbot effect for the cubic nonlinear Schr\"odinger equation on the torus, Math. Res. Lett. https://dx.doi.org/10.4310/MRL.2013.v20.n6.a7, 20 (2013), 1081–1090
2013 doi
-
[26]
Erdo gan, N
M.B. Erdo gan, N. Tzirakis Smoothing and global attractors for the Zakharov system on the torus, Anal. PDE https://doi.org/10.2140/apde.2013.6.723, 6 (2013), pp. 723--750
2013 doi
-
[27]
Feola, F
R. Feola, F. Giuliani , Quasi-periodic traveling waves on an infinitely deep perfect fluid under gravity, Memoirs of the American Mathematical Society https://doi.org/10.1090/memo/1471, 158 p. (2024)
2024 doi
-
[28]
J. Geng, X. Xu , Almost-periodic solutions of one dimensional Schr\"odinger equation with the external parameters, J. Dyn. Differ. Equations https://doi.org/10.1007/s10884-013-9302-9 25 (2013), no. 2, 435--450
2013 doi
-
[29]
Gr\'ebert, E
B. Gr\'ebert, E. Paturel , KAM for the Klein Gordon equation on S^d , Boll. Unione Mat. Ital https://doi.org/10.1007/s40574-016-0072-2, 9 (2016), 237--288
2016 doi
-
[30]
Kappeler, J
T. Kappeler, J. P \"o schel , KdV&KAM, Springer https://doi.org/10.1007/978-3-662-08054-2 (2003)
2003 doi
-
[31]
Kuksin , Hamiltonian perturbations of infinite-dimensional linear systems with imaginary spectrum, Funktsional
S. Kuksin , Hamiltonian perturbations of infinite-dimensional linear systems with imaginary spectrum, Funktsional. Anal. i Prilozhen. https://doi.org/10.1007/BF02577134 21 (1987), no. 3, 22--37
1987 doi
-
[32]
o schel , Invariant C antor manifolds of quasi-periodic oscillations for a nonlinear S chr \
S. Kuksin, J. P \"o schel , Invariant C antor manifolds of quasi-periodic oscillations for a nonlinear S chr \"o dinger equation , Ann. of Math. https://doi.org/10.2307/2118656 (2) 143 (1996), no. 1, 149--179
1996 doi
-
[33]
J. Liu, D. Xiang , Exact global control of small divisors in rational normal form, Nonlinearity https://doi.org/10.1088/1361-6544/ad4cd2, 37 075020
-
[34]
McConnell , Nonlinear smoothing for the periodic generalized nonlinear Schr\"odinger equation, J
R. McConnell , Nonlinear smoothing for the periodic generalized nonlinear Schr\"odinger equation, J. Differential Equations https://doi.org/10.1016/j.jde.2022.09.017, 341 (2022), 353–379
2022 doi
-
[35]
P\"oschel , A KAM theorem for some nonlinear PDEs, Ann
J. P\"oschel , A KAM theorem for some nonlinear PDEs, Ann. Sc. Norm. Pisa Cl. Sci. http://www.numdam.org/item/ASNSP_1996_4_23_1_119_0(4) 23 (1996), no. 1, 119--148
1996
-
[36]
o schel , On the construction of almost-periodic solutions for a nonlinear Schr \
J. P \"o schel , On the construction of almost-periodic solutions for a nonlinear Schr \"o dinger equation , Ergodic Theory Dynam. Systems https://doi.org/10.1017/S0143385702001086 22 (2002), no. 5, 1537--1549
2002 doi
-
[37]
Procesi, M
C. Procesi, M. Procesi , A KAM algorithm for the resonant non-linear Schr\"odinger equation, Advances in Math. https://doi.org/10.1016/j.aim.2014.12.004 (2015), 399--470
2015 doi
-
[38]
Wayne , Periodic and quasi-periodic solutions of nonlinear wave equations via KAM theory, Comm
C.E. Wayne , Periodic and quasi-periodic solutions of nonlinear wave equations via KAM theory, Comm. Math. Phys. https://doi.org/10.1007/BF02104499 127 (1990), no. 3, 479--528
1990 doi
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.