Systems of rank one, explicit Rokhlin towers, and covering numbers

Christian Weiss

DOI: https://doi.org/10.1007/s00013-021-01683-0

2022-02-01

Archiv der Mathematik

Abstract:Abstract Rotations $$f_\alpha $$ f α of the one-dimensional torus (equipped with the normalized Lebesgue measure) by an irrational angle $$\alpha $$ α are known to be dynamical systems of rank one. This is equivalent to the property that the covering number $$F^*(f_\alpha )$$ F ∗ ( f α ) of the dynamical system is one. In other words, there exists a basis B such that for arbitrarily high h , an arbitrarily large proportion of the unit torus can be covered by the Rokhlin tower $$(f_\alpha ^kB)_{k=0}^{h-1}$$ ( f α k B ) k = 0 h - 1 . Although B can be chosen with diameter smaller than any fixed $$\varepsilon > 0$$ ε > 0 , it is not always possible to take an interval for B but this can only be done when the partial quotients of $$\alpha $$ α are unbounded. In the present paper, we ask what maximum proportion of the torus can be covered when B is the union of $$n_B \in {\mathbb {N}}$$ n B ∈ N disjoint intervals. This question has been answered in the case $$n_B =1$$ n B = 1 by Checkhova, and here we address the general situation. If $$n_B = 2$$ n B = 2 , we give a precise formula for the maximum proportion. Furthermore, we show that for fixed $$\alpha $$ α , the maximum proportion converges to 1 when $$n_B \rightarrow \infty $$ n B → ∞ . Explicit lower bounds can be given if $$\alpha $$ α has constant partial quotients. Our approach is inspired by the construction involved in the proof of the Rokhlin lemma and furthermore makes use of the three gap theorem.

mathematics