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.
We consider some general classes of random dynamical systems and show that a priori very weak nonuniform hyperbolicity conditions actually imply uniform hyperbolicity.
We prove a new characterization of uniform hyperbolicity for fiber-bunched cocycles. Specifically, we show that the existence of a uniform gap between the Lyapunov exponents of a fiber-bunched $SL(2,\mathbb{R})$-cocycle defined over a subshift of finite type or an Anosov diffeomorphism implies uniform hyperbolicity. In addition, we construct an $α$-Hölder cocycle which has uniform gap between the Lyapunov exponents, however it is not uniformly hyperbolic.
We prove that, under a mild condition on the hyperbolicity of its periodic points, a map $g$ which is topologically conjugated to a hyperbolic map (respectively, an expanding map) is also a hyperbolic map (respectively, an expanding map). In particular, this result gives a partial positive answer for a question done by A. Katok, in a related context.
We present some constructions that are merely the fruit of combining recent results from two areas of smooth dynamics: nonuniformly hyperbolic systems and elliptic constructions.
We give sufficient conditions for the uniform hyperbolicity of certain nonuniformly hyperbolic dynamical systems. In particular, we show that local diffeomorphisms that are nonuniformly expanding on sets of total probability are necessarily uniformly expanding. We also present a version of this result for diffeomorphisms with nonuniformly hyperbolic sets.
In this paper, we show that for several interesting systems beyond uniform hyperbolicity, any generic continuous function has a unique maximizing measure with zero entropy. In some cases, we also know that the maximizing measure has full support. These interesting systems including singular hyperbolic attractors, $C^\infty$ surface diffeomorphisms and diffeomorphisms away from homoclinic tangencies.
We prove that for certain partially hyperbolic skew-products, non-uniform hyperbolicity along the leaves implies existence of a finite number of ergodic absolutely continuous invariant probability measures which describe the asymptotics of almost every point. The main technical tool is an extension for sequences of maps of a result of de Melo and van Strien relating hyperbolicity to recurrence properties of orbits. As a consequence of our main result, we also obtain a partial extension of Keller's theorem guaranteeing the existence of absolutely continuous invariant measures for non-uniformly …
We use the Invariance Principle of Avila and Viana to prove that every partially hyperbolic symplectic diffeomorphism with 2-dimensional center bundle, and satisfying certain pinching and bunching conditions, can be $C^r$-approximated by non-uniformly hyperbolic diffeomorphisms.
For a nearly integrable Hamiltonian systems $H=h(p)+εP(p,q)$ with $(p,q)\in\mathbb{R}^3\times\mathbb{T}^3$, large normally hyperbolic invariant cylinders exist along the whole resonant path, except for the $\sqrtε^{1+d}$-neighborhood of finitely many double resonant points. It allows one to construct diffusion orbits to cross double resonance.
We prove that every smooth action of Z^k, k>1, on the (k+1)-dimensional torus homotopic to an action by hyperbolic linear maps preserves an absolutely continuous measure. This is a first known result concerning abelian groups of diffeomorphisms where existence of an invariant geometric structure is obtained from homotopy data.
Let H be an infinite dimensional separable Hilbert space, X a compact Hausdorff space and f : X \rightarrow X a homeomorphism which preserves a Borel ergodic measure which is positive on non-empty open sets. We prove that the non-uniformly Anosov cocycles are C0-dense in the family of partially hyperbolic f,H-skew products with non-trivial unstable bundles.
We prove the existence of SRB measures for diffeomorphisms where a positive volume set of initial conditions satisfy an "effective hyperbolicity" condition that guarantees certain recurrence conditions on the iterates of Lebesgue measure. We give examples of systems that do not admit a dominated splitting but can be shown to have SRB measures using our methods.
We give an essentially equivalent formulation of the backward contracting property, defined by Juan Rivera-Letelier, in terms of expansion along the orbits of critical values, for complex polynomials of degree at least two which are at most finitely renormalizable and have only hyperbolic periodic points, as well as for all smooth interval maps with non-flat critical points.
In this work we obtain a new criterion to establish ergodicity and non-uniform hyperbolicity of smooth measures of diffeomorphisms. This method allows us to give a more accurate description of certain ergodic components. The use of this criterion in combination with topological devices such as blenders lets us obtain global ergodicity and abundance of non-zero Lyapunov exponents in some contexts. In the partial hyperbolicity context, we obtain that stably ergodic diffeomorphisms are C^1-dense among volume preserving partially hyperbolic diffeomorphisms with two-dimensional center bundle. This …
We consider the dynamics of strongly dissipative Hénon-like maps in the plane, around the first bifurcation parameter $a^*$ at which the uniform hyperbolicity is destroyed by the formation of homoclinic or heteroclinic tangencies inside the limit set. In [Takahasi H.: Commun. Math. Phys. {\bf 312} 37-85 (2012)], it was proved that $a^*$ is a full Lebesgue density point of the set of parameters for which Lebesgue almost every initial point diverges to infinity under forward iteration. For these parameters, we show that all Lyapunov exponents of all invariant ergodic Borel probability measures a…
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 prove a geometric criterion on a $\SL$-invariant ergodic probability measure on the moduli space of holomorphic abelian differentials on Riemann surfaces for the non-uniform hyperbolicity of the Kontsevich--Zorich cocycle on the real Hodge bundle. Applications include measures supported on the $\SL$-orbits of all algebraically primitive Veech surfaces (see also \cite{Bouw:Moeller}) and of all Prym eigenforms discovered in \cite{McMullen2}, as well as all canonical absolutely continuous measures on connected components of strata of the moduli space of abelian differentials (see also \cite{Ft…
In this article we introduce a gluing orbit property, weaker than specification, for both maps and flows. We prove that flows with the $C^1$-robust gluing orbit property are uniformly hyperbolic and that every uniformly hyperbolic flow satisfies the gluing orbit property. We also prove a level-1 large deviations principle and a level-2 large deviations lower bound for for semiflows with the gluing orbit property. As a consequence we establish a level-1 large deviations principle for hyperbolic flows and every continuous observable, and also a level-2 large deviations lower bound. Finally, sinc…
We characterize two of the most studied non-uniform hyperbolicity conditions for rational maps, semi-hyperbolicity and the topological Collet-Eckmann condition, in terms of the maximal entropy measure. Using the same tools in the proof of these results we give an extension of a result of Carleson, Jones and Yoccoz, that semi-hyperbolicity characterizes those polynomial maps whose basin of attraction of infinity is a John domain, to rational maps having a completely invariant attracting basin.
We construct an explicit example of family of non-uniformly hyperbolic diffeomorphisms, at the boundary of the set of uniformly hyperbolic systems, with one orbit of cubic heteroclinic tangency. One of the leaves involved in this heteroclinic tangency is periodic, and there is a certain degree of freedom for the choice of the second one. For a non-countable set of choices, this leaf is not periodic and the diffeomorphism is Kupka-Smale: every periodic point is hyperbolic and the intersections of stable and unstable leaves of periodic points are transverse. As a consequence of our construction,…
For a generic conservative diffeomorphism of a 3-manifold M, the Oseledets splitting is a globally dominated splitting. Moreover, either all Lyapunov exponents vanish almost everywhere, or else the system is non-uniformly hyperbolic and ergodic. This is the 3-dimensional version of a well-known result by Mañé-Bochi, stating that a generic conservative surface diffeomorphism is either Anosov or all Lyapunov exponents vanish almost everywhere. This result inspired and answers in the positive for dimension 3 a conjecture by Avila and Bochi. We also prove that all partially hyperbolic sets with po…
This paper intends to provide new, simple, and self-contained proofs of the equivalence of various different descriptions of the uniformly hyperbolic $\mathrm{SL}(2,\mathbb R)$ sequences. While in the scenario of the Schrödinger cocyles, they may in turn be applied to give new and simple proofs of theorems regarding their relation with the spectral analysis of one-dimensional discrete Schrödinger operators. Concretely, this paper gives four different descriptions of uniformly hyperbolic sequences together with the detailed proofs of their equivalence. It provides concise and self-contained pro…
We prove that uniform hyperbolicity is invariant under topological conjugacy for dissipative polynomial automorphisms of C^2. Along the way we also show that a sufficient condition for hyperbolicity is that local stable and unstable manifolds of saddle points have uniform geometry.
We prove a criteria for uniform hyperbolicity based on the periodic points of the transformation. More precisely, if a mild (non uniform) hyperbolicity condition holds for the periodic points of any diffeomorphism in a residual subset of a $C^1$-open set $\SU$ then there exists an open and dense subset $\SA\subset \SU$ of Axiom A diffeomorphisms. Moreover, we also prove a noninvertible version of Ergodic Closing Lemma which we use to prove a counterpart of this result for local diffeomorphisms. As a simple corollary of our techniques, we have that an arbitrary $\mathrm{C}^1$-class local diffeo…
Uniform hyperbolicity is a strong chaotic property which holds, in particular, for Sinai billiards. In this paper, we consider the case of a nonflat billiard, that is, a Riemannian manifold with boundary. Each trajectory follows the geodesic flow in the interior of the billiard, and bounces when it meets the boundary. We give a sufficient condition for a nonflat billiard to be uniformly hyperbolic. As a particular case, we obtain a new criterion to show that a closed surface has an Anosov geodesic flow.
We consider the linear cocycle $(T,A)$ induced by a measure preserving dynamical system $T:X \to X$ and a map $A:X \to \mathit{SL}(2,\mathbb{R})$. We address the dependence of the upper Lyapunov exponent of $(T,A)$ on the dynamics $T$ when the map $A$ is kept fixed. We introduce explicit conditions on the cocycle that allow to perturb the dynamics, in the weak and uniform topologies, to make the exponent drop arbitrarily close to zero. In the weak topology we deduce that if $X$ is a compact connected manifold, then for a $C^r$ ($r \ge 1$) open and dense set of maps $A$, either $(T,A)$ is unifo…
We study rational functions satisfying summability conditions - a family of weak conditions on the expansion along the critical orbits. Assuming their appropriate versions, we derive many nice properties: There exists a unique, ergodic, and non-atomic conformal measure with exponent equal to the Hausdorff dimension of the Julia set. There is an absolutely continuous invariant measure with respect to this conformal measure. The Minkowski dimension of the Julia set is strictly less than 2. Either the Julia set is the whole sphere, or the dynamics is unstable. For such polynomials and Blaschke pr…
Let $Λ$ be an isolated non-trival transitive set of a $C^1$ generic diffeomorphism $f\in\Diff(M)$. We show that the space of invariant measures supported on $Λ$ coincides with the space of accumulation measures of time averages on one orbit. Moreover, the set of points having this property is residual in $Λ$ (which implies the set of irregular$^+$ points is also residual in $Λ$). As an application, we show that the non-uniform hyperbolicity of irregular$^+$ points in $Λ$ with totally 0 measure (resp., the non-uniform hyperbolicity of a generic subset in $Λ$) determines the uniform hyperbolicit…
In this paper we revisit uniformly hyperbolic basic sets and the domination of Oseledets splittings at periodic points. We prove that periodic points with simple Lyapunov spectrum are dense in non-trivial basic pieces of Cr-residual diffeomorphisms on three-dimensional manifolds (r >= 1). In the case of the C1-topology we can prove that either all periodic points of a hyperbolic basic piece for a diffeomorphism f have simple spectrum C1- robustly (in which case f has a finest dominated splitting into one-dimensional sub-bundles and all Lyapunov exponent functions of f are continuous in the wea…
We provide an elementary proof of the equivalence of various notions of uniform hyperbolicity for a class of $\mathrm{GL}(2,\mathbb{C})$ cocycles and establish a Johnson-type theorem for extended CMV matrices, relating the spectrum to the points on the unit circle for which the associated Szegő cocycle is not uniformly hyperbolic.
Let $f:\mathbb{C}^2\to \mathbb{C}^2$ be a polynomial skew product which leaves invariant an attracting vertical line $ L $. Assume moreover $f$ restricted to $L$ is non-uniformly hyperbolic, in the sense that $f$ restricted to $L$ satisfies one of the following conditions: 1. $f|_L$ satisfies Topological Collet-Eckmann and Weak Regularity conditions. 2. The Lyapunov exponent at every critical value point lying in the Julia set of $f|_L$ exist and is positive, and there is no parabolic cycle. Under one of the above conditions we show that the Fatou set in the basin of $L$ coincides with the uni…
The properties of uniform hyperbolicity and dominated splitting have been introduced to study the stability of the dynamics of diffeomorphisms. One meets difficulties when one tries to extend these definitions to vector fields and Shantao Liao has shown that it is more relevant to consider the linear Poincaré flow rather than the tangent flow in order to study the properties of the derivative. In this paper we define the notion of singular domination, an analog of the dominated splitting for the linear Poincaré flow which is robust under perturbations. Based on this, we give a new definition o…
We show that for almost every frequency alpha \in \R \setminus \Q, for every C^omega potential v:\R/\Z \to R, and for almost every energy E the corresponding quasiperiodic Schrodinger cocycle is either reducible or nonuniformly hyperbolic. This result gives very good control on the absolutely continuous part of the spectrum of the corresponding quasiperiodic Schrodinger operator, and allows us to complete the proof of the Aubry-Andre conjecture on the measure of the spectrum of the Almost Mathieu Operator.
We consider products of the matrices associated with the Szegő recursion from the theory of orthogonal polynomials on the unit circle and show that under suitable assumptions, their norms grow exponentially in the number of factors. In the language of dynamical systems, this result expresses a uniform hyperbolicity statement. We present two applications of this result. On the one hand, we identify explicitly the almost sure spectrum of extended CMV matrices with non-negative random Verblunsky coefficients. On the other hand, we show that no Ising model in one dimension exhibits a phase transit…
This paper is an interval dynamics counterpart of three theories founded earlier by the authors, S. Smirnov and others in the setting of the iteration of rational maps on the Riemann sphere: the equivalence of several notions of non-uniform hyperbolicity, Geometric Pressure, and Nice Inducing Schemes methods leading to results in thermodynamical formalism. We work in a setting of generalized multimodal maps, that is smooth maps f of a finite union of compact intervals in R into R with non-flat critical points, such that on its maximal forward invariant set K the map f is topologically transiti…
In this paper we deal with an invariant ergodic hyperbolic measure $μ$ for a diffeomorphism $f,$ assuming that $f$ it is either $C^{1+α}$ or $f$ is $C^1$ and the Oseledec splitting of $μ$ is dominated. We show that this system $(f,μ)$ satisfies a weaker and non-uniform version of specification, related with notions studied in several recent papers, including \cite{STV,Y, PS, T,Var, Oli}. Our main results have several consequences: as corollaries, we are able to improve the results about quantitative Poincaré recurrence, removing the assumption of the non-uniform specification property in the m…
Bowen showed that a continuous expansive map with specification has a unique measure of maximal entropy. We show that the conclusion remains true under weaker non-uniform versions of these hypotheses. To this end, we introduce the notions of obstructions to expansivity and specification, and show that if the entropy of such obstructions is smaller than the topological entropy of the map, then there is a unique measure of maximal entropy.
We study the $C^1$-topological properties of the subset of non-uniform hyperbolic diffeomorphisms in a certain class of $C^2$ partially hyperbolic symplectic systems which have bounded $C^2$ distance to the identity. In this set, we prove the stability of non-uniform hyperbolicity as a function of the diffeomorphism and the measure, and the existence of an open and dense subset of continuity points for the center Lyapunov exponents. These results are generalized to the volume-preserving context.
We show the equivalences of several notions of entropy, like a version of the topological entropy of the geodesic flow and the Minkowski dimension of the boundary, in metric spaces with convex geodesic bicombings satisfying a uniform packing condition. Similar estimates will be given in case of closed subsets of the boundary of Gromov-hyperbolic metric spaces with convex geodesic bicombings.
The dynamics of many important high-dimensional dynamical systems are both chaotic and complex, meaning that strong reducing hypotheses are required to understand the dynamics. The highly influential chaotic hypothesis of Gallavotti and Cohen states that the large-scale dynamics of high-dimensional systems are effectively uniformly hyperbolic, which implies many felicitous statistical properties. We obtain direct and reliable numerical evidence, contrary to the chaotic hypothesis, of the existence of non-hyperbolic large-scale dynamical structures in a mean-field coupled system. To do this we …
We propose a general algorithm for computer assisted verification of uniform hyperbolicity for maps which exhibit a robust attractor. The method has been successfully applied to a Poincare map for a system of coupled non-autonomous van der Pol oscillators. The model equation has been proposed by Kuznetsov and the attractor seems to be of the Smale-Williams type.
We study the hyperbolicity of a class of horseshoes exhibiting an internal tangency, i.e. a point of homoclinic tangency accumulated by periodic points. In particular these systems are strictly not uniformly hyperbolic. However we show that all the Lyapunov exponents of all invariant measures are uniformly bounded away from 0. This is the first known example of this kind.
We prove uniform hyperbolicity of the renormalization operator for all possible real combinatorial types. We derive from it that the set of infinitely renormalizable parameter values in the real quadratic family $P_c: x\mapsto x^2+c$ has zero measure. This yields the statement in the title (where ``regular'' means to have an attracting cycle and ``stochastic'' means to have an absolutely continuous invariant measure). An application to the MLC problem is given.