We discuss the space of complex exponential maps $\Ek\colon z\mapsto e^{z}+κ$. We prove that every hyperbolic component $W$ has connected boundary, and there is a conformal isomorphism $Φ_W\colon W\to\half^-$ which extends to a homeomorphism of pairs $Φ_W\colon(\ovl W,W)\to(\ovl\half^-,\half^-)$. This solves a conjecture of Baker and Rippon, and of Eremenko and Lyubich, in the affirmative. We also prove a second conjecture of Eremenko and Lyubich.
We prove exponential decay of correlations for a class of $C^{1+α}$ uniformly hyperbolic skew product flows, subject to a uniform nonintegrability condition. In particular, this establishes exponential decay of correlations for an open set of geometric Lorenz attractors. As a special case, we show that the classical Lorenz attractor is robustly exponentially mixing.
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…
The aim of this paper is to establish exponential mixing of frame flow for the measure of maximal entropy on a convex cocompact hyperbolic manifold. Consequences include results on the decay of matrix coefficients and on effective equidistribution of holonomies. The main technical point is a spectral bound on certain twisted transfer operators, which we obtain by building on Dolgopyat's framework. This extends and strengthens earlier work of Dolgopyat, Stoyanov, Pollicott, and others.
For non uniformly hyperbolic maps of the interval with exponential decay of correlations we prove that the law of closest return to a given point when suitably normalized is almost surely asymptotically exponential. A similar result holds when the reference point is the initial point of the trajectory. We use the framework for non uniformly hyperbolic dynamical systems developed by L.S.Young.
A diffeomorphism f is called super exponential divergent if for every r>1, the lower limit of #Per_n(f)/r^n diverges to infinity as n tends to infinity, where Per_n(f) is the set of all periodic points of f with period n. This property is stronger than the usual super exponential growth of the number of periodic points. We show that for a three dimensional manifold M, there exists an open subset O of Diff^1(M) such that diffeomorphisms with super exponential divergent property form a dense subset of O in the C^1-topology. A relevant result of non super exponential divergence for diffeomorphism…
We present here a construction of horseshoes for any $\mathcal{C}^{1+α}$ mapping $f$ preserving an ergodic hyperbolic measure $μ$ with $h_μ(f)>0$ and then deduce that the exponential growth rate of the number of periodic points for any $\mathcal{C}^{1+α}$ mapping $f$ is greater than or equal to $h_μ(f)$. We also prove that the exponential growth rate of the number of hyperbolic periodic points is equal to the hyperbolic entropy. The hyperbolic entropy means the entropy resulting from hyperbolic measures.
We obtain a characterization of two classes of dynamics with nonuniformly hyperbolic behavior in terms of an admissibility property. Namely, we consider exponential dichotomies with respect to a sequence of norms and nonuniformly hyperbolic sets. We note that the approach to establishing exponential bounds along the stable and the unstable directions differs from the standard technique of substituting test sequences. Moreover, we obtain the bounds in a single step.
Let $Γ$ be a geometrically finite discrete subgroup in $\operatorname{SO}(d+1,1)^{\circ}$ with parabolic elements. We establish exponential mixing of the geodesic flow on the unit tangent bundle $\operatorname{T}^1(Γ\backslash \mathbb{H}^{d+1})$ with respect to the Bowen-Margulis-Sullivan measure, which is the unique probability measure on $\operatorname{T}^1(Γ\backslash \mathbb{H}^{d+1})$ with maximal entropy. As an application, we obtain a resonance free region for the resolvent of the Laplacian on $Γ\backslash \mathbb{H}^{d+1}$. Our approach is to construct a coding for the geodesic flow an…
We prove exponential decay of correlations for a realistic model of piecewise hyperbolic flows preserving a contact form, in dimension three. This is the first time exponential decay of correlations is proved for continuous-time dynamics with singularities on a manifold. Our proof combines the second author's version of Dolgopyat's estimates for contact flows and the first author's work with Gouëzel on piecewise hyperbolic discrete-time dynamics. (Presentation revised.)
We consider a discrete dynamical system on a pseudo-Riemannian manifold and we determine the concept of a hyperbolic set for it. We insert a condition in the definition of a hyperbolic set which implies to the unique decomposition of a part of tangent space (at each point of this set) to two unstable and stable subspaces with exponentially increasing and exponentially decreasing dynamics on them. We prove the continuity of this decomposition via the metric created by a torsion-free pseudo-Riemannian connection. We present a global attractor for a diffeomorphism on an open submanifold of the hy…
We investigate boundedness of hyperbolic components in the moduli space of Newton maps. For quartic maps, (i) we prove hyperbolic components possessing two distinct attracting cycles each of period at least two are bounded, and (ii) we characterize the possible points on the boundary at infinity for some other types of hyperbolic components. For general maps, we prove hyperbolic components whose elements have fixed superattracting basins mapping by degree at least three are unbounded.
We give formulas for the numbers of type II and type IV hyperbolic components in the space of quadratic rational maps, for all fixed periods of attractive cycles.
We prove exponential convergence to time-periodic states of the solutions of time-periodic Hamilton-Jacobi equations on the torus, assuming that the Aubry set is the union of a finite number of hyperbolic periodic orbits of the the Euler Lagrange flow. The period of limiting solutions is the least common multiple of the periods of the orbits in the Aubry set. This extends a result that we obtained in the autonomous case.
We prove that small nonlinear perturbations of random linear dynamics admitting a tempered exponential dichotomy have a random version of the shadowing property. As a consequence, if the exponential dichotomy is uniform, we get that the random linear dynamics is Hyers-Ulam stable. Moreover, we apply our results to study the conservation of Lyapunov exponents of the random linear dynamics subjected to nonlinear perturbations.
There exists a $C^2$-open and $C^1$-dense subset of vector fields exhibiting singular-hyperbolic attracting sets (with codimension-two stable bundle), in any $d$-dimensional compact manifold ($d\ge3$), which mix exponentiallu with respect to any physical/SRB invariant probability measure. More precisely, we show that given any connected singular-hyperbolic attracting set for a $C^2$-vector field $X$, there exists a $C^1$-close multiple of $X$ of class $C^2$, generating a topologically equivalent flow, which is robustly exponentially mixing with respect to any physical measure for all vector fi…
Markov partitions persisting in a neighbourhood of hyperbolic components of rational maps were constructed under the condition that closures of Fatou components are disjoint in \cite{R1}. Given such a partition, we characterize all nearby hyperbolic components in terms of the symbolic dynamics. This means we can count them, and also obtain topological information. We also determine extra conditions under which all nearby type IV hyperbolic components are given by matings. These are probably the first known results of this type.
We construct a smooth hyperbolic volume preserving diffeomorphism on a four dimensional compact Riemannian manifold which has countably many ergodic components and is arbitrarily close to the identity map.
We count the number of hyperbolic components of period n that lie on the main molecule of the Mandelbrot set. We give a formula for how to compute the number of these hyperbolic components of period n in terms of the divisors of n and in the prime power case, an explicit formula is derived.
For a class of piecewise hyperbolic maps in two dimensions, we propose a combinatorial definition of topological entropy by counting the maximal, open, connected components of the phase space on which iterates of the map are smooth. We prove that this quantity dominates the measure theoretic entropies of all invariant probability measures of the system, and then construct an invariant measure whose entropy equals the proposed topological entropy. We prove that our measure is the unique measure of maximal entropy, that it is ergodic, gives positive measure to every open set, and has exponential…
Let ${\cal H}$ be a hyperbolic component of quadratic rational maps possessing two distinct attracting cycles. We show that ${\cal H}$ has compact closure in moduli space if and only if neither attractor is a fixed point.
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.
Consider polynomial maps $f:\C\to\C$ of degree $d\ge 2$, or more generally polynomial maps from a finite union of copies of $\C$ to itself. In the space of suitably normalized maps of this type, the hyperbolic maps form an open set called the hyperbolic locus. The various connected components of this hyperbolic locus are called hyperbolic components, and those hyperbolic components with compact closure (or equivalently those contained in the "connectedness locus") are called bounded hyperbolic components. It is shown that each bounded hyperbolic component is a topological cell containing a uni…
We prove that the hyperbolic components of bicritical rational maps having two distinct attracting cycles each of period at least two are bounded in the moduli space of bicritical rational maps. Our arguments rely on arithmetic methods.
In one-dimensional real and complex dynamics, a map whose post-singular (or post-critical) set is bounded and uniformly repelling is often called a Misiurewicz map. In results hitherto, perturbing a Misiurewicz map is likely to give a non-hyperbolic map, as per Jakobson's Theorem for unimodal interval maps. This is despite genericity of hyperbolic parameters (at least in the interval setting). We show the contrary holds in the complex exponential family $z \mapsto λ\exp(z)$: Misiurewicz maps are Lebesgue density points for hyperbolic parameters. As a by-product, we also show that Lyapunov expo…
We consider pairs of toral automorphisms (A,B) satisfying an invariant cone property. At each iteration, A acts with probability p and B with probability 1-p. We prove exponential decay of correlations for a class of Holder continuous observables.
We introduce a Riemannian metric on certain hyperbolic components in the moduli space of degree $d \ge 2$ polynomials. Our metric is constructed by considering the measure-theoretic entropy of a polynomial with respect to some equilibrium state. As applications, we show that the Hausdorff dimension function has no local maximum on such hyperbolic components. We also give a sufficient condition for a point not being a critical point of the Hausdorff dimension function.
In this paper, we use the Carathéodory Convergence Theory to prove a landing theorem of rays in hyperbolic components with rational arguments. Although the proof is done in the setting of a family of entire transcendental maps with two singular values, the method can be generalized to many other one parameter families, with some modifications.
On a compact manifold of any dimension $d\geq 3$, we show that joint non-integrability of the stable and unstable foliation of a hyperbolic attractor with one-dimensional expanding direction, for a vector field of class $C^2$, implies exponential mixing with respect to its physical measure. Consequently, the set of Axiom A vector fields which mix exponentially with respect to the physical measure of its non-trivial attractors contains a $C^1$-open and $C^2$-dense subset of the set of all Axiom A vector fields. Moreover, for codimension one $C^2$ Anosov flows in any dimension $d\geq 3$, if the …
We consider polynomial maps $f:\C\to\C$ of degree $d\ge 2$, or more generally polynomial maps from a finite union of copies of $\C$ to itself which have degree two or more on each copy. In any space $\p^{S}$ of suitably normalized maps of this type, the post-critically bounded maps form a compact subset $\cl^{S}$ called the connectedness locus, and the hyperbolic maps in $\cl^{S}$ form an open set $\hl^{S}$ called the hyperbolic connectedness locus. The various connected components $H_α\subset \hl^{S}$ are called hyperbolic components. It is shown that each hyperbolic component is a topologica…
We study the bifurcation loci of quadratic (and unicritical) polynomials and exponential maps. We outline a proof that the exponential bifurcation locus is connected; this is an analog to Douady and Hubbard's celebrated theorem that (the boundary of) the Mandelbrot set is connected. For these parameter spaces, a fundamental conjecture is that hyperbolic dynamics is dense. For quadratic polynomials, this would follow from the famous stronger conjecture that the bifurcation locus (or equivalently the Mandelbrot set) is locally connected. It turns out that a formally slightly weaker statement is …
We extend results on robust exponential mixing for geometric Lorenz attractors, with a dense orbit and a unique singularity, to singular-hyperbolic attracting sets with any number of (either Lorenz- or non-Lorenz-like) singularities and finitely many ergodic physical/SRB invariant probability measures, whose basins cover a full Lebesgue measure subset of the trapping region of the attracting set. We obtain exponential mixing for any physical probability measure supported in the trapping region and also exponential convergence to equilibrium, for a $C^2$ open subset of vector fields in any $d$-…
We consider two dimensional maps preserving a foliation which is uniformly contracting and a one dimensional associated quotient map having exponential convergence to equilibrium (iterates of Lebesgue measure converge exponentially fast to physical measure). We prove that these maps have exponential decay of correlations over a large class of observables. We use this result to deduce exponential decay of correlations for the Poincare maps of a large class of singular hyperbolic flows. From this we deduce logarithm laws for these flows.
Let $\mathcal{M}=Γ\backslash\mathbb{H}^{d+1}$ be a geometrically finite hyperbolic manifold with critical exponent exceeding $d/2$. We obtain a precise asymptotic expansion of the matrix coefficients for the geodesic flow in $L^2(\mathrm{T}^1(\mathcal{M}))$, with exponential error term essentially as good as the one given by the spectral gap for the Laplace operator on $L^2(\mathcal{M})$ due to Lax and Phillips. Combined with the work of Bourgain, Gamburd, and Sarnak and its generalization by Golsefidy and Varju on expanders, this implies uniform exponential mixing for congruence covers of $\m…
As a final work to establish that frame flows for geometrically finite hyperbolic manifolds of arbitrary dimensions are exponentially mixing with respect to the Bowen-Margulis-Sullivan measure, this paper focuses on the case with cusps. To prove this, we utilize the countably infinite symbolic coding of the geodesic flow of Li-Pan and perform a frame flow version of Dolgopyat's method à la Sarkar-Winter and Tsujii-Zhang. This requires the local non-integrability condition and the non-concentration property but the challenge in the presence of cusps is that the latter holds only on a large prop…
In this article, we study the hyperbolic components of McMullen maps. We show that the boundaries of all hyperbolic components are Jordan curves. This settles a problem posed by Devaney. As a consequence, we show that cusps are dense on the boundary of the unbounded hyperbolic component. This is a dynamical analogue of McMullen's theorem that cusps are dense on the Bers' boundary of Teichmüller space.
In the space of cubic polynomials, Milnor defined a notable curve $\mathcal S_p$, consisting of cubic polynomials with a periodic critical point, whose period is exactly $p$. In this paper, we show that for any integer $p\geq 1$, any bounded hyperbolic component on $\mathcal{S}_p$ is a Jordan disk.
In this paper, we develop a theory on the degenerations of Blaschke products $\mathcal{B}_d$ to study the boundaries of hyperbolic components. We give a combinatorial classification of geometrically finite polynomials on the boundary of the main hyperbolic component $\mathcal{H}_d$ containing $z^d$. We show the closure $\overline{\mathcal{H}_d}$ is not a topological manifold with boundary for $d\geq 4$ by constructing self-bumps on its boundary.
The problem of stability of the optimal filter is revisited. The optimal filter (or filtering process) is the conditional probability of the current state of some stochastic process (the signal process), given both present and past values of another process (the observation process). Typically the filtering process satisfies a dynamical equation, and the question investigated here concerns the stability of this dynamics. In contrast to previous work, signal processes given by the iterations of a deterministic mapping $f$ are considered, with only the initial condition being random. While the s…
We show that an invariant Fatou component of a hyperbolic transcendental entire function is a bounded Jordan domain (in fact, a quasidisc) if and only if it contains only finitely many critical points and no asymptotic curves. We use this theorem to prove criteria for the boundedness of Fatou components and local connectivity of Julia sets for hyperbolic entire functions, and give examples that demonstrate that our results are optimal. A particularly strong dichotomy is obtained in the case of a function with precisely two critical values.
Recently Merenkov and Sabitova introduced the notion of a homogeneous planar set. Using this notion they proved a result for Sierpi${ń}$ski carpet Julia sets of hyperbolic rational maps that relates the diameters of the peripheral circles to the Hausdorff dimension of the Julia set. We extend this theorem to Julia sets (not necessarily Sierpi${ń}$ski carpets) of semi-hyperbolic rational maps, and prove a stronger version of the theorem that was conjectured by Merenkov and Sabitova.
Let F_n be families of entire functions, holomorphically parametrized by a complex manifold M. We consider those parameters in M that correspond to nonescaping-hyperbolic functions, i.e., those maps f in F_n for which the postsingular set P(f) is a compact subset of the Fatou set F(f) of f. We prove that if F_n converge to a family F in the sense of a certain dynamically sensible metric, then every nonescaping-hyperbolic component in the parameter space of F is a kernel of a sequence of nonescaping-hyperbolic components in the parameter spaces of F_n. Parameters belonging to such a kernel do n…
