SearcharxivSearch

arXiv subjects

Jacek Graczyk

Publications and source records attributed to Jacek Graczyk.

10 recordsLinked to original sources

Precise asymptotics at the tip of the Mandelbrot set

For the quadratic family $f_c(z)=z^2+c$, the only parameters in the Mandelbrot set $\cal M$ for which the Julia set $\cal J_c$ has Hausdorff dimension $1$ are $c=0$ and $c=-2$. Near $c=0$, Ruelle's theory gives a real-analytic expansion of the dimension. The tip $c=-2$ of $\cal M$, however, is a non-hyperbolic parameter and the dimension function $c\mapsto \mathrm{dim_H}(\cal J_c)$ is highly discontinuous there. We prove the sharp first-order asymptotic for the lower envelope of the Hausdorff dimension at the tip: If $c\in \cal M $ then $\mathrm{dim_H}(\cal J_c)$ lies asymptotically above $1+ \Omega \sqrt{|c+2|}$ with the Jaksztas constant $\Omega =\sqrt{\frac{2}{3}}\frac{1}{\pi\log 2}$. This is a surprisingly precise contribution to the Yoccoz problem about unfolding attractors. The proof develops a thermodynamic formalism for degenerating families of box mappings. At each scale, for parameters $c\to -2$, the induced dynamics exhibit a uniform property of exponential tails, generating improved control of their pressure functions.

math.DS

Hausdorff dimension of Julia sets in the logistic family

A closed interval and circle are the only smooth Julia sets in polynomial dynamics. D. Ruelle proved that the Hausdorff dimension of unicritical Julia sets close to the circle depends analytically on the parameter. Near the tip of the Mandelbrot set M, the Hausdorff dimension is generally discontinuous. Answering a question of J-C. Yoccoz in the conformal setting, we observe that the Hausdorff dimension of quadratic Julia sets depends continuously on $c$ and find explicit bounds at the tip of M for most real parameters in the the sense of 1-dimensional Lebesgue measure.

math.DS

Analytic structures and harmonic measure at bifurcation locus

We study conformal quantities at generic parameters with respect to the harmonic measure on the boundary of the connectedness loci ${\cal M}_d$ for unicritical polynomials $f_c(z)=z^d+c$. It is known that these parameters are structurally unstable and have stochastic dynamics. We prove $C^{1+\fracα{d}-ε}$-conformality, $α= 2-\mbox{HD}\,({\cal J}_{c_0})$, of the parameter-phase space similarity maps $Υ_{c_0}(z):\mathbb{C}\mapsto \mathbb{C}$ at typical $c_0\in \partial {\cal M}_d$ and establish that globally quasiconformal similarity maps $Υ_{c_0}(z)$, $c_0\in \partial {\cal M}_d$, are $C^1$-conformal along external rays landing at $c_0$ in $\mathbb{C}\setminus {\cal J}_{c_0}$ mapping onto the corresponding rays of ${\cal M}_d$. This conformal equivalence leads to the proof that the $z$-derivative of the similarity map $Υ_{c_0}(z)$ at typical $c_0\in \partial {\cal M}_d$ is equal to $1/{\cal T}'(c_0)$, where ${\cal T}(c_0)=\sum_{n=0}^{\infty}(D(f_{c_0}^n)(c_0))^{-1}$ is the transversality function. The paper builds analytical tools for a further study of the extremal properties of the harmonic measure on $\partial {\cal M}_d$. In particular, we will explain how a non-linear dynamics creates abundance of hedgehog neighborhoods in $\partial {\cal M}_d$ effectively blocking a good access of $\partial {\cal M}_d $ from the outside.

math.DS

Metric properties of mean wiggly continua

We study lower and upper bounds of the Hausdorff dimension for sets which are wiggly at scales of positive density. The main technical ingredient is a construction, for every continuum K, of a Borel probabilistic measure μwith the property that on every ball B(x,r), with x in K, the measure is bounded by a universal constant multiple of r\exp(-g(x,r)), where g(x,r) > 0 is an explicit function. The continuum K is mean wiggly at exactly those points x in K where g(x, r) has a logarithmic growth to infinity as r goes to 0. The theory of mean wiggly continua leads, via the product formula for dimensions, to new estimates of the Hausdorff dimension for Cantor sets. We prove also that asymptotically flat sets are of Hausdorff dimension 1 and that asymptotically non-porous continua are of the maximal dimension. Another application of the theory is geometric Bowen's dichotomy for Topological Collet-Eckmann maps in rational dynamics. In particular, mean wiggly continua are dynamically natural as they occur as Julia sets of quadratic polynomials for parameters from a generic set on the boundary of the Mandelbrot set.

math.DS

Non-uniform hyperbolicity in complex dynamics

We study rational functions satisfying summability conditions - a family of weak conditions on the expansion along the critical orbits. Assuming their appropriate versions, we derive many nice properties: There exists a unique, ergodic, and non-atomic conformal measure with exponent equal to the Hausdorff dimension of the Julia set. There is an absolutely continuous invariant measure with respect to this conformal measure. The Minkowski dimension of the Julia set is strictly less than 2. Either the Julia set is the whole sphere, or the dynamics is unstable. For such polynomials and Blaschke products the Julia set is conformally removable. The connected components of the boundary of invariant Fatou components are locally connected. Finally, we derive a conformal analogue of Jakobson-Benedicks-Carleson theorem and prove the external continuity of the Hausdorff dimension of Julia sets for almost all points in the Mandelbrot set with respect to the harmonic measure. Some of the results extend to the multimodal maps of an interval.

math.DS

Induced expansion for quadratic polynomials

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 conformal moduli.

math.DS

Singular measures in circle dynamics

Critical circle homeomorphisms have an invariant measure totally singular with respect to the Lebesgue measure. We prove that singularities of the invariant measure are of Holder type. The Hausdorff dimension of the invariant measure is less than 1 but greater than 0.

math.DS

Scalings in circle maps III

Circle maps with a flat spot are studied which are differentiable, even on the boundary of the flat spot. Estimates on the Lebesgue measure and the Hausdorff dimension of the non-wandering set are obtained. Also, a sharp transition is found from degenerate geometry similar to what was found earlier for non-differentiable maps with a flat spot to bounded geometry as in critical maps without a flat spot.

math.DS

Critical circle maps near bifurcation

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ölder continuous function of the parameter.

math.DS