pith. sign in

arxiv: 2507.03204 · v2 · submitted 2025-07-03 · 🧮 math.DS

Nonstandard functional central limit theorem for nonuniformly hyperbolic dynamical systems, including Bunimovich stadia

Yuri Lima , Carlos Matheus , Ian Melbourne This is my paper

Pith reviewed 2026-05-19 05:32 UTC · model grok-4.3

classification 🧮 math.DS
keywords nonuniformly hyperbolic dynamical systemsfunctional central limit theoremweak invariance principleBunimovich stadiabilliardsgeodesic flowsintermittent mapsreturn time statistics
0
0 comments X

The pith

If the first return times obey a nonstandard central limit theorem, then the functional central limit theorem holds with identical scaling for Hölder observables.

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

The paper proves that nonuniformly hyperbolic dynamical systems whose first return times satisfy a central limit theorem with normalization sqrt(n log n) automatically satisfy the functional central limit theorem or weak invariance principle with the same normalization for Hölder observables. The argument applies equally to maps and to flows. It requires no further hypotheses beyond the return-time CLT and streamlines several existing proofs in the literature. The result unifies known cases for billiards and geodesic flows and immediately yields the weak invariance principle for Bunimovich stadia from a prior central limit theorem on their return times.

Core claim

For a class of nonuniformly hyperbolic dynamical systems with a first return time satisfying a central limit theorem with nonstandard normalisation (n log n)^{1/2}, it automatically follows that the functional central limit theorem or weak invariance principle with normalisation (n log n)^{1/2} holds for Hölder observables. This holds for both maps and flows. The approach streamlines arguments from the literature and unifies results for billiards, geodesic flows and intermittent systems. In particular, the weak invariance principle for Bunimovich stadia follows at once from the central limit theorem proved by Bálint and Gouëzel.

What carries the argument

The direct implication from a nonstandard central limit theorem on first return times to the weak invariance principle for Hölder observables under the same normalisation.

If this is right

  • The weak invariance principle holds for Bunimovich stadia using only the existing central limit theorem on return times.
  • The same conclusion applies to geodesic flows and to various billiard tables with the required return-time statistics.
  • Intermittent maps whose return times obey the nonstandard central limit theorem satisfy the functional central limit theorem.
  • Proofs of the weak invariance principle in the literature for these classes of systems can be shortened by invoking the return-time central limit theorem directly.

Where Pith is reading between the lines

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

  • The reduction may apply to other nonstandard normalisations that appear when return-time tails are heavier than exponential.
  • Statistical properties of additional singular hyperbolic systems could be obtained by first verifying the return-time central limit theorem.

Load-bearing premise

The first return time to a suitable section satisfies a central limit theorem with normalisation sqrt(n log n).

What would settle it

A concrete nonuniformly hyperbolic system in which the return-time central limit theorem holds with sqrt(n log n) scaling yet the weak invariance principle fails for at least one Hölder observable.

read the original abstract

We consider a class of nonuniformly hyperbolic dynamical systems with a first return time satisfying a central limit theorem (CLT) with nonstandard normalisation $(n\log n)^{1/2}$. For such systems (both maps and flows) we show that it automatically follows that the functional central limit theorem or weak invariance principle (WIP) with normalisation $(n\log n)^{1/2}$ holds for H\"older observables. Our approach streamlines certain arguments in the literature. Applications include various examples from billiards, geodesic flows and intermittent dynamical systems. In this way, we unify existing results as well as obtaining new results. In particular, we deduce the WIP with nonstandard normalisation for Bunimovich stadia as an immediate consequence of the corresponding CLT proved by B\'alint & Gou\"ezel.

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

0 major / 3 minor

Summary. The manuscript proves that for nonuniformly hyperbolic dynamical systems (maps and flows) whose first return time satisfies a central limit theorem with nonstandard normalization (n log n)^{1/2}, the weak invariance principle (WIP) or functional CLT with the same normalization holds for Hölder observables. The argument reduces the WIP to the return-time CLT via standard inducing and approximation techniques, streamlining prior proofs. Applications include billiards, geodesic flows, intermittent systems, and an immediate deduction of the WIP for Bunimovich stadia from the Bálint-Gouëzel return-time CLT.

Significance. If the central implication holds, the result unifies and extends nonstandard limit theorems for systems with heavy-tailed return times, providing a clean reduction that avoids extraneous assumptions. It credits the direct consequence for Bunimovich stadia and yields new applications for other examples. The use of inducing techniques and the parameter-free character of the reduction (once the return-time CLT is given) are strengths.

minor comments (3)
  1. The introduction states that the approach 'streamlines certain arguments in the literature' but does not identify the specific prior proofs being simplified; adding a short comparison paragraph would improve context.
  2. In the section on Bunimovich stadia, the citation to Bálint & Gouëzel should include the precise theorem or proposition number from their paper to facilitate verification of the return-time CLT input.
  3. Notation for the return-time function and the induced map is introduced gradually; collecting the key definitions in a single preliminary subsection would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, the recognition of the paper's strengths in providing a clean reduction via inducing techniques, and the recommendation for minor revision. The referee's description of the main result and its applications is accurate.

Circularity Check

0 steps flagged

No significant circularity; implication is self-contained

full rationale

The paper's central result is a mathematical implication: given that the first-return-time function satisfies a CLT with normalization (n log n)^{1/2}, the WIP with the same normalization holds for Hölder observables on the induced system (maps or flows). This is derived via standard inducing and approximation arguments that do not redefine or refit the input hypothesis. The hypothesis itself is external, supplied by independent prior results such as the Bálint–Gouëzel CLT for Bunimovich stadia; no step reduces the WIP back to a quantity defined or fitted from the same data by construction. Any self-citations in the streamlining of literature arguments are not load-bearing for the core implication, which remains externally falsifiable once the return-time CLT is verified separately.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on the standard definition of nonuniform hyperbolicity together with the external hypothesis that return times obey a CLT with the stated scaling; no new free parameters or invented entities are introduced.

axioms (1)
  • domain assumption The dynamical system is nonuniformly hyperbolic and its first return time satisfies a central limit theorem with normalisation (n log n)^{1/2}.
    This is the explicit hypothesis placed on the class of systems in the first sentence of the abstract and is the sole input for the claimed implication.

pith-pipeline@v0.9.0 · 5672 in / 1408 out tokens · 62497 ms · 2026-05-19T05:32:15.148952+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We consider a class of nonuniformly hyperbolic dynamical systems with a first return time satisfying a central limit theorem (CLT) with nonstandard normalisation (n log n)^{1/2}. ... it automatically follows that the functional central limit theorem or weak invariance principle (WIP) ... holds for Hölder observables.

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

45 extracted references · 45 canonical work pages

  1. [1]

    Aaronson and M

    J. Aaronson and M. Denker. A local limit theorem for stationary processes in the domain of attraction of a normal distribution. Asymptotic methods in proba- bility and statistics with applications (St. Petersburg, 1998) . Stat. Ind. Technol., Birkh¨ auser Boston, Boston, MA, 2001, pp. 215–223. 24

    work page 1998

  2. [2]

    Aaronson and M

    J. Aaronson and M. Denker. Local limit theorems for partial sums of stationary sequences generated by Gibbs-Markov maps. Stoch. Dyn. 1 (2001) 193–237

    work page 2001

  3. [3]

    Aaronson, M

    J. Aaronson, M. Denker and M. Urba´ nski. Ergodic theory for Markov fibred systems and parabolic rational maps. Trans. Amer. Math. Soc. 337 (1993) 495– 548

    work page 1993

  4. [4]

    B´ alint, N

    P. B´ alint, N. Chernov and D. Dolgopyat. Limit theorems for dispersing billiards with cusps. Comm. Math. Phys. 308 (2011) 479–510

    work page 2011

  5. [5]

    B´ alint and S

    P. B´ alint and S. Gou¨ ezel. Limit theorems in the stadium billiard.Comm. Math. Phys. 263 (2006) 461–512

    work page 2006

  6. [6]

    B´ alint and I

    P. B´ alint and I. Melbourne. Statistical properties for flows with unbounded roof function, including the Lorenz attractor. J. Stat. Phys. 172 (2018) 1101–1126

    work page 2018

  7. [7]

    B. M. Brown. Martingale central limit theorems. Ann. Math. Statist. 42 (1971) 59–66

    work page 1971

  8. [8]

    Bruin and D

    H. Bruin and D. Terhesiu. Upper and lower bounds for the correlation function via inducing with general return times. Ergodic Theory Dynam. Systems 38 (2018) 34–62

    work page 2018

  9. [9]

    L. A. Bunimovich. On the ergodic properties of nowhere dispersing billiards. Comm. Math. Phys. 65 (1979) 295–312

    work page 1979

  10. [10]

    Chazottes and S

    J.-R. Chazottes and S. Gou¨ ezel. On almost-sure versions of classical limit theo- rems for dynamical systems. Probab. Theory Related Fields 138 (2007) 195–234

    work page 2007

  11. [11]

    N. Chernov. Decay of correlations and dispersing billiards. J. Statist. Phys. 94 (1999) 513–556

    work page 1999

  12. [12]

    Chernov and R

    N. Chernov and R. Markarian. Chaotic billiards . Mathematical Surveys and Monographs 127, American Mathematical Society, Providence, RI, 2006

    work page 2006

  13. [13]

    Chernov and R

    N. Chernov and R. Markarian. Dispersing billiards with cusps: slow decay of correlations. Comm. Math. Phys. 270 (2007) 727–758

    work page 2007

  14. [14]

    N. I. Chernov and H.-K. Zhang. Billiards with polynomial mixing rates. Nonlin- earity 18 (2005) 1527–1553

    work page 2005

  15. [15]

    Chevyrev, P

    I. Chevyrev, P. K. Friz, A. Korepanov and I. Melbourne. Superdiffusive limits for deterministic fast-slow dynamical systems.Probab. Theory Related Fields178 (2020) 735–770. 25

    work page 2020

  16. [16]

    Dedecker and F

    J. Dedecker and F. Merlev` ede. Weak invariance principle and exponential bounds for some special functions of intermittent maps. High dimensional probability V: the Luminy volume . Inst. Math. Stat. (IMS) Collect. 5, Inst. Math. Statist., Beachwood, OH, 2009, pp. 60–72

    work page 2009

  17. [17]

    Eslami, I

    P. Eslami, I. Melbourne and S. Vaienti. Sharp statistical properties for a family of multidimensional nonMarkovian nonconformal intermittent maps. Adv. Math. 388 (2021) 107853

    work page 2021

  18. [18]

    M. J. Field, I. Melbourne and A. T¨ or¨ ok. Decay of correlations, central limit theo- rems and approximation by Brownian motion for compact Lie group extensions. Ergodic Theory Dynam. Systems 23 (2003) 87–110

    work page 2003

  19. [19]

    M. I. Gordin. The central limit theorem for stationary processes. Soviet Math. Dokl. 10 (1969) 1174–1176

    work page 1969

  20. [20]

    G. A. Gottwald and I. Melbourne. Central limit theorems and suppression of anomalous diffusion for systems with symmetry. Nonlinearity 29 (2016) 2941– 2960

    work page 2016

  21. [21]

    Gou¨ ezel

    S. Gou¨ ezel. Central limit theorem and stable laws for intermittent maps.Probab. Theory Relat. Fields 128 (2004) 82–122

    work page 2004

  22. [22]

    Gou¨ ezel

    S. Gou¨ ezel. Statistical properties of a skew product with a curve of neutral points. Ergodic Theory Dynam. Systems 27 (2007) 123–151

    work page 2007

  23. [23]

    Gou¨ ezel

    S. Gou¨ ezel. Characterization of weak convergence of Birkhoff sums for Gibbs- Markov maps. Israel J. Math. 180 (2010) 1–41

    work page 2010

  24. [24]

    Holland and I

    M. Holland and I. Melbourne. Central limit theorems and invariance principles for Lorenz attractors. J. London Math. Soc. 76 (2007) 345–364

    work page 2007

  25. [25]

    P. Jung, F. P` ene and H.-K. Zhang. Convergence to α-stable L´ evy motion for chaotic billiards with several cusps at flat points. Nonlinearity 33 (2020) 807– 839

    work page 2020

  26. [26]

    Jung and H.-K

    P. Jung and H.-K. Zhang. Stable laws for chaotic billiards with cusps at flat points. Annales Henri Poincar´ e19 (2018) 3815–3853

    work page 2018

  27. [27]

    Kelly and I

    D. Kelly and I. Melbourne. Smooth approximation of stochastic differential equa- tions. Ann. Probab. 44 (2016) 479–520

    work page 2016

  28. [28]

    Y. Lima, C. Matheus and I. Melbourne. Nonstandard limit theorems for geodesic flows on surfaces with nonpositive curvature. In preparation, 2025

    work page 2025

  29. [29]

    Liverani, B

    C. Liverani, B. Saussol and S. Vaienti. A probabilistic approach to intermittency. Ergodic Theory Dynam. Systems 19 (1999) 671–685. 26

    work page 1999

  30. [30]

    Markarian

    R. Markarian. Billiards with polynomial decay of correlations. Ergodic Theory Dynam. Systems 24 (2004) 177–197

    work page 2004

  31. [31]

    D. L. McLeish. Dependent central limit theorems and invariance principles. Ann. Probability 2 (1974) 620–628

    work page 1974

  32. [32]

    Melbourne and A

    I. Melbourne and A. T¨ or¨ ok. Statistical limit theorems for suspension flows.Israel J. Math. 144 (2004) 191–209

    work page 2004

  33. [33]

    Melbourne and P

    I. Melbourne and P. Varandas. Convergence to a L´ evy process in the Skorohod M1 and M2 topologies for nonuniformly hyperbolic systems, including billiards with cusps. Comm. Math. Phys. 375 (2020) 653–678

    work page 2020

  34. [34]

    Melbourne and R

    I. Melbourne and R. Zweim¨ uller. Weak convergence to stable L´ evy processes for nonuniformly hyperbolic dynamical systems. Ann Inst. H. Poincar´ e (B) Probab. Statist. 51 (2015) 545–556

    work page 2015

  35. [35]

    Petersen

    K. Petersen. Ergodic Theory. Cambridge Studies in Adv. Math. 2, Cambridge Univ. Press, 1983

    work page 1983

  36. [36]

    Pomeau and P

    Y. Pomeau and P. Manneville. Intermittent transition to turbulence in dissipative dynamical systems. Comm. Math. Phys. 74 (1980) 189–197

    work page 1980

  37. [37]

    M. Ratner. The central limit theorem for geodesic flows on n-dimensional mani- folds of negative curvature. Israel J. Math. 16 (1973) 181–197

    work page 1973

  38. [38]

    Ja. G. Sina˘ ı. The central limit theorem for geodesic flows on manifolds of constant negative curvature. Soviet Math. Dokl. 1 (1960) 983–987

    work page 1960

  39. [39]

    Sz´ asz and T

    D. Sz´ asz and T. Varj´ u. Limit laws and recurrence for the planar Lorentz process with infinite horizon. J. Stat. Phys. 129 (2007) 59–80

    work page 2007

  40. [40]

    L.-S. Young. Statistical properties of dynamical systems with some hyperbolicity. Ann. of Math. 147 (1998) 585–650

    work page 1998

  41. [41]

    L.-S. Young. Recurrence times and rates of mixing. Israel J. Math. 110 (1999) 153–188

    work page 1999

  42. [42]

    Zweim¨ uller

    R. Zweim¨ uller. Ergodic structure and invariant densities of non-Markovian in- terval maps with indifferent fixed points. Nonlinearity 11 (1998) 1263–1276

    work page 1998

  43. [43]

    Zweim¨ uller

    R. Zweim¨ uller. Ergodic properties of infinite measure-preserving interval maps with indifferent fixed points. Ergodic Theory Dynam. Systems 20 (2000) 1519– 1549

    work page 2000

  44. [44]

    Zweim¨ uller

    R. Zweim¨ uller. Stable limits for probability preserving maps with indifferent fixed points. Stoch. Dyn. 3 (2003) 83–99. 27

    work page 2003

  45. [45]

    Zweim¨ uller

    R. Zweim¨ uller. Mixing limit theorems for ergodic transformations. J. Theoret. Probab. 20 (2007) 1059–1071. 28

    work page 2007