Complex bounds for critical circle maps

We give explicit bounds for the Hausdorff dimension of the unique invariant measure of $C^3$ multicritical circle maps without periodic points. These bounds depend only on the arithmetic properties of the rotation number.

We estimate harmonic scalings in the parameter space of a one-parameter family of critical circle maps. These estimates lead to the conclusion that the Hausdorff dimension of the complement of the frequency-locking set is less than $1$ but not less than $1/3$. Moreover, the rotation number is a H\"{o}lder continuous function of the parameter.

Siegel disks are domains around fixed points of holomorphic maps in which the maps are locally linearizable (i.e., become a rotation under an appropriate change of coordinates which is analytic in a neighborhood of the origin). The dynamical behavior of the iterates of the map on the boundary of the Siegel disk exhibits strong scaling properties which have been intensively studied in the physical and mathematical literature. In the cases we study, the boundary of the Siegel...

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.

We construct a renormalization operator which acts on analytic circle maps whose critical exponent $\alpha$ is not necessarily an odd integer $2n+1$, $n\in\mathbb N$. When $\alpha=2n+1$, our definition generalizes cylinder renormalization of analytic critical circle maps. In the case when $\alpha$ is close to an odd integer, we prove hyperbolicity of renormalization for maps of bounded type. We use it to prove universality and $C^{1+\alpha}$-rigidity for such maps.

Given a critically periodic quadratic map with no secondary renormalizations, we introduce the notion of $Q$-recurrent quadratic polynomials. We show that the pieces of the principal nest of a $Q$-recurrent map $f_c$ converge in shape to the Julia set of $Q$. We use this fact to compute analytic invariants of the nest of $f_c$, to give a complete characterization of complex quadratic Fibonacci maps and to obtain a new auto-similarity result on the Mandelbrot set.

We prove that there exists a dense set of analytic expanding maps of the circle for which the Ruelle eigenvalues enjoy exponential lower bounds. The proof combines potential theoretic techniques and explicit calculations for the spectrum of expanding Blaschke products.

For an infinitely renormalizable quadratic map $f_c: z\mapsto z^2+c$ with the sequence of renormalization periods ${k_m}$ and rotation numbers ${t_m=p_m/q_m}, we prove that if $\limsup k_m^{-1}\log |p_m|>0$, then the Mandelbrot set is locally connected at $c$. We prove also that if $\limsup |t_{m+1}|^{1/q_m}<1$ and $q_m\to \infty$, then the Julia set of $f_c$ is not locally connected and the Mandelbrot set is locally connected at $c$ provided that all the renormalizations are...

In this paper we prove {\it a priori bounds} for infinitely renormalizable quadratic polynomials satisfying a ``molecule condition''. Roughly speaking, this condition ensures that the renormalization combinatorics stay away from the satellite types. These {\it a priori bounds} imply local connectivity of the corresponding Julia sets and the Mandelbrot set at the corresponding parameter values.

We describe a new and robust method to prove rigidity results in complex dynamics. The new ingredient is the geometry of the critical puzzle pieces: under control of geometry and ``complex bounds'', two generalized polynomial-like maps which admits a topological conjugacy, quasiconformal outside the filled-in Julia set are, indeed, quasiconformally conjugated. The proof uses a new abstract removability-type result for quasiconformal maps, following ideas of Heinonen & Koskela...