The purpose of this paper is twofold. In one direction, we extend the spectral method for random piecewise expanding and hyperbolic dynamics developed by the first author \textit{et al}. to establish quenched versions of the large deviation principle, central limit theorem and the local central limit theorem for \emph{vector-valued} observables. We stress that the previous works considered exclusively the case of scalar-valued observables.
In another direction, we show that this method can be used to establish a variety of new limit laws (either for scalar or vector-valued observables) that have not been discussed previously in the literature for the classes of dynamics we consider. More precisely, we establish the moderate deviation principle, concentration inequalities, Berry-Esseen estimates as well as Edgeworth and large deviation expansions.
Although our techniques rely on the approach developed in the previous works of the first author \textit{et al}., we emphasize that our arguments require several nontrivial adjustments as well as new ideas.
We prove a Berry-Esseen theorem, a local central limit theorem and (local) large and (global) moderate deviations principles for i.i.d. (uniformly) random non-uniformly expanding or hyperbolic maps with exponential first return times. Using existing results the problem is reduced to certain random (Young) tower extensions, which is the main focus of this paper. On the random towers we will obtain our results using contraction properties of random complex equivariant cones with respect to the complex Hilbert projective metric.
We obtain a quenched vector-valued almost sure invariance principle (ASIP) for random expanding on average cocycles. This is achieved by combining the adapted version of Gouëzel's approach for establishing ASIP and the recent construction of the so-called adapted norms, which in some sense eliminate the non-uniformity of the decay of correlations. For real-valued observables, we also show that the martingale approximation technique is applicable in our setup, and that it yields the ASIP with better error rates. Finally, we present an example showing the necessity of a scaling condition, answer…
We prove a vector-valued almost sure invariance principle for some classes of time dependent non-uniformly distance expanding dynamical systems. The models we have in mind are certain sequential versions of the smooth non-uniformly distance expanding maps considered in \cite{castro} and \cite{Vara}, as well as certain types of sequences of covering maps. Our results rely on the theory of complex projective metrics which was developed in \cite{Rug}, together with the spectral methods of Gouëzel \cite{GO}. A big advantage in applying the theory of complex cones here is that it also yields additi…
We prove an almost sure invariance principle (approximation by d-dimensional Brownian motion) for vector-valued Holder observables of large classes of nonuniformly hyperbolic dynamical systems. These systems include Axiom~A diffeomorphisms and flows as well as systems modelled by Young towers with moderate tail decay rates. In particular, the position variable of the planar periodic Lorentz gas with finite horizon approximates a 2-dimensional Brownian motion.
We prove the stochastic stability of an open class of partially hyperbolic diffeomorphisms, each of which admits two centers $E^c_1$ and $E^c_2$ such that any Gibbs $u$-state admits only positive (resp. negative) Lyapunov exponents along $E^c_1$ (resp. $E^c_2$).
The Lyapunov spectra of random U(1) extensions of expanding maps on the torus were investigated in our previous work [NW2015]. Using the result, we extend the recent spectral approach for quenched limit theorems for expanding maps [DFGV2018] and hyperbolic maps [DFGV2019] to our partially hyperbolic dynamics. Quenched central limit theorems, large deviations principles and local central limit theorems for random U(1) extensions of expanding maps on the torus are proved via corresponding theorems for abstract random dynamical systems.
We prove that a partially hyperbolic attractor for a $C^1$ vector field with two dimensional center supports an SRB measure. In addition, we show that if the vector field is $C^2$, and the center bundle admits the sectional expanding condition w.r.t. any Gibbs $u$-state, then the attractor can only support finitely many SRB/physical measures whose basins cover Lebesgue almost all points of the topological basin. The proof of these results has to deal with the difficulties which do not occur in the case of diffeomorphisms.
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.
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 consider a partially hyperbolic set $K$ on a Riemannian manifold $M$ whose tangent space splits as $T_K M=E^{cu}\oplus E^{s}$, for which the centre-unstable direction $E^{cu}$ expands non-uniformly on some local unstable disk. We show that under these assumptions $f$ induces a Gibbs-Markov structure. Moreover, the decay of the return time function can be controlled in terms of the time typical points need to achieve some uniform expanding behavior in the centre-unstable direction. As an application of the main result we obtain certain rates for decay of correlations, large deviations, an al…
We consider partially hyperbolic \( C^{1+} \) diffeomorphisms of compact Riemannian manifolds of arbitrary dimension which admit a partially hyperbolic tangent bundle decomposition \( E^s\oplus E^{cu} \). Assuming the existence of a set of positive Lebesgue measure on which \( f \) satisfies a weak nonuniform expansivity assumption in the centre~unstable direction, we prove that there exists at most a finite number of transitive attractors each of which supports an SRB measure. As part of our argument, we prove that each attractor admits a Gibbs-Markov-Young geometric structure with integrable…
We prove a rigidity theorem for dominated Hölder cocycles with values on diffeomorphism groups of a compact manifold over hyperbolic homeomorphisms. More precisely, we show that if two such cocycles have equal periodic data, then they are cohomologous.
We show that the metric entropy of a $C^1$ diffeomorphism with a dominated splitting and the dominating bundle uniformly expanding is bounded from above by the integrated volume growth of the dominating (expanding) bundle plus the maximal Lyapunov exponent from the dominated bundle multiplied by its dimension. We also discuss different types of volume growth that can be associated with an expanding foliation and relationships between them, specially when there exists a closed form non-degenerate on the foliation. Some consequences for partially hyperbolic diffeomorphisms are presented.
We consider finite families of SL(2,R) matrices whose products display uniform exponential growth. These form open subsets of (SL(2,R))^N, and we study their components, boundary, and complement. We also consider the more general situation where the allowed products of matrices satisfy a Markovian rule.
We consider Holder continuous GL(2,R)-valued cocycles over a transitive Anosov diffeomorphism. We give a complete classification up to Holder cohomology of cocycles with one Lyapunov exponent and of cocycles that preserve two transverse Holder continuous sub-bundles. We prove that a measurable cohomology between two such cocycles is Holder continuous. We also show that conjugacy of periodic data for two such cocycles does not always imply cohomology, but a slightly stronger assumption does. We describe examples that indicate that our main results do not extend to general GL(2,R)-valued cocycle…
We establish two results under which the topology of a hyperbolic set constrains ambient dynamics. First if a set is a compact, transitive, expanding hyperbolic attractor of codimension 1 for some diffeomorphism, then it is a union of transitive, expanding attractors (or contracting repellers) of codimension 1 for any diffeomorphism such that it is hyperbolic. Secondly, if a set is a nonwandering, locally maximal, compact hyperbolic set for a surface diffeomorphism, then it is locally maximal for any diffeomorphism for which it is hyperbolic.
We prove the almost sure invariance principle with rate $o(n^{\varepsilon})$ for every $\varepsilon > 0$ for Hölder continuous observables on nonuniformly expanding and nonuniformly hyperbolic transformations with exponential tails. Examples include Gibbs-Markov maps with big images, Axiom A diffeomorphisms, dispersing billiards and a class of logistic and Hénon maps. The best previously proved rate is $O(n^{1/4} (\log n)^{1/2} (\log \log n)^{1/4})$. As a part of our method, we show that nonuniformly expanding transformations are factors of Markov shifts with simple structure and natural metri…
In this work we study the class of mostly expanding partially hyperbolic diffeomorphisms. We prove that such class is $C^r$-open, $r>1$, among the partially hyperbolic diffeomorphisms (in the narrow sense) and we prove that the mostly expanding condition guarantee the existence of physical measures and provide more information about the statistics of the system. Mañé's classical derived-from-Anosov diffeomorphism on $\mathbb{T}^3$ belongs to this set.
The transfer operator corresponding to a uniformly expanding map enjoys good spectral properties. Here it is verified that coupling yields explicit estimates that depend continuously on the expansion and distortion constants of the map. For nonuniformly expanding maps with a uniformly expanding induced map, we obtain explicit estimates for mixing rates (exponential, stretched exponential, polynomial) that again depend continuously on the constants for the induced map together with data associated to the inducing time. Finally, for nonuniformly hyperbolic transformations, we obtain the correspo…
We consider the local dimension spectrum of a weak Gibbs measure on a C^1 non-uniformly hyperbolic system of Manneville- Pomeau type. We present the spectrum in three ways: using invariant measures, uniformly hyperbolic ergodic measures and equilibrium states. We are also proving analyticity of the spectrum under additional assumptions. All three presentations are well known for smooth uniformly hyperbolic systems.
For partially hyperbolic diffeomorphisms with mostly expanding and mostly contracting centers, we establish a topological structure, called skeleton{a set consisting of finitely many hyperbolic periodic points with maximal cardinality for which there exist no heteroclinic intersections. We build the one-to-one corresponding between periodic points in any skeleton and physical measures. By making perturbations on skeletons, we study the continuity of physical measures with respect to dynamics under $C^1$-topology.
The (measure-theoretical) entropy of a diffeomorphism along an expanding invariant foliation is the rate of complexity generated by the diffeomorphism along the leaves of the foliation. We prove that this number varies upper semi-continuously with the diffeomorphism ($\C^1$ topology), the invariant measure (weak* topology) and the foliation itself in a suitable sense. This has several important consequences. For one thing, it implies that the set of Gibbs $u$-states of $\C^{1+}$ partially hyperbolic diffeomorphisms is an upper semi-continuous function of the map in the $\C^1$ topology. Another…
In [30] different statistical behavior of dynamical orbits without syndetic center are considered. In present paper we continue this project and consider different statistical behavior of dynamical orbits with nonempty syndetic center: Two of sixteen cases appear (for which other fourteen cases are still unknown) in transive topologically expanding or hyperbolic systems and are discovered to have full topological entropy for which it is also true if combined with non-recurrence and multifractal analysis such as quasi-regular set, irregular set and level sets. In this process a strong entropy-d…
We consider polygonal billiards with collisions contracting the reflection angle towards the normal to the boundary of the table. In previous work, we proved that such billiards has a finite number of ergodic SRB measures supported on hyperbolic generalized attractors. Here we study the relation of these measures with the ergodic absolutely continuous invariant probability measures (acips) of the slap map, the 1-dimensional map obtained from the billiard map when the angle of reflection is always equal to zero. Our main result states that for a generic polygon, if the reflection law has a Lips…
In this note, we obtain verifiable sufficient conditions for the extreme value distribution for a certain class of skew product extensions of non-uniformly hyperbolic base maps. We show that these conditions, formulated in terms of the decay of correlations on the product system and the measure of rapidly returning points on the base, lead to a distribution for the maximum of $Φ(p) = -\log(d(p, p_0))$ that is of the first type. In particular, we establish the Type I distribution for $S^1$ extensions of piecewise $C^2$ uniformly expanding maps of the interval, non-uniformly expanding maps of th…
We obtain stochastic stability of C2 non-uniformly expanding one-dimensional endomorphisms, requiring only that the first hyperbolic time map be L^{p}-integrable for p>3. We show that, under this condition (which depends only on the unperturbed dynamics), we can construct a random perturbation that preserves the original hyperbolic times of the unperturbed map and, therefore, to obtain non-uniform expansion for random orbits. This ensures that the first hyperbolic time map is uniformly integrable for all small enough noise levels, which is known to imply stochastic stability. The method enable…
We introduce a class of discrete dynamical systems that we call \emph{virtually expanding}. This is an open subset of self-covering maps on a closed manifold which contains all expanding maps and some partially hyperbolic volume-expanding maps. We show that the Perron-Frobenius operator is quasi-compact on a Sobolev space of positive order for such class of dynamical systems.
We call a partially hyperbolic diffeomorphism \emph{partially volume expanding} if the Jacobian restricted to any hyperplane that contains the unstable bundle $E^u$ is larger than $1$. This is a $C^1$ open property. We show that any $C^{1+}$ partially volume expanding diffeomorphisms admits finitely many physical measures, the union of whose basins has full volume.
In this paper we obtain an almost sure invariance principle for convergent sequences of either Anosov diffeomorphisms or expanding maps on compact Riemannian manifolds and prove an ergodic stability result for such sequences. The sequences of maps need not correspond to typical points of a random dynamical system. The methods in the proof rely on the stability of compositions of hyperbolic dynamical systems. We introduce the notion of sequential conjugacies and prove that these vary in a Lipschitz way with respect to the generating sequences of dynamical systems. As a consequence, we prove sta…
We prove that generically in $\text{Diff}^{1}_{m}(M)$, if an expanding $f$-invariant foliation $W$ of dimension $u$ is minimal and there is a periodic point of unstable index $u$, the foliation is stably minimal. By this we mean there is a $C^{1}$-neighborhood $\mathcal{U}$ of $f$ such that for all $C^{2}$-diffeomorphisms $g\in \mathcal{U}$, the $g$-invariant analytic continuation of $W$ is minimal. In particular, all such $g$ are topologically mixing. Moreover, all such $g$ have a hyperbolic ergodic component of the volume measure $m$ which is essentially dense. This component is, in fact, Be…
We study partially hyperbolic sets $K$ on a Riemannian manifold $M$ whose tangent space splits as $T_K M=E^{cu}\oplus E^{s}$, for which the center-unstable direction $E^{cu}$ is non-uniformly expanding on some local unstable disk. We prove that the (stretched) exponential decay of recurrence times for an induced scheme can be deduced under the assumption of (stretched) exponential decay of the time that typical points need to achieve some uniform expanding in the center-unstable direction. This extends a result by Alves and Pinheiro to the (stretched) exponential case. As an application of our…
We prove vector-valued almost sure invariance principle (VASIP) for nonstationary dynamical systems, under assumptions of correlation decay and variance growth. Applications include VASIP for non-stationary (non)uniformly expanding dynamical systems, quenched VASIP for random dynamical systems. In particular, VASIP is satisfied for corresponding stationary dynamical systems.
Consider a local diffeomorphism f of an ultrametric Banach space over an ultrametric field, around a hyperbolic fixed point x. We show that, locally, the system is topologically conjugate to the linearized system. An analogous result is obtained for local diffeomorphisms of real p-Banach spaces (like l^p) for 0 < p =< 1. More generally, we obtain a local linearization if f is merely a local homeomorphism which is strictly differentialble at a hyperbolic fixed point x. Also a new global version of the Grobman-Hartman theorem is provided. It applies to Lipschitz perturbations of hyperbolic autom…
Recently, there has been an increasing interest on nonautonomous composition of perturbed hyperbolic systems: composing perturbations of a given hyperbolic map $F$ results in statistical behaviour close to that of $F$. We show this fact in the case of piecewise regular expanding maps. In particular, we impose conditions on perturbations of this class of maps that include situations slightly more general than what has been considered so far, and prove that these are stochastically stable in the usual sense. We then prove that the evolution of a given distribution of mass under composition of ti…
Building on the dictionary between Kleinian groups and rational maps, we establish new connections between the theories of hyperbolic groups and certain iterated maps, regarded as dynamical systems. In order to make the exposition self-contained to researchers in many fields, we include detailed proofs and ample background.
We extend the recent spectral approach for quenched limit theorems developed for piecewise expanding dynamics under general random driving [DrFrGTVa18] to quenched random piecewise hyperbolic dynamics including some classes of billiards. For general ergodic sequences of maps in a neighbourhood of a hyperbolic map we prove a quenched large deviations principle (LDP), central limit theorem (CLT), and local central limit theorem (LCLT).
Hyperbolicity plays an important role in the study of dynamical systems, and is a key concept in the iteration of rational functions of one complex variable. Hyperbolic systems have also been considered in the study of transcendental entire functions. There does not appear to be an agreed definition of the concept in this context, due to complications arising from the non-compactness of the phase space. In this article, we consider a natural definition of hyperbolicity that requires expanding properties on the preimage of a punctured neighbourhood of the isolated singularity. We show that this…
We study random circle maps that are expanding on the average. Uniform bounds on neither expansion nor distortion are required. We construct a coupling scheme, which leads to exponential convergence of measures (memory loss) and exponential mixing. Leveraging from the structure of the associated correlation estimates, we prove an almost sure invariance principle for vector-valued observables. The motivation for our paper is to explore these methods in a nonuniform random setting.
We provide a systematic approach for deducing statistical limit laws via martingale-coboundary decomposition, for nonuniformly hyperbolic systems with slowly contracting and expanding directions. In particular, if the associated return time function is square-integrable, then we obtain the central limit theorem, the weak invariance principle, and an iterated version of the weak invariance principle.
Let $f: M \to M$ be a $C^{1+α}$ map/diffeomorphism of a compact Riemannian manifold $M$ and $μ$ be an expanding/hyperbolic ergodic $f$-invariant Borel probability measure on $M$. Assume $f$ is average conformal expanding/hyperbolic on the support set $W$ of $μ$ and $W$ is locally maximal. For any subset $A\subset W$ with small entropy or dimension, we investigate the topological entropy and Hausdorff dimensions of the $A$-exceptional set and the limit $A$-exceptional set.
We obtain the first results on convergence rates in the Prokhorov metric for the weak invariance principle (functional central limit theorem) for deterministic dynamical systems. Our results hold for uniformly expanding/hyperbolic (Axiom A) systems, as well as nonuniformly expanding/hyperbolic systems such as dispersing billiards, Henon-like attractors, Viana maps and intermittent maps. As an application, we obtain convergence rates for deterministic homogenization in multiscale systems.
In this note we study the limiting behaviour of real valued functions on hyperbolic groups as we travel along typical geodesic rays in the Gromov boundary of the group. Our results apply to group homomorphisms, certain quasimorphisms and to the displacement functions associated to convex cocompact group actions on CAT$(-1)$ metric spaces.
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 …
We study how physical measures vary with the underlying dynamics in the open class of $C^r$, $r>1$, strong partially hyperbolic diffeomorphisms for which the central Lyapunov exponents of every Gibbs $u$-state is positive. If transitive, such a diffeomorphism has a unique physical measure that persists and varies continuously with the dynamics. A main ingredient in the proof is a new Pliss-like Lemma which, under the right circumstances, yields frequency of hyperbolic times close to one. Another novelty is the introduction of a new characterization of Gibbs $cu$-states. Both of these may be of…
We prove an almost sure invariance principle that is valid for general classes of nonuniformly expanding and nonuniformly hyperbolic dynamical systems. Discrete time systems and flows are covered by this result. In particular, the result applies to the planar periodic Lorentz flow with finite horizon. Statistical limit laws such as the central limit theorem, the law of the iterated logarithm, and their functional versions, are immediate consequences.
