A dependence vanishing theorem for sequences generated by Weyl transformations (Q2567323)

Let \(b\geq 2\) be an integer and \(d^{(j)}(x):= \lfloor b^j x\rfloor- b\lfloor b^{j-1} x\rfloor\) the \(j\)th digit of the decimal part of \(x\geq 0\) in its base-\(b\) expansion. For a fixed irrational number \(\alpha\) and \(m\in\mathbb{N}\), we define a \(\mathbb{Z}/b\mathbb{Z}\)-valued function \(X^{(m)}_\ell\) on \([0,1)\) by \(X^{(m)}_\ell(\omega):= \sum_{1\leq j\leq m} d^{(j)}(\omega+\ell\alpha)\pmod b\). The author proves the following theorem: If \(b\) is prime and \(\alpha\) is irrational, then the distribution of the process \(\{X^{(m)}_\ell\}^\infty_{\ell= 0}\) on the Lebesgue space \(([0,1),\lambda)\) converges weakly to the distribution of \(\mathbb{Z}/b\mathbb{Z}\)-valued fair i.i.d. as \(m\to\infty\). Taking \(b= 2\), this reduces to the result conjectured by \textit{H. Sugita} [Monte Carlo Methods Appl. 1, No. 1, 35--57 (1995; Zbl 0827.65002)]. Compared with the earlier works by the author [Probab. Theory Relat. Fields, 124, No. 2, 178--188 (2002; Zbl 1039.65004) and J. Math. Kyoto Univ. 43, No. 3, 599--607 (2003; Zbl 1058.11053)], the technique is applied here from a different point of view.