On the one-sided boundedness of the local discrepancy of $\{n\alpha \}$-sequences

Abstract

The main interest of this article is the one-sided boundedness of the local discrepancy of $\alpha \in \mathbb{R}\setminus \mathbb{Q}$ on the interval $(0,c)\subset (0,1)$ defined by \[D_n(α,c)=\sum_{j=1}^n 1_{\{\{jα\}<c\}}-cn.\] We focus on the special case $c\in (0,1)\cap \mathbb{Q}$. Several necessary and sufficient conditions on $\alpha$ for $(D_n(\alpha ,c))$ to be one-side bounded are derived. Using these, certain topological properties are given to describe the size of the set \[O_c=\{α\in \irr: (D_n(α,c)) \text{ is one-side bounded}\}.\]

arXiv comment15 pages