Given any rational map $f$, there is a lamination by Riemann surfaces associated to $f$. Such laminations were constructed in general by Lyubich and Minsky. In this paper, we classify laminations associated to quadratic polynomials with periodic critical point. In particular, we prove that the topology of such laminations determines the combinatorics of the parameter. We also describe the topology of laminations associated to other types of quadratic polynomials.
The combinatorial Mandelbrot set is a continuum in the plane, whose boundary can be defined, up to a homeomorphism, as the quotient space of the unit circle by an explicit equivalence relation. This equivalence relation was described by Douady and, in different terms, by Thurston. Thurston used quadratic invariant laminations as a major tool. As has been previously shown by the authors, the combinatorial Mandelbrot set can be interpreted as a quotient of the space of all limit quadratic invariant laminations. The topology in the space of laminations is defined by the Hausdorff distance. In thi…
Local similarity between the Mandelbrot set and quadratic Julia sets manifests itself in a variety of ways. We discuss a combinatorial one, in the language of geodesic laminations. More precisely, we compare quadratic invariant laminations representing Julia sets with the so-called Quadratic Minor Lamination (QML) representing a locally connected model of the Mandelbrot set. Similarly to the construction of an invariant lamination by pullbacks of certain leaves, we describe how QML can be generated by properly understood pullbacks of certain minors. In particular, we show that the minors of al…
Quadratic laminations of the unit disk were introduced by Thurston as a vehicle for understanding the (connected) Julia sets of quadratic polynomials and the parameter space of quadratic polynomials. The "Central Strip Lemma" plays a key role in Thurston's classification of gaps in quadratic laminations, and in describing the corresponding parameter space. We generalize the notion of {\em Central Strip} to laminations of all degrees $d\ge2$ and prove a Central Strip Lemma for degree $d\ge2$. We conclude with applications of the Central Strip Lemma to {\em identity return polygons} that show it…
Thurston introduced \emph{invariant (quadratic) laminations} in his 1984 preprint as a vehicle for understanding the connected Julia sets and the parameter space of quadratic polynomials. Important ingredients of his analysis of the angle doubling map $σ_2$ on the unit circle $\mathbb{S}^1$ were the Central Strip Lemma, non-existence of wandering polygons, the transitivity of the first return map on vertices of periodic polygons, and the non-crossing of minors of quadratic invariant laminations. We use Thurston's methods to prove similar results for \emph{unicritical} laminations of arbitrary …
This essay summarizes the state of the art on some aspects of the dynamics of polynomial diffeomorphsms in complex dimension two, and it presents a number of open questions.
Thurston parameterized quadratic invariant laminations with a non-invariant lamination, the quotient of which yields a combinatorial model for the Mandelbrot set. As a step toward generalizing this construction to cubic polynomials, we consider slices of the family of cubic invariant laminations defined by a fixed critical leaf with non-periodic endpoints. We parameterize each slice by a lamination just as in the quadratic case, relying on the techniques of smart criticality previously developed by the authors.
Degree-$d$-invariant laminations of the disk model the dynamical action of a degree-$d$ polynomial; such a lamination defines an equivalence relation on $S^1$ that corresponds to dynamical rays of an associated polynomial landing at the same multi-accessible points in the Julia set. Primitive majors are certain subsets of degree-$d$-invariant laminations consisting of critical leaves and gaps. The space $\textrm{PM}(d)$ of primitive degree-$d$ majors is a spine for the set of monic degree-$d$ polynomials with distinct roots and serves as a parameterization of a subset of the boundary of the co…
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…
It has been recently discovered that in smooth unfoldings of maps with a rank-one homoclinic tangency there are codimension two laminations of maps with infinitely many sinks. Indeed, these laminations, called Newhouse laminations, occur also in the holomorphic context. In the space of polynomials of $\mathbb{C}^2$, with bounded degree, there are Newhouse laminations.
The so-called "pinched disk" model of the Mandelbrot set is due to A.~Douady, J.~H.~Hubbard and W.~P.~Thurston. It can be described in the language of geodesic laminations. The combinatorial model is the quotient space of the unit disk under an equivalence relation that, loosely speaking, "pinches" the disk in the plane (whence the name of the model). The significance of the model lies in particular in the fact that this quotient is planar and therefore can be easily visualized. The conjecture that the Mandelbrot set is actually homeomorphic to this model is equivalent to the celebrated MLC co…
According to a recent paper \cite{bopt13}, polynomials from the closure $\bar{\rm PHD}_3$ of the {\em Principal Hyperbolic Domain} ${\rm PHD}_3$ of the cubic connectedness locus have a few specific properties. The family $\mathrm{CU}$ of all polynomials with these properties is called the \emph{Main Cubioid}. In this paper we describe the set $\mathrm{CU}^c$ of laminations which can be associated to polynomials from $\mathrm{CU}$.
To investigate the degree $d$ connectedness locus, Thur\-ston studied \emph{$σ_d$-invariant laminations}, where $σ_d$ is the $d$-tupling map on the unit circle, and built a topological model for the space of quadratic polynomials $f(z) = z^2 +c$. In the spirit of Thurston's work, we consider the space of all \emph{cubic symmetric polynomials} $f_λ(z)=z^3+λ^2 z$ in a series of three articles. In the present paper, the first in the series, we construct a lamination $C_sCL$ together with the induced factor space ${\mathbb{S}}/C_sCL$ of the unit circle ${\mathbb{S}}$. As will be verified in the th…
Thurston introduced $\si_d$-invariant laminations (where $\si_d(z)$ coincides with $z^d:\ucirc\to \ucirc$, $d\ge 2$) and defined \emph{wandering $k$-gons} as sets $\T\subset \ucirc$ such that $\si_d^n(\T)$ consists of $k\ge 3$ distinct points for all $n\ge 0$ and the convex hulls of all the sets $\si_d^n(\T)$ in the plane are pairwise disjoint. He proved that $\si_2$ has no wandering $k$-gons. Call a lamination with wandering $k$-gons a \emph{WT-lamination}. In a recent paper it was shown that uncountably many cubic WT-laminations, with pairwise non-conjugate induced maps on the corresponding …
The aim of this work is to describe the equivalence relations in $\Q/\Z$ that arise as the rational lamination of polynomials with all cycles repelling. We also describe where in parameter space one can find a polynomial with all cycles repelling and a given rational lamination. At the same time we derive some consequences that this study has regarding the topology of Julia sets.
We define the (dynamical) core of a topological polynomial (and the associated lamination). This notion extends that of the core of a unimodal interval map. Two explicit descriptions of the core are given: one related to periodic objects and one related to critical objects. We describe all laminations associated with quadratic and cubic topological polynomials with a simple core (in the quadratic case, these correspond precisely to points on the Main Cardioid of the Mandelbrot set).
Marden and Strebel established the Heights Theorem for integrable holomorphic quadratic differentials on parabolic Riemann surfaces. We extends the validity of the Heights Theorem to all surfaces whose fundamental group is of the first kind. In fact, we establish a more general result: the {\it horizontal} map which assigns to each integrable holomorphic quadratic differential a measured lamination obtained by straightening the horizontal trajectories of the quadratic differential is injective for an arbitrary Riemann surface with a conformal hyperbolic metric. This was established by Strebel …
We consider the problem of classifying the dynamics of complex polynomials $f: \mathbb{C} \to \mathbb{C}$ restricted to their basins of infinity. We synthesize existing combinatorial tools --- tableaux, trees, and laminations --- into a new invariant of basin dynamics we call the pictograph. For polynomials with all critical points escaping to infinity, we obtain a complete description of the set of topological conjugacy classes. We give an algorithm for constructing abstract pictographs, and we provide an inductive algorithm for counting topological conjugacy classes with a given pictograph.
In this paper, we give a positive answer to the open question: Can there exist 4 limit cycles in quadratic near-integrable polynomial systems? It is shown that when a quadratic integrable system has two centers and is perturbed by quadratic polynomials, it can generate at least 4 limit cycles with (3,1) distribution. The method of Melnikov function is used.
We present an example of a fibred quadratic polynomial admitting an attracting invariant 2-curve. By an unfolding construction we obtain an example of a fibred quadratic polynomial admitting two attracting invariant curves. This phenomena can not occur in the non-fibred setting.
We extend Sullivan's complex a priori bounds to real quadratic polynomials with essentially bounded combinatorics. Combined with the previous results of the first author, this yields complex bounds for all real quadratics. Local connectivity of the corresponding Julia sets follows.
We give a combinatorial definition of "core entropy" for quadratic polynomials as the growth exponent of the number of certain precritical points in the Julia set (those that separate the $α$ fixed point from its negative). This notion extends known definitions that work in cases when the polynomial is postcritically finite or when the topology of the Julia set has good properties, and it applies to all quadratic polynomials in the Mandelbrot set. We prove that core entropy is continuous as a function of the complex parameter. In fact, we model the Julia set as an invariant quadratic laminatio…
This is a continuation of the series of notes on the dynamics of quadratic polynomials. We show the following Rigidity Theorem: Any combinatorial class contains at most one quadratic polynomial satisfying the secondary limbs condition with a-priori bounds. As a corollary, such maps are combinatorially and topologically rigid, and as a consequence, the Mandelbrot set is locally connected at the correspoinding parameter values.
This work studies combinatorics and geometry of the Yoccoz puzzle for quadratic polynomials. It is proven that the moduli of the ``principal nest'' of annuli grow at linear rate. As a corollary we obtain complex a priori bounds and local connectivity of the Julia set for many infinitely renormalizable quadratics.
We discuss computability of impressions of prime ends of compact sets. In particular, we construct quadratic Julia sets which possess explicitly described non-computable impressions.
In this note, we consider the following two families of quadratic polynomials $S_{a,c}(x) = a - cx^2$ and $T_{a,c}(x) = a - c(1 + x^2)$ and show that their respective period-3 orbits live very different lives.
In this paper we prove the existence and uniqueness of matings of the basilica with any quadratic polynomial which lies outside of the 1/2-limb of M, is non-renormalizable, and does not have any non-repelling periodic orbits.
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.
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.
We prove that non-hyperbolic non-renormalizable quadratic polynomials are expansion inducing. For renormalizable polynomials a counterpart of this statement is that in the case of unbounded combinatorics renormalized mappings become almost quadratic. Technically, this follows from the decay of the box geometry. Specific estimates of the rate of this decay are shown which are sharp in a class of S-unimodal mappings combinatorially related to rotations of bounded type. We use real methods based on cross-ratios and Schwarzian derivative complemented by complex-analytic estimates in terms of confo…
Let F be a quadratic rational map of the sphere which has two fixed Siegel disks with bounded type rotation numbers theta and nu. Using a new degree 3 Blaschke product model for the dynamics of F and an adaptation of complex a priori bounds for renormalization of critical circle maps, we prove that F can be realized as the mating of two Siegel quadratic polynomials with the corresponding rotation numbers theta and nu.
The core entropy of polynomials, recently introduced by W. Thurston, is a dynamical invariant which can be defined purely in combinatorial terms, and provides a useful tool to study parameter spaces of polynomials. The theory of core entropy extends to complex polynomials the entropy theory for real unimodal maps: the real segment is replaced by an invariant tree, known as Hubbard tree, which lives inside the filled Julia set. We prove that the core entropy of quadratic polynomials varies continuously as a function of the external angle, answering a question of Thurston.
We prove that the only possible biaccessible points in the Julia set of a Cremer quadratic polynomial are the Cremer fixed point and its preimages. This gives a partial answer to a question posed by C. McMullen on whether such a Julia set can contain any biaccessible point at all
The definition of principal nest is supplemented with a system of frames that make possible the classification of combinatorial types for every level of the nest. As a consequence, we give necessary and sufficient conditions for the admissibility of a type and prove that given a sequence of non-renormalizable finite admissible types, there is a quadratic polynomial whose nest realizes the sequence.
We apply the averaging theory of high order for computing the limit cycles of discontinuous piecewise quadratic and cubic polynomial perturbations of a linear center. These discontinuous piecewise differential systems are formed by two either quadratic, or cubic polynomial differential systems separated by a straight line. We compute the maximum number of limit cycles of these discontinuous piecewise polynomial perturbations of the linear center, which can be obtained by using the averaging theory of order $n$ for $n=1,2,3,4,5$. Of course these limit cycles bifurcate from the periodic orbits o…
We consider systems of ordinary differential equations with quadratic homogeneous right hand side. We give a new simple proof of a result already obtained in [8,10] which gives the necessary conditions for the existence of polynomial first integrals. The necessary conditions for the existence of a polynomial symmetry field are given. It is proved that an arbitrary homogeneous first integral of a given degree is a linear combination of a fixed set of polynomials.
A small perturbation of a quadratic polynomial with a non-repelling fixed point gives a polynomial with an attracting fixed point and a Jordan curve Julia set, on which the perturbed polynomial acts like angle doubling. However, there are cubic polynomials with a non-repelling fixed point, for which no perturbation results into a polynomial with Jordan curve Julia set. Motivated by the study of the closure of the Cubic Principal Hyperbolic Domain, we describe such polynomials in terms of their quadratic-like restrictions.
This is a continuation of notes on dynamics of quadratic polynomials. In this part we transfer the our prior geometric result to the parameter plane. To any parameter value c in the Mandelbrot set (which lies outside of the main cardioid and little Mandelbrot sets attached to it) we associate a ``principal nest of parapuzzle pieces'' and show that the moduli of the annuli grow at least linearly. The main motivation for this work was to prove the following: Theorem B (joint with Martens and Nowicki). Lebesgue almost every real quadratic polynomial which is non-hyperbolic and at most finitely re…
A point $z$ in the Julia set of a polynomial $p$ is called biaccessible if two dynamic rays land at $z$; a point $z$ in the Mandelbrot set is called biaccessible if two parameter rays land at $z$. In both cases, we say that the external angles of these two rays are biaccessible as well. In this paper we give upper and lower bounds for the Hausdorff dimension of biaccessible external angles of quadratic polynomials, both in the dynamical and parameter space. In particular, explicitly describe those quadratic polynomials where this dimension equals 1 (if and only if the Julia set is an interval)…
We study numerically the $α$- and $ω$-limits of the Newton maps of two of the most elementary families of polynomial transformations on the plane: those with a linear component and those with both components of degree two. Our results are fully consistent with some conjectures we posed in a recent work about the dynamics of Newton maps.
Bounding the number of preperiodic points of quadratic polynomials with rational coefficients is one case of the Uniform Boundedness Conjecture in arithmetic dynamics. Here, we provide a general framework that may reduce finding periodic points of such polynomials over Galois extensions of $\mathbb{Q}$ to finding periodic points over the rationals. Furthermore, we present evidence that there are no such polynomials (up to linear conjugation) with periodic points of exact period 5 in quadratic fields by searching for points on an algebraic curve that classifies quadratic periodic points of exac…
In this paper we describe the well studied process of renormalization of quadratic polynomials from the point of view of their natural extensions. In particular, we describe the topology of the inverse limit of infinitely renormalizable quadratic polynomials and prove that when they satisfy a-priori bounds, the topology is rigid modulo its combinatorics.
We describe the iterated monodromy groups associated with post-critically finite quadratic polynomials, and explicit their connection to the `kneading sequence' of the polynomial. We then give recursive presentations by generators and relations for these groups, and study some of their properties, like torsion and `branchness'.
We show that the algebraic curve $a_0(x)(y-r(x))+p_2(x)a'(x)=0,$ where $r(x)$ and $p_2(x)$ are polynomial of degree 1 and 2 respectively and $a_0(x)$ is a polynomial solution of the convenient Fucsh's equation, is an invariant curve of the quadratic planar differential system. We study the particular case when $a_0(x)$ is an orthogonal polynomials. We prove that that in this case the quadratic differential system is Liouvillian integrable.
This paper is a sequel of the reference \cite[§4.2, p.p. 1782--1783]{almp}, in where some families of quadratic polynomial vector fields related with orthogonal polynomials were studied. We extend such results that contain some details related with differential Galois Theory as well the inclusion of Darboux theory of integrability and qualitative theory of dynamical systems.
Quadratic automorphisms of $\mathbb C^3$ are classified up to affine conjugacy into seven classes by Forn$æ$ss and Wu. Five of them contain irregular maps with interesting dynamics. In this paper, we focus on the maps in the fifth class and make some dynamical estimates for these maps.
We prove an extension results for the multiplier of an attracting periodic orbit of a quadratic map as a function of the parameter. This has applications to the problem of geometry of the Mandelbrot and Julia sets. In particular, we prove that the size of p/q-limb of a hyperbolic component of the Mandelbrot set of period n is O(4^n/p), and give an explicit condition on internal arguments under which the Julia set of corresponding (unique) infinitely renormalizable quadratic polynomial is not locally connected
