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 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.
It is shown that for non-hyperbolic real quadratic polynomials topological and quasisymmetric conjugacy classes are the same. By quasiconformal rigidity, each class has only one representative in the quadratic family, which proves that hyperbolic maps are dense.
In this paper, we study hyperbolic rational maps with finitely connected Fatou sets. We construct models of post-critically finite hyperbolic tree mapping schemes for such maps, generalizing post-critically finite rational maps in the case of connected Julia set. We show they are general limits of rational maps as we quasiconformally stretch the dynamics. Conversely, we use quasiconformal surgery to show any post-critically finite hyperbolic tree mapping scheme arises as such a limit. We construct abundant examples thanks to the flexibilities of the models, and use them to construct a sequence…
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.
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.
In this article, we consider a counting problem for orbits of hyperbolic rational maps on the Riemann sphere, where constraints are placed on the multipliers of orbits. Using arguments from work of Dolgopyat, we consider varying and potentially shrinking intervals, and obtain a result which resembles a local central limit theorem for the logarithm of the absolute value of the multiplier and an equidistribution theorem for the holonomies.
Hyperbolic numbers are a variation of complex numbers, but their dynamics is quite different. The hyperbolic Mandelbrot set for quadratic functions over hyperbolic numbers is simply a filled square, and the filled Julia set for hyperbolic parameters inside the hyperbolic Mandelbrot set is a filled rectangle. For hyperbolic parameters outside the hyperbolic Mandelbrot set, the filled Julia set has 3 possible topological descriptions, if it is not empty, in contrast to the complex case where it is always a non-empty totally disconnected set. These results were proved in [1,2,4,5,6,7] and are rev…
We develop a Thurston-like theory to characterize geometrically finite rational maps, then apply it to study pinching and plumbing deformations of rational maps. We show that in certain conditions the pinching path converges uniformly and the quasiconformal conjugacy converges uniformly to a semi-conjugacy from the original map to the limit. Conversely, every geometrically finite rational map with parabolic points is the landing point of a pinching path for any prescribed plumbing combinatorics.
Let f be an infinitely-renormalizable quadratic polynomial and J_\infty be the intersection of forward orbits of "small" Julia sets of simple renormalizations of f. We prove that J_\infty contains no hyperbolic sets.
Let $f:\hat{\mathbb C}\to\hat{\mathbb C}$ be a hyperbolic rational map of degree $d\ge2$ on the Riemann sphere. We give several conditions which are equivalent to the condition for the Julia set $J_f$ to be a Cantor set. It has been known that $J_f$ is a Cantor sets if and only if there exists a positive integer $n>0$ such that $\bar{f^{-n}(U)}\subset U$ for some open topological disc $U$ containing no critical values. Let $n_f$ denote the minimal positive integer satisfying the above. The problem is whether $n_f=1$ or not. Let $S_d$ denote the shift locus of rational maps of degree $d$. We sh…
We study the affine orbifold laminations that were constructed by Lyubich and Minsky. An important question left open in their construction is whether these laminations are always locally compact. We show that this is not the case. The counterexample we construct has the property that the regular leaf space contains (many) hyperbolic leaves that intersect the Julia set; whether this can happen is itself a question raised by Lyubich and Minsky.
We prove that the canonical Thurston obstruction for a sub-hyperbolic semi-rational branched covering exists if the branched covering is not CLH-equivalent to a rational map.
We prove in this paper that the set of semi-hyperbolic rational maps has Lebesgue measure zero in the space of rational maps of the Riemann sphere for a fixed degree d at least 2. It generalises an earlier result by J. Graczyk and the author who proved the same thing in degree 2.
Consider a rational map $f$ of degree at least 2 acting on its Julia set $J(f)$, a Hölder continuous potential $ϕ: J(f)\rightarrow \R$ and the pressure $P(f,ϕ). In the case where $\sup_{J(f)}ϕ<P(f,phi)$, the uniqueness and stochastic properties of the corresponding equilibrium states have been extensively studied. In this paper we characterize those potentials $ϕ$ for which this property is satisfied for some iterate of $f$, in terms of the expanding properties of the corresponding equilibrium states. A direct consequence of this result is that for a nonuniformly hyperbolic rational map every …
We show that the topological entropy is monotonic for unimodal interval maps which are obtained from the restriction of quadratic rational maps with real coefficients. This is done by ruling out the existence of certain post-critical curves in the moduli space of aforementioned maps, and confirms a conjecture made in [Fil19] based on experimental evidence.
In 1980's, Thurston established a combinatorial characterization for post-critically finite rational maps. This criterion was then extended by Cui, Jiang, and Sullivan to sub-hyperbolic rational maps. The goal of this paper is to present a new but simpler proof of this result by adapting the argument in the proof of Thurston's Theorem.
This will is an expository description of quadratic rational maps. Sections 2 through 6 are concerned with the geometry and topology of such maps. Sections 7--10 survey of some topics from the dynamics of quadratic rational maps. There are few proofs. Section 9 attempts to explore and picture moduli space by means of complex one-dimensional slices. Section 10 describes the theory of real quadratic rational maps. For convenience in exposition, some technical details have been relegated to appendices: Appendix A outlines some classical algebra. Appendix B describes the topology of the space of r…
In this paper we consider the unfolding of saddle-node \[ X= \frac{1}{xU_a(x,y)}\Big(x(x^μ-\varepsilon)\partial_x-V_a(x)y\partial_y\Big), \] parametrized by $(\varepsilon,a)$ with $\varepsilon\approx 0$ and $a$ in an open subset $A$ of $\mathbb R^α,$ and we study the Dulac time $\mathcal T(s;\varepsilon,a)$ of one of its hyperbolic sectors. We prove (Theorem A) that the derivative $\partial_s\mathcal T(s;\varepsilon,a)$ tends to $-\infty$ as $(s,\varepsilon)\to (0^+,0)$ uniformly on compact subsets of $A.$ This result is addressed to study the bifurcation of critical periods in the Loud's fami…
We describe the behaviour at infinity of the bifurcation current in the moduli space of quadratic rational maps. To this purpose, we extend it to some closed, positive (1, 1)-current on a two-dimensional complex projective space and then compute the Lelong numbers and the self-intersection of the extended current.
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.
We study the arithmetic codings of hyperbolic automorphisms of the 2-torus, i.e. the continuous mappings acting from a certain symbolic space of sequences with a finite alphabet endowed with an appropriate structure of additive group onto the torus which preserve this structure and turn the two-sided shift into a given automorphism of the torus. This group is uniquely defined by an automorphism, and such an arithmetic coding is a homomorphism of that group onto the 2-torus. The necessary and sufficient condition of the existence of a bijective arithmetic coding is obtained; it is formulated in…
We prove that the entropy function on the moduli space of real quadratic rational maps is not monotonic by exhibiting a continuum of disconnected level sets. This entropy behavior is in stark contrast with the case of polynomial maps, and establishes a conjecture on the failure of monotonicity for bimodal real quadratic rational maps of shape $(+-+)$ which was posed in arXiv:1901.03458 based on experimental evidence.
A study of real quadratic maps with real critical points, emphasizing the effective construction of critically finite maps with specified combinatorics. We discuss the behavior of the Thurston algorithm in obstructed cases, and in one exceptional badly behaved case, and provide a new description of the appropriate moduli spaces. There is also an application to topological entropy.
Let $H^d$ be the set of all rational maps of degree $d\ge 2$ on the Riemann sphere which are expanding on Julia set. We prove that if $f\in H^d$ and all or all but one critical points (or values) are in the immediate basin of attraction to an attracting fixed point then there exists a polynomial in the component $H(f)$ of $H^d$ containing $f$. If all critical points are in the immediate basin of attraction to an attracting fixed point or parabolic fixed point then $f$ restricted to Julia set is conjugate to the shift on the one-sided shift space of $d$ symbols. We give exotic examples of maps …
Given a sub-hyperbolic semi-rational branched covering which is not CLH-equivalent a rational map, it must have the non-empty canonical Thurston obstruction. By using this canonical Thurston obstruction, we decompose this dynamical system in this paper into several sub-dynamical systems. Each of these sub-dynamical systems is either a post-critically finite type branched covering or a sub-hyperbolic semi-rational type branched covering. If a sub-dynamical system is a post-critically finite type branched covering with a hyperbolic orbifold, then it has no Thurston obstruction and is combinatori…
The asymptotic behavior (such as convergence to an equilibrium, convergence to a 2-cycle, and divergence to infinity) of solutions of the following multi-parameter, rational, second order difference equation x_{n+1} =(ax_{n}^3+ bx_{n}^2x_{n-1}+cx_{n}x_{n-1}^2+dx_{n-1}^3)/x_{n}^2, x_{-1},x_{0}\in R, is studied in this paper.
For a rational map $f$ and a Hölder continuous potential $ϕ$ satisfying $$ \supϕ< P(f,ϕ)$$ the uniqueness and stochastic properties of the corresponding equilibrium states have been extensively studied. For a given rational map $f$, in this paper we characterize those Hölder continuous potentials $ϕ$ for which this property is satisfied for some iterate of $f$.
We study Thurston equivalence classes of quadratic post-critically finite branched coverings. For these maps, we introduce and study invariant spanning trees. We give a computational procedure for searching for invariant spanning trees. This procedure uses bisets over the fundamental group of a punctured sphere. We also introduce a new combinatorial invariant of Thurston classes - the ivy graph.
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.
Let $K$ denote either $\mathbb{R}$ or $\mathbb{C}$. In this article, we introduce two new equivariants associated to a rational map $f\in K(z)$. These objects naturally live on a real hyperbolic space, and carry information about the action of $f$ on $\mathbb{P}^1(K)$. When $K=\mathbb{C}$ we relate the asymptotic behavior of these equivariants to the conformal barycenter of the measure of maximal entropy. We also give a complete description of these objects for rational maps of degree $d=1$. The constructions in this article are based on work of Rumely in the context of rational maps over non-…
We consider fiber-preserving complex dynamics on fiber bundles whose fibers are Riemann spheres and whose base spaces are compact metric spaces. In this context, without any assumption on (semi-)hyperbolicity, we show that the fiberwise Julia sets are uniformly perfect. From this result, we show that, for any semigroup $G$ generated by a compact family of rational maps on the Riemann sphere of degree two or greater, the Julia set of any subsemigroup of $G$ is uniformly perfect. We define the semi-hyperbolicity of dynamics on fiber bundles and show that, if the dynamics on a fiber bundle is sem…
We study critical orbits and bifurcations within the moduli space of quadratic rational maps on $\mathbb{P}^1$. We focus on the family of curves, $Per_1(λ)$ for $λ$ in $\mathbb{C}$, defined by the condition that each $f\in Per_1(λ)$ has a fixed point of multiplier $λ$. We prove that the curve $Per_1(λ)$ contains infinitely many postcritically-finite maps if and only if $λ= 0$; addressing a special case of [BD2, Conjecture 1.4]. We also show that the two critical points of a map $f$ define distinct bifurcation measures along $Per_1(λ)$.
One of the conspicuous features of real slices of bicritical rational maps is the existence of Tricorn-type hyperbolic components. Such a hyperbolic component is called invisible if the non-bifurcating sub-arcs on its boundary do not intersect the closure of any other hyperbolic component. Numerical evidence suggests an abundance of invisible Tricorn-type components in real slices of bicritical rational maps. In this paper, we study two different families of real bicritical maps and characterize invisible Tricorn-type components in terms of suitable topological properties in the dynamical plan…
Our aim in this paper is to deal with the dynamics of following higher order difference equation x_{n+1}=A+B((x_{n-m})/(x_{n}^2)) where A,B>0, and initial values are positive, and m={1,2,...}. Furthermore, we discuss the periodicity, boundedness, semi-cycles, global asymptotic stability of solutions of these equations. We also handle the rate of convergence of solutions of these difference equations.
Let $Λ$ be a quasi-projective variety and assume that, either $Λ$ is a subvariety of the moduli space $\mathcal{M}_d$ of degree $d$ rational maps, or $Λ$ parametrizes an algebraic family $(f_λ)_{λ\inΛ}$ of degree $d$ rational maps on $\mathbb{P}^1$. We prove the equidistribution of parameters having $p$ distinct neutral cycles towards the $p$-th bifurcation current letting the periods of the cycles go to $\infty$, with an exponential speed of convergence. We deduce several fundamental consequences of this result on equidistribution and counting of hyperbolic components. A key step of the proof…
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 discuss analogues of the prime number theorem for a hyperbolic rational map f of degree at least two on the Riemann sphere. More precisely, we provide counting estimates for the number of primitive periodic orbits of f ordered by their multiplier, and also obtain equidistribution of the associated holonomies; both estimates have power savings error terms. Our counting and equidistribution results will follow from a study of dynamical zeta functions that have been twisted by characters of $S^1$. We will show that these zeta functions are non-vanishing on a half plane $\Re(s) > δ- ε$, where $…
Let $f:\widehat{\mathbb{C}}\rightarrow \widehat{\mathbb{C}}$ be a hyperbolic rational map of degree $d \geq 2$, and let $J \subset \mathbb{C}$ be its Julia set. We prove that $J$ always has positive Fourier dimension. The case where $J$ is included in a circle follows from a recent work of Sahlsten and Stevens, see arXiv:2009.01703. In the case where $J$ is not included in a circle, we prove that a large family of probability measures supported on $J$ exhibit polynomial Fourier decay: our result applies in particular to the measure of maximal entropy and to the conformal measure.
We provide a complete classification of possible graphs of rational preperiodic points of quadratic rational functions defined over the rationals with a rational periodic critical point of period 3, under two assumptions: that these functions have no periodic points of period at least 5 and the conjectured enumeration of points on a certain genus 6 affine plane curve. We show that there are exactly six such possible graphs, and that rational functions satisfying the conditions above have at most eleven rational preperiodic points.
In this article, we prove that every quadratic rational map whose multipliers all lie in the ring of integers of a given imaginary quadratic field is a power map, a Chebyshev map or a Lattès map. In particular, this provides some evidence in support of a conjecture by Milnor concerning rational maps whose multipliers are all integers.
Let f be a dominant rational map of P^k such that there exists s <k, with lambda_s(f)>lambda_l(f) for all l. Under mild hypotheses, we show that, for A outside a pluripolar set of the group of automorphisms of P^k, the map f o A admits a hyperbolic measure of maximal entropy log(lambda_s(f)) with explicit bounds on the Lyapunov exponents. In particular, the result is true for polynomial maps hence for the homogeneous extension of f to P^{k+1}. This provides many examples where non uniform hyperbolic dynamics is established. One of the key tools is to approximate the graph of a meromorphic func…
In the early 1980's Thurston gave a topological characterization of rational maps whose critical points have finite iterated orbits (\cite{Th,DH1}): given a topological branched covering $F$ of the two sphere with finite critical orbits, if $F$ has no Thurston obstructions then $F$ possesses an invariant complex structure (up to isotopy), and is combinatorially equivalent to a rational map. We extend this theory to the setting of rational maps with infinite critical orbits, assuming a certain kind of hyperbolicity. Our study includes also holomorphic dynamical systems that arise as coverings o…
Given a number field $K$ and a finite set $S$ of places of $K$, the first main result of this paper shows that the quadratic rational maps $ϕ:{\mathbb P}^1\to{\mathbb P}^1$ defined over $K$ which have good reduction at all places outside $S$ comprise a Zariski-dense subset of the moduli space ${\mathcal M}_2$ parametrizing all isomorphism classes of quadratic rational maps. We then consider quadratic rational maps with double unramified fixed-point structure, and our second main result establishes a geometric Shafarevich-type non-Zariski-density result for the set of such maps with good reduct…
Fix a rational basepoint b and a rational number c. For the quadratic dynamical system f_c(x) = x^2+c, it has been shown that the number of rational points in the backward orbit of b is bounded independent of the choice of rational parameter c. In this short note we investigate the dependence of the bound on the basepoint b, assuming a strong form of the Mordell Conjecture.
The purpose of this note is give some evidence in support of conjectures of Poonen, and Morton and Silverman, on the periods of rational numbers under the iteration of quadratic polynomials. In particular, Poonen conjectured that there are at most 9 periodic points defined over the rational numbers for any map in the family x^2 + c for c rational. We verify this conjecture for c values up to height 10^8. For quadratic number fields, we provide evidence that the upper bound on the exact period of Q-rational periodic point is 6.
This paper describes new results on the growth and zeros of the Ruelle zeta function for the Julia set of a hyperbolic rational map. It is shown that the zeta function is bounded by $\exp(C_K |s|^δ)$ in strips $|\Re s| \leq K$, where $δ$ is the dimension of the Julia set. This leads to bounds on the number of zeros in strips (interpreted as the Pollicott-Ruelle resonances of this dynamical system). An upper bound on the number of zeros in polynomial regions $\{|\Re s | \leq |\Im s|^α\}$ is given, followed by weaker lower bound estimates in strips $\{\Re s > -C, |\Im s|\leq r\}$, and logarithmi…
We characterize two of the most studied non-uniform hyperbolicity conditions for rational maps, semi-hyperbolicity and the topological Collet-Eckmann condition, in terms of the maximal entropy measure. Using the same tools in the proof of these results we give an extension of a result of Carleson, Jones and Yoccoz, that semi-hyperbolicity characterizes those polynomial maps whose basin of attraction of infinity is a John domain, to rational maps having a completely invariant attracting basin.
According to an analogy to quasi-Fuchsian groups, we investigate topological and combinatorial structures of Lyubich and Minsky's affine and hyperbolic 3-laminations associated with the hyperbolic and parabolic quadratic maps. We begin by showing that hyperbolic rational maps in the same hyperbolic component have quasi-isometrically the same 3-laminations. This gives a good reason to regard the main cardioid of the Mandelbrot set as an analogue of the Bers slices in the quasi-Fuchsian space. Then we describe the topological and combinatorial changes of laminations associated with hyperbolic-to…
For the family of quadratic rational functions having a $2$-cycle of bounded type Siegel disks, we prove that each of the boundaries of these Siegel disks contains at most one critical point. In the parameter plane, we prove that the locus for which the boundaries of the $2$-cycle of Siegel disks contain two critical points is a Jordan curve.
In 1985 D.Sullivan had introduced a dictionary between two domains of complex dynamics: iterations of rational functions on the Riemann sphere and Kleinian groups. The latters are discrete subgroups of the group of conformal automorphisms of the Riemann sphere. This dictionary motivated many remarkable results in both domains, starting from the famous Sullivan's no wandering domain theorem in the theory of iterations of rational functions. One of the principal objects used in the study of Kleinian groups is the hyperbolic 3- manifold associated to a Kleinian group, which is the quotient of its…