An odd Furstenberg-Szemerédi theorem and quasi-affine systems (Q698320): Difference between revisions
From MaRDI portal
Revision as of 17:22, 4 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An odd Furstenberg-Szemerédi theorem and quasi-affine systems |
scientific article |
Statements
An odd Furstenberg-Szemerédi theorem and quasi-affine systems (English)
0 references
20 June 2003
0 references
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)\).
0 references
measure-preserving system
0 references
ergodic theorem
0 references
return time
0 references
Furstenberg-Szemerédi ergodic theorem
0 references
0 references
0 references