pith. sign in

arxiv: 2604.18929 · v3 · pith:WLZO3POSnew · submitted 2026-04-21 · 🧮 math.DS · math-ph· math.MP· math.PR

Transfer Operators and SRB Measures for Axiom A Diffeomorphisms: Spectral Gap, Structural Stability, and the Gibbs Equivalence Theorem

Pith reviewed 2026-05-21 01:27 UTC · model grok-4.3

classification 🧮 math.DS math-phmath.MPmath.PR
keywords Axiom A diffeomorphismstransfer operatorsSRB measuresstructural stabilityspectral gapGibbs equivalence theoremPesin entropy formulahyperbolic dynamics
0
0 comments X

The pith

Transfer operators on Hölder spaces establish structural stability with explicit exponents and yield the Gibbs equivalence theorem for SRB measures in Axiom A diffeomorphisms.

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

This paper carries symbolic spectral results to smooth Axiom A diffeomorphisms through Markov partition coding. It proves structural stability under strong transversality with an explicit Hölder exponent for the conjugacy in terms of hyperbolicity data, establishes quasi-compactness of the transfer operator on Hölder spaces with a quantitative spectral gap, constructs SRB measures as unique equilibrium states for the geometric potential together with absolute continuity of the unstable foliation and an explicit product formula for conditional densities, and verifies the Pesin entropy formula. These four theorems together with imported results assemble the Gibbs Equivalence Theorem that equates symbolic, variational, spectral, and geometric characterizations of the equilibrium state on mixing basic sets.

Core claim

The central claim is that four main theorems for Axiom A diffeomorphisms on mixing basic sets suffice to obtain the Gibbs Equivalence Theorem: structural stability with explicit Hölder exponent, quasi-compactness of the transfer operator with quantitative spectral gap, SRB measures as unique equilibrium states for the geometric potential with absolute continuity of the unstable foliation and explicit product formula for conditional densities, and the Pesin entropy formula equating Kolmogorov-Sinai entropy to the sum of positive Lyapunov exponents.

What carries the argument

The Ruelle transfer operator acting on Hölder continuous functions, which encodes the diffeomorphism and supplies the spectral gap used to derive stability, mixing rates, and equilibrium-state properties.

If this is right

  • Exponential decay of correlations for Hölder observables at an explicit rate determined by the spectral gap.
  • Central limit theorem for Hölder observables obtained via Nagaev-Guivarc'h perturbation of the leading eigenvalue.
  • Real-analyticity of the topological pressure as a function of the potential.
  • Meromorphic continuation of the Ruelle dynamical zeta function to a larger domain.
  • Explicit product formula for the conditional densities of the SRB measure along unstable manifolds.

Where Pith is reading between the lines

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

  • The explicit spectral gap bound supplies a concrete way to estimate mixing times once the hyperbolicity constants and Hölder exponent are known for a given map.
  • The same coding argument could be tested on other classes of hyperbolic systems that admit Markov partitions but lie outside the classical Axiom A setting.
  • The product formula for conditional densities gives a direct geometric description of how the SRB measure disintegrates along unstable leaves, which can be checked numerically on low-dimensional examples.

Load-bearing premise

The Markov partition coding of the Axiom A diffeomorphism accurately transfers the symbolic spectral results to the smooth setting.

What would settle it

An explicit Axiom A diffeomorphism satisfying the strong transversality condition whose structural conjugacy has a strictly smaller Hölder exponent than the one derived from its hyperbolicity constants, or whose transfer operator on Hölder spaces lacks the claimed quantitative spectral gap.

read the original abstract

We develop the Ruelle transfer operator theory for Axiom A diffeomorphisms and construct Sinai-Ruelle-Bowen measures, carrying the symbolic spectral results of Part I [64] over to smooth dynamics through the Markov partition coding of Part III [66]. This Part contains four Main Theorems. The first proves structural stability of Axiom A diffeomorphisms satisfying the strong transversality condition, with an explicit H\"older exponent for the conjugating homeomorphism in terms of the hyperbolicity data, refining the classical results of Robbin and Robinson. The second establishes quasi-compactness of the transfer operator on H\"older spaces with a quantitative spectral gap bound; as consequences we obtain exponential decay of correlations with explicit rate, the central limit theorem for H\"older observables via the Nagaev-Guivarc'h spectral perturbation method, real-analyticity of the pressure, and meromorphic continuation of the Ruelle dynamical zeta function. The third constructs SRB measures on mixing basic sets as the unique equilibrium states for the geometric potential, proves absolute continuity of the unstable foliation, and derives an explicit product-formula for the conditional densities along unstable manifolds. The fourth establishes the Pesin entropy formula identifying the Kolmogorov-Sinai entropy of the SRB measure with the sum of its positive Lyapunov exponents. The Gibbs Equivalence Theorem, assembling the symbolic, variational, spectral, and geometric characterizations of the equilibrium state on a mixing basic set, follows from these four Main Theorems together with the imported results of Parts I and III [64,66]. This Part constitutes Part IV of a six-part series on the thermodynamic formalism for hyperbolic dynamical systems.

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 paper develops Ruelle transfer operator theory for Axiom A diffeomorphisms on mixing basic sets, carrying symbolic spectral results from Part I over via Markov partition coding from Part III. It proves four Main Theorems: (1) structural stability under strong transversality with an explicit Hölder exponent for the conjugacy in terms of hyperbolicity data; (2) quasi-compactness of the transfer operator on Hölder spaces with a quantitative spectral gap, yielding explicit exponential decay of correlations, CLT, real-analytic pressure, and meromorphic zeta function; (3) SRB measures as unique equilibrium states for the geometric potential, with absolute continuity of the unstable foliation and an explicit product formula for conditional densities; (4) the Pesin entropy formula equating KS entropy to the sum of positive Lyapunov exponents. These plus imported results yield the Gibbs Equivalence Theorem assembling symbolic, variational, spectral, and geometric characterizations of the equilibrium state.

Significance. If the quantitative transfer via Markov partitions holds with controlled distortion, the work would give a self-contained thermodynamic formalism for Axiom A systems that includes explicit rates, geometric properties of SRB measures, and unification of multiple characterizations of equilibrium states. The explicit Hölder exponent and spectral gap bounds, together with the product formula for conditional densities, would strengthen classical results of Sinai, Ruelle, and Bowen.

major comments (2)
  1. [Abstract and Main Theorems 1-2] Abstract (paragraph on carrying results via Markov partition coding) and the sections detailing Main Theorems 1 and 2: the claimed explicit Hölder exponent and quantitative spectral gap require that the coding map from Part III induces bounded distortion between symbolic Hölder norms and manifold Hölder spaces, with constants depending only on hyperbolicity data and controlled uniformly in the partition mesh. Standard existence of Markov partitions does not automatically guarantee the precise mesh dependence or uniform distortion bounds needed to preserve the explicit rates without loss; the manuscript must supply these estimates or show they follow from the construction in Part III.
  2. [Main Theorem 3] Section on SRB construction and absolute continuity (Main Theorem 3): the explicit product formula for conditional densities along unstable manifolds and the absolute continuity statement depend on the same distortion control in the coding; any uncontrolled constant loss would affect the identification of the SRB measure as the unique equilibrium state for the geometric potential.
minor comments (2)
  1. [Preliminaries] Notation for the Hölder spaces and the precise definition of the geometric potential should be cross-referenced to Part I to avoid ambiguity when importing the spectral theorems.
  2. [Main Theorem 2] The dependence of the spectral gap size on the hyperbolicity constants and the partition diameter should be stated explicitly in the statement of Main Theorem 2 rather than only in the proof.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments, which help clarify the requirements for transferring quantitative bounds through the Markov partition coding. We address each major comment below and will revise the manuscript accordingly to supply the requested distortion estimates.

read point-by-point responses
  1. Referee: [Abstract and Main Theorems 1-2] Abstract (paragraph on carrying results via Markov partition coding) and the sections detailing Main Theorems 1 and 2: the claimed explicit Hölder exponent and quantitative spectral gap require that the coding map from Part III induces bounded distortion between symbolic Hölder norms and manifold Hölder spaces, with constants depending only on hyperbolicity data and controlled uniformly in the partition mesh. Standard existence of Markov partitions does not automatically guarantee the precise mesh dependence or uniform distortion bounds needed to preserve the explicit rates without loss; the manuscript must supply these estimates or show they follow from the construction in Part III.

    Authors: We agree that explicit quantitative transfer of the Hölder exponent and spectral gap requires uniform distortion control under the coding map, with constants depending only on hyperbolicity data. The Markov partition construction in Part III is carried out with mesh size decaying exponentially according to the minimal expansion rate, and the relevant distortion lemmas (controlling the equivalence of symbolic and manifold Hölder norms) are established there with bounds depending solely on the hyperbolicity constants, the Hölder exponent, and dimension, uniformly in the mesh. In the revised manuscript we will add a dedicated subsection (placed after the statement of Main Theorems 1 and 2) that recalls these lemmas from Part III and verifies that the norm-equivalence constants remain bounded independently of refinement, thereby preserving the explicit rates without loss. revision: yes

  2. Referee: [Main Theorem 3] Section on SRB construction and absolute continuity (Main Theorem 3): the explicit product formula for conditional densities along unstable manifolds and the absolute continuity statement depend on the same distortion control in the coding; any uncontrolled constant loss would affect the identification of the SRB measure as the unique equilibrium state for the geometric potential.

    Authors: The referee is correct that the explicit product formula for conditional densities and the absolute continuity of the unstable foliation rely on the same distortion estimates. Once the uniform distortion control is established as described in our response to the first comment, the identification of the SRB measure as the unique equilibrium state for the geometric potential, together with the product formula, follows directly from the symbolic results of Part I without additional constant loss. In the revised version we will insert a short paragraph in the section on Main Theorem 3 that explicitly invokes the distortion bounds already verified for Theorems 1 and 2. revision: yes

Circularity Check

1 steps flagged

Gibbs Equivalence Theorem assembles results via self-cited Parts I and III; explicit rates depend on Markov coding transfer

specific steps
  1. self citation load bearing [Abstract]
    "We develop the Ruelle transfer operator theory for Axiom A diffeomorphisms and construct Sinai-Ruelle-Bowen measures, carrying the symbolic spectral results of Part I [64] over to smooth dynamics through the Markov partition coding of Part III [66]. ... The Gibbs Equivalence Theorem, assembling the symbolic, variational, spectral, and geometric characterizations of the equilibrium state on a mixing basic set, follows from these four Main Theorems together with the imported results of Parts I and III [64,66]."

    The load-bearing Gibbs Equivalence Theorem is assembled only after importing the symbolic quasi-compactness, spectral gap, and equilibrium-state results from the author's prior Part I and the Markov partition coding from Part III; without verified transfer of explicit Hölder norms and distortion bounds via that coding, the claimed quantitative rates in Main Theorems 1-3 and the full equivalence cannot be established independently of the self-cited series.

full rationale

The paper's abstract and structure explicitly position the four Main Theorems as new but state that the central Gibbs Equivalence Theorem follows from them together with imported symbolic spectral results and Markov partition coding from the author's own prior Parts I [64] and III [66]. This creates load-bearing dependence on self-citations for carrying quantitative spectral gap, Hölder exponents, and equilibrium-state characterizations to the smooth Axiom A setting. The four theorems themselves are presented as independent contributions within this part, so the circularity is partial rather than total; the derivation chain does not reduce entirely to definition or fit but relies on the self-cited components for its full scope and explicit bounds. No other patterns (self-definitional, fitted predictions, or ansatz smuggling) are exhibited in the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard domain assumptions of hyperbolic dynamics and results imported from earlier parts of the author's series rather than new free parameters or invented entities.

axioms (2)
  • domain assumption Axiom A diffeomorphisms admit Markov partitions that code the dynamics symbolically
    Invoked to carry symbolic spectral results from Part I to the smooth setting via Part III coding.
  • domain assumption The diffeomorphisms satisfy the strong transversality condition
    Required for the structural stability theorem with explicit Hölder exponent.

pith-pipeline@v0.9.0 · 5838 in / 1405 out tokens · 55985 ms · 2026-05-21T01:27:56.723795+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/Constants.lean phi_golden_ratio echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    eigenvalues λ_u = φ² = (3 + √5)/2 … h_top = 2 log φ … Pesin formula h_μ+(f) = 2 log φ

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.

Forward citations

Cited by 6 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The Convex-Analytic Structure of Thermodynamic Equilibrium: Pressure, Subdifferentials, and Phase Transitions

    math.DS 2026-04 unverdicted novelty 7.0

    Thermodynamic pressure is the Legendre-Fenchel transform of negative entropy; equilibrium states are its subdifferentials, phase transitions mark non-differentiability, and a universal variational principle unifies ad...

  2. Gibbs Measures on Subshifts of Finite Type: Five Equivalent Characterizations with Explicit Constants

    math.DS 2026-04 unverdicted novelty 6.0

    Five characterizations of Gibbs measures for Hölder potentials on topologically mixing subshifts of finite type are equivalent in a single theorem with explicit constants, plus derived spectral gaps, stability, and li...

  3. Statistical Limit Theorems for Axiom A Diffeomorphisms: Exponential Mixing, Central Limit Theorem, and Large Deviations

    math.DS 2026-04 unverdicted novelty 5.0

    Derives Volume Lemma, exponential correlations decay, CLT with optimal Berry-Esseen bounds, ASIP, and LDP for Axiom A equilibrium states from a single spectral gap with explicit hyperbolicity dependence.

  4. Statistical Limit Theorems for Axiom A Diffeomorphisms: Exponential Mixing, Central Limit Theorem, and Large Deviations

    math.DS 2026-04 unverdicted novelty 4.0

    Derives the Volume Lemma, exponential mixing, CLT with Berry-Esseen bounds, ASIP, and LDP for Axiom A diffeomorphisms from the spectral gap of the normalized Ruelle transfer operator with explicit hyperbolicity dependence.

  5. Uniform Hyperbolicity and Symbolic Dynamics: Markov Partitions, Shadowing, and the Coding of Axiom A Diffeomorphisms

    math.DS 2026-04 unverdicted novelty 4.0

    The paper establishes quantitative versions of the stable manifold theorem, shadowing lemma, spectral decomposition, Markov partitions, and Hölder coding for Axiom A diffeomorphisms to transfer symbolic dynamics to th...

  6. Multifractal Analysis, Liv\v{s}ic Rigidity, and Fluctuation Theorems for Axiom A Diffeomorphisms: The Pesin Formula and the Gallavotti-Cohen Symmetry

    math.DS 2026-04 unverdicted novelty 3.0

    For Axiom A diffeomorphisms the metric entropy of the SRB measure equals the sum of positive Lyapunov exponents, Birkhoff level sets have Hausdorff dimension given by the Legendre transform of pressure, coboundaries a...

Reference graph

Works this paper leans on

75 extracted references · 75 canonical work pages · cited by 5 Pith papers · 5 internal anchors

  1. [1]

    Adler R, Weiss B (1970) Similarity of automorphisms of the torus.Memoirs of the American Mathematical Society98, American Mathematical Society, Providence, RI

  2. [2]

    Alves JF, Bonatti C, Viana M (2000) SRB measures for partially hyperbolic systems whose central direction is mostly expanding.Inventiones Mathematicae 140(2), 351–398

  3. [3]

    Anosov DV (1967) Geodesic flows on closed Riemann manifolds with negative curvature.Proceedings of the Steklov Institute of Mathematics90, 1–235

  4. [4]

    Anosov DV, Sinai YG (1967) Some smooth ergodic systems.Russian Mathemat- ical Surveys22(5), 103–167

  5. [5]

    Advanced Series in Nonlinear Dynamics16, World Scientific, Singapore

    Baladi V (2000)Positive Transfer Operators and Decay of Correlations. Advanced Series in Nonlinear Dynamics16, World Scientific, Singapore

  6. [6]

    Encyclopedia of Mathematics and its Applications 115, Cambridge University Press

    Barreira L, Pesin Y (2007)Nonuniform Hyperbolicity: Dynamics of Systems with Nonzero Lyapunov Exponents. Encyclopedia of Mathematics and its Applications 115, Cambridge University Press

  7. [7]

    Barreira L, Pesin Y, Schmeling J (1999) Dimension and product structure of hyperbolic measures.Annals of Mathematics149(3), 755–783. 39 A. Thiam

  8. [8]

    Berghout S, Fern´ andez R, Verbitskiy E (2019) On the relation between Gibbs andg-measures.Ergodic Theory and Dynamical Systems39(12), 3224–3249

  9. [9]

    Encyclopaedia of Mathematical Sciences102, Springer, Berlin

    Bonatti C, D´ ıaz LJ, Viana M (2005)Dynamics Beyond Uniform Hyperbolicity. Encyclopaedia of Mathematical Sciences102, Springer, Berlin

  10. [10]

    Bowen R (1970) Topological entropy and axiom A.Proceedings of Symposia in Pure Mathematics14, 23–41

  11. [11]

    Bowen R (1970) Markov partitions for Axiom A diffeomorphisms.American Journal of Mathematics92, 725–747

  12. [12]

    Transactions of the American Mathematical Society154, 377–397

    Bowen R (1971) Periodic points and measures for Axiom A diffeomorphisms. Transactions of the American Mathematical Society154, 377–397

  13. [13]

    Bowen R (1974) Some systems with unique equilibrium states.Mathematical Systems Theory8(3), 193–202

  14. [14]

    Lecture Notes in Mathematics470, Springer, Berlin

    Bowen R (1975)Equilibrium States and the Ergodic Theory of Anosov Diffeo- morphisms. Lecture Notes in Mathematics470, Springer, Berlin

  15. [15]

    Bowen R (1979) Hausdorff dimension of quasi-circles.Publications Math´ ematiques de l’IH ´ES50, 11–25

  16. [16]

    Bowen R, Ruelle D (1975) The ergodic theory of Axiom A flows.Inventiones Mathematicae29(3), 181–202

  17. [17]

    Inventiones Mathematicae156(1), 119–161

    Boyle M, Downarowicz T (2004) The entropy theory of symbolic extensions. Inventiones Mathematicae156(1), 119–161

  18. [18]

    Brin M, Pesin Y (1974) Partially hyperbolic dynamical systems.Mathematics of the USSR-Izvestiya8(1), 177–218

  19. [19]

    Annals of Mathematics171(1), 451–489

    Burns K, Wilkinson A (2010) On the ergodicity of partially hyperbolic systems. Annals of Mathematics171(1), 451–489

  20. [20]

    Butterley O, Liverani C (2007) Smooth Anosov flows: correlation spectra and stability.Journal of Modern Dynamics1(2), 301–322

  21. [21]

    Climenhaga V, Luzzatto S, Pesin Y (2017) The geometric approach for con- structing Sinai-Ruelle-Bowen measures.Journal of Statistical Physics166(3–4), 467–493

  22. [22]

    Climenhaga V, Luzzatto S, Pesin Y (2022) SRB measures and Young towers for surface diffeomorphisms.Annales Henri Poincar´ e23(3), 973–1059

  23. [23]

    Climenhaga V, Thompson DJ (2012) Intrinsic ergodicity beyond specification: β-shifts,S-gap shifts, and their factors.Israel Journal of Mathematics192(2), 40 Transfer Operators and SRB Measures for Axiom A Diffeomorphisms 785–817

  24. [24]

    Climenhaga V, Thompson DJ (2014) Intrinsic ergodicity via obstruction entropies.Ergodic Theory and Dynamical Systems34(6), 1816–1831

  25. [25]

    Climenhaga V, Thompson DJ (2016) Unique equilibrium states for flows and homeomorphisms with non-uniform structure.Advances in Mathematics303, 745–799

  26. [26]

    Grundlehren der Mathematischen Wissenschaften245, Springer, Berlin

    Cornfeld IP, Fomin SV, Sinai YG (1982)Ergodic Theory. Grundlehren der Mathematischen Wissenschaften245, Springer, Berlin

  27. [27]

    Crovisier S, Potrie R (2015) Introduction to partially hyperbolic dynamics.School on Dynamical Systems, ICTP Trieste

  28. [28]

    de la Llave R (1997) Smooth conjugacy and S-R-B measures for uniformly and non-uniformly hyperbolic systems.Communications in Mathematical Physics 150(2), 289–320

  29. [29]

    Denker M, Urba´ nski M (1991) On the existence of conformal measures.Transac- tions of the American Mathematical Society328(2), 563–587

  30. [30]

    Gou¨ ezel S, Liverani C (2006) Banach spaces adapted to Anosov systems.Ergodic Theory and Dynamical Systems26(1), 189–217

  31. [31]

    Journal de Math´ ematiques Pures et Appliqu´ ees4, 27–73

    Hadamard J (1898) Les surfaces ` a courbures oppos´ ees et leurs lignes g´ eod´ esiques. Journal de Math´ ematiques Pures et Appliqu´ ees4, 27–73

  32. [32]

    Haydn N, Ruelle D (1992) Equivalence of Gibbs and equilibrium states for homeomorphisms satisfying expansiveness and specification.Communications in Mathematical Physics148(1), 155–167

  33. [33]

    Hirsch M, Pugh C (1970) Stable manifolds and hyperbolic sets.Proceedings of Symposia in Pure Mathematics14, 133–163

  34. [34]

    Inventiones Mathematicae9, 121–134

    Hirsch M, Palis J, Pugh C, Shub M (1970) Neighborhoods of hyperbolic sets. Inventiones Mathematicae9, 121–134

  35. [35]

    Lecture Notes in Mathematics583, Springer, Berlin

    Hirsch M, Pugh C, Shub M (1977)Invariant Manifolds. Lecture Notes in Mathematics583, Springer, Berlin

  36. [36]

    Ionescu-Tulcea CT, Marinescu G (1950) Th´ eorie ergodique pour des classes d’op´ erations non compl` etement continues.Annals of Mathematics52(1), 140– 147

  37. [37]

    Classics in Mathemat- ics, Springer, Berlin

    Kato T (1980)Perturbation Theory for Linear Operators. Classics in Mathemat- ics, Springer, Berlin. 41 A. Thiam

  38. [38]

    Encyclopedia of Mathematics and its Applications54, Cambridge University Press

    Katok A, Hasselblatt B (1995)Introduction to the Modern Theory of Dynami- cal Systems. Encyclopedia of Mathematics and its Applications54, Cambridge University Press

  39. [39]

    Keane M (1972) Strongly mixingg-measures.Inventiones Mathematicae16, 309– 324

  40. [40]

    Annali della Scuola Normale Superiore di Pisa, Classe di Scienze (4)28(1), 141–152

    Keller G, Liverani C (1999) Stability of the spectrum for transfer operators. Annali della Scuola Normale Superiore di Pisa, Classe di Scienze (4)28(1), 141–152

  41. [41]

    Liverani C (1995) Decay of correlations.Annals of Mathematics (2)142(2), 239– 301

  42. [42]

    A functional analytic point of view

    Liverani C (2004) Invariant measures and their properties. A functional analytic point of view. In:Dynamical Systems, Part II, pp. 185–237. Pubbl. Cent. Ric. Mat. Ennio Giorgi, Scuola Norm. Sup., Pisa

  43. [43]

    In: Hasselblatt B, Katok A (eds)Handbook of Dynamical Systems, Vol

    Luzzatto S (2006) Stochastic-like behaviour in non-uniformly expanding maps. In: Hasselblatt B, Katok A (eds)Handbook of Dynamical Systems, Vol. 1B, pp 265–326. Elsevier, Amsterdam

  44. [44]

    Ma˜ n´ e R (1982) An ergodic closing lemma.Annals of Mathematics116(3), 503– 540

  45. [45]

    Morse M (1921) A one-to-one representation of geodesics on a surface of negative curvature.American Journal of Mathematics43(1), 33–51

  46. [46]

    Ast´ erisque187–188, Soci´ et´ e Math´ ematique de France

    Parry W, Pollicott M (1990)Zeta Functions and the Periodic Orbit Structure of Hyperbolic Dynamics. Ast´ erisque187–188, Soci´ et´ e Math´ ematique de France

  47. [47]

    Russian Mathematical Surveys32(4), 55–114

    Pesin Y (1977) Characteristic Lyapunov exponents and smooth ergodic theory. Russian Mathematical Surveys32(4), 55–114

  48. [48]

    Chicago Lectures in Mathematics, University of Chicago Press

    Pesin Y (1997)Dimension Theory in Dynamical Systems: Contemporary Views and Applications. Chicago Lectures in Mathematics, University of Chicago Press

  49. [49]

    Pugh C, Shub M (1997) Stable ergodicity and partial hyperbolicity.International Conference on Dynamical Systems, Montevideo 1995, Pitman Research Notes 362, 182–187

  50. [50]

    Pugh C, Shub M (2000) Stable ergodicity and julienne quasi-conformality.Journal of the European Mathematical Society2(1), 1–52

  51. [51]

    42 Transfer Operators and SRB Measures for Axiom A Diffeomorphisms

    Robbin JW (1971) A structural stability theorem.Annals of Mathematics94(3), 447–493. 42 Transfer Operators and SRB Measures for Axiom A Diffeomorphisms

  52. [52]

    Robinson C (1974) Structural stability ofC 1 diffeomorphisms.Journal of Differential Equations22(1), 28–73

  53. [53]

    Robinson C (1976) Structural stability ofC 1 flows.Dynamical Systems, Warwick 1974, Lecture Notes in Mathematics468, 262–277, Springer, Berlin

  54. [54]

    Ruelle D (1968) Statistical mechanics of a one-dimensional lattice gas.Commu- nications in Mathematical Physics9(4), 267–278

  55. [55]

    Ruelle D (1973) Statistical mechanics on a compact set withZ ν action satisfy- ing expansiveness and specification.Transactions of the American Mathematical Society185, 237–251

  56. [56]

    Ruelle D (1976) A measure associated with Axiom A attractors.American Journal of Mathematics98(3), 619–654

  57. [57]

    Encyclopedia of Mathematics and its Applications5, Addison-Wesley

    Ruelle D (1978)Thermodynamic Formalism. Encyclopedia of Mathematics and its Applications5, Addison-Wesley

  58. [58]

    Sarig O (2013) Symbolic dynamics for surface diffeomorphisms with positive entropy.Journal of the American Mathematical Society26(2), 341–426

  59. [59]

    Springer, New York

    Shub M (1987)Global Stability of Dynamical Systems. Springer, New York

  60. [60]

    Sinai YG (1968) Markov partitions and C-diffeomorphisms.Functional Analysis and Its Applications2(1), 61–82

  61. [61]

    Sinai YG (1968) Construction of Markov partitions.Functional Analysis and Its Applications2(3), 245–253

  62. [62]

    Sinai YG (1972) Gibbs measures in ergodic theory.Russian Mathematical Surveys 27(4), 21–69

  63. [63]

    Smale S (1967) Differentiable dynamical systems.Bulletin of the American Mathematical Society73(6), 747–817

  64. [64]

    Gibbs Measures on Subshifts of Finite Type: Five Equivalent Characterizations with Explicit Constants

    Thiam, A.: Gibbs Measures on Subshifts of Finite Type: Five Equivalent Characterizations with Explicit Constants. arXiv:2604.17528 [math.DS] (2026)

  65. [65]

    The Convex-Analytic Structure of Thermodynamic Equilibrium: Pressure, Subdifferentials, and Phase Transitions

    Thiam, A.: The Convex-Analytic Structure of Thermodynamic Equilibrium: Pressure, Subdifferentials, and Phase Transitions. arXiv:2604.17531 [math.DS] (2026)

  66. [66]

    Uniform Hyperbolicity and Symbolic Dynamics: Markov Partitions, Shadowing, and the Coding of Axiom A Diffeomorphisms

    Thiam, A.: Uniform Hyperbolicity and Symbolic Dynamics: Markov Partitions, Shadowing, and the Coding of Axiom A Diffeomorphisms. arXiv:2604.17608 [math.DS] (2026) 43 A. Thiam

  67. [67]

    Statistical Limit Theorems for Axiom A Diffeomorphisms: Exponential Mixing, Central Limit Theorem, and Large Deviations

    Thiam, A.: Statistical Limit Theorems For Axiom A Diffeomorphisms: Exponen- tial Mixing, Central Limit Theorem, And Large Deviations. arXiv:2604.18930 [math.DS] (2026)

  68. [68]

    Multifractal Analysis, Liv\v{s}ic Rigidity, and Fluctuation Theorems for Axiom A Diffeomorphisms: The Pesin Formula and the Gallavotti-Cohen Symmetry

    Thiam, A.: Multifractal Analysis, Livˇ sic Rigidity, and Fluctuation Theorems for Axiom A Diffeomorphisms: The Pesin Formula and the Gallavotti-Cohen Symmetry. arXiv:2604.18931 [math.DS] (2026)

  69. [69]

    Viana M (2020) (Dis)continuity of Lyapunov exponents.Ergodic Theory and Dynamical Systems40(3), 577–611

  70. [70]

    Cambridge Studies in Advanced Mathematics151, Cambridge University Press, Cambridge

    Viana M, Oliveira K (2016)Foundations of Ergodic Theory. Cambridge Studies in Advanced Mathematics151, Cambridge University Press, Cambridge

  71. [71]

    Walters P (1975) A variational principle for the pressure of continuous transfor- mations.American Journal of Mathematics97(4), 937–971

  72. [72]

    Young LS (1982) Dimension, entropy, and Lyapunov exponents.Ergodic Theory and Dynamical Systems2(1), 109–124

  73. [73]

    Young LS (1998) Statistical properties of dynamical systems with some hyper- bolicity.Annals of Mathematics (2)147(3), 585–650

  74. [74]

    Young LS (1999) Recurrence times and rates of mixing.Israel Journal of Mathematics110, 153–188

  75. [75]

    Young LS (2002) What are SRB measures, and which dynamical systems have them?Journal of Statistical Physics108(5–6), 733–754. 44