Kolmogorov invariant torus theorem for weakly interacting particles I: Full dimensional tori
Pith reviewed 2026-05-19 18:56 UTC · model grok-4.3
The pith
An abstract KAM theorem constructs full-dimensional tori in infinite particle systems with long-range interactions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We develop an abstract KAM theorem for systems of infinitely many interacting particles with decaying masses and all-to-all interactions. Using this framework, we construct full-dimensional KAM tori for infinite-dimensional mechanical systems exhibiting long range interactions.
What carries the argument
The abstract KAM theorem for infinite-particle systems, which reduces the existence of invariant tori to verifiable decay conditions on masses and interactions.
If this is right
- Full-dimensional invariant tori exist for the infinite-dimensional Hamiltonian dynamics under the stated decay conditions.
- The tori are filled with quasi-periodic orbits that persist for the flow of the infinite system.
- The result covers long-range all-to-all interactions provided the decay hypotheses hold.
- The abstract theorem supplies a uniform way to check the KAM conditions once mass and interaction decay are given.
Where Pith is reading between the lines
- The same abstract theorem might be tested on truncated finite-particle approximations to see how the tori converge as the number of particles grows.
- The framework could be compared with existing results on infinite-dimensional KAM theory for PDEs to identify overlapping or complementary cases.
- If the decay rates can be relaxed while preserving the conclusion, the range of physical systems covered would increase.
Load-bearing premise
Particle masses must decay fast enough and interactions must be all-to-all with suitable decay so the abstract theorem applies to the infinite system.
What would settle it
A concrete infinite-particle model with masses decaying too slowly in which no full-dimensional KAM tori exist would refute the claim that the abstract theorem covers the stated class of systems.
Figures
read the original abstract
We develop an abstract KAM theorem for systems of infinitely many interacting particles with decaying masses and all-to-all interactions. Using this framework, we construct full-dimensional KAM tori for infinite-dimensional mechanical systems exhibiting long range interactions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops an abstract KAM theorem for systems of infinitely many interacting particles with decaying masses and all-to-all long-range interactions. It applies this framework to construct full-dimensional invariant tori in the associated infinite-dimensional Hamiltonian systems.
Significance. If the smallness estimates close, the result would extend KAM theory from finite to infinite-particle systems with long-range interactions, offering a general tool for persistence of tori in many-body mechanical problems. The abstract formulation is a strength that could support further applications, provided the infinite-dimensional perturbation norms are controlled.
major comments (2)
- [§4] §4 (application of the abstract theorem to the infinite-particle Hamiltonian): The perturbation consists of all-to-all long-range terms. Even assuming polynomial decay on the interaction coefficients and rapid mass decay, the paper must verify that the norm of the total perturbation (summed over all pairs) remains strictly smaller than the Diophantine threshold in the chosen function space (weighted ℓ² or analytic Banach space) and does not grow with any cutoff N as N→∞. If the decay exponents are only marginal, the infinite sum can violate the smallness condition required for the KAM iteration to close uniformly.
- [§2] §2 (statement of the abstract KAM theorem): The precise hypotheses on the size of the perturbation relative to the Diophantine constant and the decay rates needed for the infinite-dimensional estimates are not stated with enough quantitative detail to confirm that the long-range interaction case satisfies them.
minor comments (2)
- Specify the exact Banach space and norm in which the infinite-particle phase space is equipped, including the weighting that encodes the mass decay.
- [Introduction] Add a short comparison in the introduction to prior infinite-dimensional KAM results for lattices or PDEs to clarify the novelty of the all-to-all long-range setting.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive comments on our manuscript. We address each major point below and indicate the revisions we will make to strengthen the quantitative aspects of the presentation.
read point-by-point responses
-
Referee: [§4] §4 (application of the abstract theorem to the infinite-particle Hamiltonian): The perturbation consists of all-to-all long-range terms. Even assuming polynomial decay on the interaction coefficients and rapid mass decay, the paper must verify that the norm of the total perturbation (summed over all pairs) remains strictly smaller than the Diophantine threshold in the chosen function space (weighted ℓ² or analytic Banach space) and does not grow with any cutoff N as N→∞. If the decay exponents are only marginal, the infinite sum can violate the smallness condition required for the KAM iteration to close uniformly.
Authors: We agree that an explicit verification of the uniform smallness bound is necessary for the application. In the current draft the estimates in §4 rely on the assumed polynomial decay of the interaction coefficients (with exponent strictly larger than the spatial dimension) together with rapid decay of the masses to ensure that the summed perturbation remains bounded in the weighted ℓ² (or analytic) norm independently of the cutoff N. The series over pairs converges absolutely, and the resulting norm is controlled by a constant that depends only on the decay rates and is made smaller than the Diophantine threshold by choosing the overall interaction strength sufficiently small. We will add a dedicated lemma in the revised §4 that makes this summation and the N-independent bound fully explicit, confirming that the smallness condition required by the abstract theorem is satisfied uniformly. revision: yes
-
Referee: [§2] §2 (statement of the abstract KAM theorem): The precise hypotheses on the size of the perturbation relative to the Diophantine constant and the decay rates needed for the infinite-dimensional estimates are not stated with enough quantitative detail to confirm that the long-range interaction case satisfies them.
Authors: We accept that the quantitative hypotheses in the abstract theorem can be stated more explicitly. The current formulation already requires the perturbation norm to be smaller than a threshold that depends on the Diophantine constant τ and on the decay parameters of the masses and interactions; however, the dependence is only indicated qualitatively. In the revision we will insert explicit inequalities (e.g., ||P|| < c(τ, α, β) where α, β are the decay exponents) together with a short remark showing that the long-range all-to-all case with the assumed polynomial decay falls inside this regime once the interaction amplitude is chosen small enough. This will make it immediate to check that the hypotheses of the abstract theorem are met in §4. revision: yes
Circularity Check
Abstract KAM theorem developed and applied without reduction to self-definition or fitted inputs.
full rationale
The paper first states and proves an abstract KAM theorem for infinite-particle Hamiltonians with decaying masses and all-to-all interactions satisfying suitable decay conditions. It then invokes this theorem to construct full-dimensional invariant tori in the target mechanical systems. No equation or step equates a derived quantity to a fitted parameter or prior self-citation by construction; the abstract theorem supplies independent content that is applied rather than presupposed. The derivation chain remains self-contained against the stated assumptions on decay rates and interaction norms.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard Diophantine frequency conditions and sufficient decay of masses and interaction strengths hold for the infinite system.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We develop an abstract KAM theorem for systems of infinitely many interacting particles with decaying masses and all-to-all interactions... long range if it is of the form P(θ,I)=∑_{i<j} m_i m_j P_{i,j}(θ_i,θ_j,I_i,I_j)
-
IndisputableMonolith/Foundation/DimensionForcing.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the vector field does not decay as i→∞... ratio (perturbation)_i / (unperturbed frequency)_i ≃ O(ε)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Corsi, L. and Gentile, G. and Procesi, M. , TITLE =. Regul. Chaotic Dyn. , FJOURNAL =. 2024 , NUMBER =. doi:10.1134/S1560354724540025 , URL =
-
[2]
Lindenstrauss, Joram , TITLE =. Israel J. Math. , FJOURNAL =. 1967 , PAGES =. doi:10.1007/BF02771101 , URL =
-
[3]
Biasco, Luca and Chierchia, Luigi and Valdinoci, Enrico , TITLE =. SIAM J. Math. Anal. , FJOURNAL =. 2006 , NUMBER =. doi:10.1137/S0036141004443646 , URL =
- [4]
-
[5]
Springer, New York, NY , 3 edition, 1995
Lang, S. , TITLE =. 1995 , PAGES =. doi:10.1007/978-1-4612-4182-9 , URL =
-
[6]
Kuksin, S. B. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1988 , NUMBER =. doi:10.1070/IM1989v032n01ABEH000733 , URL =
-
[7]
Pöschel, J. , TITLE =. Math. Z. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01221590 , URL =
-
[8]
Kuksin, S. B. , TITLE =. Funktsional. Anal. i Prilozhen. , FJOURNAL =. 1987 , NUMBER =
work page 1987
-
[9]
P\"oschel, J\"urgen , TITLE =. Smooth ergodic theory and its applications (. 2001 , ISBN =. doi:10.1090/pspum/069/1858551 , URL =
-
[10]
Biasco, Luca and Massetti, Jessica Elisa and Procesi, Michela , TITLE =. Duke Math. J. , FJOURNAL =. 2023 , NUMBER =. doi:10.1215/00127094-2022-0089 , URL =
-
[11]
Bourgain, J. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.jfa.2004.10.019 , URL =
-
[12]
P\"oschel, J\"urgen , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2002 , NUMBER =. doi:10.1017/S0143385702001086 , URL =
-
[13]
Bourgain, J. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/BF02247885 , URL =
-
[14]
Rom-Kedar, V. and Turaev, D. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00220-024-04946-3 , URL =
-
[15]
Delshams, Amadeu and Kaloshin, Vadim and de la Rosa, Abraham and Seara, Tere M. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00220-018-3248-z , URL =
-
[16]
P\"oschel, J\"urgen , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1990 , NUMBER =
work page 1990
-
[17]
Fröhlich, J. and Spencer, T. and Wayne, C. E. , TITLE =. J. Statist. Phys. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF01127712 , URL =
- [18]
-
[19]
Infinite dimensional invariant tori for nonlinear Schr\"odinger equations , author=. 2025 , eprint=
work page 2025
-
[20]
Cong, H. , TITLE =. Math. Ann. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00208-023-02782-9 , URL =
-
[21]
Rapoport, A. and Rom-Kedar, V. and Turaev, D. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00220-008-0435-3 , URL =
-
[22]
Arnold, Vladimir. I. , TITLE =. Dokl. Akad. Nauk SSSR , FJOURNAL =. 1964 , PAGES =
work page 1964
-
[23]
Hirsch, M. W. and Pugh, C. C. and Shub, M. , TITLE =. 1977 , PAGES =
work page 1977
-
[24]
Neishtadt, Anatoly I. , TITLE =. Prikl. Mat. Mekh. , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0021-8928(84)90078-9 , URL =
-
[25]
McGehee, Richard , TITLE =. J. Differential Equations , FJOURNAL =. 1973 , PAGES =. doi:10.1016/0022-0396(73)90077-6 , URL =
-
[26]
Oscillatory motions for the restricted planar circular three body problem , JOURNAL =
Guardia, Marcel and Mart\'. Oscillatory motions for the restricted planar circular three body problem , JOURNAL =. 2016 , NUMBER =. doi:10.1007/s00222-015-0591-y , URL =
-
[27]
Baldom\'. Stable manifolds associated to fixed points with linear part equal to identity , JOURNAL =. 2004 , NUMBER =. doi:10.1016/j.jde.2003.07.005 , URL =
-
[28]
Stable and random motions in dynamical systems , SERIES =
Moser, J\". Stable and random motions in dynamical systems , SERIES =. 2001 , PAGES =. doi:10.1515/9781400882694 , URL =
-
[29]
Secular instability in the three-body problem , JOURNAL =
F\'. Secular instability in the three-body problem , JOURNAL =. 2016 , NUMBER =. doi:10.1007/s00205-015-0962-y , URL =
-
[30]
Fejoz, J. and Guardia, M. and Kaloshin, V. and Rold\'. Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem , JOURNAL =. 2016 , NUMBER =. doi:10.4171/JEMS/642 , URL =
-
[31]
Mathematische Annalen , volume=
Oscillatory solutions in the planar restricted three-body problem , author=. Mathematische Annalen , volume=. 1980 , publisher=
work page 1980
-
[32]
Symbolic dynamics of almost collision orbits and skew products of symplectic maps , author=. Nonlinearity , volume=. 2006 , publisher=
work page 2006
-
[33]
Archive for Rational Mechanics and Analysis , volume=
Chaotic dynamics near triple collision , author=. Archive for Rational Mechanics and Analysis , volume=. 1989 , publisher=
work page 1989
-
[34]
The existence of oscillatory motions in the three-body problem , author=. Dokl. Akad. Nauk SSSR , volume=
-
[35]
Melnikov, V. K. , TITLE =. Trudy Moskov. Mat. Ob. 1963 , PAGES =
work page 1963
-
[36]
Delshams, Amadeu and de la Llave, Rafael and Seara, Tere M. , TITLE =. Adv. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.aim.2007.08.014 , URL =
-
[37]
Delshams, Amadeu and de la Llave, Rafael and Seara, Tere M. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/PL00020961 , URL =
-
[38]
Delshams, Amadeu and de la Llave, Rafael and Seara, Tere M. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2006 , NUMBER =. doi:10.1090/memo/0844 , URL =
-
[39]
Annals of Mathematics , volume=
Lagrangian submanifolds and Hamiltonian systems , author=. Annals of Mathematics , volume=. 1973 , publisher=
work page 1973
-
[40]
Guardia, Marcel and Seara, Tere M. and Mart\'. Oscillatory orbits in the restricted elliptic planar three body problem , JOURNAL =. 2017 , NUMBER =. doi:10.3934/dcds.2017009 , URL =
-
[41]
Capi\'. Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem , JOURNAL =. 2022 , PAGES =. doi:10.1016/j.jde.2022.02.056 , URL =
-
[42]
Journal of Differential Equations , volume=
Symbolic dynamics in the restricted elliptic isosceles three body problem , author=. Journal of Differential Equations , volume=. 2021 , publisher=
work page 2021
-
[43]
An asymptotic formula , author=
Breakdown of homoclinic orbits to L3 in the RPC3BP (II). An asymptotic formula , author=. arXiv preprint arXiv:2107.09941 , year=
-
[44]
Complex singularities and the inner equation , author=
Breakdown of homoclinic orbits to L3 in the RPC3BP (I). Complex singularities and the inner equation , author=. arXiv preprint arXiv:2107.09942 , year=
-
[45]
SIAM journal on mathematical analysis , volume=
Heteroclinic phenomena in the isosceles three-body problem , author=. SIAM journal on mathematical analysis , volume=. 1984 , publisher=
work page 1984
-
[46]
Splitting of separatrices in the resonances of nearly integrable Hamiltonian systems of one and a half degrees of freedom , author=. arXiv preprint arXiv:1204.2784 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[47]
Exponentially small splittings of separatrices with applications to KAM theory and degenerate bifurcations , author=. 1988 , publisher=
work page 1988
- [48]
-
[49]
Russian Journal of Mathematical Physics , volume=
Separatrix splitting for a high-frequency perturbation of the pendulum , author=. Russian Journal of Mathematical Physics , volume=. 2000 , publisher=
work page 2000
-
[50]
Guardia, Marcel , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2013 , NUMBER =. doi:10.3934/dcds.2013.33.2829 , URL =
-
[51]
Physica D: Nonlinear Phenomena , volume=
Melnikov method and exponentially small splitting of separatrices , author=. Physica D: Nonlinear Phenomena , volume=. 1997 , publisher=
work page 1997
-
[52]
Separatrix splitting for a pendulum with rapidly oscillating suspension point , author=. 1994 , publisher=
work page 1994
-
[53]
Journal of Differential Equations , volume=
Exponentially small splitting of separatrices beyond Melnikov analysis: rigorous results , author=. Journal of Differential Equations , volume=. 2012 , publisher=
work page 2012
-
[54]
Delshams, Amadeu and Gidea, Marian and Roldan, Pablo , TITLE =. Phys. D , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.physd.2016.06.005 , URL =
-
[55]
Fejoz, Jacques , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2004 , NUMBER =. doi:10.1017/S0143385704000410 , URL =
-
[56]
Chierchia, Luigi and Pinzari, Gabriella , TITLE =. Invent. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1007/s00222-011-0313-z , URL =
-
[57]
Arnold, Vladimir. I. , TITLE =. Uspehi Mat. Nauk , FJOURNAL =. 1963 , NUMBER =
work page 1963
-
[58]
Some open problems in dynamical systems
Herman, Michael , journal =. Some open problems in dynamical systems. , url =
- [59]
-
[60]
Cheng, Chong-Qing and Yan, Jun , TITLE =. J. Differential Geom. , FJOURNAL =. 2004 , NUMBER =
work page 2004
- [61]
-
[62]
Marco, Jean-Pierre and Sauzin, David , TITLE =. Publ. Math. Inst. Hautes \'. 2002 , PAGES =. doi:10.1007/s10240-003-0011-5 , URL =
-
[63]
Lochak, Pierre and Marco, Jean-Pierre and Sauzin, David , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2003 , NUMBER =. doi:10.1090/memo/0775 , URL =
-
[64]
Sauzin, David , TITLE =. Ann. Sci. \'. 2001 , NUMBER =. doi:10.1016/S0012-9593(00)01063-6 , URL =
-
[65]
Nassiri, Meysam and Pujals, Enrique R. , TITLE =. Ann. Sci. \'. 2012 , NUMBER =. doi:10.24033/asens.2164 , URL =
-
[66]
Mather, John N. , TITLE =. Sovrem. Mat. Fundam. Napravl. , FJOURNAL =. 2003 , NUMBER =. doi:10.1023/B:JOTH.0000047353.78307.09 , URL =
-
[67]
Moeckel, Richard , TITLE =. Celestial mechanics (. 2002 , MRCLASS =. doi:10.1090/conm/292/04922 , URL =
-
[68]
Le Calvez, Patrice , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2007 , NUMBER =. doi:10.1017/S0143385706000903 , URL =
-
[69]
Breakdown of homoclinic orbits to
Baldom\'. Breakdown of homoclinic orbits to. Adv. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.aim.2022.108562 , URL =
-
[70]
Guardia, Marcel and Martín, Pau and Paradela, Jaime and Seara, Tere M. , keywords =. Hyperbolic dynamics and oscillatory motions in the 3 Body Problem , note =. 2022 , copyright =. doi:10.48550/ARXIV.2207.14351 , url =
-
[71]
Parabolic orbits in the elliptic restricted three body problem , JOURNAL =
Mart\'. Parabolic orbits in the elliptic restricted three body problem , JOURNAL =. 1994 , NUMBER =. doi:10.1006/jdeq.1994.1084 , URL =
-
[72]
Z. Tong and Y. Li , year=. Towards sharp regularity: Full-dimensional tori in C^ vector fields over. 2306.08211 , archivePrefix=
-
[73]
Wayne, C. E. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1984 , NUMBER =
work page 1984
-
[74]
Kuksin, S. and Pöschel, J. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1996 , NUMBER =. doi:10.2307/2118656 , URL =
-
[75]
Kuksin, Sergei and P\". On the inclusion of analytic symplectic maps in analytic. Seminar on. 1994 , MRCLASS =. doi:10.1007/978-3-0348-7515-8\_8 , URL =
- [76]
-
[77]
Berti, Massimiliano and Bolle, Philippe , TITLE =. Ann. Inst. H. Poincar\'. 2002 , NUMBER =. doi:10.1016/S0294-1449(01)00084-1 , URL =
-
[78]
Bernard, Patrick and Kaloshin, Vadim and Zhang, Ke , TITLE =. Acta Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s11511-016-0141-5 , URL =
-
[79]
Zhang, Ke , TITLE =. Invent. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1007/s00222-011-0319-6 , URL =
-
[80]
Eliasson, L. Hakan , TITLE =. Bol. Soc. Brasil. Mat. (N.S.) , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF01232935 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.