On the multiple recurrence properties for disjoint systems (Q2143240)

The paper is focused on a family of mutually disjoint measure-preserving transformations \(T_0, T_1, \dots , T_k\) on a probability space \((X, \mathcal{B}, \mu)\). The multiple recurrence property of \(T_0, T_1, \dots , T_k\) and the multiple Khintchine-type recurrence property are investigated. One of the main results is the following: Theorem. Let \((X, \mathcal{B}, \mu)\) be a standard Borel probability space. Given \(k\in \mathbb{N}\), let \(T_0, T_1, \dots , T_k\) be measure-preserving transformations on \(X\). Suppose that \(T_0, T_1, \dots , T_k\) are mutually disjoint. Then for every \(\varepsilon> 0\) and every \(A \in \mathcal{B}\) with \(\mu(A) > 0\), the set \[\{\in \mathbb{N}: \mu(T^{-n}_0(A)\cap\cdots\cap T^{-n}_0(A)) > \mu(A)^{k+1}-\varepsilon\}\] is syndetic. The authors provide some results concerning the multiple analogue for disjoint systems. Let \((X, \mathcal{B}, \mu)\) be a standard Borel probability space. Suppose that \(T_1, \dots , T_k\) are ergodic measure-preserving transformations on \(X\) such that \(T_0, T_1, \dots , T_k\) are mutually disjoint. Then for \(f_i\in L^{\infty}(X,\mu), i\in \{1, \dots ,k\}\), the authors prove that \[ \lim\limits_{N-M\to \infty}\frac{1}{N-M}\sum\limits_{n=M}^{N-1}T_1^{n}f_1\cdot T_2^{n}f_2\cdots T_k^{n}f_k=\prod\limits_{i=1}^{k}\int_X f_id\mu \] in \(L^{2}(X,\mu)\).