-
Heterodimensional cycles of hyperbolic ergodic measures
Authors:
Christian Bonatti,
Lorenzo J. Diaz,
Katrin Gelfert
Abstract:
We introduce the concept of a heterodimensional cycle of hyperbolic ergodic measures and a special type of them that we call rich. Within a partially hyperbolic context, we prove that if two measures are related by a rich heterodimensional cycle, then the entire segment of probability measures linking them lies within the closure of measures supported on periodic orbits. Motivated by the occurrenc…
▽ More
We introduce the concept of a heterodimensional cycle of hyperbolic ergodic measures and a special type of them that we call rich. Within a partially hyperbolic context, we prove that if two measures are related by a rich heterodimensional cycle, then the entire segment of probability measures linking them lies within the closure of measures supported on periodic orbits. Motivated by the occurrence of robust heterodimensional cycles of hyperbolic basic sets, we study robust rich heterodimensional cycles of measures providing a framework for this phenomenon for diffeomorphisms. In the setting of skew products, we construct an open set of maps having uncountably many measures related by rich heterodimensional cycles.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
The amount of nonhyperbolicity for partially hyperbolic diffeomorphisms
Authors:
Lorenzo J. Díaz,
Katrin Gelfert,
**hua Zhang
Abstract:
We study the amount of nonhyperbolicity within a broad class of (nonhyperbolic) partially hyperbolic diffeomorphisms with a one-dimensional center. For that, we focus on the center Lyapunov exponent and the entropy of its level sets. We show that these entropies vary continuously and can be expressed in terms of restricted variational principles. In this study, no dynamical coherence is required.…
▽ More
We study the amount of nonhyperbolicity within a broad class of (nonhyperbolic) partially hyperbolic diffeomorphisms with a one-dimensional center. For that, we focus on the center Lyapunov exponent and the entropy of its level sets. We show that these entropies vary continuously and can be expressed in terms of restricted variational principles. In this study, no dynamical coherence is required.
Of particular interest is the case where the exponent is zero. To study this level set, we construct a compact set foliated by curves tangent to the central direction. Within this set, the entropy attains the maximal possible (and positive) value. Moreover, finite-time Lyapunov exponents converge uniformly to zero. In this construction, we introduce a mechanism to concatenate center curves.
The class studied consists of those robustly transitive diffeomorphisms that have a pair of blender-horseshoes with different types of hyperbolicity and possess minimal strong stable and unstable foliations. This classes includes flow-type and circle-fibered diffeomorphisms as well as some derived from Anosov diffeomorphisms. It also includes the so-called anomalous examples which are dynamically incoherent.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Loosely Bernoulli zero exponent measures for elliptic matrix cocycles
Authors:
L. J. Díaz,
K. Gelfert,
M. Rams
Abstract:
For an open and dense subset of elliptic ${\rm SL}(2,\mathbb R)$ matrix cocycles, we construct a family of loosely Bernoulli ergodic measures with zero top Lyapunov exponent. This provides a counterpart to a classical result by Furstenberg. The construction gives also an $\bar f$-connected set of measures with these properties whose entropies vary continuously from zero to almost the maximal possi…
▽ More
For an open and dense subset of elliptic ${\rm SL}(2,\mathbb R)$ matrix cocycles, we construct a family of loosely Bernoulli ergodic measures with zero top Lyapunov exponent. This provides a counterpart to a classical result by Furstenberg. The construction gives also an $\bar f$-connected set of measures with these properties whose entropies vary continuously from zero to almost the maximal possible value. We also obtain an analogous result for an open class of nonhyperbolic step skew products with $\mathbb S^1$ diffeomorphism fiber maps. Our approach combines substitution schemes between finite letter alphabets and differentiable dynamics.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Homoclinic tangencies leading to robust heterodimensional cycles
Authors:
Pablo G. Barrientos,
Lorenzo J. Díaz,
Sebastián A. Pérez
Abstract:
We consider $C^r$ ($r\geqslant 1$) diffeomorphisms $f$ defined on manifolds of dimension $\geqslant 3$ with homoclinic tangencies associated to saddles. Under generic properties, we show that if the saddle is homoclinically related to a blender then the diffeomorphism $f$ can be {$C^r$} approximated by diffeomorphisms with {$C^1$} robust heterodimensional cycles. As an application, we show that th…
▽ More
We consider $C^r$ ($r\geqslant 1$) diffeomorphisms $f$ defined on manifolds of dimension $\geqslant 3$ with homoclinic tangencies associated to saddles. Under generic properties, we show that if the saddle is homoclinically related to a blender then the diffeomorphism $f$ can be {$C^r$} approximated by diffeomorphisms with {$C^1$} robust heterodimensional cycles. As an application, we show that the classic Simon-Asaoka's examples of diffeomorphisms with $C^1$ robust homoclinic tangencies also display {$C^1$} robust heterodimensional cycles. In a second application, we consider homoclinic tangencies associated to hyperbolic sets. When the entropy of these sets is large enough we obtain $C^1$ robust cycles after $C^1$ perturbations.
△ Less
Submitted 13 December, 2021; v1 submitted 9 December, 2021;
originally announced December 2021.
-
Variational principle for nonhyperbolic ergodic measures: Skew products and elliptic cocycles
Authors:
Lorenzo J. Díaz,
Katrin Gelfert,
Michał Rams
Abstract:
For a large class of transitive non-hyperbolic systems, we construct nonhyperbolic ergodic measures with entropy arbitrarily close to its maximal possible value. The systems we consider are partially hyperbolic with one-dimension central direction for which there are positive entropy ergodic measures whose central Lyapunov exponent is negative, zero, or positive. We construct ergodic measures with…
▽ More
For a large class of transitive non-hyperbolic systems, we construct nonhyperbolic ergodic measures with entropy arbitrarily close to its maximal possible value. The systems we consider are partially hyperbolic with one-dimension central direction for which there are positive entropy ergodic measures whose central Lyapunov exponent is negative, zero, or positive. We construct ergodic measures with zero central Lyapunov exponent whose entropy is positive and arbitrarily close to the topological entropy of the set of points with central Lyapunov exponent zero. This provides a restricted variational principle for nonhyperbolic (zero exponent) ergodic measures.
The result is applied to the setting of $\mathrm{SL}(2,\mathbb R)$ matrix cocycles and provides a counterpart to Furstenberg's classical result: for an open and dense subset of elliptic $\mathrm{SL}(2,\mathbb R)$ cocycles we construct ergodic measures with upper Lyapunov exponent zero and with metric entropy arbitrarily close to the topological entropy of the set of infinite matrix products with subexponential growth of the norm.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Nontransverse heterodimensional cycles: stabilisation and robust tangencies
Authors:
Lorenzo J. Díaz,
Sebastián A. Pérez
Abstract:
We consider three-dimensional diffeomorphisms having simultaneously heterodimensional cycles and heterodimensional tangencies associated to saddle-foci. These cycles lead to a completely nondominated bifurcation setting. For every $r\geqslant 2$, we exhibit a class of such diffeomorphisms whose heterodimensional cycles can be $C^r$ stabilised and (simultaneously) approximated by diffeomorphisms wi…
▽ More
We consider three-dimensional diffeomorphisms having simultaneously heterodimensional cycles and heterodimensional tangencies associated to saddle-foci. These cycles lead to a completely nondominated bifurcation setting. For every $r\geqslant 2$, we exhibit a class of such diffeomorphisms whose heterodimensional cycles can be $C^r$ stabilised and (simultaneously) approximated by diffeomorphisms with $C^r$ robust homoclinic tangencies. The complexity of our nondominated setting with plenty of homoclinic and heteroclinic intersections is used to overcome the difficulty of performing $C^r$ perturbations, $r\geqslant 2$, which are remarkably more difficult than $C^1$ ones. Our proof is reminiscent of the Palis-Takens' approach to get surface diffeomorphisms with infinitely many sinks (Newhouse phenomenon) in the unfolding of homoclinic tangencies of surface diffeomorphisms. This proof involves a scheme of renormalisation along nontransverse heteroclinic orbits converging to a center-unstable Hénon-like family displaying blender-horseshoes. A crucial step is the analysis of the embeddings of these blender-horseshoes in a nondominated context.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.
-
Mingled hyperbolicities: ergodic properties and bifurcation phenomena (an approach using concavity)
Authors:
L. J. Díaz,
K. Gelfert,
M. Rams
Abstract:
We consider skew-products with concave interval fiber maps over a certain subshift obtained as the projection of orbits staying in a given region. It generates a new type of (essentially) coded shift. The fiber maps have expanding and contracting regions which dynamically interact. The dynamics also exhibits pairs of horseshoes of different type of hyperbolicity which, in some cases, are cyclicall…
▽ More
We consider skew-products with concave interval fiber maps over a certain subshift obtained as the projection of orbits staying in a given region. It generates a new type of (essentially) coded shift. The fiber maps have expanding and contracting regions which dynamically interact. The dynamics also exhibits pairs of horseshoes of different type of hyperbolicity which, in some cases, are cyclically related.
The space of ergodic measures on the base is an entropy-dense Poulsen simplex. Those measures lift canonically to ergodic measures for the skew-product. We explain when and how the spaces of (fiber) contracting and expanding ergodic measures glue along the nonhyperbolic ones. A key step is the approximation (in the weak$\ast$ topology and in entropy) of nonhyperbolic measures by ergodic ones, obtained only by means of concavity. Concavity is not merely a technical artificial hypothesis, but it prevents the presence of additional independent subsystems. The description of homoclinic relations is also a key instrument.
These skew-products are embedded in non-decreasing entropy one-parameter family of diffeomorphisms stretching from a heterodimensional cycle to a collision of homoclinic classes. Associated bifurcation phenomena involve a jump of the space of ergodic measures and, in some cases, of entropy.
△ Less
Submitted 14 July, 2021; v1 submitted 14 April, 2020;
originally announced April 2020.
-
Robust existence of nonhyperbolic ergodic measures with positive entropy and full support
Authors:
Christian Bonatti,
Lorenzo J. Díaz,
Dominik Kwietniak
Abstract:
We prove that for some manifolds $M$ the set of robustly transitive partially hyperbolic diffeomorphisms of $M$ with one-dimensional nonhyperbolic centre direction contains a $C^1$-open and dense subset of diffeomorphisms with nonhyperbolic measures which are ergodic, fully supported and have positive entropy. To do so, we formulate abstract conditions sufficient for the construction of an ergodic…
▽ More
We prove that for some manifolds $M$ the set of robustly transitive partially hyperbolic diffeomorphisms of $M$ with one-dimensional nonhyperbolic centre direction contains a $C^1$-open and dense subset of diffeomorphisms with nonhyperbolic measures which are ergodic, fully supported and have positive entropy. To do so, we formulate abstract conditions sufficient for the construction of an ergodic, fully supported measure $μ$ which has positive entropy and is such that for a continuous function $φ\colon X\to\mathbb{R}$ the integral $\intφ\,dμ$ vanishes. The criterion is an extended version of the control at any scale with a long and sparse tail technique coming from the previous works.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
Non-hyperbolic Iterated Function Systems: semifractals and the chaos game
Authors:
Lorenzo J. Díaz,
Edgar Matias
Abstract:
We consider iterated functions systems (IFS) on compact metric spaces and introduce the concept of target sets. Such sets have very rich dynamical properties and play a similar role as semifractals introduced by Lasota and Myjak do for regular IFSs. We study sufficient conditions which guarantee that the closure of the target set is a local attractor for the IFS. As a corollary, we establish neces…
▽ More
We consider iterated functions systems (IFS) on compact metric spaces and introduce the concept of target sets. Such sets have very rich dynamical properties and play a similar role as semifractals introduced by Lasota and Myjak do for regular IFSs. We study sufficient conditions which guarantee that the closure of the target set is a local attractor for the IFS. As a corollary, we establish necessary and sufficient conditions for the IFS having a global attractor. We give an example of a non-regular IFS whose target set is nonempty, showing that our approach gives rise to a "new class" of semifractals. Finally, we show that random orbits generated by IFSs draws target sets that are "stable".
△ Less
Submitted 28 August, 2018;
originally announced August 2018.
-
Hénon-like families and blender-horseshoes at non-transverse heterodimensional cycles
Authors:
Lorenzo J. Díaz,
Sebastián A. Pérez
Abstract:
In dimension three and under certain regularity assumptions, we construct a renormalisation scheme at the heterodimensional tangency of a non-transverse heterodimensional cycle associated with a pair of saddle-foci whose limit dynamic is a center-unstable Hénon-like family displaying blender-horseshoes. As a consequence, the initial cycle can be approximated in higher regularity topologies by diff…
▽ More
In dimension three and under certain regularity assumptions, we construct a renormalisation scheme at the heterodimensional tangency of a non-transverse heterodimensional cycle associated with a pair of saddle-foci whose limit dynamic is a center-unstable Hénon-like family displaying blender-horseshoes. As a consequence, the initial cycle can be approximated in higher regularity topologies by diffeomorphisms having blender-horseshoes.
△ Less
Submitted 17 June, 2018;
originally announced June 2018.
-
The structure of the space of ergodic measures of transitive partially hyperbolic sets
Authors:
Lorenzo J. Díaz,
Katrin Gelfert,
Tiane Marcarini,
Michał Rams
Abstract:
We provide examples of transitive partially hyperbolic dynamics (specific but paradigmatic examples of homoclinic classes) which blend different types of hyperbolicity in the one-dimensional center direction. These homoclinic classes have two disjoint parts: an "exposed" piece which is poorly homoclinically related with the rest and a "core" with rich homoclinic relations. There is an associated n…
▽ More
We provide examples of transitive partially hyperbolic dynamics (specific but paradigmatic examples of homoclinic classes) which blend different types of hyperbolicity in the one-dimensional center direction. These homoclinic classes have two disjoint parts: an "exposed" piece which is poorly homoclinically related with the rest and a "core" with rich homoclinic relations. There is an associated natural division of the space of ergodic measures which are either supported on the exposed piece or on the core. We describe the topology of these two parts and show that they glue along nonhyperbolic measures.
Measures of maximal entropy are discussed in more detail. We present examples where the measure of maximal entropy is nonhyperbolic. We also present examples where the measure of maximal entropy is unique and nonhyperbolic, however in this case the dynamics is nontransitive.
△ Less
Submitted 18 May, 2018;
originally announced May 2018.
-
Weak* and entropy approximation of nonhyperbolic measures: a geometrical approach
Authors:
Lorenzo J. Díaz,
Katrin Gelfert,
Bruno Santiago
Abstract:
We study $C^1$-robustly transitive and nonhyperbolic diffeomorphisms having a partially hyperbolic splitting with one-dimensional central bundle whose strong un-/stable foliations are both minimal. {In dimension $3$, an important class of examples of such systems is given by those with a simple closed periodic curve tangent to the central bundle.} We prove that there is a $C^1$-open and dense subs…
▽ More
We study $C^1$-robustly transitive and nonhyperbolic diffeomorphisms having a partially hyperbolic splitting with one-dimensional central bundle whose strong un-/stable foliations are both minimal. {In dimension $3$, an important class of examples of such systems is given by those with a simple closed periodic curve tangent to the central bundle.} We prove that there is a $C^1$-open and dense subset of such diffeomorphisms such that every nonhyperbolic ergodic measure (i.e. with zero central exponent) can be approximated in the weak$\ast$ topology and in entropy by measures supported in basic sets with positive (negative) central Lyapunov exponent. Our method also allows to show how entropy changes across measures with central Lyapunov exponent close to zero. We also prove that any nonhyperbolic ergodic measure is in the intersection of the convex hulls of the measures with positive central exponent and with negative central exponent.
△ Less
Submitted 18 June, 2019; v1 submitted 16 April, 2018;
originally announced April 2018.
-
Blender-horseshoes in center-unstable Hénon-like families
Authors:
Lorenzo J. Díaz,
Sebastián A. Pérez
Abstract:
A blender-horseshoe is a locally maximal transitive hyperbolic set that appears in dimension at least three carrying a distinctive geometrical property: its local stable manifold "behaves" as a manifold of topological dimension greater than the expected one (the dimension of the stable bundle). This property persists under perturbations turning this kind of dynamics an important piece in the globa…
▽ More
A blender-horseshoe is a locally maximal transitive hyperbolic set that appears in dimension at least three carrying a distinctive geometrical property: its local stable manifold "behaves" as a manifold of topological dimension greater than the expected one (the dimension of the stable bundle). This property persists under perturbations turning this kind of dynamics an important piece in the global description of robust non-hyperbolic systems. In this paper, we consider a parameterized family of center-unstable Hénon-like of endomorphisms in dimension three and show how blender-horseshoes naturally occur in a specific parameter range.
△ Less
Submitted 7 April, 2018;
originally announced April 2018.
-
Attracting graphs of skew products with non-contracting fiber maps
Authors:
Lorenzo J. Díaz,
Edgar Matias
Abstract:
We study attracting graphs of step skew products from the topological and ergodic points of view where the usual contracting-like assumptions of the fiber dynamics are replaced by weaker merely topological conditions. In this context, we prove the existence of an attracting invariant graph and study its topological properties. We prove the existence of globally attracting measures and we show that…
▽ More
We study attracting graphs of step skew products from the topological and ergodic points of view where the usual contracting-like assumptions of the fiber dynamics are replaced by weaker merely topological conditions. In this context, we prove the existence of an attracting invariant graph and study its topological properties. We prove the existence of globally attracting measures and we show that (in some specific cases) the rate of convergence to these measures is exponential.
△ Less
Submitted 10 October, 2017;
originally announced October 2017.
-
Stability of the Markov operator and synchronization of Markovian random products
Authors:
Lorenzo J. Díaz,
Edgar Matias
Abstract:
We study Markovian random products on a large class of "m-dimensional" connected compact metric spaces (including products of closed intervals and trees). We introduce a splitting condition, generalizing the classical one by Dubins and Freedman, and prove that this condition implies the asymptotic stability of the corresponding Markov operator and (exponentially fast) synchronization.
We study Markovian random products on a large class of "m-dimensional" connected compact metric spaces (including products of closed intervals and trees). We introduce a splitting condition, generalizing the classical one by Dubins and Freedman, and prove that this condition implies the asymptotic stability of the corresponding Markov operator and (exponentially fast) synchronization.
△ Less
Submitted 20 July, 2017;
originally announced July 2017.
-
Hyperbolic graphs: critical regularity and box dimension
Authors:
Lorenzo J. Díaz,
Katrin Gelfert,
Maik Gröger,
Tobias Jäger
Abstract:
We study fractal properties of invariant graphs of hyperbolic and partially hyperbolic skew product diffeomorphisms in dimension three. We describe the critical (either Lipschitz or at all scales Hölder continuous) regularity of such graphs. We provide a formula for their box dimension given in terms of appropriate pressure functions. We distinguish three scenarios according to the base dynamics:…
▽ More
We study fractal properties of invariant graphs of hyperbolic and partially hyperbolic skew product diffeomorphisms in dimension three. We describe the critical (either Lipschitz or at all scales Hölder continuous) regularity of such graphs. We provide a formula for their box dimension given in terms of appropriate pressure functions. We distinguish three scenarios according to the base dynamics: Anosov, one-dimensional attractor, or Cantor set. A key ingredient for the dimension arguments in the latter case will be the presence of a so-called fibered blender.
△ Less
Submitted 21 February, 2017;
originally announced February 2017.
-
Entropy spectrum of Lyapunov exponents for nonhyperbolic step skew-products and elliptic cocycles
Authors:
Lorenzo J. Díaz,
Katrin Gelfert,
Michał Rams
Abstract:
We study the fiber Lyapunov exponents of step skew-product maps over a complete shift of $N$, $N\ge2$, symbols and with $C^1$ diffeomorphisms of the circle as fiber maps. The systems we study are transitive and genuinely nonhyperbolic, exhibiting simultaneously ergodic measures with positive, negative, and zero exponents. Examples of such systems arise from the projective action of $2\times 2$ mat…
▽ More
We study the fiber Lyapunov exponents of step skew-product maps over a complete shift of $N$, $N\ge2$, symbols and with $C^1$ diffeomorphisms of the circle as fiber maps. The systems we study are transitive and genuinely nonhyperbolic, exhibiting simultaneously ergodic measures with positive, negative, and zero exponents. Examples of such systems arise from the projective action of $2\times 2$ matrix cocycles and our results apply to an open and dense subset of elliptic $\mathrm{SL}(2,\bR)$ cocycles. We derive a multifractal analysis for the topological entropy of the level sets of Lyapunov exponent. The results are formulated in terms of Legendre-Fenchel transforms of restricted variational pressures, considering hyperbolic ergodic measures only, as well as in terms of restricted variational principles of entropies of ergodic measures with a given exponent. We show that the entropy of the level sets is a continuous function of the Lyapunov exponent. The level set of the zero exponent has positive, but not maximal, topological entropy. Under the additional assumption of proximality, as for example for skew-products arising from certain matrix cocycles, there exist two unique ergodic measures of maximal entropy, one with negative and one with positive fiber Lyapunov exponent.
△ Less
Submitted 18 October, 2017; v1 submitted 23 October, 2016;
originally announced October 2016.
-
A criterion for zero averages and full support of ergodic measures
Authors:
Christian Bonatti,
Lorenzo J. Diaz,
Jairo Bochi
Abstract:
Consider a homeomorphism $f$ defined on a compact metric space $X$ and a continuous map $φ\colon X \to \mathbb{R}$. We provide an abstract criterion, called \emph{control at any scale with a long sparse tail} for a point $x\in X$ and the map $φ$, that guarantees that any weak$\ast$ limit measure $μ$ of the Birkhoff average of Dirac measures $\frac1n\sum_0^{n-1}δ(f^i(x))$ is such that $μ$-almost ev…
▽ More
Consider a homeomorphism $f$ defined on a compact metric space $X$ and a continuous map $φ\colon X \to \mathbb{R}$. We provide an abstract criterion, called \emph{control at any scale with a long sparse tail} for a point $x\in X$ and the map $φ$, that guarantees that any weak$\ast$ limit measure $μ$ of the Birkhoff average of Dirac measures $\frac1n\sum_0^{n-1}δ(f^i(x))$ is such that $μ$-almost every point $y$ has a dense orbit in $X$ and the Birkhoff average of $φ$ along the orbit of $y$ is zero.
As an illustration of the strength of this criterion, we prove that the diffeomorphisms with nonhyperbolic ergodic measures form a $C^1$-open and dense subset of the set of robustly transitive partially hyperbolic diffeomorphisms with one dimensional nonhyperbolic central direction. We also obtain applications for nonhyperbolic homoclinic classes.
△ Less
Submitted 25 September, 2016;
originally announced September 2016.
-
Non-hyperbolic Iterated Function Systems: attractors and stationary measures
Authors:
Edgar Matias,
Lorenzo J. Díaz
Abstract:
We consider iterated function systems $\mathrm{IFS}(T_1,\dots,T_k)$ consisting of continuous self maps of a compact metric space $X$. We introduce the subset $S_{\mathrm{t}}$ of {\emph{weakly hyperbolic sequences}} $ξ=ξ_0\ldotsξ_n \ldots \in Σ_k^+$ having the property that $\bigcap_n T_{ξ_{0}}\circ\cdots\circ T_{ξ_{n}}(X)$ is a point $\{π(ξ)\}$. The target set $π(S_{\mathrm{t}})$ plays a role simi…
▽ More
We consider iterated function systems $\mathrm{IFS}(T_1,\dots,T_k)$ consisting of continuous self maps of a compact metric space $X$. We introduce the subset $S_{\mathrm{t}}$ of {\emph{weakly hyperbolic sequences}} $ξ=ξ_0\ldotsξ_n \ldots \in Σ_k^+$ having the property that $\bigcap_n T_{ξ_{0}}\circ\cdots\circ T_{ξ_{n}}(X)$ is a point $\{π(ξ)\}$. The target set $π(S_{\mathrm{t}})$ plays a role similar to the semifractal introduced by Lasota-Myjak.
Assuming that $S_{\mathrm{t}}\ne \emptyset$ (the only hyperbolic-like condition we assume) we prove that the IFS has at most one strict attractor and we state a sufficient condition guaranteeing that the strict attractor is the closure of the target set. Our approach applies to a large class of genuinely non-hyperbolic IFSs (e.g. with maps with expanding fixed points) and provides a necessary and sufficient condition for the existence of a globally attracting fixed point of the Barnsley-Hutchinson operator. We provide sufficient conditions under which the disjunctive chaos game yields the target set (even when it is not a strict attractor).
We state a sufficient condition for the asymptotic stability of the Markov operator of a recurrent IFS. For IFSs defined on $[0,1]$ we give a simple condition for their asymptotic stability. In the particular case of IFSs with probabilities satisfying a "locally injectivity" condition, we prove that if the target set has at least two elements then the Markov operator is asymptotically stable and its stationary measure is supported in the closure of the target set.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
Nonhyperbolic step skew-products: Ergodic approximation
Authors:
L. J. Diaz,
K. Gelfert,
M. Rams
Abstract:
We study transitive step skew-product maps modeled over a complete shift of $k$, $k\ge2$, symbols whose fiber maps are defined on the circle and have intermingled contracting and expanding regions. These dynamics are genuinely nonhyperbolic and exhibit simultaneously ergodic measures with positive, negative, and zero exponents.
We introduce a set of axioms for the fiber maps and study the dynami…
▽ More
We study transitive step skew-product maps modeled over a complete shift of $k$, $k\ge2$, symbols whose fiber maps are defined on the circle and have intermingled contracting and expanding regions. These dynamics are genuinely nonhyperbolic and exhibit simultaneously ergodic measures with positive, negative, and zero exponents.
We introduce a set of axioms for the fiber maps and study the dynamics of the resulting skew-product. These axioms turn out to capture the key mechanisms of the dynamics of nonhyperbolic robustly transitive maps with compact central leaves.
Focusing on the nonhyperbolic ergodic measures (with zero fiber exponent) of these systems, we prove that such measures are approximated in the weak$\ast$ topology and in entropy by hyperbolic ones. We also prove that they are in the intersection of the convex hulls of the measures with positive fiber exponent and with negative fiber exponent. Our methods also allow us to perturb hyperbolic measures. We can perturb a measure with negative exponent directly to a measure with positive exponent (and vice-versa), however we lose some amount of entropy in this process. The loss of entropy is determined by the difference between the Lyapunov exponents of the measures.
△ Less
Submitted 22 February, 2016;
originally announced February 2016.
-
Robust criterion for the existence of nonhyperbolic ergodic measures
Authors:
Jairo Bochi,
Christian Bonatti,
Lorenzo J. Díaz
Abstract:
We give explicit $C^1$-open conditions that ensure that a diffeomorphism possesses a nonhyperbolic ergodic measure with positive entropy. Actually, our criterion provides the existence of a partially hyperbolic compact set with one-dimensional center and positive topological entropy on which the center Lyapunov exponent vanishes uniformly.
The conditions of the criterion are met on a $C^1$-dense…
▽ More
We give explicit $C^1$-open conditions that ensure that a diffeomorphism possesses a nonhyperbolic ergodic measure with positive entropy. Actually, our criterion provides the existence of a partially hyperbolic compact set with one-dimensional center and positive topological entropy on which the center Lyapunov exponent vanishes uniformly.
The conditions of the criterion are met on a $C^1$-dense and open subset of the set of a diffeomorphisms having a robust cycle. As a corollary, there exists a $C^1$-open and dense subset of the set of non-Anosov robustly transitive diffeomorphisms consisting of systems with nonhyperbolic ergodic measures with positive entropy.
The criterion is based on a notion of a blender defined dynamically in terms of strict invariance of a family of discs.
△ Less
Submitted 23 February, 2015;
originally announced February 2015.
-
Blenders in center unstable Hénon-like families: with an application to heterodimensional bifurcations
Authors:
Lorenzo J. Díaz,
Shin Kiriki,
Katsutoshi Shinohara
Abstract:
We give an explicit family of polynomial maps called center unstable Hénon-like maps and prove that they exhibits blenders for some parametervalues. Using this family, we also prove the occurrence of blenders near certain non-transverse heterodimensional cycles under high regularity assumptions. The proof involves a renormalization scheme along heteroclinic orbits. We also investigate the connecti…
▽ More
We give an explicit family of polynomial maps called center unstable Hénon-like maps and prove that they exhibits blenders for some parametervalues. Using this family, we also prove the occurrence of blenders near certain non-transverse heterodimensional cycles under high regularity assumptions. The proof involves a renormalization scheme along heteroclinic orbits. We also investigate the connection between the blender and the original heterodimensional cycle.
△ Less
Submitted 14 April, 2013;
originally announced April 2013.
-
Abundant rich phase transitions in step skew products
Authors:
L. J. Díaz,
K. Gelfert,
M. Rams
Abstract:
We study phase transitions for the topological pressure of geometric potentials of transitive sets. The sets considered are partially hyperbolic having a step skew product dynamics over a horseshoe with one-dimensional fibers corresponding to the central direction. The sets are genuinely non-hyperbolic containing intermingled horseshoes of different hyperbolic behavior (contracting and expanding c…
▽ More
We study phase transitions for the topological pressure of geometric potentials of transitive sets. The sets considered are partially hyperbolic having a step skew product dynamics over a horseshoe with one-dimensional fibers corresponding to the central direction. The sets are genuinely non-hyperbolic containing intermingled horseshoes of different hyperbolic behavior (contracting and expanding center).
We prove that for every $k\ge 1$ there is a diffeomorphism $F$ with a transitive set $Λ$ as above such that the pressure map $P(t)=P(t\, \varphi)$ of the potential $\varphi= -\log \,\lVert dF|_{E^c}\rVert$ ($E^c$ the central direction) defined on $Λ$ has $k$ rich phase transitions. This means that there are parameters $t_\ell$, $\ell=1,...,k$, where $P(t)$ is not differentiable and this lack of differentiability is due to the coexistence of two equilibrium states of $t_\ell\,\varphi$ with positive entropy and different Birkhoff averages. Each phase transition is associated to a gap in the central Lyapunov spectrum of $F$ on $Λ$.
△ Less
Submitted 3 March, 2013;
originally announced March 2013.
-
Robust vanishing of all Lyapunov exponents for iterated function systems
Authors:
Jairo Bochi,
Christian Bonatti,
Lorenzo J. Díaz
Abstract:
Given any compact connected manifold $M$, we describe $C^2$-open sets of iterated functions systems (IFS's) admitting fully-supported ergodic measures whose Lyapunov exponents along $M$ are all zero. Moreover, these measures are approximated by measures supported on periodic orbits. We also describe $C^1$-open sets of IFS's admitting ergodic measures of positive entropy whose Lyapunov exponents al…
▽ More
Given any compact connected manifold $M$, we describe $C^2$-open sets of iterated functions systems (IFS's) admitting fully-supported ergodic measures whose Lyapunov exponents along $M$ are all zero. Moreover, these measures are approximated by measures supported on periodic orbits. We also describe $C^1$-open sets of IFS's admitting ergodic measures of positive entropy whose Lyapunov exponents along $M$ are all zero. The proofs involve the construction of non-hyperbolic measures for the induced IFS's on the flag manifold.
△ Less
Submitted 4 June, 2013; v1 submitted 14 November, 2012;
originally announced November 2012.
-
Rich phase transitions in step skew-products
Authors:
Lorenzo J. Díaz,
Katrin Gelfert,
Michał Rams
Abstract:
We present examples of partially hyperbolic and topologically transitive local diffeomorphisms defined as skew products over a horseshoe which exhibit rich phase transitions for the topological pressure. This phase transition follows from a gap in the spectrum of the central Lyapunov exponents. It is associated to the coexistence of two equilibrium states with positive entropy. The diffeomorphisms…
▽ More
We present examples of partially hyperbolic and topologically transitive local diffeomorphisms defined as skew products over a horseshoe which exhibit rich phase transitions for the topological pressure. This phase transition follows from a gap in the spectrum of the central Lyapunov exponents. It is associated to the coexistence of two equilibrium states with positive entropy. The diffeomorphisms mix hyperbolic behavior of different types. However, in some sense the expanding behavior is not dominating which is indicated by the existence of a measure of maximal entropy with nonpositive central exponent.
△ Less
Submitted 31 May, 2011;
originally announced June 2011.
-
Stabilization of heterodimensional cycles
Authors:
Christian Bonatti,
Lorenzo J. Diaz,
Shin Kiriki
Abstract:
We consider diffeomorphisms $f$ with heteroclinic cycles associated to saddles $P$ and $Q$ of different indices. We say that a cycle of this type can be stabilized if there are diffeomorphisms close to $f$ with a robust cycle associated to hyperbolic sets containing the continuations of $P$ and $Q$. We focus on the case where the indices of these two saddles differ by one. We prove that, excluding…
▽ More
We consider diffeomorphisms $f$ with heteroclinic cycles associated to saddles $P$ and $Q$ of different indices. We say that a cycle of this type can be stabilized if there are diffeomorphisms close to $f$ with a robust cycle associated to hyperbolic sets containing the continuations of $P$ and $Q$. We focus on the case where the indices of these two saddles differ by one. We prove that, excluding one particular case (so-called twisted cycles that additionally satisfy some geometrical restrictions), all such cycles can be stabilized.
△ Less
Submitted 5 April, 2011;
originally announced April 2011.
-
Fragile cycles
Authors:
Christian Bonatti,
Lorenzo J. Diaz
Abstract:
We study diffeomorphisms $f$ with heterodimensional cycles, that is, heteroclinic cycles associated to saddles $p$ and $q$ with different indices. Such a cycle is called fragile if there is no diffeomorphism close to $f$ with a robust cycle associated to hyperbolic sets containing the continuations of $p$ and $q$. We construct a codimension one submanifold of $\Difr(\SS^2\times \SS^1)$, $r\ge 1$,…
▽ More
We study diffeomorphisms $f$ with heterodimensional cycles, that is, heteroclinic cycles associated to saddles $p$ and $q$ with different indices. Such a cycle is called fragile if there is no diffeomorphism close to $f$ with a robust cycle associated to hyperbolic sets containing the continuations of $p$ and $q$. We construct a codimension one submanifold of $\Difr(\SS^2\times \SS^1)$, $r\ge 1$, that consists of diffeomorphisms with fragile heterodimensional cycles. Our construction holds for any manifold of dimension $\ge 4$.
△ Less
Submitted 16 March, 2011;
originally announced March 2011.
-
Porcupine-like horseshoes: Transitivity, Lyapunov spectrum, and phase transitions
Authors:
L. J. Díaz,
K. Gelfert
Abstract:
We study a partially hyperbolic and topologically transitive local diffeomorphism $F$ that is a skew-product over a horseshoe map. This system is derived from a homoclinic class and contains infinitely many hyperbolic periodic points of different indices and hence is not hyperbolic. The associated transitive invariant set $Λ$ possesses a very rich fiber structure, it contains uncountably many triv…
▽ More
We study a partially hyperbolic and topologically transitive local diffeomorphism $F$ that is a skew-product over a horseshoe map. This system is derived from a homoclinic class and contains infinitely many hyperbolic periodic points of different indices and hence is not hyperbolic. The associated transitive invariant set $Λ$ possesses a very rich fiber structure, it contains uncountably many trivial and uncountably many non-trivial fibers. Moreover, the spectrum of the central Lyapunov exponents of $F|_Λ$ contains a gap and hence gives rise to a first order phase transition. A major part of the proofs relies on the analysis of an associated iterated function system that is genuinely non-contracting.
△ Less
Submitted 12 September, 2011; v1 submitted 29 November, 2010;
originally announced November 2010.
-
Internal perturbations of homoclinic classes:non-domination, cycles, and self-replication
Authors:
Ch. Bonatti,
S. Crovisier,
L. J. Díaz,
N. Gourmelon
Abstract:
Conditions are provided under which lack of domination of a homoclinic class yields robust heterodimensional cycles. Moreover, so-called viral homoclinic classes are studied. Viral classes have the property of generating copies of themselves producing wild dynamics (systems with infinitely many homoclinic classes with some persistence). Such wild dynamics also exhibits uncountably many aperiodic c…
▽ More
Conditions are provided under which lack of domination of a homoclinic class yields robust heterodimensional cycles. Moreover, so-called viral homoclinic classes are studied. Viral classes have the property of generating copies of themselves producing wild dynamics (systems with infinitely many homoclinic classes with some persistence). Such wild dynamics also exhibits uncountably many aperiodic chain recurrence classes. A scenario (related with non-dominated dynamics) is presented where viral homoclinic classes occur.
A key ingredient are adapted perturbations of a diffeomorphism along a periodic orbit. Such perturbations preserve certain homoclinic relations and prescribed dynamical properties of a homoclinic class.
△ Less
Submitted 12 November, 2010;
originally announced November 2010.
-
Entropy-expansiveness for partially hyperbolic diffeomorphisms
Authors:
Todd Fisher,
Lorenzo J. Diaz,
Maria J. Pacifico,
Jose L. Vieitez
Abstract:
We show that diffeomorphisms with a dominated splitting of the form $E^s\oplus E^c\oplus E^u$, where $E^c$ is a nonhyperbolic central bundle that splits in a dominated way into 1-dimensional subbundles, are entropy-expansive. In particular, they have a principal symbolic extension and equilibrium states.
We show that diffeomorphisms with a dominated splitting of the form $E^s\oplus E^c\oplus E^u$, where $E^c$ is a nonhyperbolic central bundle that splits in a dominated way into 1-dimensional subbundles, are entropy-expansive. In particular, they have a principal symbolic extension and equilibrium states.
△ Less
Submitted 18 October, 2011; v1 submitted 4 October, 2010;
originally announced October 2010.
-
Abundance of $C^1$-robust homoclinic tangencies
Authors:
C. Bonatti,
L. J. Diaz
Abstract:
A diffeomorphism $f$ has a $C^1$-robust homoclinic tangency if there is a $C^1$-neighbourhood $\cU$ of $f$ such that every diffeomorphism in $g\in \cU$ has a hyperbolic set $\La_g$, depending continuously on $g$, such that the stable and unstable manifolds of $\La_g$ have some non-transverse intersection. For every manifold of dimension greater than or equal to three, we exhibit a local mechanis…
▽ More
A diffeomorphism $f$ has a $C^1$-robust homoclinic tangency if there is a $C^1$-neighbourhood $\cU$ of $f$ such that every diffeomorphism in $g\in \cU$ has a hyperbolic set $\La_g$, depending continuously on $g$, such that the stable and unstable manifolds of $\La_g$ have some non-transverse intersection. For every manifold of dimension greater than or equal to three, we exhibit a local mechanism (blender-horseshoes) generating diffeomorphisms with $C^1$-robust homoclinic tangencies.
Using blender-horseshoes, we prove that homoclinic classes of $C^1$-generic diffeomorphisms containing saddles with different indices and that do not admit dominated splittings (of appropriate dimensions) display $C^1$-robust homoclinic tangencies.
△ Less
Submitted 22 September, 2009;
originally announced September 2009.
-
Non-hyperbolic ergodic measures with large support
Authors:
Ch. Bonatti,
L. J. Diaz,
A. Gorodetski
Abstract:
We prove that there is a residual subset $\mathcal{S}$ in $\text{Diff}^1(M)$ such that, for every $f\in \mathcal{S}$, any homoclinic class of $f$ with invariant one dimensional central bundle containing saddles of different indices (i.e. with different dimensions of the stable invariant manifold) coincides with the support of some invariant ergodic non-hyperbolic (one of the Lyapunov exponents i…
▽ More
We prove that there is a residual subset $\mathcal{S}$ in $\text{Diff}^1(M)$ such that, for every $f\in \mathcal{S}$, any homoclinic class of $f$ with invariant one dimensional central bundle containing saddles of different indices (i.e. with different dimensions of the stable invariant manifold) coincides with the support of some invariant ergodic non-hyperbolic (one of the Lyapunov exponents is equal to zero) measure of $f$.
△ Less
Submitted 28 August, 2009;
originally announced August 2009.
-
Symbolic extensions for partially hyperbolic diffeomorphisms
Authors:
Lorenzo J. Diaz,
Todd Fisher
Abstract:
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.
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.
△ Less
Submitted 11 June, 2009;
originally announced June 2009.
-
Non-hyperbolic ergodic measures for non-hyperbolic homoclinic classes
Authors:
Lorenzo J. Diaz,
Anton Gorodetski
Abstract:
We prove that for a generic $C^1$-diffeomorphism existence of a homoclinic class with periodic saddles of different indices (dimension of the unstable bundle) implies existence an invariant ergodic non-hyperbolic (one of the Lyapunov exponents is equal to zero) measure of $f$.
We prove that for a generic $C^1$-diffeomorphism existence of a homoclinic class with periodic saddles of different indices (dimension of the unstable bundle) implies existence an invariant ergodic non-hyperbolic (one of the Lyapunov exponents is equal to zero) measure of $f$.
△ Less
Submitted 10 April, 2008;
originally announced April 2008.
-
A C^1 -Generic dichotomy for diffeomorphisms
Authors:
C. Bonatti,
L. J. Diaz,
E. R. Pujals
Abstract:
We show that, for every compact n-dimensional manifold, n\geq 1, there is a residual subset of Diff^1(M) of diffeomorphisms for which the homoclinic class of any periodic saddle of f verifies one of the following two possibilities: Either it is contained in the closure of an infinite set of sinks or sources (Newhouse phenomenon), or it presents some weak form of hyperbolicity called dominated sp…
▽ More
We show that, for every compact n-dimensional manifold, n\geq 1, there is a residual subset of Diff^1(M) of diffeomorphisms for which the homoclinic class of any periodic saddle of f verifies one of the following two possibilities: Either it is contained in the closure of an infinite set of sinks or sources (Newhouse phenomenon), or it presents some weak form of hyperbolicity called dominated splitting (this is a generalization of a bidimensional result of Mane [Ma3}). In particular, we show that any C^1 -robustly transitive diffeomorphism admits a dominated splitting.
△ Less
Submitted 17 October, 2006;
originally announced October 2006.