AbstractRoth type irrational rotation numbers have several equivalent arithmetical characterizations as well as several equivalent characterizations in terms of the dynamics of the corresponding circle rotations. In this paper we investigate how to generalize Roth-like Diophantine conditions to interval exchange maps. If one considers the dynamics in parameter space one can introduce two non-equivalent Roth type conditions, the first (condition (Z)) by means of the Zorich cocycle [Finite Gauss measure on the space of interval exchange transformations. Lyapunov exponents. Ann. Inst. Fourier 46(2) (1996), 325–370], the second (condition (A)) by means of a further acceleration of the continued fraction algorithm by Marmi–Moussa–Yoccoz introduced in [The cohomological equation for Roth type interval exchange maps, J. Amer. Math. Soc. 18 (2005), 823–872]. A third very natural condition (condition (D)) arises by considering the distance between the discontinuity points of the iterates of the map. If one considers the dynamics of an interval exchange map in phase space then one can introduce the notion of Diophantine type by considering the asymptotic scaling of return times pointwise or with respect to uniform convergence (respectively conditions (R) and (U)). In the case of circle rotations all the above conditions are equivalent. For interval exchange maps of three intervals we show that (D) and (A) are equivalent and imply (Z), (U) and (R), which are equivalent among them. For maps of four intervals or more we prove several results; the only relation that we cannot decide is whether (Z) implies (R) or not.
Cohomological equation and local conjugacy class of Diophantine interval exchange maps
