Diophantine properties of IETs and general systems: quantitative proximality and connectivity
Michael Boshernitzan,Jon Chaika
DOI: https://doi.org/10.1007/s00222-012-0413-4
IF: 3.128
2012-08-03
Inventiones mathematicae
Abstract:Three properties of dynamical systems (recurrence, connectivity and proximality) are quantified by introducing and studying the gauges (measurable functions) corresponding to each of these properties. The properties of the proximality gauge are related to the results in the active field of shrinking targets.The emphasis in the present paper is on the IETs (interval exchange transformations) \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$( \mathcal {I},T)$\end{document}, \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$\mathcal {I}=[0,1)$\end{document}. In particular, we prove that if an IET T is ergodic (relative to the Lebesgue measure λ), then the equality A1\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$ \liminf_{n\to\infty} \, n\, \bigl|T^n(x)-y \bigr|=0 $$\end{document} holds for λ×λ-a.a. \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$(x,y)\in \mathcal {I}^{2}$\end{document}. The ergodicity assumption is essential: the result does not extend to all minimal IETs. Also, the factor n in (A1) is optimal (e.g., it cannot be replaced by n ln(ln(lnn))).On the other hand, for Lebesgue almost all 3-IETs \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$( \mathcal {I},T)$\end{document} we prove that for all ϵ>0 A2\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$ \liminf_{n\to\infty} \, n^ \epsilon \bigl |T^n(x)-T^n(y)\bigr| = \infty,\quad\text{for Lebesgue a.a.} \ (x,y)\in \mathcal {I}^2. $$\end{document} This should be contrasted with the equality lim infn→∞ |Tn(x)−Tn(y)|=0, for a.a. \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$(x,y)\in \mathcal {I}^{2}$\end{document}, which holds since \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$( \mathcal {I}^{2}, T\times T)$\end{document} is ergodic (because generic 3-IETs \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$( \mathcal {I},T)$\end{document} are weakly mixing).We introduce the notion of τ-entropy of an IET which is related to obtaining estimates of type (A2).We also prove that no 3-IET is strongly topologically mixing.
mathematics