A proof of the Marmi-Moussa-Yoccoz conjecture for rotation numbers of high type (Q894231)

Let \(P_\alpha=e^{2\pi i\alpha} z+z^2\), \(\alpha\in \mathbb{R}\). If there exists a Siegel disk \(\Delta\) centered at the origin 0, its \textit{conformal radius} \(r(\alpha)\) is defined as the unique \(r\in (0,+\infty]\) such that there exists a conformal diffeomorphism \(\phi:B(0,r)\rightarrow \Delta\) with \(\phi(0)=0\) and \(\phi'(0)=1\), where \(B(0,r)\) is the disk centered at the origin with radius \(r\). Otherwise, set \(r(\alpha)=0\). Yoccoz showed that \(r(\alpha)>0\) if and only if the rotation number \(\alpha\) is a \textit{Brjuno number}, i.e. \(B(\alpha)<+\infty\) where \(B(\alpha)\) is the so-called \textit{Brjuno function}. Moreover, he showed that \(r(\alpha)>e^{-B(\alpha)-C}\) for some constant \(C>0\). Later, X. Buff and A. Chéritat showed that \(r(\alpha)<e^{-B(\alpha)+C}\) for some constant \(C>0\). Yoccoz and Marmi considered the error function \(\Upsilon(\alpha)=\log (r(\alpha))+B(\alpha)\). \textit{X. Buff} and \textit{A. Chéritat} [Ann. Inst. Fourier 61, No. 1, 319--350 (2011; Zbl 1223.37061); \textit{K. Athanassopoulos}, Colloq. Math. 104, No. 2, 157--167 (2006; Zbl 1087.37014)] proved that \(\Upsilon\) is the restriction to \(\mathcal{B}\), the set of Brjuno numbers, of a continuous function over \(\mathbb{R}\). \textit{S. Marmi} et al. conjectured [Commun. Math. Phys. 186, No. 2, 265--293 (1997; Zbl 0947.30018)] that \(\Upsilon\) is in fact \(1/2\)-Hölder continuous. Inou and Shishikura introduced the set of rotation numbers of \textit{high type} \(HT_N\) with all its modified continued fraction entries no less than \(N\geq 2\). In the paper under review, the authors prove that there exists a constant \(N\) such that the restriction of \(\Upsilon\) to \(HT_N\) is \(1/2\)-Hölder continuous.