Pith. sign in

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 →

arxiv 2506.18093 v3 pith:7YE53I4X submitted 2025-06-22 math.DS math-phmath.FAmath.MPquant-ph

classification math.DSmath-phmath.FAmath.MPquant-ph MSC 28D0537A0547A3537K1037N20
keywords infinite-dimensionaltoriharmonicoscillatorsystemswanderingpointstopologicaltransitivitysingularBernoullimeasuresFouriertransformofameasurelinearflownon-wanderingdichotomy
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper asks how trajectories of a linear flow on an infinite-dimensional torus behave when the system is a continuum of independent harmonic oscillators rather than a finite or countable set. The authors claim a sharp dichotomy: for a countable oscillator system every point on a non-degenerate invariant torus is non-wandering, whereas for a continuous system whose parameter measure is absolutely continuous every such point is wandering. For singular continuous measures they identify a sufficient condition on the Fourier transform of the measure that also forces every point to be wandering and rules out transitive trajectories, and they exhibit Bernoulli measures satisfying it. The interest is that these behaviors are genuinely infinite-dimensional: finite-dimensional linear flows only see periodic or dense orbits, while here a third, non-recurrent type of trajectory becomes generic. If correct, the results give a spectral criterion for recurrence in systems that include every isolated quantum system via Koopman–von Neumann equivalence.

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.

Watch

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 extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 9 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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.
  3. [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.
  4. [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.
  5. [Section 4] The sentence that Bernoulli measures 'provide explicit examples of singular continuous measures' needs a qualification, since mu_{1/2} is absolutely continuous.
  6. [References] Reference [31] is the same arXiv preprint as the present paper; this self-reference should be replaced by a proper announcement or removed.
  7. [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.
  8. [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.
  9. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted; the Bernoulli parameter η is an arbitrary index. The axioms are standard tools plus domain restrictions to X=R. The paper does not introduce any new entities.

assumptions (6)
  • standard math Spectral theorem: every strongly continuous unitary group is unitarily equivalent to multiplication by e^{itλ} on L^2(R,μ)
    Used in Section 2 to represent the oscillator system and to reduce X to R with λ(x)=x.
  • standard math Riemann-Lebesgue lemma: the Fourier transform of an L^1 function vanishes at infinity
    Used in Lemma 6.2 and Theorem 7.3 to prove wandering for absolutely continuous measures.
  • standard math Non-wandering of linear flows on finite-dimensional tori (isometric flows are non-wandering at every point)
    Used in Theorem 7.2; the paper invokes Poincaré recurrence, but the needed statement is that rotations on compact tori are non-wandering at every point.
  • domain assumption The infinite-dimensional torus T_u in L^2 is noncompact and connected
    Used in Lemma 3.2 to rule out density of a compact orbit segment in an open set; not proved in the paper.
  • domain assumption The phase space is reduced to X=R with λ(x)=x (simple spectrum)
    The paper restricts to systems with simple spectrum; the general case is claimed to decompose orthogonally into such systems (Section 2).
  • standard math Fourier product formula for Bernoulli measures ∏ cos(2π t η^k)
    Quoted from the literature [16,17,26] and used to prove limsup |μ̂_η(t)|<1 in Section 4.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 36 canonical work pages

  1. [30]

    Zh., & Volovich, I

    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

  2. [1]

    I., & Avez, A

    Arnold, V. I., & Avez, A. (1999).Ergodic problems of classical mechanics. Izhevsk: Regular and Chaotic Dynamics. (Original work published 1967)

  3. [2]

    Bogachev, V. I. (2007).Measure theory(Vol. 1). Berlin: Springer

  4. [3]

    Bourgain, J. (1994). Periodic nonlinear Schrodinger equation and invariant measures.Com- munications in Mathematical Physics, 166(1), 1-26. DOI:10.1007/BF02099299

  5. [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]

  6. [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

  7. [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

  8. [7]

    Du, J., Xu, L., & Li, Y. (2023). An infinite-dimensional KAM theorem with normal degen- eracy.Preprint, arXiv:2304.06995v1 [math.DS]

Show all 38 references
  1. [8]

    Dumas, H. S. (1991). Ergodization rates for linear flow on the torus.Journal of Dynamics and Differential Equations, 3(4), 593–610

  2. [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

  3. [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

  4. [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

  5. [12]

    Fufaev, D. V. (2018). Summation of Fourier series on the infinite-dimensional torus.Mathe- matical Notes, 103(6), 990–996

  6. [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

  7. [14]

    Hasselblat, B., & Katok, A. B. (2003).A first course in dynamics: With a panorama of recent developments. Cambridge University Press

  8. [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

  9. [16]

    Jessen, B., & Wintner, A. (1935). Distribution functions and the Riemann zeta function. Transactions of the American Mathematical Society, 38, 48–88

  10. [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

  11. [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

  12. [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

  13. [20]

    Kozlov, V. V. (2020). Quadratic conservation laws for equations of mathematical physics. Russian Mathematical Surveys, 75(3), 445–494

  14. [21]

    Kozlov, V. V. (2021). On the ergodic theory of equations of mathematical physics.Russian Journal of Mathematical Physics, 28(1), 73–83

  15. [22]

    V., & Smolyanov, O

    Kozlov, V. V., & Smolyanov, O. G. (2018). Hamiltonian approach to secondary quantization. Doklady Mathematics, 98(3), 571–574

  16. [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)

  17. [24]

    (2009).Introduction to nonlinear dispersive equations

    Linares, F., & Ponce, G. (2009).Introduction to nonlinear dispersive equations. New York: Springer

  18. [25]

    von Neumann, J. (1932). Proof of the quasi-ergodic hypothesis.Proceedings of the National Academy of Sciences, 18(1), 70–82

  19. [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

  20. [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

  21. [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

  22. [29]

    Sakbaev, V. Zh. (2023). Flows in infinite-dimensional phase space equipped with a finitely- additive invariant measure.Mathematics, 11(5), 1161

  23. [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]

  24. [32]

    Schwarz, M., Jr. (2017). Commuting flows and infinite-dimensional tori: sine-Gordon.Jour- nal of Nonlinear Science, 27, 1379–1398

  25. [33]

    Segal, I. E. (1957). Ergodic subgroups of the orthogonal group on a real Hilbert space.Annals of Mathematics, 66, 297–303

  26. [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

  27. [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

  28. [36]

    Volovich, I. V. (2019). Complete integrability of quantum and classical dynamical systems. p-Adic Numbers, Ultrametric Analysis and Applications, 11(4), 328–334

  29. [37]

    Volovich, I. V. (2020). On integrability of dynamical systems.Proceedings of the Steklov Institute of Mathematics, 310, 70–77

  30. [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...

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.