Upper bound for the size of quadratic Siegel disks (Q1879006)

Let \(P_\alpha\) be the quadratic polynomial \(P_\alpha(z) = e^{2i\pi\alpha}z + z^2\). This polynomial is conjugated to the rotation \(R_\alpha(z) = e^{2i\pi\alpha}z\) in a neighbourhood \(U\) of \(0\) if and only if the series \(B(\alpha) = \sum_{n \geq 0} {\log q_{n+1} \over q_n}\) converges (\((p_n/q_n)_{n \geq 0}\) are the approximants of \(\alpha\) given by the continued fraction expansion). \textit{A. D. Bryuno} proved the sufficient condition [Trans. Mosc. Math. Soc. 25(1971), 131-288 (1973; Zbl 0272.34018)], the necessary condition is due to \textit{J.-C. Yoccoz} [Petits diviseurs en dimension \(1\) Astérisque 231. Paris: Socièté Math. de France (1995; Zbl 0836.30001)]. The authors give another proof of the Yoccoz condition and establish that for all irrational numbers \(\alpha\) satisfying \(B(\alpha) < \infty\), we have actually \(B(\alpha) + \log r(\alpha) < C\), where \(C\) is a constant independant of \(\alpha\). Note that Yoccoz obtained previously the estimates \(C_1 \leq B(\alpha) + \log r(\alpha) \leq \epsilon B(\alpha) + C_2(\epsilon)\) for all \(\epsilon >0\), where \(C_1\) is a constant and \(C_2\) is a function (same reference as before). The authors prove in this article the following difficult estimate : \(\log \text{rad}(\Omega_N) + \sum_{n = 0}^N {\log q_{n+1} \over q_n} < 16\), where \(\Omega_N\) is the complement in \(\mathbb{C}\) of the external rays of \(P_\alpha\) of argument \(0\) and the periodic points of period less or equal to \(q_N\), rad\((\Omega_N)\) being the conformal radius of \(\Omega_N\). As a Siegel disk is contained in the intersection of the \(\Omega_N\), they deduce that \(B(\alpha) + \log r(\alpha) < 16\) when \(B(\alpha) < \infty\). The authors precise that they did not try to get the best possible constant \(C\).