arXiv subjects
Publications and source records attributed to Lorenzo J. Díaz.
We study the Lyapunov spectrum of the ergodic measures of isolated homoclinic classes of $C^1$-generic diffeomorphisms. We show that this spectrum has nonempty interior and that any vector in its interior is the spectrum of some ergodic measure fully supported on the homoclinic class. We also discuss the averaged Lyapunov spectrum of homoclinic classes (an extension of the Lyapunov graph).
We study partially hyperbolic homoclinic classes of $C^1$-generic diffeomorphisms with a one-dimensional central bundle, so that the central Lyapunov exponent $χ^c(μ)$ is well defined for any ergodic measure $μ$ supported on the class. We focus on nonhyperbolic homoclinic classes supporting ergodic measures with positive, zero, and negative central exponents. For each $α$ and a nontrivial homoclinic class $H$ of a $C^1$-generic diffeomorphism $f$, we consider the level set of measures \[ \mathcal{M}^α_{\mathrm{erg}}(f,H)= \left\{\text{$μ$ ergodic, supported on $H$, with } χ^c(μ)=α\right\}. \] In this generic setting, the range of $α$ for which $\mathcal{M}^α_{\mathrm{erg}}(f,H)$ is nonempty forms a nontrivial closed interval $I$. Since the set of periodic measures is countable, most of these sets contain no periodic measures. We show that for every $α$ in the interior of $I$, the so-called Axiomatized GIKN measures, a class of low-complexity, zero-entropy measures, are dense in $\mathcal{M}^α_{\mathrm{erg}}(f,H)$. This result can be viewed as an analogue of Sigmund's classical density of periodic measures for systems with the specification property, obtained here in a setting where the specification property does not hold and periodic measures are typically absent (in the considered level sets). We also present a similar result for the open class of blender-minimal diffeomorphisms, contained in the class of $C^1$-robustly transitive ones.
We consider diffeomorphisms $f$ with heterodimensional cycles of co-index two, associated with saddles $P$ and $Q$ having unstable indices $\ell$ and $\ell+2$, respectively. In a partially hyperbolic setting, where a two-dimensional center direction and strong invariant manifolds are defined, we introduce the class of \emph{non-escaping cycles}, where the strong stable manifold of $P$ and the strong unstable manifold of $Q$ are involved in the cycle. This configuration guarantees the existence of orbits that remain in a neighbourhood of the cycle. We show that such diffeomorphisms $f$ can be $C^1$ approximated by diffeomorphisms exhibiting simultaneously $C^1$ robust heterodimensional cycles of co-indices one and two, encompassing all possible combinations among hyperbolic sets of unstable indices $\ell$, $\ell+1$, and $\ell+2$. The proof relies on the construction of \emph{split blending machines}. This tool extends Asaoka's blending machines to a partially hyperbolic setting, providing a mechanisms to generate and control robust intersections within a two-dimensional central bundle. We also present simple dynamical settings where such cycles occur, namely skew product dynamics with surface fiber maps. Non-escaping cycles also appear in contexts such as Derived from Anosov diffeomorphisms and matrix cocycles on $\mathrm{GL}(3,\mathbb{R})$.
We study nonhyperbolic and transitive partially hyperbolic diffeomorphisms having a one-dimensional center. We prove joint flexibility with respect to entropy and center Lyapunov exponent for a broad class of these systems. Flexibility means that for any given value of the center Lyapunov exponent and any value of entropy less than the supremum of entropies of ergodic measures with that exponent, there is an ergodic measure with exactly this entropy and exponent. Our hypotheses involve minimal foliations and blender-horseshoes, they formalize the interplay between two regions of the ambient space, one of center expanding and the other of center contracting type. The list of examples our results apply is rather long, a non-exhaustive list includes fibered by circles, flow-type, some Derived from Anosov diffeomorphisms, and some anomalous (non-dynamically coherent) diffeomorphisms.
In a conservative and partially hyperbolic three-dimensional setting, we study three representative classes of diffeomorphisms: those homotopic to Anosov (or Derived from Anosov diffeomorphisms), diffeomorphisms in neighborhoods of the time-one map of the geodesic flow on a surface of negative curvature, and accessible and dynamically coherent skew products with circle fibers. In any of these classes, we establish the following dichotomy: either the diffeomorphism is Anosov, or it possesses nonhyperbolic ergodic measures. Our approach is perturbation-free and combines recent advances in the study of stably ergodic diffeomorphisms with a variation of the periodic approximation method to obtain ergodic measures. A key result in our construction, independent of conservative hypotheses, is the construction of nonhyperbolic ergodic measures for sets with a minimal strong unstable foliation that satisfy the mostly expanding property. This approach enables us to obtain nonhyperbolic ergodic measures in other contexts, including some subclasses of the so-called anomalous partially hyperbolic diffeomorphisms that are not dynamically coherent.
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.
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.
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.
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.
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.
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.
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".
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.
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.
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.
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.
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.
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.