REVIEW 2 major objections 9 minor 38 references
Measures and Trajectory Properties in Oscillator Systems
T0 review · 2 major / 9 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper claims that for linear flows on infinite-dimensional tori, the type of the underlying measure decides recurrence: countable systems keep every point non-wandering, while absolutely continuous and singular Bernoulli systems can…
desk verdict The countable-vs-continual wandering dichotomy is a real contribution, but the Bernoulli application in Theorem 4.1 is oversold: the Fourier condition is only checked for the unweighted measure, not for the weighted measures that the dense-set conclusion needs. 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 invariant torus $T_r=\{u\in L^2(\mathbb{R},\mu): |u(x)|=r(x)\ \mu$-a.e.\}$ and the effective measure $\mu_u=|u|^2\mu$, whose Fourier transform $\widehat{\mu_u}(\xi)=\int |u(x)|^2 $e^{{-i\xi x}}$\,d\mu(x)$ carries the argument. The lever is Theorem 3.5: if the Fourier transform's magnitude at infinity stays strictly below the total mass of $\mu_u$, then no orbit can return to any fixed neighborhood of its starting point, so every point is wandering and the torus is not topologically transitive. The countable/continuous dichotomy is read off from whether this Fourier decay happens: it fails for point measures, holds for absolutely continuous measures by the Riemann–Lebesgue lemma, and holds for Bernoulli measures through their infinite cosine product.
What would settle it
For a Bernoulli measure $\mu_\eta$ and a nonconstant profile $u\in L^2(\mathbb{R},\mu_\eta)$ (for instance $u(x)=1+\varepsilon x$ on a set of positive $\mu_\eta$-mass), compute $\limsup_{\xi\to\infty}|\widehat{|u|^2\mu_\eta}(\xi)|$. If for some such $u$ this limsup equals $\|u\|_{L^2(\mu_\eta)}^2$, then the sufficient condition in Theorem 3.5 fails for that torus, and the dense-set assertion in Theorem 4.1 would require an additional argument; if instead the limsup is strictly smaller, the paper's hypothesis extends to weighted profiles without further assumptions.
Extended reading notes
Core claim
On the torus $T_u=\{v\in L^2(\mathbb{R},\mu): |v|=|u|\ \mu$-a.e.\}$ with flow $\Phi_t v(x)=$e^{{itx}}$v(x)$, define the effective measure $\mu_u=|u|^2\mu$. Theorem 3.5 proves that whenever $\lim_{\xi\to\infty}|\widehat{\mu_u}(\xi)|<\|\mu_u\|$, the restricted flow is not topologically transitive and every point of $T_u$ is wandering. The countable case escapes this because the Fourier transform of a point measure is an almost periodic function whose limsup can equal its total mass; Theorem 7.2 uses finite-dimensional Poincaré recurrence on high modes to show every point is non-wandering. The absolutely continuous case satisfies the condition by the Riemann–Lebesgue lemma, giving wandering for all points (Theorem 7.3). For Bernoulli measures $\mu_\eta$ with parameter $\eta\in(0,1)$, the product formula $\widehat{\mu_\eta}(t)=\prod_{k=1}^\infty \cos(2\pi t\eta^k)$ forces $\lim_{t\to\infty}|\widehat{\mu_\eta}(t)|<1$, and Theorem 4.1 asserts that a dense set of profiles $u$ have every point of $T_u$ wandering and no trajectory dense in $T_u$.
Load-bearing premise
Everything rests on the claim that for the relevant amplitude profiles the Fourier transform of the weighted measure $|u|^2\mu$ stays, in magnitude, strictly below its total mass at infinity—and the paper demonstrates this only for unweighted Bernoulli measures, not for the general profiles its dense-set theorem asserts.
Editorial extensions
If this is right
- For countable oscillator systems with rationally commensurable but unbounded reciprocal frequencies, trajectories can be neither periodic nor dense, yet every point is still non-wandering; recurrence and transitivity separate cleanly in infinite dimensions.
- For continuous systems with locally integrable density, every point on a non-degenerate invariant torus is wandering, so no nontrivial orbit returns to its starting neighborhood; the generic trajectory is neither periodic nor transitive.
- For Bernoulli measures $\mu_\eta$ with $\eta\in(0,1)$, the paper's criterion excludes dense trajectories and non-wandering points on every non-degenerate torus, including the singular continuous cases $\eta\neq 1/2$.
- The Fourier-decay condition (3.5) gives a quantitative sufficient test that can be checked directly from the spectral measure of the oscillator system, without solving individual trajectories.
Reading between the lines
- Editorial inference: the Fourier-decay condition is essentially a Rajchman-type spectral property for the weighted measure; if one could show $\lim_{\xi\to\infty}|\widehat{|u|^2\mu}(\xi)|=0$ for every profile in a dense set, the Bernoulli result would follow cleanly, but the paper only proves the unweighted case, so the dense-set statement in Theorem 4.1 rests on an unverified extension.
- Editorial inference: the same criterion suggests a measurable-rigidity hierarchy in which recurrence type is classified by the set of frequencies where the spectral measure has atoms or lacks Fourier decay; countable systems sit at the atomic end, absolutely continuous measures at the Rajchman end, and Bernoulli convolutions interpolate between them.
- Editorial inference: a natural testable extension is to non-Bernoulli self-similar measures (for example Cantor measures with other digit sets) and to profiles $u$ with $|u|^2$ comparable to such measures; wherever the weighted Fourier limsup drops below the weighted mass, the same wandering conclusion should hold.
- Editorial inference: because every isolated quantum system is unitarily equivalent to such an oscillator system, the dichotomy would say that continuous-spectrum quantum dynamics disperses (all states wandering) while discrete-spectrum dynamics is recurrent; checking this against explicit Schrödinger evolutions could connect the theorem to quantum recurrence statements.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the linear flow Phi_t u(x) = e^{itx} u(x) on L^2(R, mu) arising from a system of harmonic oscillators, together with the invariant tori T_u = {v : |v| = |u| mu-a.e.}. The central abstract result is a Fourier criterion (Theorem 3.5): if the weighted measure mu_u = |u|^2 mu satisfies limsup |mu_u-hat(xi)| < ||mu_u||, then the restricted flow on T_u has no transitive trajectory and every point is wandering. The paper then applies this criterion to Bernoulli measures and claims in Theorem 4.1 that for every eta in (0,1) a dense set of profiles u in L^2(R, mu_eta) has this wandering, non-dense-trajectory behavior. It also proves that all points are non-wandering for countable (point-measure) oscillator systems (Theorem 7.2), that all points are wandering for absolutely continuous continual systems (Theorem 7.3), and derives non-periodicity and non-transitivity statements for absolutely continuous systems in Section 6.
Significance. The countable-versus-continual dichotomy is conceptually appealing, and the conditional Fourier criterion (Theorem 3.5) is a genuinely useful sufficient condition that unifies the absolutely continuous and singular cases. The non-wandering/wandering results in Section 7 are the main new contributions and appear correct in substance. However, the advertised application to a dense set of Bernoulli amplitude profiles is not established by the arguments in Section 4, and that dense-set claim is the principal new singular-measure result. If the gap is repaired or the statement is weakened to an existence result, the paper would make a solid contribution to the ergodic theory of infinite-dimensional linear flows.
major comments (2)
- [Section 4] The dense-set conclusion of Theorem 4.1 is not supported by the preceding argument. The paragraph before the theorem verifies, using (4.1) and (4.2), only the unweighted inequality limsup |mu_eta-hat(xi)| < 1, i.e. the case of constant amplitude u = 1. Theorem 3.5 requires, for each u in the claimed dense set, the weighted inequality limsup |(|u|^2 mu_eta)-hat(xi)| < || |u|^2 mu_eta ||. The Fourier transform of |u|^2 mu_eta is not a product of the factors in (4.1), and the k1-factor estimate does not control it. Since functions of constant modulus are not dense in L^2(R, mu_eta), the sentence 'Therefore, from the Theorem 3.5 we obtain the following statement' is a non sequitur. The authors must either prove condition (3.5) for a dense set of amplitude profiles, for example by controlling restrictions of mu_eta as Corollary 3.7 indicates, or they must replace Theorem 4.1 with an existence statement for at least one nonconstant torus.
- [Theorem 3.5] The transfer from Lemma 3.2 to the torus T_u is not fully written. One needs the isometric conjugacy phi in L^2(mu_u) to phi u in T_u, which intertwines the two flows; as written, the proof simply asserts that Lemma 3.2 applies to the restricted flow. This is a local but necessary step for the central criterion and should be made explicit.
minor comments (9)
- [Section 3] Conditions (3.1), (3.5), (3.6), and Corollary 3.7 should be stated with limsup rather than lim, since the relevant limits need not exist.
- [Theorem 3.5] The proof writes v(x) = phi(x) |u(x)|, but Lemma 3.4 gives v(x) = phi(x) u(x); the phase of u should be absorbed into phi.
- [Theorem 7.3] The statement should exclude u = 0, because the zero vector is fixed and hence non-wandering; the assumption of a non-degenerate torus should be made explicit.
- [Theorem 7.2] The proof invokes Poincare recurrence for the finite-dimensional projection without noting that every point of a linear flow on a finite-dimensional torus is non-wandering; the notation F_m (tail subspace) and F_m^perp is confusing and should be clarified.
- [Section 4] The sentence that Bernoulli measures 'provide explicit examples of singular continuous measures' needs a qualification, since mu_{1/2} is absolutely continuous.
- [References] Reference [31] is the same arXiv preprint as the present paper; this self-reference should be replaced by a proper announcement or removed.
- [General] There are typographical issues: 'This research was founded' should be 'funded', 'Results of of the present paper' has a duplicated word, and 'Theorem 1.2 is also known as the Weyl-Kronecker theorem' should refer to Theorem 1.5.
- [Theorem 3.6] The displayed lower bound after Eq. (3.12) should be an inequality rather than an equality; the constant sigma/16 is a lower bound after absorbing the factor 2 in the preceding estimate.
- [Lemma 3.2] The proof that every point of T_u, and not only u itself, is wandering is omitted; the same norm computation with v in place of u supplies it and should be stated.
Circularity Check
No circular derivation: Theorem 3.5 is a conditional theorem proved from its Fourier-decay hypothesis, and the self-citations to [30] and [31] are not load-bearing.
full rationale
The paper's central mechanism is Theorem 3.5, which is a conditional result: if lim |μ̂_u(ξ)| < ||μ_u|| for μ_u = |u|^2 μ, then the flow restricted to T_u is not topologically transitive and every point is wandering. The proof derives these conclusions from the Fourier-decay hypothesis via Lemmas 3.2–3.4 rather than assuming them. The countable non-wandering result (Theorem 7.2) is proved directly using finite-dimensional Poincaré recurrence and a tail estimate, while the continual wandering result (Theorem 7.3) follows from Riemann–Lebesgue oscillations; neither reduces to the quoted theorems from [30]. The countable-system classification quoted from [30] (Theorems 5.1, 5.2, 5.5, 5.7) is prior work by the same authors, but the new dichotomy does not depend on those theorems as its derivation. The reference to [31] is merely an announcement of the present preprint and carries no argumentative weight. There is a genuine proof gap in Section 4: condition (3.5) is verified only for the unweighted Bernoulli measure μ_η, i.e. for constant amplitude |u| = 1, whereas Theorem 4.1 needs (3.5) for μ_u = |u|^2 μ_η on a dense set of amplitude profiles; the product estimate (4.2) does not automatically transfer to |u|^2 μ_η. This is an unsupported inference, not a circular reduction, because no equation is defined in terms of the target conclusion and no fitted parameter is relabeled as a prediction.
Assumptions & free parameters
assumptions (6)
- standard math Spectral theorem: every strongly continuous unitary group is unitarily equivalent to multiplication by e^{itλ} on L^2(R,μ)
- standard math Riemann-Lebesgue lemma: the Fourier transform of an L^1 function vanishes at infinity
- standard math Non-wandering of linear flows on finite-dimensional tori (isometric flows are non-wandering at every point)
- domain assumption The infinite-dimensional torus T_u in L^2 is noncompact and connected
- domain assumption The phase space is reduced to X=R with λ(x)=x (simple spectrum)
- standard math Fourier product formula for Bernoulli measures ∏ cos(2π t η^k)
Cite this review
Pith. "Pith review of Measures and Trajectory Properties in Oscillator Systems." pith.science (2026). https://pith.science/paper/7YE53I4X
@misc{pith2026250618093,
author = {Pith},
title = {Pith review of: Measures and Trajectory Properties in Oscillator Systems},
year = {2026},
howpublished = {\url{https://pith.science/paper/7YE53I4X}},
note = {Machine review of arXiv:2506.18093}
}
read the original abstract
This paper investigates the properties of trajectories in harmonic oscillator systems equipped with a point, absolutely continuous, or singular measure. As demonstrated in [30], infinite-dimensional linear flows of countable oscillator systems exhibit a new class of trajectory behavior. Specifically, these trajectories are non-periodic, and their projections onto any four-dimensional symplectic subspace fail to be dense in the corresponding projection of the invariant torus. Such trajectories do not arise in finite-dimensional systems, are non-generic for countable oscillator systems, but become generic in the continual case. We prove that for a countable harmonic oscillator system, every point on a non-degenerate invariant torus is a non-wandering point of the flow. In contrast, for a continual system with an absolutely continuous measure, all points on such a torus are wandering. Furthermore, for continual systems with a singular measure, we establish sufficient conditions on the measure and torus that rule out the existence of both transitive trajectories and non-wandering points. As an application, we exhibit a class of singular Bernoulli measures satisfying these conditions.
Reference graph
Works this paper leans on
-
[30]
Sakbaev, V. Zh., & Volovich, I. V. (2024). Analogues of Jacobi and Weyl theorems for infinite-dimensional tori.Journal of Stochastic Analysis, 5(1), Article 4
work page 2024
-
[1]
Arnold, V. I., & Avez, A. (1999).Ergodic problems of classical mechanics. Izhevsk: Regular and Chaotic Dynamics. (Original work published 1967)
work page 1999
-
[2]
Bogachev, V. I. (2007).Measure theory(Vol. 1). Berlin: Springer
work page 2007
-
[3]
Bourgain, J. (1994). Periodic nonlinear Schrodinger equation and invariant measures.Com- munications in Mathematical Physics, 166(1), 1-26. DOI:10.1007/BF02099299
-
[4]
Busovikov, V., Pechen, A., & Sakbaev, V. (2024). Quantum Random Walks and Quan- tum Oscillator in an Infinite-Dimensional Phase Space(34 pp.). Preprint, arXiv:2406.10699 [quant-ph]
work page Pith review arXiv 2024
-
[5]
Chernoff, P., & Marsden, J. (1974). Properties of infinite dimensional Hamiltonian systems. In Lecture Notes in Mathematics(Vol. 425, pp. 1–50). New York: Springer
work page 1974
-
[6]
Chierchia, L., & Procesi, M. (2018). KAM theory for finite and infinite dimensional systems. In Encyclopedia of Complexity and Systems Science(pp. 1-30). Springer
work page 2018
-
[7]
Du, J., Xu, L., & Li, Y. (2023). An infinite-dimensional KAM theorem with normal degen- eracy.Preprint, arXiv:2304.06995v1 [math.DS]
work page Pith review arXiv 2023
Show all 38 references
-
[8]
Dumas, H. S. (1991). Ergodization rates for linear flow on the torus.Journal of Dynamics and Differential Equations, 3(4), 593–610
1991
-
[9]
S., & Fischler, S
Dumas, H. S., & Fischler, S. (2022). Filling time for linear flow on the torus with truncated Diophantine conditions: A brief review and new proof. Qualitative Theory of Dynamical Systems, 21, Article 1575-5460
2022
-
[10]
Efremova, L. S. (2022). Simplest skew products on n-dimensional ( n ≥ 2) cells, cylinders and tori. Lobachevskii Journal of Mathematics , 43, 1598–1618. DOI: https://doi.org/10.1134/S199508022210008010.1134/S1995080222100080
2022
-
[11]
H., Grebert, B., & Kuksin, S
Eliasson, L. H., Grebert, B., & Kuksin, S. B. (2016). A KAM theorem for space- multidimensional Hamiltonian PDEs.Proceedings of the Steklov Institute of Mathematics, 295, 129–147
2016
-
[12]
Fufaev, D. V. (2018). Summation of Fourier series on the infinite-dimensional torus.Mathe- matical Notes, 103(6), 990–996
2018
-
[13]
A., & Sakbaev, V
Glazatov, V. A., & Sakbaev, V. Zh. (2022). Measures on a Hilbert space that are invariant with respect to Hamiltonian flows.Ufa Mathematical Journal, 14(3), 3–22
2022
-
[14]
Hasselblat, B., & Katok, A. B. (2003).A first course in dynamics: With a panorama of recent developments. Cambridge University Press
2003
-
[15]
Ivanov, M. G. (2019).Mechanics and field theory. Moscow Institute of Physics and Technol- ogy. https://mipt.ru/upload/medialibrary/ 364/mex16-2023-03-08.pdf
2019
-
[16]
Jessen, B., & Wintner, A. (1935). Distribution functions and the Riemann zeta function. Transactions of the American Mathematical Society, 38, 48–88
1935
-
[17]
Jorgensen, P. E. T., Kornelson, K. A., & Shuman, K. L. (2011). Families of spectral sets for Bernoulli convolutions.Journal of Fourier Analysis and Applications, 17, 451–476
2011
-
[18]
Khrennikov, A. Yu. (2008). Symplectic geometry on an infinite-dimensional phase space and an asymptotic representation of quantum averages by Gaussian functional integrals. Izvestiya: Mathematics, 72(1), 127–148
2008
-
[19]
P., Sinai, Ya
Kornfeld, I. P., Sinai, Ya. G., & Fomin, S. V. (1980).Ergodic theory. Moscow: Nauka. (In Russian) MEASURES AND TRAJECTORY PROPERTIES IN OSCILLATOR SYSTEMS 25
1980
-
[20]
Kozlov, V. V. (2020). Quadratic conservation laws for equations of mathematical physics. Russian Mathematical Surveys, 75(3), 445–494
2020
-
[21]
Kozlov, V. V. (2021). On the ergodic theory of equations of mathematical physics.Russian Journal of Mathematical Physics, 28(1), 73–83
2021
-
[22]
V., & Smolyanov, O
Kozlov, V. V., & Smolyanov, O. G. (2018). Hamiltonian approach to secondary quantization. Doklady Mathematics, 98(3), 571–574
2018
-
[23]
Linear differential equations in Banach spaces.Providence, RI:American Mathematical Society
Krein, S.G.(1971). Linear differential equations in Banach spaces.Providence, RI:American Mathematical Society. (Original Russian edition: Nauka, Moscow, 1967)
1971
-
[24]
(2009).Introduction to nonlinear dispersive equations
Linares, F., & Ponce, G. (2009).Introduction to nonlinear dispersive equations. New York: Springer
2009
-
[25]
von Neumann, J. (1932). Proof of the quasi-ergodic hypothesis.Proceedings of the National Academy of Sciences, 18(1), 70–82
1932
-
[26]
Peres, Y., Schlag, W., & Solomyak, B. (2000). Sixty years of Bernoulli convolutions. In C. Bandt, S. Graf, & M. Z¨ ahle (Eds.),Fractal geometry and stochastics II(pp. 39–65). Birkh¨ auser
2000
-
[27]
Platonov, S. S. (2015). Some problems of approximation theory of functions on the infinite dimensional torus: Analogues of Jackson theorems.St. Petersburg Mathematical Journal, 26(6), 933–947
2015
-
[28]
(1977).Methods of modern mathematical physics, Vol
Reed, M., & Simon, B. (1977).Methods of modern mathematical physics, Vol. 1: Functional analysis. New York: Academic Press
1977
-
[29]
Sakbaev, V. Zh. (2023). Flows in infinite-dimensional phase space equipped with a finitely- additive invariant measure.Mathematics, 11(5), 1161
2023
-
[31]
Zh., & Volovich, I
Sakbaev, V. Zh., & Volovich, I. V. (2025).Measures of Systems of Oscillators and Properties of Trajectories(20 pp.). Preprint, arXiv:2506.18093 [math.DS]
2025 arXiv
-
[32]
Schwarz, M., Jr. (2017). Commuting flows and infinite-dimensional tori: sine-Gordon.Jour- nal of Nonlinear Science, 27, 1379–1398
2017
-
[33]
Segal, I. E. (1957). Ergodic subgroups of the orthogonal group on a real Hilbert space.Annals of Mathematics, 66, 297–303
1957
-
[34]
G., & Shamarov, N
Smolyanov, O. G., & Shamarov, N. N. (2020). Schrodinger quantization of infinite- dimensional Hamiltonian systems with a nonquadratic Hamiltonian function.Doklady Math- ematics, 101(3), 227–230
2020
-
[35]
V., & Shkalikov, A
Treschev, D. V., & Shkalikov, A. A. (2017). On the Hamiltonian property of linear dynamical systems in Hilbert space.Mathematical Notes, 101(6), 1033–1039
2017
-
[36]
Volovich, I. V. (2019). Complete integrability of quantum and classical dynamical systems. p-Adic Numbers, Ultrametric Analysis and Applications, 11(4), 328–334
2019
-
[37]
Volovich, I. V. (2020). On integrability of dynamical systems.Proceedings of the Steklov Institute of Mathematics, 310, 70–77
2020
-
[38]
Volovich, I. V. (2025). Real quantum mechanics in a K¨ ahler space (23 pp.). Preprint, arXiv:2504.16838 [math-ph]. Vsevolod Sakbaev: Steklov Mathematical Institute of Russian Academy of Sci- ence, Gubkin str. 8, Moscow 119991, Russia Email address: fumi2003@mail.ru Igor Volovi...
2025 arXiv
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.