Beau bounds for multicritical circle maps (Q1749012)

This paper considers \(C^3\) circle maps that are homeomorphisms with no periodic points and a finite number of critical points of power-law type. A critical point \(c\) is said to be of power-law type or non-flat of degree \(d>1\) if there exists a neighborhood \(W\) of the critical point \(c\) such that \(f(x)= f(c)+\phi(x)\cdot|\phi(x)|^{d-1}\) for all \(x\in W\), where \(\phi:W\to \phi(w)\) is a \(C^3\) diffeomorphism with \(\phi(c)= 0\). The authors use the term ``multicritical map'' for a circle map \(f:S^1\to S^1\) that is an orientation-preserving, \(C^3\) smooth homeomorphism having a finite number of critical points that are all non-flat. They also use the term ``scaling ratio'' around a critical point to mean the ratio of the distances to the critical point of two consecutive closest returns of the forward orbit of that critical point. One of the main result is the following: if \(f:S^1\to S^1\) is a multicritical circle map with irrational rotation number, then the successive scaling ratios around each critical point of \(f\) are uniformly bounded and the bound is asymptotically independent of \(f\). This result is a consequence of a more general result (also proved in this paper) that provides a-priori bounds (``beau bounds'' in the sense of Sullivan), bounds that are asymptotically universal at small scale.