Showing 1–33 of 33 results for author: Buzzi, J

Strong positive recurrence and exponential mixing for diffeomorphisms

Authors: Jérôme Buzzi, Sylvain Crovisier, Omri Sarig

Abstract: We introduce the strong positive recurrence (SPR) property for diffeomorphisms on closed manifolds with arbitrary dimension, and show that it has many consequences and holds in many cases. SPR diffeomorphisms can be coded by countable state Markov shifts whose transition matrices act with a spectral gap on a large Banach space, and this implies exponential decay of correlations, almost sure invari… ▽ More We introduce the strong positive recurrence (SPR) property for diffeomorphisms on closed manifolds with arbitrary dimension, and show that it has many consequences and holds in many cases. SPR diffeomorphisms can be coded by countable state Markov shifts whose transition matrices act with a spectral gap on a large Banach space, and this implies exponential decay of correlations, almost sure invariance principle, large deviations, among other properties of the ergodic measures of maximal entropy. Any $C^\infty$ smooth surface diffeomorphism with positive entropy is SPR, and there are many other examples with lesser regularity, or in higher dimension. △ Less

Submitted 13 January, 2025; originally announced January 2025.

MSC Class: 37C40; 28D20; 37A25; 37B10; 37D25; 37D35; 37E30

Symbolic dynamics for large non-uniformly hyperbolic sets of three dimensional flows

Authors: Jérôme Buzzi, Sylvain Crovisier, Yuri Lima

Abstract: We construct symbolic dynamics for three dimensional flows with positive speed. More precisely, for each $χ>0$, we code a set of full measure for every invariant probability measure which is $χ$-hyperbolic. These include all ergodic measures with entropy bigger than $χ$ as well as all hyperbolic periodic orbits of saddle-type with Lyapunov exponent outside of $[-χ,χ]$. This contrasts with a previo… ▽ More We construct symbolic dynamics for three dimensional flows with positive speed. More precisely, for each $χ>0$, we code a set of full measure for every invariant probability measure which is $χ$-hyperbolic. These include all ergodic measures with entropy bigger than $χ$ as well as all hyperbolic periodic orbits of saddle-type with Lyapunov exponent outside of $[-χ,χ]$. This contrasts with a previous work of Lima & Sarig which built a coding associated to a given invariant probability measure. As an application, we code homoclinic classes of measures by suspensions of irreducible countable Markov shifts. △ Less

Submitted 26 July, 2023; originally announced July 2023.

Comments: 79 pages, 5 figures

Open questions in descriptive set theory and dynamical systems

Authors: Jérôme Buzzi, Nishant Chandgotia, Matthew Foreman, Su Gao, Felipe García-Ramos, Anton Gorodetski, François Le Maitre, Federico Rodríguez-Hertz, Marcin Sabok

Abstract: This file is composed of questions that emerged or were of interest during the workshop "Interactions between Descriptive Set Theory and Smooth Dynamics" that took place in Banff, Canada on 2022. This file is composed of questions that emerged or were of interest during the workshop "Interactions between Descriptive Set Theory and Smooth Dynamics" that took place in Banff, Canada on 2022. △ Less

Submitted 29 April, 2023; originally announced May 2023.

Another proof of Burguet's existence theorem for SRB measures of $C^\infty$ surface diffeomorphisms

Authors: Jérôme Buzzi, Sylvain Crovisier, Omri Sarig

Abstract: Recently, Burguet proved a strong form of Viana's conjecture on physical measures, in the special case of $C^\infty$ surface diffeomorphisms. We give another proof, based on our analysis of entropy and Lyapunov exponents in [BCS]. Recently, Burguet proved a strong form of Viana's conjecture on physical measures, in the special case of $C^\infty$ surface diffeomorphisms. We give another proof, based on our analysis of entropy and Lyapunov exponents in [BCS]. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Continuity properties of Lyapunov exponents for surface diffeomorphisms

Authors: Jérôme Buzzi, Sylvain Crovisier, Omri Sarig

Abstract: We study the entropy and Lyapunov exponents of invariant measures $μ$ for smooth surface diffeomorphisms $f$, as functions of $(f,μ)$. The main result is an inequality relating the discontinuities of these functions. One consequence is that for a $C^\infty$ surface diffeomorphisms, on any set of ergodic measures with entropy bounded away from zero, continuity of the entropy implies continuity of t… ▽ More We study the entropy and Lyapunov exponents of invariant measures $μ$ for smooth surface diffeomorphisms $f$, as functions of $(f,μ)$. The main result is an inequality relating the discontinuities of these functions. One consequence is that for a $C^\infty$ surface diffeomorphisms, on any set of ergodic measures with entropy bounded away from zero, continuity of the entropy implies continuity of the exponents. Another consequence is the upper semi-continuity of the Hausdorff dimension on the set of ergodic invariant measures with entropy bounded away from zero. We also obtain a new criterion for the existence of SRB measures with positive entropy. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Phase transitions for the geodesic flow of a rank one surface with nonpositive curvature

Authors: Keith Burns, Jérôme Buzzi, Todd Fisher, Noelle Sawyer

Abstract: We study the one parameter family of potential functions $q\varphi^u$ associated with the geometric potential $\varphi^u$ for the geodesic flow of a compact rank 1 surface of nonpositive curvature. For $q<1$ it is known that there is a unique equilibrium state associated with $q\varphi^u$, and it has full support. For $q > 1$ it is known that an invariant measure is an equilibrium state if and onl… ▽ More We study the one parameter family of potential functions $q\varphi^u$ associated with the geometric potential $\varphi^u$ for the geodesic flow of a compact rank 1 surface of nonpositive curvature. For $q<1$ it is known that there is a unique equilibrium state associated with $q\varphi^u$, and it has full support. For $q > 1$ it is known that an invariant measure is an equilibrium state if and only if it is supported on the singular set. We study the critical value $q=1$ and show that the ergodic equilibrium states are either the restriction to the regular set of the Liouville measure, or measures supported on the singular set. In particular, when~$q = 1$, there is a unique ergodic equilibrium state that gives positive measure to the regular set. △ Less

Submitted 5 January, 2021; originally announced January 2021.

Comments: 9 pages, 1 figure

MSC Class: 37B40

Nonlinear thermodynamical formalism

Authors: Jérôme Buzzi, Benoît Kloeckner, Renaud Leplaideur

Abstract: We define a nonlinear thermodynamical formalism which translates into dynamical system theory the statistical mechanics of generalized mean-field models, extending investigation of the quadratic case by Leplaideur and Watbled. Under suitable conditions, we prove a variational principle for the nonlinear pressure and we characterize the nonlinear equilibrium measures and relate them to specific c… ▽ More We define a nonlinear thermodynamical formalism which translates into dynamical system theory the statistical mechanics of generalized mean-field models, extending investigation of the quadratic case by Leplaideur and Watbled. Under suitable conditions, we prove a variational principle for the nonlinear pressure and we characterize the nonlinear equilibrium measures and relate them to specific classical equilibrium measures. In this non-linear thermodynamical formalism, which can, e.g., model mean-field approximation of large systems, several kind of phase transitions appear, some of which cannot happen in the linear case. We use our correspondence between non-linear and linear equilibrium measures to further the understanding of phase transitions, { both in previously known cases (Curie-Weiss and Potts models) and in} new examples (metastable phase transition). Finally, we apply some of the ideas introduced to the classical thermodynamical formalism, proving that freezing phase transitions can occur over \emph{any} zero-entropy invariant compact subset of the phase space. △ Less

Submitted 14 November, 2021; v1 submitted 3 February, 2020; originally announced February 2020.

Comments: 44 pages several very nice figures

A dichotomy for measures of maximal entropy near time-one maps of transitive Anosov flows

Authors: Jérôme Buzzi, Todd Fisher, Ali Tahzibi

Abstract: We show that time-one maps of transitive Anosov flows of compact manifolds are accumulated by diffeomorphisms robustly satisfying the following dichotomy: either all of the measures of maximal entropy are non-hyperbolic, or there are exactly two ergodic measures of maximal entropy, one with a positive central exponent and the other with a negative central exponent. We establish this dichotomy fo… ▽ More We show that time-one maps of transitive Anosov flows of compact manifolds are accumulated by diffeomorphisms robustly satisfying the following dichotomy: either all of the measures of maximal entropy are non-hyperbolic, or there are exactly two ergodic measures of maximal entropy, one with a positive central exponent and the other with a negative central exponent. We establish this dichotomy for certain partially hyperbolic diffeomorphisms isotopic to the identity whenever both of their strong foliations are minimal. Our proof builds on the approach developed by Margulis for Anosov flows where he constructs suitable families of measures on the dynamical foliations. △ Less

Submitted 8 December, 2020; v1 submitted 16 April, 2019; originally announced April 2019.

Comments: 31 pages

MSC Class: 37C40; 37D30; 37A35; 37D35

Large entropy implies existence of a maximal entropy measure for interval maps

Authors: Jérôme Buzzi, Sylvie Ruette

Abstract: We give a new type of sufficient condition for the existence of measures with maximal entropy for an interval map $f$, using some non-uniform hyperbolicity to compensate for a lack of smoothness of $f$. More precisely, if the topological entropy of a $C^1$ interval map is greater than the sum of the local entropy and the entropy of the critical points, then there exists at least one measure with m… ▽ More We give a new type of sufficient condition for the existence of measures with maximal entropy for an interval map $f$, using some non-uniform hyperbolicity to compensate for a lack of smoothness of $f$. More precisely, if the topological entropy of a $C^1$ interval map is greater than the sum of the local entropy and the entropy of the critical points, then there exists at least one measure with maximal entropy. As a corollary, we obtain that any $C^r$ interval map $f$ such that $h_{\rm top}(f)>2\log\|f'\|_{\infty}/r$ possesses measures with maximal entropy. △ Less

Submitted 4 January, 2019; originally announced January 2019.

Comments: Published in 2006

MSC Class: 37E05; 37C40; 37B40

Journal ref: Discrete Contin. Dyn. Syst. Ser. A, 14 (4), 673-688, 2006

Measures of maximal entropy for surface diffeomorphisms

Authors: Jérôme Buzzi, Sylvain Crovisier, Omri Sarig

Abstract: We show that $C^\infty$ surface diffeomorphisms with positive topological entropy have at most finitely many ergodic measures of maximal entropy in general, and at most one in the topologically transitive case. This answers a question of Newhouse, who proved that such measures always exist. To do this we generalize Smale's spectral decomposition theorem to non-uniformly hyperbolic surface diffeomo… ▽ More We show that $C^\infty$ surface diffeomorphisms with positive topological entropy have at most finitely many ergodic measures of maximal entropy in general, and at most one in the topologically transitive case. This answers a question of Newhouse, who proved that such measures always exist. To do this we generalize Smale's spectral decomposition theorem to non-uniformly hyperbolic surface diffeomorphisms, we introduce homoclinic classes of measures, and we study their properties using codings by irreducible countable state Markov shifts. △ Less

Submitted 17 January, 2019; v1 submitted 6 November, 2018; originally announced November 2018.

The degree of Bowen factors and injective codings of diffeomorphisms

Authors: Jerome Buzzi

Abstract: We show that symbolic finite-to-one extensions of the type constructed by O. Sarig for surface diffeomorphisms induce Hölder-continuous conjugacies on large sets. We deduce this from their Bowen property. This notion, introduced in a joint work with M. Boyle, generalizes a fact first observed by R.\ Bowen for Markov partitions. We rely on the notion of degree from finite equivalence theory and mag… ▽ More We show that symbolic finite-to-one extensions of the type constructed by O. Sarig for surface diffeomorphisms induce Hölder-continuous conjugacies on large sets. We deduce this from their Bowen property. This notion, introduced in a joint work with M. Boyle, generalizes a fact first observed by R.\ Bowen for Markov partitions. We rely on the notion of degree from finite equivalence theory and magic word isomorphisms. As an application, we give lower bounds on the number of periodic points first for surface diffeomorphisms (improving a result of Sarig) and for Sinai billiards maps (building on a result of Baladi and Demers). Finally we characterize surface diffeomorphisms admitting a Hölder-continuous coding of all their aperiodic hyperbolic measures and give a slightly weaker construction preserving local compactness. △ Less

Submitted 8 December, 2019; v1 submitted 11 July, 2018; originally announced July 2018.

Comments: 33 pages, 1 figure; v3 clarifies Lemma 6.1 and states the better hyperbolicity estimate directly in Theorem 1.1

MSC Class: 37B10; 37C25; 37C40; 37E30

Local perturbations of conservative $C^1$-diffeomorphisms

Authors: Jerome Buzzi, Sylvain Crovisier, Todd Fisher

Abstract: A number of techniques have been developed to perturb the dynamics of $C^1$-diffeomorphisms and to modify the properties of their periodic orbits. For instance, one can locally linearize the dynamics, change the tangent dynamics, or create local homoclinic orbits. These techniques have been crucial for the understanding of $C^1$ dynamics, but their most precise forms have mostly been shown in the… ▽ More A number of techniques have been developed to perturb the dynamics of $C^1$-diffeomorphisms and to modify the properties of their periodic orbits. For instance, one can locally linearize the dynamics, change the tangent dynamics, or create local homoclinic orbits. These techniques have been crucial for the understanding of $C^1$ dynamics, but their most precise forms have mostly been shown in the dissipative setting. This work extends these results to volume-preserving and especially symplectic systems. These tools underlie our study of the entropy of $C^1$-diffeomorphisms in (arxiv:1606.01765). We also give an application to the approximation of transitive invariant sets without genericity assumptions. △ Less

Submitted 20 December, 2016; originally announced December 2016.

Comments: 31 pages, companion to the paper Entropy of C1 diffeomorphisms without a dominated splitting (arxiv:1606.01765)

MSC Class: 37C15 (primary); 37B40; 37D05; 37D30 (secondary)

Entropy of $C^1$ diffeomorphisms without a dominated splitting

Authors: Jerome Buzzi, Sylvain Crovisier, Todd Fisher

Abstract: A classical construction due to Newhouse creates horseshoes from hyperbolic periodic orbits with large period and weak domination through local $C^1$-perturbations. Our main theorem shows that, when one works in the $C^1$ topology, the entropy of such horseshoes can be made arbitrarily close to an upper bound deriving from Ruelle's inequality, i.e., the sum of the positive Lyapunov exponents (or t… ▽ More A classical construction due to Newhouse creates horseshoes from hyperbolic periodic orbits with large period and weak domination through local $C^1$-perturbations. Our main theorem shows that, when one works in the $C^1$ topology, the entropy of such horseshoes can be made arbitrarily close to an upper bound deriving from Ruelle's inequality, i.e., the sum of the positive Lyapunov exponents (or the same for the inverse diffeomorphism, whichever is smaller). Adapting classical techniques, we use perturbations that are local and can be chosen to preserve volume or symplectic form or a homoclinic connection. This optimal entropy creation yields a number of consequences for $C^1$-generic diffeomorphisms, especially in the absence of a dominated splitting. For instance, in the conservative settings, we find formulas for the topological entropy, deduce that the topological entropy is continuous but not locally constant at the generic diffeomorphism and we prove that these generic diffeomorphisms have no measure of maximum entropy. In the dissipative setting, we show the locally generic existence of infinitely many homoclinic classes with entropy bounded away from zero. △ Less

Submitted 6 November, 2017; v1 submitted 6 June, 2016; originally announced June 2016.

Comments: 56 pages, 2 figures. Proofs of the local perturbative tools to appear in a separate paper. Accepted by Trans. AMS. This is a revised version with corrected proof of Theorem 7.6

MSC Class: 37C15; 37B40; 37D05; 37D30

The almost Borel structure of surface diffeomorphisms, Markov shifts and their factors

Authors: Mike Boyle, Jérôme Buzzi

Abstract: Extending work of Hochman, we study the almost-Borel structure, i.e., the nonatomic invariant probability measures, of symbolic systems and surface diffeomorphisms. We first classify Markov shifts and characterize them as strictly universal with respect to a natural family of classes of Borel systems. We then study their continuous factors showing that a low entropy part is almost-Borel isomorphic… ▽ More Extending work of Hochman, we study the almost-Borel structure, i.e., the nonatomic invariant probability measures, of symbolic systems and surface diffeomorphisms. We first classify Markov shifts and characterize them as strictly universal with respect to a natural family of classes of Borel systems. We then study their continuous factors showing that a low entropy part is almost-Borel isomorphic to a Markov shift but that the remaining part is much more diverse, even for finite-to-one factors. However, we exhibit a new condition which we call "Bowen type" which gives complete control of those factors. This last result applies to and was motivated by the symbolic covers of Sarig. We find complete numeric invariants for Borel isomorphism of $C^{1+}$ surface diffeomorphisms modulo zero entropy measures; for those admitting a totally ergodic measure of positive (not necessarily maximal) entropy, we get a classification up to almost-Borel isomorphism. △ Less

Submitted 28 January, 2015; v1 submitted 25 September, 2014; originally announced September 2014.

Comments: version 2: correction of typos

Report number: Danish National Foundation for Research report CPH-SYM-DNRF92

Borel Isomorphism of SPR Markov Shifts

Authors: Mike Boyle, Jerome Buzzi, Ricardo Gomez

Abstract: We show that strongly positively recurrent Markov shifts (in particular shifts of finite type) are classified up to Borel conjugacy by their entropy, period and their numbers of periodic points. We show that strongly positively recurrent Markov shifts (in particular shifts of finite type) are classified up to Borel conjugacy by their entropy, period and their numbers of periodic points. △ Less

Submitted 28 May, 2014; originally announced May 2014.

The almost Borel structure of diffeomorphisms with some hyperbolicity

Authors: Jerome Buzzi

Abstract: These lecture notes focus on a recent result of Mike Hochman: an arbitrary standard Borel system can be embedded into a mixing Markov with equal entropy, respecting all invariant probability measures, with two exceptions: those carried by periodic orbits and those with maximal entropy. We discuss the corresponding notions of almost Borel embedding and isomorphism and universality. The main part of… ▽ More These lecture notes focus on a recent result of Mike Hochman: an arbitrary standard Borel system can be embedded into a mixing Markov with equal entropy, respecting all invariant probability measures, with two exceptions: those carried by periodic orbits and those with maximal entropy. We discuss the corresponding notions of almost Borel embedding and isomorphism and universality. The main part of this paper is devoted to a self-contained and detailed proof of Hochman's theorem. We then explain how Katok's horseshoe theorem can be used to analyze diffeomorphisms with "enough" measures that are hyperbolic in the sense of Pesin theory, in both mixing and non-mixing situations. In the latter setting, new invariants generalizing the measures maximizing the entropy emerge. △ Less

Submitted 11 March, 2014; originally announced March 2014.

Comments: Minicourse from the semester "Hyperbolicity, large deviations and fluctuations" (D. Dolgopyat, Y. Pesin, M. Pollicott and L. Stoyanov, Ecole polytechnique federale de Lausanne, 2013)

Bowen's entropy-conjugacy conjecture is true up to finite index

Authors: Mike Boyle, Jerome Buzzi, Kevin Mcgoff

Abstract: For a topological dynamical system consisting of a continuous map f, and a (not necessarily compact) subset Z of X, Bowen (1973) defined a dimension-like version of entropy, h_X(f,Z). In the same work, he introduced a notion of entropy-conjugacy for pairs of invertible compact systems: the systems (X,f) and (Y,g) are entropy-conjugate if there exist invariant Borel subsets X' of X and Y' of Y such… ▽ More For a topological dynamical system consisting of a continuous map f, and a (not necessarily compact) subset Z of X, Bowen (1973) defined a dimension-like version of entropy, h_X(f,Z). In the same work, he introduced a notion of entropy-conjugacy for pairs of invertible compact systems: the systems (X,f) and (Y,g) are entropy-conjugate if there exist invariant Borel subsets X' of X and Y' of Y such that h_X(f,X\setminus X') < h_X(f,X), h_Y(g,Y \setminus Y') < h_Y(g,Y), and (X',f|_{X'}) is topologically conjugate to (Y',g|_{Y'}). Bowen conjectured that two mixing shifts of finite type are entropy-conjugate if they have the same entropy. We prove that two mixing shifts of finite type with equal entropy and left ideal class are entropy-conjugate. Consequently, in every entropy class Bowen's conjecture is true up to finite index. △ Less

Submitted 10 October, 2013; originally announced October 2013.

Report number: CPH-SYM-DNRF92

C^r surface diffeomorphisms with no maximal entropy measure

Authors: Jerome Buzzi

Abstract: For any $1\leq r<\infty$, we build on the disk and therefore on any manifold, a $C^r$-diffeomorphism with no measure of maximal entropy. For any $1\leq r<\infty$, we build on the disk and therefore on any manifold, a $C^r$-diffeomorphism with no measure of maximal entropy. △ Less

Submitted 18 May, 2012; originally announced May 2012.

Comments: 25 pages

Entropic stability beyond partial hyperbolicity

Authors: Jerome Buzzi, Todd Fisher

Abstract: We analyze a class of deformations of Anosov diffeomorphisms: these $C^0$-small, but $C^1$-macroscopic deformations break the topological conjugacy class but leave the high entropy dynamics unchanged. More precisely, there is a partial conjugacy between the deformation and the original Anosov system that identifies all invariant probability measures with entropy close to the maximum. We also estab… ▽ More We analyze a class of deformations of Anosov diffeomorphisms: these $C^0$-small, but $C^1$-macroscopic deformations break the topological conjugacy class but leave the high entropy dynamics unchanged. More precisely, there is a partial conjugacy between the deformation and the original Anosov system that identifies all invariant probability measures with entropy close to the maximum. We also establish expansiveness around those measures. This class of deformations contains many of the known nonhyperbolic robustly transitive diffeomorphisms. In particular, we show that it includes a class of nonpartially hyperbolic, robustly transitive diffeomorphisms described by Bonatti and Viana. △ Less

Submitted 14 March, 2011; originally announced March 2011.

Comments: 27 pages, 4 figures

MSC Class: 37C40; 37A35; 37C15

Dimensional entropies and semi-uniform hyperbolicity

Authors: Jerome Buzzi

Abstract: We describe dimensional entropies introduced in a previous work list some of their properties and give some new proofs. These entropies allowed the definition of entropy-expanding maps. We introduce a new notion of entropy-hyperbolicity for diffeomorphisms. We indicate some simple sufficient conditions (some of them new) for these properties. We conclude by some work in progress and more questions… ▽ More We describe dimensional entropies introduced in a previous work list some of their properties and give some new proofs. These entropies allowed the definition of entropy-expanding maps. We introduce a new notion of entropy-hyperbolicity for diffeomorphisms. We indicate some simple sufficient conditions (some of them new) for these properties. We conclude by some work in progress and more questions. △ Less

Submitted 3 February, 2011; originally announced February 2011.

Comments: 18 pages. To appear in Proc. Intern. Cong. Math. Phys., Rio, 2006

Approximate maximizers of intricacy functionals

Authors: Jerome Buzzi, Lorenzo Zambotti

Abstract: G. Edelman, O. Sporns, and G. Tononi introduced in theoretical biology the neural complexity of a family of random variables. This functional is a special case of intricacy, i.e., an average of the mutual information of subsystems whose weights have good mathematical properties. Moreover, its maximum value grows at a definite speed with the size of the system. In this work, we compute exactly… ▽ More G. Edelman, O. Sporns, and G. Tononi introduced in theoretical biology the neural complexity of a family of random variables. This functional is a special case of intricacy, i.e., an average of the mutual information of subsystems whose weights have good mathematical properties. Moreover, its maximum value grows at a definite speed with the size of the system. In this work, we compute exactly this speed of growth by building "approximate maximizers" subject to an entropy condition. These approximate maximizers work simultaneously for all intricacies. We also establish some properties of arbitrary approximate maximizers, in particular the existence of a threshold in the size of subsystems of approximate maximizers: most smaller subsystems are almost equidistributed, most larger subsystems determine the full system. The main ideas are a random construction of almost maximizers with a high statistical symmetry and the consideration of entropy profiles, i.e., the average entropies of sub-systems of a given size. The latter gives rise to interesting questions of probability and information theory. △ Less

Submitted 13 September, 2009; v1 submitted 11 September, 2009; originally announced September 2009.

MSC Class: 94A17; 92B30; 60C05

A probabilistic study of neural complexity

Authors: Jerome Buzzi, Lorenzo Zambotti

Abstract: G. Edelman, O. Sporns, and G. Tononi have introduced the neural complexity of a family of random variables, defining it as a specific average of mutual information over subfamilies. We show that their choice of weights satisfies two natural properties, namely exchangeability and additivity, and we call any functional satisfying these two properties an intricacy. We classify all intricacies in te… ▽ More G. Edelman, O. Sporns, and G. Tononi have introduced the neural complexity of a family of random variables, defining it as a specific average of mutual information over subfamilies. We show that their choice of weights satisfies two natural properties, namely exchangeability and additivity, and we call any functional satisfying these two properties an intricacy. We classify all intricacies in terms of probability laws on the unit interval and study the growth rate of maximal intricacies when the size of the system goes to infinity. For systems of a fixed size, we show that maximizers have small support and exchangeable systems have small intricacy. In particular, maximizing intricacy leads to spontaneous symmetry breaking and failure of uniqueness. △ Less

Submitted 19 December, 2009; v1 submitted 7 August, 2009; originally announced August 2009.

Comments: minor edits

MSC Class: 94A17; 92B30; 60C05

Intrinsic ergodicity for certain nonhyperbolic robustly transitive systems

Authors: Jerome Buzzi, Todd Fisher

Abstract: We show that a class of robustly transitive diffeomorphisms originally described by Mañé are intrinsically ergodic. More precisely we obtain an open set of diffeomorphisms which fail to be uniformly hyperbolic, but nevertheless have constant entropy and isomorphic unique measures of maximal entropy. We show that a class of robustly transitive diffeomorphisms originally described by Mañé are intrinsically ergodic. More precisely we obtain an open set of diffeomorphisms which fail to be uniformly hyperbolic, but nevertheless have constant entropy and isomorphic unique measures of maximal entropy. △ Less

Submitted 11 April, 2009; v1 submitted 21 March, 2009; originally announced March 2009.

Comments: 10 pages, 1 figure

MSC Class: 37C40; 37A35; 37C15

A continuous, piecewise affine surface map with no measure of maximal entropy

Authors: Jerome Buzzi

Abstract: It is known that piecewise affine surface homeomorphisms always have measures of maximal entropy. This is easily seen to fail in the discontinuous case. Here we describe a piecewise affine, globally continuous surface map with no measure of maximal entropy. It is known that piecewise affine surface homeomorphisms always have measures of maximal entropy. This is easily seen to fail in the discontinuous case. Here we describe a piecewise affine, globally continuous surface map with no measure of maximal entropy. △ Less

Submitted 16 February, 2009; originally announced February 2009.

Comments: 11 pages; 13 color figures

MSC Class: 37A35; 37A40; 37E99

Une nouvelle analyse des mesures maximisant l'entropie des difféomorphismes d'Anosov de surfaces

Authors: Jerome Buzzi

Abstract: This note illustrates the strategy of our paper on piecewise affine surface homeomorphisms by giving a new proof of the finite multiplicity of the maximum entropy measure of Anosov diffeomorphisms (here on surfaces). This approach avoids the explicit construction of Markov partitions and will be applied elsewhere to some non-uniformly hyperbolic diffeomorphisms. This note illustrates the strategy of our paper on piecewise affine surface homeomorphisms by giving a new proof of the finite multiplicity of the maximum entropy measure of Anosov diffeomorphisms (here on surfaces). This approach avoids the explicit construction of Markov partitions and will be applied elsewhere to some non-uniformly hyperbolic diffeomorphisms. △ Less

Submitted 16 January, 2008; originally announced January 2008.

MSC Class: 37C40; 37A35; 37B40; 37B10

Sur une généralisation de la notion de système dynamique de rang un définie par une propriété de pistage (On a weak version of the rank one property defined by shadowing)

Authors: Jerome Buzzi

Abstract: We investigate a shadowing property which appears naturally in the study of piecewise monotonic maps of the interval. It turns out to be a weak form of the rank one property, a well-known notion in abstract ergodic theory. We show that this new property is implied by finite or even local rank, but that it is logically independent of loose Bernoulliness. We give (counter)examples, including L.B.… ▽ More We investigate a shadowing property which appears naturally in the study of piecewise monotonic maps of the interval. It turns out to be a weak form of the rank one property, a well-known notion in abstract ergodic theory. We show that this new property is implied by finite or even local rank, but that it is logically independent of loose Bernoulliness. We give (counter)examples, including L.B. systems with arbitrarily high-order polynomial complexity. The shadowing property defines a small subset of all zero-entropy systems, in the sense that it defines a closed set with empty interior with respect to the $\db$-metric, induced by the Hamming distance. We also make some remarks on the link between the shadowed system and the sequence assumed by the shadowing property. △ Less

Submitted 13 September, 2007; originally announced September 2007.

Report number: Preprint 1998-03 de l'Institut de Mathematiques de Luminy MSC Class: 58F11; 28D20

Maximal Entropy Measures for Piecewise Affine Surface Homeomorphisms

Authors: Jerome Buzzi

Abstract: We study the dynamics of piecewise affine surface homeomorphisms from the point of view of their entropy. Under the assumption of positive topological entropy, we establish the existence of finitely many ergodic and invariant probability measures maximizing entropy and prove a multiplicative lower bound for the number of periodic points. This is intended as a step towards the understanding of su… ▽ More We study the dynamics of piecewise affine surface homeomorphisms from the point of view of their entropy. Under the assumption of positive topological entropy, we establish the existence of finitely many ergodic and invariant probability measures maximizing entropy and prove a multiplicative lower bound for the number of periodic points. This is intended as a step towards the understanding of surface diffeomorphisms. We proceed by building a jump transformation, using not first returns but carefully selected "good" returns to dispense with Markov partitions. We control these good returns through some entropy and ergodic arguments. △ Less

Submitted 19 February, 2009; v1 submitted 13 September, 2007; originally announced September 2007.

Comments: Ergod. th. dynam. syst. (to appear)

MSC Class: 37A35; 37D25; 37B40; 37C25; 37C40; 37E30

A minicourse on entropy theory on the interval

Authors: Jerome Buzzi

Abstract: We give a survey of the entropy theory of interval maps as it can be analyzed using ergodic theory, especially measures of maximum entropy and periodic points. The main tools are (i) a version of Hofbauer's Markov diagram, (ii) the shadowing property and the implied entropy bound and weak rank one property, (iii) strongly positively recurrent countable state Markov shifts. Proofs are given for s… ▽ More We give a survey of the entropy theory of interval maps as it can be analyzed using ergodic theory, especially measures of maximum entropy and periodic points. The main tools are (i) a version of Hofbauer's Markov diagram, (ii) the shadowing property and the implied entropy bound and weak rank one property, (iii) strongly positively recurrent countable state Markov shifts. Proofs are given for selected results. This article is based on the lectures given at the Ecole thematique de theorie ergodique at the C.I.R.M., Marseilles, in April 2006. △ Less

Submitted 11 November, 2006; originally announced November 2006.

MSC Class: 37E05;37A35;37B10

Puzzles of Quasi-Finite Type, Zeta Functions and Symbolic Dynamics for Multi-Dimensional Maps

Authors: Jerome Buzzi

Abstract: We introduce "puzzles of quasi-finite type" which are the counterparts of our subshifts of quasi-finite type (Invent. Math. 159 (2005)) in the setting of combinatorial puzzles as defined in complex dynamics. We are able to analyze these dynamics defined by entropy conditions rather completely, obtaining a complete classification with respect to large entropy measures and a description of their m… ▽ More We introduce "puzzles of quasi-finite type" which are the counterparts of our subshifts of quasi-finite type (Invent. Math. 159 (2005)) in the setting of combinatorial puzzles as defined in complex dynamics. We are able to analyze these dynamics defined by entropy conditions rather completely, obtaining a complete classification with respect to large entropy measures and a description of their measures with maximum entropy and periodic orbits. These results can in particular be applied to entropy-expanding maps like (x,y)-->(1.8-x^2+sy,1.9-y^2+sx) for small s. We prove in particular the meromorphy of the Artin-Mazur zeta function on a large disk. This follows from a similar new result about strongly positively recurrent Markov shifts where the radius of meromorphy is lower bounded by an "entropy at infinity" of the graph. △ Less

Submitted 14 September, 2009; v1 submitted 30 October, 2006; originally announced October 2006.

Comments: accepted by Annales de l'Institut Fourier, final revised version

MSC Class: 37A35; 37B10; 37C30; 37C05

Good potentials for almost isomorphism of countable state Markov shifts

Authors: Jerome Buzzi, Mike M. Boyle, Ricardo Gomez

Abstract: Almost isomorphism is an equivalence relation on countable state Markov shifts which provides a strong version of Borel conjugacy; still, for mixing SPR shifts, entropy is a complete invariant of almost isomorphism. In this paper, we establish a class of potentials on countable state Markov shifts whose thermodynamic formalism is respected by almost isomorphism. Almost isomorphism is an equivalence relation on countable state Markov shifts which provides a strong version of Borel conjugacy; still, for mixing SPR shifts, entropy is a complete invariant of almost isomorphism. In this paper, we establish a class of potentials on countable state Markov shifts whose thermodynamic formalism is respected by almost isomorphism. △ Less

Submitted 28 October, 2005; originally announced October 2005.

MSC Class: Primary: 37B10; Secondary: 37B40; 37C99; 37D35

Almost isomorphism for countable state Markov shifts

Authors: Mike M. Boyle, Jerome Buzzi, Ricardo Gomez

Abstract: Countable state Markov shifts are a natural generalization of the well-known subshifts of finite type. They are the subject of current research both for their own sake and as models for smooth dynamical systems. In this paper, we investigate their almost isomorphism and entropy conjugacy and obtain a complete classification for the especially important class of strongly positive recurrent Markov… ▽ More Countable state Markov shifts are a natural generalization of the well-known subshifts of finite type. They are the subject of current research both for their own sake and as models for smooth dynamical systems. In this paper, we investigate their almost isomorphism and entropy conjugacy and obtain a complete classification for the especially important class of strongly positive recurrent Markov shifts. This gives a complete classification up to entropy conjugacy of the natural extensions of smooth entropy expanding maps, including all smooth interval maps with non-zero topological entropy. △ Less

Submitted 9 May, 2004; originally announced May 2004.

MSC Class: 37B10; 37B40; 37C99; 37D35

Decay of correlations on towers with non-Holder continuous Jacobian and non-exponential return time

Authors: Jerome Buzzi, Veronique Maume-Deschamps

Abstract: We establish upper bounds on the rate of decay of correlations of tower systems with summable variation of the Jacobian and integrable return time. That is, we consider situations in which the Jacobian is not Holder and the return time is only subexponentially decaying. We obtain a subexponential bound on the correlations, which is essentially the slowest of the decays of the variation of the Ja… ▽ More We establish upper bounds on the rate of decay of correlations of tower systems with summable variation of the Jacobian and integrable return time. That is, we consider situations in which the Jacobian is not Holder and the return time is only subexponentially decaying. We obtain a subexponential bound on the correlations, which is essentially the slowest of the decays of the variation of the Jacobian and of the return time. △ Less

Submitted 7 May, 2004; originally announced May 2004.

MSC Class: 37A25

Subshifts of quasi-finite type

Authors: Jerome Buzzi

Abstract: We introduce subshifts of quasi-finite type as a generalization of the well-known subshifts of finite type. This generalization is much less rigid and therefore contains the symbolic dynamics of many non-uniform systems, e.g., piecewise monotonic maps of the interval with positive entropy. Yet many properties remain: existence of finitely many ergodic invariant probabilities of maximum entropy;… ▽ More We introduce subshifts of quasi-finite type as a generalization of the well-known subshifts of finite type. This generalization is much less rigid and therefore contains the symbolic dynamics of many non-uniform systems, e.g., piecewise monotonic maps of the interval with positive entropy. Yet many properties remain: existence of finitely many ergodic invariant probabilities of maximum entropy; lots of periodic points; meromorphic extension of the Artin-Mazur zeta function. △ Less

Submitted 8 May, 2004; v1 submitted 12 May, 2003; originally announced May 2003.

Comments: added examples, more precise estimates on periodic points and classification

Report number: CMAT 2003-06 MSC Class: 37B10; 37A35