An odd Furstenberg-Szemerédi theorem and quasi-affine systems (Q698320)

According to the Furstenberg-Szemerédi ergodic theorem: if \((X,{\mathcal B},\mu,T)\) is a measure-preserving system then for any positive integer \(k\) and for any measurable set \(E\) with \(\mu(E)>0\) the lower limit \(\liminf_{N\to\infty}\frac 1N\sum_{n=1}^N \mu(E\cap T^{-n}E\cap T^{-2n}E\cap \dots \cap T^{-kn}E)>0\) is strictly positive, which implies the existence of \(n\geq 1\) such that \(\mu(E\cap T^{-n}E\cap T^{-2n}E\cap \dots \cap T^{-kn}E)>0\). The main result of the paper is a proof of a version of this result for \(n\) restricted to a particular congruence class \(n\equiv j\pmod m\) for a given \(m\geq 2\) and \(0\leq j<m\) under an additional assumption that \(T^m\) is ergodic. Technically the proof is based on a special ergodic theorem for sums of products of test-functions of type \(\frac 1N\sum_{n=1}^N \prod_{i=1}^3 f_i(T^{ka_in}x)\).