Rigorous bounds on the Hausdorff dimension of Siegel disc boundaries (Q1300448)

The work is devoted to finding rigorous bounds for the Hausdorff dimension of the boundary curves for the Siegel disk of maps attracted to the corresponding critical renormalization fixed point. Upper bounds for the contractivities and lower bounds for the coercivities of the constituent maps of a suitable iterated function system, evaluated on a partition of the invariant curve are obtained and, by solving the so-called ``partition-function equations'', upper and lower bounds for the dimension are obtained. In particular, it is proved that the Hausdorff dimension of the boundary curves is less than 1.08523. It is also shown that the Hausdorff dimension is invariant under the renormalization scheme for maps that are both close enough to the fixed point and attracted to it under renormalization.