We consider an Axiom A diffeomorphism and the invariant set $Ω$ of orbits which never falls into a fixed hole. We study various aspects of the complexity of the symbolic representation of $Ω$. Our main result are that each topologically transitive component of $Ω$ is coded and that typically $Ω$ is of finite type.
We show there is a residual set of non-Anosov $C^{\infty}$ Axiom A diffeomorphisms with the no cycles property whose elements have trivial centralizer. If $M$ is a surface and $2\leq r\leq \infty$, then we will show there exists an open and dense set of of $C^r$ Axiom A diffeomorphisms with the no cycles property whose elements have trivial centralizer. Additionally, we examine commuting diffeomorphisms preserving a compact invariant set $Λ$ where $Λ$ is a hyperbolic chain recurrent class for one of the diffeomorphisms.
We introduce Smale-Vietoris diffeomorphisms that include the classical DE-mappings with Smale solenoids. We describe the correspondence between basic sets of axiom A Smale-Vietoris diffeomorphisms and basic sets of nonsingular axiom A endomorphisms. For Smale-Vietoris diffeomorphisms of 3-manifolds, we prove the uniqueness of nontrivial solenoidal basic set. We construct a bifurcation between different types of solenoidal basic sets which can be considered as a destruction (or birth) of Smale solenoid.
We show that every partially hyperbolic diffeomorphism with a 1-dimensional center bundle has a principal symbolic extension. On the other hand, we show there are no symbolic extensions $C^1$-generically among diffeomorphisms containing non-hyperbolic robustly transitive sets with center indecomposable bundle of dimension at least 2.
For Axiom A diffeomorphisms and equilibrium states, we prove a Large deviations result for the sequence of successive return times into a fixed Borel set, under some assumption on the boundary. Our result relies on and extends the work by Chazottes and Leplaideur who considered cylinder sets of a Markov partition.
For axiom A diffeomorphisms and equilibrium state, we prove a Large deviation result for the sequence of successive return times into a fixed open set, under some assumption on the boundary. Our result relies on and extends the work by Chazottes and Leplaideur who where considering cylinder sets of a Markov partition.
We prove that a C1-generic volume preserving diffeomorphism has a symbolic extension if and only if this diffeomorphism is partial hyperbolic. This result is obtained by means of good dichotomies. In particular, we prove Bonatti's conjecture in the volume preserving scenario. More precisely, in the complement of Anosov diffeomorphisms we have densely robust heterodimensional cycles.
We prove that every $\mathcal{C}^{r}$ diffeomorphism with $r>1$ on a three-dimensional manifold admits symbolic extensions, i.e. topological extensions which are subshifts over a finite alphabet. This answers positively a conjecture of Downarowicz and Newhouse in dimension three.
In this paper, we study the structural stability of three-dimensional diffeomorphisms with source-sink dynamics. Here the role of source and sink is played by one-dimensional hyperbolic repeller and attractor. It is well known that in the case when the repeller and the attractor are solenoids (not embedded in the surface), the diffeomorphism is not structurally stable. The author proves that in the case when the attractor and the repeller are canonically embedded in a surface, the diffeomorphism is also not structurally stable.
We consider a diffeomorphism f of a compact manifold M which is Almost Axiom A, i.e. f is hyperbolic in a neighborhood of some compact f-invariant set, except in some singular set of neutral points. We prove that if there exists some f-invariant set of hyperbolic points with positive unstable-Lebesgue measure such that for every point in this set the stable and unstable leaves are "long enough", then f admits a probability SRB measure.
We prove that $\mathcal{C}^2$ surface diffeomorphisms have symbolic extensions, i.e. topological extensions which are subshifts over a finite alphabet. Following the strategy of T.Downarowicz and A.Maass \cite{Dow} we bound the local entropy of ergodic measures in terms of Lyapunov exponents. This is done by reparametrizing Bowen balls by contracting maps in a approach combining hyperbolic theory and Yomdin's theory.
We construct countable Markov partitions for non-uniformly hyperbolic diffeomorphisms on compact manifolds of any dimension, extending earlier work of O. Sarig for surfaces. These partitions allow us to obtain symbolic coding on invariant sets of full measure for all hyperbolic measures whose Lyapunov exponents are bounded away from zero by a constant. Applications include counting results for hyperbolic periodic orbits, and structure of hyperbolic measures of maximal entropy.
We study the time of $n$th return of orbits to some given (union of) rectangle(s) of a Markov partition of an Axiom A diffeomorphism. Namely, we prove the existence of a scaled generating function for these returns with respect to any Gibbs measure (associated to a Holderian potential). As a by-product, we derive precise large deviation estimates and a central limit theorem for Birkhoff averages of Poincare cycles. We emphasize that we look at the limiting behavior in term of number of visits (the size of the visited set is kept fixed). Our approach relies on the spectral properties of a one-p…
Let Diff^1(M) be the set of all C^1-diffeomorphisms f : M \rightarrow M, where M is a compact boundaryless d-dimensional manifold, d \geq 2. We prove that there is a residual subset R of Diff^1(M) such that if f \in R and if H(p) is the homoclinic class associated with a hyperbolic periodic point p, then either H(p) admits a dominated splitting of the form E\oplusF1 \oplus...\oplusFk \oplusG, where Fi is not hyperbolic and one-dimensional, or f|H(p) has no symbolic extensions.
This paper is part 1 of a series of papers culminating in the result that measure preserving diffeomorphisms of the disc or 2-torus are unclassifiable. It also addresses another classical problem: which abstract measure preserving systems are realizable as smooth diffeomorphisms of a compact manifold? The main result of this paper gives new symbolic representations of the Anosov-Katok diffeomorphisms.
Suppose f is a C^{1+ε} surface diffeomorphism with positive topological entropy. For every positive δstrictly smaller than the topological entropy of f we construct an invariant Borel set E such that (a) f|E has a countable Markov partition; and (b) E has full measure with respect to any ergodic invariant probability measure with entropy larger than δ. This allows us to prove the following conjecture of A. Katok: if f is C^\infty with topological entropy h>0, and if P_n(f)=#{x:f^n(x)=x}, then limsup P_n(f)/exp(nh)>0.
We prove that every C1 diffeomorphism away from homoclinic tangencies is entropy expansive, with locally uniform expansivity constant. Consequently, such diffeomorphisms satisfy Shub's entropy conjecture: the entropy is bounded from below by the spectral radius in homology. Moreover, they admit principal symbolic extensions, and the topological entropy and metrical entropy vary continuously with the map. In contrast, generic diffeomorphisms with persistent tangencies are not entropy expansive and have no symbolic extensions.
We introduce some tools of symbolic dynamics to study the hyperbolic directions of partially hyperbolic diffeomorphisms, emulating the well known methods available for uniformly hyperbolic systems.
We prove that a $C^2$ diffeomorphism $f$ of a compact manifold $M$ satisfies Axiom A and the strong transversality condition if and only if it is Hölder stable, that is, any $C^1$ diffeomorphism $g$ of $M$ sufficiently $C^1$ close to $f$ is conjugate to $f$ by a homeomorphism which is Hölder on the whole manifold.
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 thos…
We prove that a $C^1-$generic symplectic diffeomorphism is either Anosov or the topological entropy is bounded from below by the supremum over the smallest positive Lyapunov exponent of the periodic points. We also prove that $C^1-$generic symplectic diffeomorphisms outside the Anosov ones do not admit symbolic extension and finally we give examples of volume preserving diffeomorphisms which are not point of upper semicontinuity of entropy function in $C^1-$topology.
We consider inverse periodic shadowing properties of discrete dynamical systems generated by diffeomorphisms of closed smooth manifolds. We show that the $C^1$-interior of the set of all diffeomorphisms having so-called inverse periodic shadowing property coincides with the set of $Ω$-stable diffeomorphisms. The equivalence of Lipschitz inverse periodic shadowing property and hyperbolicity of the closure of all periodic points is proved. Besides, we prove that the set of all diffeomorphisms that have Lipschitz inverse periodic shadowing property and whose periodic points are dense in the nonwa…
In the present paper we contribute to the thermodynamic formalism of partially hyperbolic attractors for local diffeomorphisms admitting an invariant stable bundle and a positively invariant cone field with non-uniform cone expansion at a positive Lebesgue measure set of points. These include the case of attractors for Axiom A endomorphisms and partially hyperbolic endomorphisms derived from Anosov. We prove these attractors have finitely many SRB measures, that these are hyperbolic, and that the SRB measure is unique provided the dynamics is transitive. Moreover, we show that the SRB measures…
This survey describes the recent advances in the construction of Markov partitions for nonuniformly hyperbolic systems. One important feature of this development comes from a finer theory of nonuniformly hyperbolic systems, which we also describe. The Markov partition defines a symbolic extension that is finite-to-one and onto a non-uniformly hyperbolic locus, and this provides dynamical and statistical consequences such as estimates on the number of closed orbits and properties of equilibrium measures. The class of systems includes diffeomorphisms, flows, and maps with singularities.
In this paper we study $C^1$-structurally stable diffeomorphisms, that is, $C^1$ Axiom A diffeomorphisms with the strong transversality condition. In contrast to the case of dynamics restricted to a hyperbolic basic piece, structurally stable diffeomorphisms are in general not expansive and the conjugacies between $C^1$-close structurally stable diffeomorphisms may be non-unique, even if there are assumed $C^0$-close to the identity. Here we give a necessary and sufficient condition for a structurally stable diffeomorphism to admit a dense subset of points with expansiveness and sensitivity to…
Hayashi has extended a result of Mañé, proving that every diffeomorphism $f$ which has a $C^1$-neighborhood $\mathcal{U}$, where all periodic points of any $g\in\mathcal{U}$ are hyperbolic, it is an Axiom A diffeomorphism. Here, we prove the analogous result in the volume preserving scenario.
We study partially-hyperbolic skew-product maps over the Bernoulli shift with Hölder dependence on the base points. In the case of contracting fiber maps, symbolic blender-horseshoe is defined as an invariant set which meets any almost horizontal disk in a robust sense. These invariant sets are understood as blenders with center stable bundle of any dimension. We then give necessary conditions (covering property) on an iterated function system such that the relevant skew-product has a symbolic blender-horseshoe. We use this local plug to yield robustly non-hyperbolic transitive diffeomorphisms…
We show generic $C^\infty$ hyperbolic flows (Axiom A and no cycles, but not transitive Anosov) commute with no $C^\infty$-diffeomorphism other than a time-t map of the flow itself. Kinematic expansivity, a substantial weakening of expansivity, implies that $C^0$ flows have quasi-discrete $C^0$-centralizer, and additional conditions broader than transitivity then give discrete $C^0$-centralizer. We also prove centralizer-rigidity: a diffeomorphism commuting with a generic hyperbolic flow is determined by its values on any open set.
We prove that for a polynomial diffeomorphism of C^2, uniform hyperbolicity on the set of saddle periodic points implies that saddle points are dense in the Julia set. In particular f satisfies Smale's Axiom A on C^2 .
We consider the family of quadratic Hénon diffeomorphisms of the plane ${\bf R}^2$. A map will be said to be a "horseshoe" if its restriction to the nonwandering set is hyperbolic and conjugate to the full 2-shift. We give a criterion for being a horseshoe based on an auxiliary coding which describes positions of points relative to the stable manifold of one of the fixed points. In addition we describe the topological conjugacy type of maps on the boundary of the horseshoe locus. We use complex techniques and we work with maps in a parameter region which is a 2-D analog of the familiar "${1\ov…
The $C^1$-structurally stable diffeomorphims of a compact manifold are those that satisfy Axiom A and the strong transversality condition (AS). We generalize the concept of AS from diffeomorphisms to invariant compact subsets. Among other properties, we show the structural stability of the AS invariant compact sets $K$ of surface diffeomorphisms $f$. Moreover if $\hat f$ is the dynamics of a compact manifold, which fibers over $f$ and such that the bundle is normally hyperbolic over the non-wandering set of $f_{|K}$, then the bundle over $K$ is persistent. This provides non trivial examples of…
Given a saddle fixed point of a surface diffeomorphism, its stable and unstable curves $W^S$ and $W^U$ often form a homoclinic tangle. Given such a tangle, we use topological methods to find periodic points of the diffeomorphism, using only a subset of the tangle with finitely many points of intersection, which we call a trellis. We typically obtain exponential growth of periodic orbits, symbolic dynamics and a strictly positive lower bound for topological entropy. For a simple example occurring in the Henon family, we show that the topological entropy is at least 0.527.
We consider an abundant class of non-uniformly hyperbolic $C^2$-Hénon like diffeomorphisms called strongly regular and which corresponds to Benedicks-Carleson parameters. We prove the existence of $m>0$ such that for any such diffeomorphism $f$, every invariant probability measure of $f$ has a Lyapunov exponent greater than $m$, answering a question of L. Carleson. Moreover, we show the existence and uniqueness of a measure of maximal entropy, this answers a question of M. Lyubich and Y. Pesin. We also prove that the maximal entropy measure is equi-distributed on the periodic points and is fin…
It is well known that topological classification of dynamical systems with hyperbolic dynamics is significantly defined by dynamics on nonwandering set. F. Przytycki generalized axiom $A$ for smooth endomorphisms that was previously introduced by S. Smale for diffeomorphisms and proved spectral decomposition theorem which claims that nonwandering set of an $A$-endomorphism is a union of a finite number basic sets. In present paper the criterion for a basic sets of an $A$-endomorphism to be an attractor is given. Moreover, dynamics on basic sets of codimension one is studied. It is shown, that …