Bounded error uniformity of the linear flow on the torus (Q2416339): Difference between revisions

For \(s=(s_1,\ldots , s_d)\in[0,1]^d\) and \(\alpha=(\alpha_1, \ldots, \alpha_d)\in \mathbb{R}^d\), the linear flow is defined by the parametrized curve \((\{s_1+t\alpha_1\}, \ldots, \{s_d+t\alpha_d\})\), where \(\{\cdot\}\) denotes fractional part. For \(f:[0,1]^d\to \mathbb{R}\) and \(T>0\), let \[ \Delta_T(s,\alpha,f)=\int_0^T f(\{s_1+t\alpha_1\},\ldots, \{s_d+t\alpha_t\})\,dt-T\int_{[0,1]^d}f(x)\,dx. \] For a set \(A\subseteq [0,1]^d\) put \(\Delta_T(s, \alpha, A)=\Delta_T(s,\alpha,\chi_A)\), where \(\chi_A\) is the characteristic function of \(A\). The author shows the following theorem. ``Let \(d\ge 2\), and suppose that the coordinates \(\alpha=(\alpha_1, \ldots, \alpha_d)\in \mathbb{R}^d\) are algebraic and linearly independent over \(\mathbb{Q}\). Let \(P\subseteq[0,1]^d\) be a polytope with a nonempty interior, and suppose that every facet of \(P\) has a normal vector \(v\) with algebraic coordinates and \(\langle v,\alpha \rangle\ne 0\). For any starting poin \(s\in [0,1]^d\) \[ \Delta_T(s,\alpha,P)=O(1) \] with an implied constant depending only on \(\alpha\) and the normal vectors of the facets of \(P\).'' A corollary on the discrepancy is shown. ``Let \(d\ge 2\), and suppose that the coordinates \(\alpha=(\alpha_1, \ldots, \alpha_d)\in \mathbb{R}^d\) are algebraic and linearly independent over \(\mathbb{Q}\). For any starting poin \(s\in [0,1]^d\) \[ \sup_{R\in \mathscr{R}} |\Delta_T(s, \alpha,R)|=O(1) \] with an implied constant depending only on \(\alpha\), where \(\mathscr{R}\) denotes the family of axis parallel boxes in \([0,1]^d\).'' Moreover, some general results are shown.