pith. sign in

arxiv: 2606.30939 · v1 · pith:6SGRCIETnew · submitted 2026-06-29 · 🧮 math.DS

Chaos on surfaces and beyond: a new notion of dynamical hyperbolicity

J\'er\^ome Buzzi This is my paper

Pith reviewed 2026-07-01 00:53 UTC · model grok-4.3

classification 🧮 math.DS
keywords strong positive recurrencesurface diffeomorphismspositive entropyexponential mixingNewhouse conjectureuniform hyperbolicitylimit theoremsdynamical systems
0
0 comments X

The pith

Strong positive recurrence applies to every smooth surface diffeomorphism with positive entropy while ensuring exponential mixing and limit theorems.

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

The paper reviews advances in the study of chaotic dynamics on surfaces that followed the solution of Newhouse's conjecture. It centers on strong positive recurrence, a property introduced in joint work that generalizes the classical uniform hyperbolicity of Anosov-Smale systems. This property holds for all smooth surface diffeomorphisms with positive entropy yet still delivers quantitative control, including exponential mixing and limit theorems for regular functions. The review also raises open questions about whether the same property appears abundantly in higher dimensions.

Core claim

Strong positive recurrence is a generalization of the classical Anosov-Smale theory of uniform hyperbolicity introduced in joint work with Crovisier and Sarig. It is general enough to be satisfied by all smooth surface diffeomorphisms with positive entropy, yet it still ensures many quantitative properties such as exponential mixing or limit theorems for regular functions.

What carries the argument

strong positive recurrence, a generalization of uniform hyperbolicity that controls recurrence strongly enough to yield quantitative statistical properties.

If this is right

  • Every smooth surface diffeomorphism with positive entropy satisfies strong positive recurrence.
  • Exponential mixing holds for regular functions on these systems.
  • Limit theorems apply to regular functions on these systems.
  • The same quantitative control extends beyond the uniform hyperbolicity setting on surfaces.

Where Pith is reading between the lines

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

  • The property might serve as a template for identifying statistically well-behaved chaotic systems in dimensions greater than two.
  • Similar recurrence conditions could be checked on specific families of maps, such as certain billiards or interval maps with singularities.
  • If the property fails in higher dimensions, it would highlight a genuine dimensional obstruction to quantitative chaos.

Load-bearing premise

That the joint work with Crovisier and Sarig correctly establishes strong positive recurrence for every smooth surface diffeomorphism with positive entropy.

What would settle it

A concrete smooth surface diffeomorphism with positive entropy that fails to satisfy strong positive recurrence.

Figures

Figures reproduced from arXiv: 2606.30939 by J\'er\^ome Buzzi.

Figure 2.1
Figure 2.1. Figure 2.1: From left to right: (1) Morse-Smale dynamics on a sphere with two fixed points (a source and a sink); [PITH_FULL_IMAGE:figures/full_fig_p003_2_1.png] view at source ↗
read the original abstract

We present some developments in the study of chaotic dynamics following the solution of a conjecture of Newhouse on the measures maximizing the entropy of smooth surface diffeomorphisms. We focus on \emph{strong positive recurrence}, a generalization of the classical Anosov-Smale theory of uniform hyperbolicity introduced in a joint work with Sylvain Crovisier and Omri Sarig. This new property is general enough to be satisfied by all smooth surface diffeomorphisms with positive entropy, yet it still ensures many quantitative properties such as exponential mixing or limit theorems for regular functions. We also present some open problems, including its abundance (or not) in higher dimensions.

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 / 0 minor

Summary. The paper is an expository overview of developments in chaotic dynamics on surfaces following the solution of Newhouse's conjecture on entropy-maximizing measures. It focuses on the notion of strong positive recurrence, introduced in joint work with Crovisier and Sarig, as a generalization of the Anosov-Smale theory of uniform hyperbolicity. The central claim is that this property holds for all smooth surface diffeomorphisms with positive entropy yet still guarantees quantitative properties such as exponential mixing and limit theorems for regular functions. The manuscript also discusses open problems regarding its abundance in higher dimensions.

Significance. If the underlying results in the cited joint work hold, the notion supplies a useful intermediate framework between uniform hyperbolicity and general positive-entropy surface diffeomorphisms, allowing statistical properties to be established more broadly than previously possible. This synthesis directly leverages the resolution of Newhouse's conjecture and could streamline future work on mixing and limit theorems in non-uniformly hyperbolic settings.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive recommendation to accept the manuscript. The report accurately captures the paper's scope as an expository overview centered on strong positive recurrence.

Circularity Check

0 steps flagged

Expository overview with no internal circularity

full rationale

The manuscript is explicitly an expository survey that attributes both the definition of strong positive recurrence and its key consequences (generality for positive-entropy surface diffeomorphisms, exponential mixing, limit theorems) to the cited joint work with Crovisier-Sarig and to the prior solution of Newhouse's conjecture. No new derivations, fitted parameters, or predictions are introduced whose validity reduces by construction to inputs supplied inside this paper. Self-citations are present but are not load-bearing for any claimed derivation; they function as references to independent prior results. The paper therefore satisfies the default expectation of no significant circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so no free parameters, axioms, or invented entities can be extracted beyond the reliance on prior results mentioned.

axioms (1)
  • domain assumption Solution of Newhouse's conjecture on entropy-maximizing measures for smooth surface diffeomorphisms
    The developments rest on this prior resolution as stated in the abstract.

pith-pipeline@v0.9.1-grok · 5630 in / 1148 out tokens · 39399 ms · 2026-07-01T00:53:40.111252+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

81 extracted references · 40 canonical work pages

  1. [1]

    Yang, Jiagang , TITLE =. Adv. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.aim.2021.107893 , URL =

    work page doi:10.1016/j.aim.2021.107893 2021

  2. [2]

    Hu, Huyi and Hua, Yongxia and Wu, Weisheng , TITLE =. Adv. Math. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.aim.2017.09.039 , URL =

    work page doi:10.1016/j.aim.2017.09.039 2017

  3. [3]

    , TITLE =

    Andersson, Martin and V\'asquez, Carlos H. , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2018 , NUMBER =. doi:10.1017/etds.2017.17 , URL =

    work page doi:10.1017/etds.2017.17 2018

  4. [4]

    Israel J

    Bonatti, Christian and Viana, Marcelo , TITLE =. Israel J. Math. , FJOURNAL =. 2000 , PAGES =. doi:10.1007/BF02810585 , URL =

    work page doi:10.1007/bf02810585 2000

  5. [5]

    Alves, Jos\'e. S. Invent. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002220000057 , URL =

    work page doi:10.1007/s002220000057 2000

  6. [6]

    Young, Lai-Sang , TITLE =. J. Statist. Phys. , FJOURNAL =. 2002 , NUMBER =. doi:10.1023/A:1019762724717 , URL =

    work page doi:10.1023/a:1019762724717 2002

  7. [7]

    Dolgopyat, Dmitry , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002200000238 , URL =

    work page doi:10.1007/s002200000238 2000

  8. [8]

    Avila, Artur and Viana, Marcelo , TITLE =. Invent. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00222-010-0243-1 , URL =

    work page doi:10.1007/s00222-010-0243-1 2010

  9. [9]

    Tahzibi, Ali and Yang, Jiagang , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/tran/7278 , URL =

    work page doi:10.1090/tran/7278 2019

  10. [10]

    Crovisier, Sylvain and Potrie, Rafael , TITLE =

  11. [11]

    Kifer, Yuri , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1990 , NUMBER =. doi:10.2307/2001571 , URL =

    work page doi:10.2307/2001571 1990

  12. [12]

    , TITLE =

    Newhouse, Sheldon E. , TITLE =. Global. 1970 , MRCLASS =

    1970

  13. [13]

    2023 , PAGES =

    Barreira, Lu\'is and Pesin, Yakov , TITLE =. 2023 , PAGES =

    2023

  14. [14]

    Ergodic Theory Dynam

    Denker, Manfred and Philipp, Walter , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 1984 , NUMBER =. doi:10.1017/S0143385700002637 , URL =

    work page doi:10.1017/s0143385700002637 1984

  15. [15]

    2025 , eprint=

    Exponential mixing of measures of maximal entropy for certain skew products , author=. 2025 , eprint=

    2025

  16. [16]

    Measures of maximal entropy for

    Zang, Yuntao , year=. Measures of maximal entropy for. 2503.21183 , archivePrefix=

    work page arXiv

  17. [17]

    Martinchich, Santiago , TITLE =. J. Mod. Dyn. , FJOURNAL =. 2023 , PAGES =. doi:10.3934/jmd.2023016 , URL =

    work page doi:10.3934/jmd.2023016 2023

  18. [18]

    Mongez, Juan Carlos and Pacifico, Maria Jose , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/tran/9230 , URL =

    work page doi:10.1090/tran/9230 2024

  19. [19]

    Upper semi-continuity of metric entropy for

    Chiyi Luo and Dawei Yang , year=. Upper semi-continuity of metric entropy for. 2504.07746 , archivePrefix=

    work page arXiv

  20. [20]

    2025 , eprint=

    Ergodic measures with large entropy have long unstable manifolds for C^ surface diffeomorphisms , author=. 2025 , eprint=

    2025

  21. [21]

    Gou\"ezel, S\'ebastien and Schapira, Barbara and Tapie, Samuel , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/cmh/552 , URL =

    work page doi:10.4171/cmh/552 2023

  22. [22]

    Burguet, David , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2020 , NUMBER =. doi:10.4171/jems/925 , URL =

    work page doi:10.4171/jems/925 2020

  23. [23]

    Iommi, Godofredo and Todd, Mike and Velozo, Anibal , TITLE =. Adv. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.aim.2022.108507 , URL =

    work page doi:10.1016/j.aim.2022.108507 2022

  24. [24]

    Buzzi, J\'er\^ome , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2010 , NUMBER =. doi:10.5802/aif.2540 , URL =

    work page doi:10.5802/aif.2540 2010

  25. [25]

    Israel J

    Young, Lai-Sang , TITLE =. Israel J. Math. , FJOURNAL =. 1999 , PAGES =. doi:10.1007/BF02808180 , URL =

    work page doi:10.1007/bf02808180 1999

  26. [26]

    2010 , PAGES =

    Dembo, Amir and Zeitouni, Ofer , TITLE =. 2010 , PAGES =. doi:10.1007/978-3-642-03311-7 , URL =

    work page doi:10.1007/978-3-642-03311-7 2010

  27. [27]

    and Rodriguez Hertz, M

    Rodriguez Hertz, F. and Rodriguez Hertz, M. A. and Tahzibi, A. and Ures, R. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2011 , NUMBER =. doi:10.1007/s00220-011-1275-0 , URL =

    work page doi:10.1007/s00220-011-1275-0 2011

  28. [28]

    and Rodriguez Hertz, M

    Rodriguez Hertz, F. and Rodriguez Hertz, M. A. and Tahzibi, A. and Ures, R. , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2012 , NUMBER =. doi:10.1017/S0143385711000757 , URL =

    work page doi:10.1017/s0143385711000757 2012

  29. [29]

    2024 , eprint=

    Entropy Continuity of Lyapunov Exponents for Non-flat 1-dimensional Maps , author=. 2024 , eprint=

    2024

  30. [30]

    Burguet, David , TITLE =. Ann. Henri Poincar\'e , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00023-023-01308-y , URL =

    work page doi:10.1007/s00023-023-01308-y 2024

  31. [31]

    Cyr, Van and Sarig, Omri , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00220-009-0891-4 , URL =

    work page doi:10.1007/s00220-009-0891-4 2009

  32. [32]

    2004 , PAGES =

    Ruelle, David , TITLE =. 2004 , PAGES =. doi:10.1017/CBO9780511617546 , URL =

    work page doi:10.1017/cbo9780511617546 2004

  33. [33]

    and D\'iaz, L

    Bonatti, C. and D\'iaz, L. J. and Pujals, E. R. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2003 , NUMBER =. doi:10.4007/annals.2003.158.355 , URL =

    work page doi:10.4007/annals.2003.158.355 2003

  34. [34]

    1999 , PAGES =

    Robinson, Clark , TITLE =. 1999 , PAGES =

    1999

  35. [35]

    , TITLE =

    Misiurewicz, M. , TITLE =. Bull. Acad. Polon. Sci. S\'er. Sci. Math. Astronom. Phys. , FJOURNAL =. 1973 , PAGES =

    1973

  36. [36]

    , TITLE =

    Newhouse, Sheldon E. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1989 , NUMBER =. doi:10.2307/1971492 , URL =

    work page doi:10.2307/1971492 1989

  37. [37]

    and Viana, Marcelo , TITLE =

    Bonatti, Christian and D\'iaz, Lorenzo J. and Viana, Marcelo , TITLE =. 2005 , PAGES =

    2005

  38. [38]

    , TITLE =

    Sarig, Omri M. , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 1999 , NUMBER =. doi:10.1017/S0143385799146820 , URL =

    work page doi:10.1017/s0143385799146820 1999

  39. [39]

    , TITLE =

    Sarig, Omri M. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2001 , NUMBER =. doi:10.1007/s002200100367 , URL =

    work page doi:10.1007/s002200100367 2001

  40. [40]

    Gurevich, B. M. and Savchenko, S. V. , TITLE =. Uspekhi Mat. Nauk , FJOURNAL =. 1998 , NUMBER =. doi:10.1070/rm1998v053n02ABEH000017 , URL =

    work page doi:10.1070/rm1998v053n02abeh000017 1998

  41. [41]

    Journal de mathématiques pures et appliquées , series =

    Hadamard, Jacques , title =. Journal de mathématiques pures et appliquées , series =

  42. [42]

    Journal Modern Dynamics , volume =

    Bonatti, Christian and Crovisier, Sylvain and Shinohara, Katsutoshi , title =. Journal Modern Dynamics , volume =. 2013 , pages =

    2013

  43. [43]

    Takens, Floris , TITLE =. Bol. Soc. Brasil. Mat. (N.S.) , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF01232938 , URL =

    work page doi:10.1007/bf01232938 1994

  44. [44]

    Ast\'erisque , FJOURNAL =

    Berger, Pierre , TITLE =. Ast\'erisque , FJOURNAL =. 2019 , PAGES =

    2019

  45. [45]

    Proceedings of the

    Crovisier, Sylvain , TITLE =. Proceedings of the. 2014 , ISBN =

    2014

  46. [46]

    Ast\'erisque , FJOURNAL =

    Crovisier, Sylvain , TITLE =. Ast\'erisque , FJOURNAL =. 2013 , PAGES =

    2013

  47. [47]

    , TITLE =

    Kaloshin, Vadim Yu. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002200050811 , URL =

    work page doi:10.1007/s002200050811 2000

  48. [48]

    Ruelle, David , title =

  49. [49]

    Downarowciz, Tomasz , title =

  50. [50]

    , title =

    Alv\`es, Jos\'e F. , title =

  51. [51]

    Ergodic Theory Dynam

    Buzzi, J\'er\^ome , title =. Ergodic Theory Dynam. Systems , volume =. 2014 , pages =

    2014

  52. [52]

    Banach Center Publications , volume =

    Buzzi, J\'er\^ome , title =. Banach Center Publications , volume =. 2026 , pages =

    2026

  53. [53]

    Annals of Mathematics , volume =

    Young, Lai-Sang , title =. Annals of Mathematics , volume =. 1998 , pages =

    1998

  54. [54]

    Israel J

    Young, Lai-Sang , title =. Israel J. Math. , volume =. 1999 , pages =

    1999

  55. [55]

    Andronov, A. A. and Pontryagin, L. , title =

  56. [56]

    , TITLE =

    Smale, S. , TITLE =. Bull. Amer. Math. Soc. , FJOURNAL =. 1967 , PAGES =. doi:10.1090/S0002-9904-1967-11798-1 , URL =

    work page doi:10.1090/s0002-9904-1967-11798-1 1967

  57. [57]

    Newhouse, Sheldon , title =

  58. [58]

    , TITLE =

    Sarig, Omri M. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2013 , NUMBER =. doi:10.1090/S0894-0347-2012-00758-9 , URL =

    work page doi:10.1090/s0894-0347-2012-00758-9 2013

  59. [59]

    Ben Ovadia, Snir , TITLE =. J. Mod. Dyn. , FJOURNAL =. 2018 , PAGES =. doi:10.3934/jmd.2018013 , URL =

    work page doi:10.3934/jmd.2018013 2018

  60. [60]

    Katok, Anatole and Hasselblatt, Boris , title =

  61. [61]

    and Fomin, X

    Cornfeld, X. and Fomin, X. and Sinai, Y. , title =

  62. [62]

    and Crovisier, S

    Buzzi, J. and Crovisier, S. and Sarig, O. , title =. Annals of Mathematics , volume =. 2022 , pages =

    2022

  63. [63]

    Buzzi, J\'er\^ome and Crovisier, Sylvain and Sarig, Omri , TITLE =. Invent. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00222-022-01132-x , URL =

    work page doi:10.1007/s00222-022-01132-x 2022

  64. [64]

    Kadyrov, Shirali , TITLE =. Monatsh. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00605-014-0690-7 , URL =

    work page doi:10.1007/s00605-014-0690-7 2015

  65. [65]

    and Smale, S

    Palis, J. and Smale, S. , TITLE =. Global. 1970 , MRCLASS =

    1970

  66. [66]

    Robinson, Clark , TITLE =. J. Differential Equations , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0022-0396(76)90004-8 , URL =

    work page doi:10.1016/0022-0396(76)90004-8 1976

  67. [67]

    and Smale, S

    Abraham, R. and Smale, S. , TITLE =. Global. 1970 , MRCLASS =

    1970

  68. [68]

    , TITLE =

    Simon, Carl P. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1972 , PAGES =. doi:10.2307/2038421 , URL =

    work page doi:10.2307/2038421 1972

  69. [69]

    Ma\ n\'e, Ricardo , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1988 , PAGES =

    1988

  70. [70]

    Smale, Stephen , TITLE =. Bol. Soc. Mat. Mexicana (2) , FJOURNAL =. 1960 , PAGES =

    1960

  71. [71]

    2025 , eprint=

    Strong positive recurrence and exponential mixing for diffeomorphisms , author=. 2025 , eprint=

    2025

  72. [72]

    Clawpack Software , author =

  73. [73]

    Frank Mittlebach and Michel Goossens , title =

  74. [74]

    and Van Loan, Charles F

    Golub, Gene H. and Van Loan, Charles F. , title =

  75. [75]

    Paul Dawkins , title =

  76. [76]

    User's Guide for the

  77. [77]

    Michael Downes , title =

  78. [78]

    Christian Feuers\"anger , title =

  79. [79]

    Knapsack Auctions

    Aggarwal, Gagan and Hartline, Jason D. Knapsack Auctions. Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)

  80. [80]

    Mobile Systems

    Burkhard Stiller and Thomas Bocek and Fabio Hecht and Guilherme Machado and Peter Racz and Martin Waldburger , group =. Mobile Systems

Showing first 80 references.