36 pages, 1 figure. After many PhD students and colleagues having pointed several errors in the statements and proofs, this is a correction to published article answering those comments. List of main changes in a new last section
发表信息：
Journal of Statistical Physics, v. 125, p. 415-457, 2007
We obtain large deviation results for non-uniformly expanding maps with non-flat singularities or criticalities and for partially hyperbolic non-uniformly expanding attracting sets. That is, given a continuous function we consider its space average with respect to a physical measure and compare this with the time averages along orbits of the map, showing that the Lebesgue measure of the set of points whose time averages stay away from the space average decays to zero exponentially fast with the number of iterates involved. As easy by-products we deduce escape rates from subsets of the basins of physical measures for these types of maps. The rates of decay are naturally related to the metric entropy and pressure function of the system with respect to a family of equilibrium states. The corrections added to the published version of this text appear in bold; see last section for a list of changes
In this paper we construct uniformly expanding random walks on smooth manifolds. In higher dimensions, our definition of uniform expansion measures the growth of subspaces rather than single vectors. Potrie showed that given any open set $U$ of $\text{Diff}^\infty_{vol}(\mathbb{T}^2)$, there exists an uniformly expanding random walk $μ$ supported on a finite subset of $U$. In this paper we extend those results to closed manifolds of any dimension, building on the work of Potrie and Chung to build a robust class of examples.
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.
Noise-induced order is the phenomenon by which the chaotic regime of a deterministic system is destroyed in the presence of noise. In this manuscript, we establish noise-induced order for a natural class of systems of dimension $\geq 2$ consisting of a fiber-contracting skew product a over nonuniformly-expanding 1-dimensional system.
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 show that a strengthened version of the Collet-Eckmann condition for multimodal maps is topologically invariant. In particular, if f is non-uniformly expanding and the critical points are generic with respect to the absolutely continuous invariant measure, then any map g topologically conjugate to f is also non-uniformly expanding.
Given an ergodic measure with positive entropy and only positive Lyapunov exponents, its dynamical quantifiers can be approximated by means of quantifiers of some family of uniformly expanding repellers. Here non-uniformly expanding maps are studied that are $C^{1+β}$ smooth outside a set of possibly critical or singular points.
We consider a robust class of random non-uniformly expanding local homeomorphisms and Hölder continuous potentials with small variation. For each element of this class we develop the Thermodynamical Formalism and prove the existence and uniqueness of equilibrium states among non-uniformly expanding measures. Moreover, we show that these equilibrium states and the random topological pressure vary continuously in this setting.
We prove that solutions $u$ of the equation $f=u-u\circ T$ are automatically Holder continuous when $f$ is Holder continuous, and $T$ is non uniformly expanding and Markov. This result applies in particular to Young towers and to intermittent maps.
We consider families of transformations in multidimensional Riemannian manifolds with non-uniformly expanding behavior. We give sufficient conditions for the continuous variation (in the $L^1$-norm) of the densities of absolutely continuous (with respect to the Lebesgue measure) invariant probability measures for those transformations.
In the setting of intermittent Pomeau-Manneville maps with time dependent parameters, we show a functional correlation bound widely useful for the analysis of the statistical properties of the model. We give two applications of this result, by showing that in a suitable range of parameters the bound implies the conditions of the normal approximation methods of Stein and Rio. For a single Pomeau-Manneville map belonging to this parameter range, both methods then yield a multivariate central limit theorem with a rate of convergence.
We introduce a new induction scheme for non-uniformly expanding maps $f$ of compact Riemannian manifolds, proving that the existence of a Gibbs-Markov-Young structure is a necessary condition for $f$ to preserve an absolutely continuous probability with all its Lyapunov exponents positive.
We study the expanding properties of random perturbations of regular interval maps satisfying the summability condition of exponent one. Under very general conditions on the interval maps and perturbation types, we prove strong stochastic stability.
We construct equilibrium states, including measures of maximal entropy, for a large (open) class of non-uniformly expanding maps on compact manifolds. Moreover, we study uniqueness of these equilibrium states, as well as some of their ergodic properties.
We prove that, in Young towers with sufficiently small tails, the speed in the central limit theorem is O(1/\sqrt{n}), and the local limit theorem holds. This implies the same results for many non uniformly expanding dynamical systems, namely those for which a tower with sufficiently fast returns can be constructed.
We give both sufficient conditions and necessary conditions for the stochastic stability of non-uniformly expanding maps either with or without critical sets. We also show that the number of probability measures describing the statistical asymptotic behaviour of random orbits is bounded by the number of SRB measures if the noise level is small enough. As an application of these results we prove the stochastic stability of certain classes of non-uniformly expanding maps introduced in \cite{V} and \cite{ABV}.
We obtain a exponential large deviation upper bound for continuous observables on suspension semiflows over a non-uniformly expanding base transformation with non-flat singularities or criticalities, where the roof function defining the suspension behaves like the logarithm of the distance to the singular/critical set of the base map. That is, given a continuous function we consider its space average with respect to a physical measure and compare this with the time averages along orbits of the semiflow, showing that the Lebesgue measure of the set of points whose time averages stay away from t…
We discuss recent results on decay of correlations for non-uniformly expanding maps. Throughout the discussion, we address the question of why different dynamical systems have different rates of decay of correlations and how this may reflect underlying geometrical characteristics of the system.
We consider random perturbations of non-uniformly expanding maps, possibly having a non-degenerate critical set. We prove that, if the Lebesgue measure of the set of points failing the non-uniform expansion or the slow recurrence to the critical set at a certain time, for almost all random orbits, decays in a (stretched) exponential fashion, then the decay of correlations along random orbits is stretched exponential, up to some waiting time. As applications, we obtain almost sure stretched exponential decay of random correlations for Viana maps, as for a class of non-uniformly expanding local …
We study the existence, uniqueness and rate of decay of correlation of equilibrium measures associated to robust classes of non-uniformly expanding local diffeomorphisms and Hölder continuous potentials. The approach used in this paper is the spectral analysis of the Ruelle-Perron-Frobenius transfer operator. More precisely, we combine the expanding features of the eigenmeasures of the transfer operator with a Lasota-Yorke type inequality to prove the existence of an unique equilibrium measure with fast decay of correlations.
For uniformly expanding maps on the interval, analogous versions of the Berry-Esséen theorem are known but only with an unexplicit upper bound in $O(1/\sqrt{n})$ without any constants being specified. In this paper, we use the recent complex cone technique to prove an explicit Berry-Esséen estimate with a reasonable constant for these maps. Our method is not limited to maps on the interval however and should apply to many situations.
We consider non-uniformly expanding maps on compact Riemannian manifolds of arbitrary dimension, possibly having discontinuities and/or critical sets, and show that under some general conditions they admit an induced Markov tower structure for which the decay of the return time function can be controlled in terms of the time generic points need to achieve some uniform expanding behavior. As a consequence we obtain some rates for the decay of correlations of those maps and conditions for the validity of the Central Limit Theorem.
We examine uniqueness of equilibrium states for the natural extension of a topologically exact, non-uniformly expanding, local homeomorphism with a Hölder continuous potential function. We do this by applying general techniques developed by Climenhaga and Thompson, and show there is a natural condition on decompositions that guarantees that a unique equilibrium state exists. We then show how to apply these results to partially hyperbolic attractors.
We show that, for a robust ($C^2$-open) class of random non-uniformly expanding maps, there exists equilibrium states for a large class of potentials.In particular, these sytems have measures of maximal entropy. These results also give a partial answer to a question posed by Liu-Zhao. The proof of the main result uses an extension of techniques in recent works by Alves-Araújo, Alves-Bonatti-Viana and Oliveira.
We give a fairly complete characterization of the exact components of a large class of uniformly expanding Markov maps of $\mathbb{R}$. Using this result, for a class of $\mathbb{Z}$-invariant maps and finite modifications thereof, we prove certain properties of infinite mixing recently introduced by the author.
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.
We prove existence of finitely many ergodic equilibrium states for a large class of non-uniformly expanding local homeomorphisms on compact manifolds and Holder continuous potentials with not very large oscillation. No Markov structure is assumed. If the transformation is topologically mixing there is a unique equilibrium state, it is exact and satisfies a non-uniform Gibbs property. Under mild additional assumptions we also prove that the equilibrium states vary continuously with the dynamics and the potentials (statistical stability) and are also stable under stochastic perturbations of the …
This is a significantly expanded version of the survey paper "Mixing and decay of correlations in non-uniformly expanding maps: a survey of recent results" math/0301319. We discuss recent results on decay of correlations for non-uniformly expanding maps. Throughout the discussion, we address the question of why different dynamical systems have different rates of decay of correlations and how this may reflect underlying geometrical characteristics of the system. We also give detailed sketches of some results such as the existence of absolutely continuous invariant measures for Markov expanding …
We consider two classes of piecewise expanding maps $T$ of $[0,1]$: a class of uniformly expanding maps for which the Perron-Frobenius operator has a spectral gap in the space of bounded variation functions, and a class of expanding maps with a neutral fixed point at zero. In both cases, we give a large class of unbounded functions $f$ for which the partial sums of $f\circ T^i$ satisfy an almost sure invariance principle. This class contains piecewise monotonic functions (with a finite number of branches) such that: - For uniformly expanding maps, they are square integrable with respect to the…
We prove existence of equilibrium states with special properties for a class of distance expanding local homeomorphisms on compact metric spaces and continuous potentials. Moreover, we formulate a C$^1$ generalization of Pesin's Entropy Formula: all ergodic weak-SRB-like measures satisfy Pesin's Entropy Formula for $C^1$ non-uniformly expanding maps. We show that for weak-expanding maps such that $\Leb$-a.e $x$ has positive frequency of hyperbolic times, then all the necessarily existing ergodic weak-SRB-like measures satisfy Pesin's Entropy Formula and are equilibrium states for the potential…
We consider random perturbations of discrete-time dynamical systems. We give sufficient conditions for the stochastic stability of certain classes of maps, in a strong sense. This improves the main result in J. F. Alves, V. Araujo, Random perturbations of non-uniformly expanding maps, Asterisque 286 (2003), 25--62, where it was proved the convergence of the stationary measures of the random process to the SRB measure of the initial system in the weak* topology. Here, under slightly weaker assumptions on the random perturbations, we obtain a stronger version of stochastic stability: convergence…
We show some level-2 large deviation principles for rational maps satisfying a strong form of non-uniform hyperbolicity, called "Topological Collet-Eckmann". More precisely, we prove a large deviation principle for the distribution of iterated preimages, periodic points, and Birkhoff averages. For this purpose we show that each H{ö}lder continuous potential admits a unique equilibrium state, and that the pressure function can be characterized in terms of iterated preimages, periodic points, and Birkhoff averages. Then we use a variant of a general result of Kifer.
We provide the large deviation principle for higher dimensional piecewise expanding maps and by using the functional approach of Hennion and Hervé, slightly modified.
In this paper we show how to apply classical probabilistic tools for partial sums $\sum_{j=0}^{n-1}φ\circτ^j$ generated by a skew product $τ$, built over a sufficiently well mixing base map and a random expanding dynamical system. Under certain regularity assumptions on the observable $φ$, we obtain a central limit theorem (CLT) with rates, a functional CLT, an almost sure invariance principle (ASIP), a moderate deviations principle, several exponential concentration inequalities and Rosenthal type moment estimates for skew products with $α, ϕ$ or $ψ$ mixing base maps and expanding on the aver…
We prove existence of (at most denumerable many) absolutely continuous invariant probability measures for random one-dimensional dynamical systems with asymptotic expansion. If the rate of expansion (Lyapunov exponents) is bounded away from zero, we obtain finitely many ergodic absolutely continuous invariant probability measures, describing the asymptotics of almost every point. We also prove a similar result for higher-dimensional random non-uniformly expanding dynamical systems. The results are consequences of the construction of such measures for skew-products with essentially arbitrary ba…
We construct SRB measures for endomorphisms satisfying conditions far weaker than the non-uniformly expansion. As a consequence, the definition of non-uniformly expanding map can be weakened. We also prove the existence of an absolutely continuous invariant measure for local diffeomorphisms, only assuming the existence of hyperbolic times for Lebesgue almost all point of the manifold.
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 give conditions under which nonuniformly expanding maps exhibit lower bounds of polynomial type for the decay of correlations and for a large class of observables. We show that if the Lasota-Yorke type inequality for the transfer operator of a first return map are satisfied in a Banach space B, and the absolutely continuous invariant measure obtained is weak mixing, in terms of aperiodicity, then under some renewal condition, the maps have polynomial decay of correlations for observables in B. We also provide some general conditions that give aperiodicity for expanding maps in higher dimens…
For a Markov map of an interval or the circle with countably many branches and finitely many neutral periodic points, we establish conditional variational formulas for the mixed multifractal spectra of Birkhoff averages of countably many observables, in terms of the Hausdorff dimension of invariant probability measures. Using our results, we are able to exhibit new fractal-geometric results for backward continued fraction expansions of real numbers, answering in particular a question of Pollicott. Moreover, we establish formulas for multi-cusp winding spectra for the Bowen-Series maps associat…
We study the rate of decay of correlations for equilibrium states associated to a robust class of non-uniformly expanding maps where no Markov assumption is required. We show that the Ruelle-Perron-Frobenius operator acting on the space of Holder continuous observables has a spectral gap and deduce the exponential decay of correlations and the central limit theorem. In particular, we obtain an alternative proof for the existence and uniqueness of the equilibrium states and we prove that the topological pressure varies continuously. Finally, we use the spectral properties of the transfer operat…
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…
In this paper, we prove that an expanding Thurston map $f\colon S^2 \rightarrow S^2$ is asymptotically $h$-expansive if and only if it has no periodic critical points, and that no expanding Thurston map is $h$-expansive. As a consequence, for each expanding Thurston map without periodic critical points and each real-valued continuous potential on $S^2$, there exists at least one equilibrium state. For such maps, we also establish large deviation principles for iterated preimages and periodic points. It follows that iterated preimages and periodic points are equidistributed with respect to the …
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.
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 ha…
In this paper we study systems of $N$ uniformly expanding coupled maps when $N$ is finite but large. We introduce self-consistent transfer operators that approximate the evolution of measures under the dynamics, and quantify this approximation explicitly with respect to $N$. Using this result, we prove that uniformly expanding coupled maps satisfy propagation of chaos when $N\rightarrow \infty$, and characterize the absolutely continuous invariant measures for the finite dimensional system. The main working assumption is that the expansion is not too small and the strength of the interactions …
We establish bounds for the measure of deviation sets associated to continuous observables with respect to not necessarily invariant weak Gibbs measures. Under some mild assumptions, we obtain upper and lower bounds for the measure of deviation sets of some non-uniformly expanding maps, including quadratic maps and robust multidimensional non-uniformly expanding local diffeomorphisms. For that purpose, a measure theoretical weak form of specification is introduced and proved to hold for the robust classes of multidimensional nonuniformly expanding local diffeomorphisms and Viana maps.
We consider a family of skew-products of the form $(Tx, g_x(t)) : X \times \mathbb{R} \to X \times \mathbb{R}$ where $T$ is a continuous expanding Markov map and $g_x : \mathbb{R} \to \mathbb{R}$ is a family of homeomorphisms of $\mathbb{R}$. A function $u: X \to \mathbb{R}$ is said to be an invariant graph if $\mathrm{graph}(u) = \{(x,u(x)) \mid x\in X\}$ is an invariant set for the skew-product; equivalently if $u(T(x)) = g_x(u(x))$. A well-studied problem is to consider the existence, regularity and dimension-theoretic properties of such functions, usually under strong contraction or expans…
