We study the problem of classifying stationary measures and orbit closures for non-abelian action on a surface with a given smooth invariant measure. Using a result of Brown and Rodriguez Hertz, we show that under a certain finite verifiable average growth condition, the only nonatomic stationary measure is the given smooth invariant measure, and every orbit closure is either finite or dense. Moreover, every point with infinite orbit equidistributes on the surface with respect to the smooth invariant measure. This is analogous to the results of Benoist-Quint and Eskin-Lindenstrauss in the homogeneous setting, and the result of Eskin-Mirzakhani in the setting of moduli spaces of translation surfaces. We then apply this result to two concrete settings, namely discrete perturbation of the standard map and Out($F_2$)-action on a certain character variety. We verify the growth condition analytically in the former setting, and verify numerically in the latter setting.
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.
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 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.
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 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 …
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 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 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 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 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 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 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 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 o…
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 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 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…
In this paper we study the ergodic theory of a robust non-uniformly expanding maps where no Markov assumption is required. We prove that the topological pressure is differentiable as a function of the dynamics and analytic with respect to the potential. Moreover we not only prove the continuity of the equilibrium states and their metric entropy as well as the differentiability of the maximal entropy measure and extremal Lyapunov exponents with respect to the dynamics. We also prove a local large deviations principle and central limit theorem and show that the rate function, mean and variance v…
We consider the general question of estimating decay of correlations for non-uniformly expanding maps, for classes of observables which are much larger than the usual class of Holder continuous functions. Our results give new estimates for many non-uniformly expanding systems, including Manneville-Pomeau maps, many one-dimensional systems with critical points, and Viana maps. In many situations, we also obtain a Central Limit Theorem for a much larger class of observables than usual. Our main tool is an extension of the coupling method introduced by L.-S. Young for estimating rates of mixing o…
We consider the transfer operators of non-uniformly expanding maps for potentials of various regularity, and show that a specific property of potentials ("flatness") implies a Ruelle-Perron-Frobenius Theorem and a decay of the transfer operator of the same speed than entailed by the constant potential. The method relies neither on Markov partitions nor on inducing, but on functional analysis and duality, through the simplest principles of optimal transportation. As an application, we notably show that for any map of the circle which is expanding outside an arbitrarily flat neutral point, the s…
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 study the spectrum of transfer operators associated to various dynamical systems. Our aim is to obtain precise information on the discrete spectrum. To this end we propose a unitary approach. We consider various settings where new information can be obtained following different branches along the proposed path. These settings include affine expanding Markov maps, uniformly expanding Markov maps, non-uniformly expanding or simply monotone maps, hyperbolic diffeomorphisms. We believe this approach could be greatly generalized.
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 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 provide a general framework to study differentiability of SRB measures for one dimensional non-uniformly expanding maps. Our technique is based on inducing the non-uniformly expanding system to a uniformly expanding one, and on showing how the linear response formula of the non-uniformly expanding system is inherited from the linear response formula of the induced one. We apply this general technique to interval maps with a neutral fixed point (Pomeau-Manneville maps) to prove differentiability of the corresponding SRB measure. Our work covers systems that admit a finite SRB measure and it …
We use Ulam's method to provide rigorous approximation of diffusion coefficients for uniformly expanding maps. An algorithm is provided and its implementation is illustrated using Lanford's map.
