Multi-rotations on the unit circle (Q669231)

Let $\Lambda=\{\alpha_1,\dots,\alpha_k\}$ be a finite set of real numbers. Given $\omega:=(\omega_n)_{n=0}^{\infty}\in \Lambda^{\mathbb{N}}$ we define a sequence $(x_n)_{n=0}^{\infty}$ as follows: \[ x_0=0, x_{n+1}=\{x_n+\omega_n\}\, \forall n\geq 0. \] We define $E_{\omega}:=\overline{\{x_n\}}_{n=0}^{\infty}$. The sets $E_{\omega}$ are the main objects of study within this paper. It is conjectured that if the elements of $\Lambda$ are rationally independent then $\dim_{B}E_\omega=1$ for all $\omega$. In this paper the author shows that to prove this conjecture it is sufficient to prove it for all recurrent $\omega$. They also prove that if $\omega$ is finitely recurrent then $E_\omega=[0,1]$, and show that if the elements of $\Lambda$ are rationally independent and algebraic then $\dim_{B}(E_\omega)\geq \frac{1}{k}$. The proofs rely on ideas from dynamical systems and Diophantine approximation.