Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
Let $\alpha$ $\epsilon$ $\mathbb{R}^d$ be a vector whose entries $\alpha_1, . . . , \alpha_d$ and $1$ are linearly independent over the rationals. We say that $S \subset \mathbb{T}^d$ is a bounded remainder set for the sequence of irrational rotations $\lbrace n\alpha\rbrace_{n\geqslant1}$ if the discrepancy
$ \sum_{k=1}^{N}1_S (\lbrace k\alpha\rbrace) - N$ $mes(S)$
is bounded in absolute value as $N \to \infty$. In one dimension, Hecke, Ostrowski and Kesten characterized the intervals with this property.
We will discuss the bounded remainder property for sets in higher dimensions. In particular, we will see that parallelotopes spanned by vectors in $\mathbb{Z}\alpha + \mathbb{Z}^d$ have bounded remainder. Moreover, we show that this condition can be established by exploiting a connection between irrational rotation on $\mathbb{T}^d$ and certain cut-and-project sets. If time allows, we will discuss bounded remainder sets for the continuous irrational rotation $\lbrace t \alpha : t$ $\epsilon$ $\mathbb{R}^+\rbrace$ in two dimensions.
[-]
Let $\alpha$ $\epsilon$ $\mathbb{R}^d$ be a vector whose entries $\alpha_1, . . . , \alpha_d$ and $1$ are linearly independent over the rationals. We say that $S \subset \mathbb{T}^d$ is a bounded remainder set for the sequence of irrational rotations $\lbrace n\alpha\rbrace_{n\geqslant1}$ if the discrepancy
$ \sum_{k=1}^{N}1_S (\lbrace k\alpha\rbrace) - N$ $mes(S)$
is bounded in absolute value as $N \to \infty$. In one dimension, Hecke, ...
[+]