For exponential mappings such that the orbit of the only singular value 0 is bounded, it is shown that no integrable density invariant under the dynamics exists on the complex plane.
We show that the set of Misiurewicz maps has Lebesgue measure zero in the parameter space of rational maps for any fixed degree greater than or equal to 2.
In this paper we investigate the perturbation properties of rational Misiurewicz maps, when the Julia set is the whole sphere (the other case is treated in [1]). In particular, we show that if f is a Misiurewicz map and not a flexible Lattes map, then we can find a hyperbolic map arbitrarily close to f.
We show that the set of Misiurewicz maps has Lebesgue measure zero in the space of rational functions for any fixed degree greater than or equal to 2 (generalising the earlier version math.DS/0701382).
We consider skew-products of quadratic maps over certain Misiurewicz-Thurston maps and study their statistical properties. We prove that, when the coupling function is a polynomial of odd degree, such a system admits two positive Lyapunov exponents almost everywhere and a unique absolutely continuous invariant probability measure.
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 the family of holomorphic maps e^z+c and show that fibers of postcritically finite parameters are trivial. This can be seen as the first and simplest class of non-escaping parameters for which we can obtain results about triviality of fibers in the exponential family.
Let $E_{\la}(z)=\la {\rm exp}(z), \ λ\in \mathbb C$ be the complex exponential family. For all functions in the family there is a unique asymptotic value at 0 (and no critical values). For a fixed $\la$, the set of points in $\mathbb C$ with orbit tending to infinity is called the escaping set. We prove that the escaping set of $E_{\la}$ with $\la$ Misiurewicz (that is, a parameter for which the orbit of the singular value is strictly preperiodic) is a connected set.
We define a hyperbolic renormalizations suitable for maps of small determinant, with uniform bounds for large periods. The techniques involve an improvement of the celebrated Palis-Takens renormalization and normal forms (fibered linearizations). These techniques are useful to study the dynamics of Hénon like maps and the geometry of their parameter space.
This paper continues discussions in the author's previous paper about the Misiurewicz polynomials defined for a family of degree $d \ge 2$ rational maps with an automorphism group containing the cyclic group of order $d$. In particular, we extend the sufficient conditions that the Misiurewicz polynomials are irreducible over $\mathbb{Q}$. We also prove that the Misiurewicz polynomials always have an irreducible factor of large degree.
Given a family of polynomial-like maps of large topological degree, we relate the presence of Misiurewicz parameters to a growth condition of the postcritical volume. This allows us to generalize to this setting the theory of stability and bifurcation developed by Berteloot, Dupont and the author for endomorphisms of $\mathbb{P}^k$.
In this paper, we consider a one-parameter family of degree $d\ge 2$ rational maps with an automorphism group containing the cyclic group of order $d$. We construct a polynomial whose roots correspond to parameter values for which the corresponding map is post-critically finite with a certain dynamical portrait. Then we prove that the polynomial is irreducible in certain cases.
We prove an abstract result establishing that one can obtain the convergence of Rare Events Point Processes counting the number of orbital visits to a sequence of shrinking target sets from the convergence of corresponding point processes for some induced system and matching shadowing shrinking sets inside the base of the inducing scheme. We apply this result to prove a dichotomy for two classes of non-uniformly hyperbolic interval maps: Misiurewicz quadratic maps and doubly intermittent maps. The dichotomy holds in the sense that the shrinking target sets may accumulate in any individual poin…
The behavior under iteration of the critical points of polynomial maps plays an essential role in understanding its dynamics. We study the special case where the forward orbits of the critical points are finite. Thurston's theorem tells us that fixing a particular critical portrait and degree leads to only finitely may possible polynomials (up to equivalence) and that, in many cases, their defining equations intersect transversely. We provide explicit algebraic formulae for the parameters where the critical points of the unicritical polynomials and bicritical cubic polynomials have a specified…
The Julia set of the exponential family $E_κ:z\mapstoκe^z$, $κ>0$ was shown to be the entire complex plane when $κ>1/e$ essentially by Misiurewicz. Later, Devaney and Krych showed that for $0<κ\leq1/e$ the Julia set is an uncountable union of pairwise disjoint simple curves tending to infinity. Bergweiler generalized the result of Devaney and Krych for a three dimensional analogue of the exponential map called the Zorich map. We show that the Julia set of certain Zorich maps with symmetry is the entire $\mathbb{R}^3$ generalizing Misiurewicz's result. Moreover, we show that the periodic points…
Shift maps and statistical invariants for some dynamical systems
Institute of Applied Mathematics, Faculty of Applied Physics and Mathematics, Gdańsk University of Technology(格但斯克理工大学应用物理与数学学院应用数学研究所);School of Mathematical Sciences and Big Data, Anhui University of Science and Technology(安徽理工大学数学科学与大数据学院)
We introduce the notion of a one-way horseshoe and show that the polynomial entropy of an interval map is given by one-way horseshoes of iterates of the map, obtaining in such a way an analogue of Misiurewicz's theorem on topological entropy and standard `two-way' horseshoes. Moreover, if the map is of Sharkovskii type 1 then its polynomial entropy can also be computed by what we call chains of essential intervals. As a consequence we get a rigidity result that if the polynomial entropy of an interval map is finite, then it is an integer. We also describe the possible values of polynomial entr…
The paper deals with Newton maps of complex exponential functions and a surgery tool developed by P. Haïssinsky. The concept of "Postcritically minimal" Newton maps of complex exponential functions are introduced, analogous to postcritically finite Newton maps of polynomials. The dynamics preserving mapping is constructed between the space of postcritically finite Newton maps of polynomials and the space of postcritically minimal Newton maps of complex exponential functions.
We give a combinatorial classification of postsingularly finite exponential maps in terms of external addresses starting with the entry 0. This is an extension of the classification results for critically preperiodic polynomials \cite{BFH} to exponential maps. Our proof relies on the topological characterization of postsingularly finite exponential maps given recently in \cite{HSS}. Our results illustrate once again the fruitful interplay between combinatorics, topology and complex structure which has often been successful in complex dynamics.
We consider random dynamical systems on manifolds modeled by a skew product which have certain geometric properties and whose measures satisfy quenched decay of correlations at a sufficient rate. We prove that the limiting distribution for the hitting and return times to geometric balls are both exponential for almost every realisation. We then apply this result to random $C^2$ maps of the interval and random parabolic maps on the unit interval.
We obtain a unique, canonical one-to-one correspondence between the space of marked postcritically finite Newton maps of polynomials and the space of postcritically minimal Newton maps of entire maps that take the form $p(z) \text{exp}(q(z))$ for $p(z)$, $q(z)$ polynomials and $\text{exp}(z)$, the complex exponential function. This bijection preserves the dynamics and embedding of Julia sets and is induced by a surgery tool developed by Haïssinsky.
We show that for entire maps of the form $z \mapsto λ\exp(z)$ such that the orbit of zero is bounded and such that Lebesgue almost every point is transitive, no absolutely continuous invariant probability measure can exist. This answers a long-standing open problem.
We show that repelling periodic points are landing points of periodic rays for exponential maps whose singular value has bounded orbit. For polynomials with connected Julia sets, this is a celebrated theorem by Douady, for which we present a new proof. In both cases we also show that points in hyperbolic sets are accessible by at least one and at most finitely many rays. For exponentials this allows us to conclude that the singular value itself is accessible.
We relate the properties of the postsingular set for the exponential family to the questions of stability. We calculate the action of the Ruelle operator for the exponential family. We prove that if the asymptotic value is a summable point and its orbit satisfies certain topological conditions, the map is unstable hence there are no Beltrami differentials in the Julia set. Also we show that if the postsingular set is a compact set, then the singular value is summable.
We prove exponential contraction of renormalization along hybrid classes of infinitely renormalizable unimodal maps (with arbitrary combinatorics), in any even degree $d$. We then conclude that orbits of renormalization are asymptotic to the full renormalization horseshoe, which we construct. Our argument for exponential contraction is based on a precompactness property of the renormalization operator ("beau bounds"), which is leveraged in the abstract analysis of holomorphic iteration. Besides greater generality, it yields a unified approach to all combinatorics and degrees: there is no need …
We show that an exponential map $f_c(z)=e^z+c$ whose singular value $c$ is combinatorially non-recurrent and non-escaping is uniquely determined by its combinatorics, i.e. the pattern in which its dynamic rays land together. We do this by constructing puzzles and parapuzzles in the exponential family. We also prove a theorem about hyperbolicity of the postsingular set in the case that the singular value is non-recurrent. Finally, we show that boundedness of the postsingular set implies combinatorial non-recurrence if $c$ is in the Julia set.
We show that genuinely higher rank expanding actions of abelian semi-groups on compact manifolds are $C^{\infty}$-conjugate to affine actions on infra-nilmanifolds. This is based on the classification of expanding diffeomorphisms up to \holder conjugacy by Gromov and Shub, and is similar to recent work on smooth classification of higher rank Anosov actions on tori and nilmanifolds. To prove regularity of the conjugacy in the higher rank setting, we establish exponential mixing of solenoid actions induced from semi-group actions by nilmanifold endomorphisms, a result of independent interest. We…
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 consider two examples of Viana maps for which the base dynamics has singularities (discontinuities or critical points) and show the existence of a unique absolutely continuous invariant probability measure and related ergodic properties such as stretched exponential decay of correlations and stretched exponential large deviations.
We prove a number of results concerning the Hausdorff and packing dimension of sets of points which escape (at least in average) to infinity at a given rate under non-autonomous iteration of exponential maps. In particular, we generalize the results proved by Sixsmith in 2016 and answer his question on annular itineraries for exponential maps.
In this paper we deal with the following family of exponential maps $(f_λ:z\mapsto λ(e^z-1))_{λ\in [1,+\infty)}$. Denoting $d(λ)$ the hyperbolic dimension of $f_λ$. It is known that the function $λ\mapsto d(λ)$ is real analytic in $(1,+\infty)$, and that it is continuous in $[1,+\infty)$. In this paper we prove that this map is C$^1$ on $[1,+\infty)$, with $d'(1^+)=0$. Moreover, depending on the value of $d(1)$, we give estimates of the speed of convergence towards 0.
We prove that a class of one-dimensional maps with an arbitrary number of non-degenerate critical and singular points admits an induced Markov tower with exponential return time asymptotics. In particular the map has an absolutely continuous invariant probability measure with exponential decay of correlations for Hölder observations.
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.
For a sequence $(λ_n)$ of positive real numbers we consider the exponential functions $f_{λ_n} (z) = λ_n e^z$ and the compositions $F_n = f_{λ_n} \circ f_{λ_{n-1}} \circ ... \circ f_{λ_1}$. For such a non-autonomous family we can define the Fatou and Julia sets analogously to the usual case of autonomous iteration. The aim of this document is to study how the Julia set depends on the sequence $(λ_n)$. Among other results, we prove the Julia set for a random sequence $\{λ_n \}$, chosen uniformly from a neighbourhood of $\frac{1}{e}$, is the whole plane with probability $1$. We also prove the Ju…
We define two classes of topological infinite degree covering maps modeled on two families of transcendental holomorphic maps. The first, which we call exponential maps of type $(p,q)$, are branched covers and is modeled on transcendental entire maps of the form $P e^{Q}$, where $P$ and $Q$ are polynomials of degrees $p$ and $q$. The second is the class of universal covering maps from the plane to the sphere with two removed points modeled on transcendental meromorphic maps with two asymptotic values. The problem we address is to give a combinatorial characterization of the holomorphic maps co…
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…
How can we interpret the infimum of Lipschitz constants in a conjugacy class of interval maps? For positive entropy maps, the exponential of the topological entropy gives a well-known lower bound. We show that for piecewise monotone interval maps as well as for $C^{\infty}$ interval maps, these two quantities are equal, but for countably piecewise monotone maps, the inequality can be strict. Moreover, in the topologically mixing and Markov case, we characterize the infimum of Lipschitz constants as the exponential of the Salama entropy of a certain reverse Markov chain associated with the map.…
We investigate the set $I$ of parameters $κ$ for which the singular value of $z\mapsto e^z+κ$ converges to $\infty$. The set $I$ consists of uncountably many parameter rays, plus landing points of some of these rays. We show that the parameter rays have Hausdorff dimension 1, while the ray endpoints in $I$ alone have dimension 2. Analogous results were known for dynamical planes of exponential maps; our result shows that this also holds in parameter space.
We study the statistical properties of piecewise expanding maps in the general setting of metric measure spaces. We provide sufficient conditions for exponential mixing of such systems with explicit estimates on the constants. We also provide sufficient conditions for the existence of inducing schemes where the base transformation is Gibbs-Markov and the return times have exponential tails. Such structures can then be used to deduce finer statistical properties.
We consider random iteration of exponential entire functions, i.e. of the form ${\mathbb C}\ni z\mapsto f_λ(z):=λe^z\in\mathbb C$, $λ\in{\mathbb C}\setminus \{0\}$. Assuming that $λ$ is in a bounded closed interval $[A,B]$ with $A>1/e$, we deal with random iteration of the maps $f_λ$ governed by an invertible measurable map $θ:Ω\toΩ$ preserving a probability ergodic measure $m$ on $Ω$, where $Ω$ is a measurable space. The link from $Ω$ to exponential maps is then given by an arbitrary measurable function $η:Ω\longmapsto [A,B]$. We in fact work on the cylinder space $Q:={\mathbb C}/\sim$, where…
We study the dynamics of the renormalization operator for multimodal maps. In particular, we prove the exponential convergence of this operator for infinitely renormalizable maps with same bounded combinatorial type.
We prove the exponential decay of correlations for C^α-observables (0<α=<2) for generic birational maps of P^k à la Bedford-Diller. In the particular case of regular birational maps, we give a better estimate of the speed of the decay, getting results as sharp as Dinh's results for Hénon maps.
We study the exponential maps induced by Sobolev type right-invariant (weak) Riemannian metrics of order $k\ge1$ on the Lie group of smooth, orientation preserving diffeomorphisms of the circle. We prove that each of them defines an {\em analytic} Fréchet chart of the identity.
Let $f$ be a Hénon-Sibony map (regular polynomial automorphism) of $\mathbb{C}^k$ and let $μ$ be the equilibrium measure of $f$. In this paper we prove that $μ$ is exponentially mixing for plurisubharmonic test functions.
We show that for many complex parameters a, the set of points that converge to infinity under iteration of the exponential map f(z)=e^z+a is connected. This includes all parameters for which the singular value escapes to infinity under iteration.