On the strong-mixing property of skew product of binary transformation on 2-dimensional torus by irrational rotation (Q696201)

Consider on the two torus \(\mathbf T^{2}\) the map \(T\) where \(T(x_1, x_2) = (2x_1, 2x_2)\). This map is strongly mixing. Consider also a finite strictly increasing sequence of integers \(n_i\), \(1\leq i\leq k\), and the map \(f\) from \(\mathbf T^{2}\) to \(\{-1, 1\}\) defined as \[ f(x_1, x_2) = r(x_1)r(x_1 +nx_2)\cdots r(x_1+n_kx_2) \] where \(r(t)= {\mathbf 1}_{[0,1/2)}(t)-{\mathbf 1}_{[1/2,1)}(t)\). With Lebesgue measure on \(\mathbf T^{2}\) and the discrete measure \(1/2 (\delta_{-1} + \delta_{1})\) on \(\{-1, 1\}\) the skew product \[ T_f(x, \epsilon) = (Tx, f(x)\epsilon) \] defined on \(\mathbf T^{2}\times \{-1,1\}\), is also a measure preserving map. The main result of the author states that \(T_f\) is actually strongly mixing. By doing so he answers a conjecture made by \textit{H. Sugita} [Monte Carlo Methods Appl. 1, 35-57 (1995; Zbl 0087.65002)]. One of the other motivations for this result is given by the connection between the product \[ f(x_1, x_2)f(2x_1, 2x_2)\cdots f(2^{m-1}x_1, 2^{m-1}x_2) \] and the stationary process \(X^{(m)}(.+n\alpha)\) studied by H. Sugita; we have \[ f(x_1, x_2)f(2x_1, 2x_2)\cdots f(2^{m-1}x_1, 2^{m-1}x_2)= X^{(m)}(x_1)X^{(m)}(x_1 + n_1x_2)\cdots X^{(m)}(x_1 +n_kx_2) \] where \(X^{(m)}(t)= \prod_{j=1}^{m}r(2^{j-1}t)\). The author gives another proof of the fact that for almost all \(\alpha\) this stationary process converges in law to the fair coin tossing process as \(m\) tends to \(\infty\).