pith. sign in

arxiv: 2605.19292 · v1 · pith:3PICFO2Fnew · submitted 2026-05-19 · 🧮 math.DS · math.PR

Most Probable KAM Tori in Stochastic Hamiltonian Systems Driven by Multiplicative Noise

Xinze Zhang , Yong Li This is my paper

Pith reviewed 2026-05-20 03:06 UTC · model grok-4.3

classification 🧮 math.DS math.PR
keywords KAM theorystochastic Hamiltonian systemsmultiplicative noisemost probable pathslarge deviation principleinvariant toriDiophantine frequencies
0
0 comments X

The pith

Invariant tori with Diophantine frequencies persist as most probable paths in Hamiltonian systems under small multiplicative noise.

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

This paper establishes that integrable Hamiltonian systems with a small deterministic perturbation and multiplicative noise retain their invariant tori with Diophantine frequencies, but now in the sense of most probable paths for the stochastic trajectories. The persistence means that the system spends most of its time near these tori despite the added randomness. For sufficiently small noise intensity the large deviation principle is applied to give the exponential decay rate for the probability that trajectories stray away from the tori. A reader would care because the result supplies a probabilistic counterpart to classical KAM persistence, showing how ordered motion can remain dominant even when noise is present.

Core claim

Under suitable assumptions, for an integrable Hamiltonian system subject to both a small deterministic perturbation and multiplicative noise, the invariant tori with Diophantine frequencies persist in the sense of most probable paths. Furthermore, when the intensity of the multiplicative noise is sufficiently small, the large deviation principle is used to characterize the asymptotic probability of solution trajectories deviating from these invariant tori, and the corresponding rate function is derived.

What carries the argument

Most probable paths of the stochastic flow, equipped with the large deviation principle that supplies the rate function for deviations from the tori.

If this is right

  • The tori remain the trajectories of highest probability for the noisy system.
  • The probability of large deviations from a torus decays exponentially with a rate given explicitly by the derived rate function.
  • Classical KAM tori acquire a probabilistic stability property when multiplicative noise is added at low intensity.
  • The same framework can be used to quantify how long typical trajectories stay near a given torus before a rare escape occurs.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach may extend to additive noise or to non-integrable base systems if analogous large-deviation controls can be established.
  • Explicit computation of the rate function for a concrete example such as the stochastic pendulum would give a testable prediction for the escape time from the torus.
  • If the rate functions turn out to be independent of the particular torus, that would imply a uniform probabilistic stability across the entire KAM Cantor set.

Load-bearing premise

Suitable assumptions exist that make both the deterministic perturbation and the multiplicative noise intensity small enough while the frequencies remain Diophantine.

What would settle it

A concrete numerical integration of a low-dimensional integrable Hamiltonian system with added multiplicative noise in which sample paths spend most time away from the predicted tori or in which the observed deviation probabilities fail to match the predicted rate function.

read the original abstract

This paper investigates the effect of random perturbations, in particular multiplicative noise, on the integrable structure of Hamiltonian systems, with a particular focus on KAM theory for stochastic Hamiltonian dynamics. We prove that, under suitable assumptions, for an integrable Hamiltonian system subject to both a small deterministic perturbation and multiplicative noise, the invariant tori with Diophantine frequencies persist in the sense of most probable paths. Furthermore, when the intensity of the multiplicative noise is sufficiently small, we use the large deviation principle to characterize the asymptotic probability of solution trajectories deviating from these invariant tori, and we derive the corresponding rate function.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that, under suitable assumptions on an integrable Hamiltonian system subject to a small deterministic perturbation and multiplicative noise, invariant tori with Diophantine frequencies persist in the sense of most probable paths. It further invokes the large deviation principle to characterize the asymptotic probability that solution trajectories deviate from these tori when the multiplicative noise intensity is sufficiently small, and derives the associated rate function.

Significance. If the technical details are completed rigorously, the result would provide a stochastic extension of KAM persistence to multiplicative-noise settings and supply an explicit large-deviation rate function quantifying the stability of the surviving tori. Such a quantitative description of most-probable paths could serve as a foundation for further work on stochastic Hamiltonian dynamics.

major comments (2)
  1. [SDE formulation and main theorem statement] The SDE formulation (presumably in the setup preceding the main theorem) does not specify the interpretation (Itô or Stratonovich) of the multiplicative noise. In the Itô case an additional drift term of size proportional to the spatial derivative of the diffusion coefficient appears; unless this term is absorbed into the O(ε) deterministic perturbation or explicitly bounded, the smallness hypothesis required for the KAM estimates may fail to hold, undermining both the persistence statement and the subsequent large-deviation rate function.
  2. [Proof of persistence (most-probable-paths statement)] The proof that the Diophantine condition on the frequencies survives the stochastic flow is not outlined. Because the large-deviation principle is applied to trajectories that are supposed to stay close to the persisting tori, an explicit verification that the frequency condition remains intact under the combined deterministic and stochastic perturbation is load-bearing for the central claim.
minor comments (2)
  1. [Introduction / Abstract] The abstract invokes 'suitable assumptions' without listing them; a concise enumerated list of the precise smallness, Diophantine, and non-degeneracy conditions should appear at the beginning of the introduction or in the statement of the main theorem.
  2. [Notation section] Notation for the noise intensity parameter and the deterministic perturbation size should be unified across the large-deviation estimates and the KAM estimates to avoid reader confusion.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments. We address each major point below, clarifying the stochastic calculus convention and expanding the proof sketch for frequency persistence. These changes will be incorporated in the revised manuscript.

read point-by-point responses

  1. Referee: The SDE formulation (presumably in the setup preceding the main theorem) does not specify the interpretation (Itô or Stratonovich) of the multiplicative noise. In the Itô case an additional drift term of size proportional to the spatial derivative of the diffusion coefficient appears; unless this term is absorbed into the O(ε) deterministic perturbation or explicitly bounded, the smallness hypothesis required for the KAM estimates may fail to hold, undermining both the persistence statement and the subsequent large-deviation rate function.

    Authors: We agree that the interpretation must be stated explicitly. The manuscript employs the Stratonovich interpretation throughout, which is the natural choice for multiplicative noise in Hamiltonian systems because it preserves the symplectic structure without generating an extra Itô correction drift. Consequently, no additional O(1) drift term arises that would violate the smallness assumptions on the deterministic perturbation. We will add a clear statement of the Stratonovich convention in the setup section and verify that the effective perturbation remains O(ε) uniformly, thereby preserving both the KAM persistence and the large-deviation rate function. revision: yes

  2. Referee: The proof that the Diophantine condition on the frequencies survives the stochastic flow is not outlined. Because the large-deviation principle is applied to trajectories that are supposed to stay close to the persisting tori, an explicit verification that the frequency condition remains intact under the combined deterministic and stochastic perturbation is load-bearing for the central claim.

    Authors: We acknowledge that an explicit outline of frequency persistence would improve readability. In the proof, the most-probable paths are shown to satisfy a deterministic effective equation whose perturbation is controlled by the large-deviation rate function; the Diophantine condition is then inherited from the unperturbed integrable system via the standard KAM theorem applied to this effective system, with the stochastic contribution entering only at higher order in the noise intensity. We will insert a concise paragraph sketching this reduction and the order estimates that keep the frequency map Diophantine. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation builds on external large-deviation and KAM tools

full rationale

The paper states a proof of persistence for Diophantine tori under small deterministic perturbation plus multiplicative noise, followed by a large-deviation rate-function characterization when noise intensity is small. No equation or step in the abstract or described chain reduces a claimed prediction to a fitted parameter by construction, nor does any load-bearing premise rest solely on a self-citation whose content is itself unverified or defined in terms of the target result. The 'suitable assumptions' (smallness, Diophantine condition) are invoked as standard hypotheses rather than smuggled via renaming or self-definition. The derivation therefore remains self-contained against external benchmarks in stochastic analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review limits the ledger to the explicitly mentioned conditions; the main unstated inputs are the precise form of the multiplicative noise and the smallness thresholds.

axioms (1)
  • domain assumption Suitable assumptions on the integrable Hamiltonian, the small deterministic perturbation, the multiplicative noise structure, and the Diophantine frequency condition.
    These assumptions are required for the persistence of most probable tori and are invoked without further justification in the abstract.

pith-pipeline@v0.9.0 · 5621 in / 1323 out tokens · 51452 ms · 2026-05-20T03:06:48.118879+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages · 1 internal anchor

  1. [1]

    Proof of a theorem of A

    Vladimir Igorevich Arnol’d. Proof of a theorem of A. N. Kolmogorov on the invariance of quasi-periodic motions under small perturbations of the hamiltonian.Russian Mathematical Surveys, 18(5):9, oct 1963

    work page 1963

  2. [2]

    A. Bach, D. Dürr, and B. Stawicki. Functionals of paths of a diffusion process and the Onsager-Machlup function.Z. Phys. B, 26(2):191–193, 1977

    work page 1977

  3. [3]

    Onsager-Machlup functional for stochastic evolution equations.Ann

    Xavier Bardina, Carles Rovira, and Samy Tindel. Onsager-Machlup functional for stochastic evolution equations.Ann. Inst. H. Poincaré Probab. Statist., 39(1):69–93, 2003

    work page 2003

  4. [4]

    On the Onsager-Machlup functional for elliptic diffusion processes

    Mireille Capitaine. On the Onsager-Machlup functional for elliptic diffusion processes. InSéminaire de Probabilités, XXXIV, volume 1729 of Lecture Notes in Math., pages 313–328. Springer, Berlin, 2000

    work page 2000

  5. [5]

    Onsager–Machlup Functional forSLE κ Loop Measures.Comm

    Marco Carfagnini and Yilin Wang. Onsager–Machlup Functional forSLE κ Loop Measures.Comm. Math. Phys., 405(11):Paper No. 258, 2024

    work page 2024

  6. [6]

    Persistence of invariant tori on submanifolds in Hamiltonian systems.J

    Shui-Nee Chow, Yong Li, and Yingfei Yi. Persistence of invariant tori on submanifolds in Hamiltonian systems.J. Nonlinear Sci., 12(6):585–617, 2002

    work page 2002

  7. [7]

    Newton’s method and periodic solutions of nonlinear wave equations.Comm

    Walter Craig and Clarence Eugene Wayne. Newton’s method and periodic solutions of nonlinear wave equations.Comm. Pure Appl. Math., 46(11):1409–1498, 1993

    work page 1993

  8. [8]

    What is a stochastic Hamiltonian process on finite graph? An optimal transport answer.J

    Jianbo Cui, Shu Liu, and Haomin Zhou. What is a stochastic Hamiltonian process on finite graph? An optimal transport answer.J. Differential Equations, 305:428–457, 2021

    work page 2021

  9. [9]

    Exact and approximate correctors for stochastic Hamiltonians: the 1-dimensional case.Math

    Andrea Davini and Antonio Siconolfi. Exact and approximate correctors for stochastic Hamiltonians: the 1-dimensional case.Math. Ann., 345(4):749–782, 2009

    work page 2009

  10. [10]

    Rate of estimation for the stationary distribution of stochastic damping Hamiltonian systems with continuous observations.Ann

    Sylvain Delattre, Arnaud Gloter, and Nakahiro Yoshida. Rate of estimation for the stationary distribution of stochastic damping Hamiltonian systems with continuous observations.Ann. Inst. Henri Poincaré Probab. Stat., 58(4):1998–2028, 2022

    work page 1998

  11. [11]

    Håkan Eliasson

    L. Håkan Eliasson. Perturbations of stable invariant tori for Hamiltonian systems.Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 15(1):115–147, 1988

    work page 1988

  12. [12]

    Measurable functions on Hilbert space.Trans

    Leonard Gross. Measurable functions on Hilbert space.Trans. Amer. Math. Soc., 105:372–390, 1962

    work page 1962

  13. [13]

    Limites approximatives sur l’espace de Wiener.Potential Anal., 16(2):169–191, 2002

    Gilles Hargé. Limites approximatives sur l’espace de Wiener.Potential Anal., 16(2):169–191, 2002

    work page 2002

  14. [14]

    Exponential ergodicity and propagation of chaos for path-distribution dependent stochastic Hamiltonian system

    Xing Huang and Wujun Lv. Exponential ergodicity and propagation of chaos for path-distribution dependent stochastic Hamiltonian system. Electron. J. Probab., 28:Paper No. 134, 20, 2023

    work page 2023

  15. [15]

    North-Holland Publishing Co., Amsterdam; Kodansha, Ltd., Tokyo, second edition, 1989

    Nobuyuki Ikeda and Shinzo Watanabe.Stochastic differential equations and diffusion processes, volume 24 ofNorth-Holland Mathematical Library. North-Holland Publishing Co., Amsterdam; Kodansha, Ltd., Tokyo, second edition, 1989

    work page 1989

  16. [16]

    On conservation of conditionally periodic motions for a small change in Hamilton’s function.Dokl

    Andre ˘i Nikolaevich Kolmogorov. On conservation of conditionally periodic motions for a small change in Hamilton’s function.Dokl. Akad. Nauk SSSR (N.S.), 98:527–530, 1954

    work page 1954

  17. [17]

    Koudjinan

    Comlan E. Koudjinan. A KAM theorem for finitely differentiable Hamiltonian systems.J. Differential Equations, 269(6):4720–4750, 2020

    work page 2020

  18. [18]

    Gamma-limit of the Onsager-Machlup functional on the space of curves.SIAM J

    Tiejun Li and Xiaoguang Li. Gamma-limit of the Onsager-Machlup functional on the space of curves.SIAM J. Math. Anal., 53(1):1–31, 2021

    work page 2021

  19. [19]

    W. V . Li and Q.-M. Shao. Gaussian processes: inequalities, small ball probabilities and applications. InStochastic processes: theory and methods, volume 19 ofHandbook of Statist., pages 533–597. North-Holland, Amsterdam, 2001

    work page 2001

  20. [20]

    An averaging principle for a completely integrable stochastic Hamiltonian system.Nonlinearity, 21(4):803–822, 2008

    Xue-Mei Li. An averaging principle for a completely integrable stochastic Hamiltonian system.Nonlinearity, 21(4):803–822, 2008

    work page 2008

  21. [21]

    Persistence of lower dimensional tori of general types in Hamiltonian systems.Trans

    Yong Li and Yingfei Yi. Persistence of lower dimensional tori of general types in Hamiltonian systems.Trans. Amer. Math. Soc., 357(4):1565– 1600, 2005. 24

    work page 2005

  22. [22]

    Fluctuations and irreversible process

    Stefan Machlup and Lars Onsager. Fluctuations and irreversible process. II. Systems with kinetic energy.Phys. Rev. (2), 91:1512–1515, 1953

    work page 1953

  23. [23]

    Onsager-Machlup functional for the fractional Brownian motion.Probab

    Sílvia Moret and David Nualart. Onsager-Machlup functional for the fractional Brownian motion.Probab. Theory Related Fields, 124(2):227– 260, 2002

    work page 2002

  24. [24]

    Jürgen K. Möser. On invariant curves of area-preserving mappings of an annulus.Nachr. Akad. Wiss. Göttingen, II, pages 1–20, 1962

    work page 1962

  25. [25]

    Fluctuations and irreversible processes.Phys

    Lars Onsager and Stefan Machlup. Fluctuations and irreversible processes.Phys. Rev. (2), 91:1505–1512, 1953

    work page 1953

  26. [26]

    Georgi St. Popov. KAM theorem for Gevrey Hamiltonians.Ergodic Theory Dynam. Systems, 24(5):1753–1786, 2004

    work page 2004

  27. [27]

    Integrability of Hamiltonian systems on Cantor sets.Comm

    Jürgen Pöschel. Integrability of Hamiltonian systems on Cantor sets.Comm. Pure Appl. Math., 35(5):653–696, 1982

    work page 1982

  28. [28]

    A KAM-theorem for some nonlinear partial differential equations.Ann

    Jürgen Pöschel. A KAM-theorem for some nonlinear partial differential equations.Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 23(1):119–148, 1996

    work page 1996

  29. [29]

    L. A. Shepp and O. Zeitouni. Exponential estimates for convex norms and some applications. InBarcelona Seminar on Stochastic Analysis (St. Feliu de Guíxols, 1991), volume 32 ofProgr. Probab., pages 203–215. Birkhäuser, Basel, 1993

    work page 1991

  30. [30]

    Stratonovi ˇc

    Ruslan L. Stratonovi ˇc. On the probability functional of diffusion processes. InProc. Sixth All-Union Conf. Theory Prob. and Math. Statist. (Vilnius, 1960) (Russian), pages 471–482. Gosudarstv. Izdat. Politiˇcesk. i Nauˇcn. Lit. Litovsk. SSR, Vilnius, 1960

    work page 1960

  31. [31]

    Takahashi and S

    Y . Takahashi and S. Watanabe. The probability functionals (Onsager-Machlup functions) of diffusion processes. InStochastic integrals (Proc. Sympos., Univ. Durham, Durham, 1980), volume 851 ofLecture Notes in Math., pages 433–463. Springer, Berlin, 1981

    work page 1980

  32. [32]

    Stochastic Hamiltonian systems: exponential convergence to the invariant measure, and discretization by the implicit Euler scheme

    Denis Talay. Stochastic Hamiltonian systems: exponential convergence to the invariant measure, and discretization by the implicit Euler scheme. Markov Process. Related Fields, 8(2):163–198, 2002. Inhomogeneous random systems (Cergy-Pontoise, 2001)

    work page 2002

  33. [33]

    Fluctuations and irreversible thermodynamics.Phys

    Laszlo Tisza and Irwin Manning. Fluctuations and irreversible thermodynamics.Phys. Rev. (2), 105:1695–1705, 1957

    work page 1957

  34. [34]

    Hypercontractivity and applications for stochastic Hamiltonian systems.J

    Feng-Yu Wang. Hypercontractivity and applications for stochastic Hamiltonian systems.J. Funct. Anal., 272(12):5360–5383, 2017

    work page 2017

  35. [35]

    Large and moderate deviations and exponential convergence for stochastic damping Hamiltonian systems.Stochastic Process

    Liming Wu. Large and moderate deviations and exponential convergence for stochastic damping Hamiltonian systems.Stochastic Process. Appl., 91(2):205–238, 2001

    work page 2001

  36. [36]

    Stochastic flows and Bismut formulas for stochastic Hamiltonian systems.Stochastic Process

    Xicheng Zhang. Stochastic flows and Bismut formulas for stochastic Hamiltonian systems.Stochastic Process. Appl., 120(10):1929–1949, 2010

    work page 1929

  37. [37]

    Stochastic Hamiltonian flows with singular coefficients.Sci

    Xicheng Zhang. Stochastic Hamiltonian flows with singular coefficients.Sci. China Math., 61(8):1353–1384, 2018

    work page 2018

  38. [38]

    Most Probable KAM Tori in Stochastic Hamiltonian Systems

    Xinze Zhang and Yong Li. Most probable KAM tori in stochastic Hamiltonian systems, 2025. arXiv: 2503.13932 [math.DS]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  39. [39]

    Persistence of invariant tori for stochastic nonlinear Schrödinger equation in the sense of most probable paths.Math

    Xinze Zhang, Yong Li, and Kaizhi Wang. Persistence of invariant tori for stochastic nonlinear Schrödinger equation in the sense of most probable paths.Math. Ann., 394(1):14, 2026

    work page 2026