Sort by
Uniform syndeticity in multiple recurrence

Abstract The main theorem of this paper establishes a uniform syndeticity result concerning the multiple recurrence of measure-preserving actions on probability spaces. More precisely, for any integers $d,l\geq 1$ and any $\varepsilon> 0$ , we prove the existence of $\delta>0$ and $K\geq 1$ (dependent only on d, l, and $\varepsilon $ ) such that the following holds: Consider a solvable group $\Gamma $ of derived length l, a probability space $(X, \mu )$ , and d pairwise commuting measure-preserving $\Gamma $ -actions $T_1, \ldots , T_d$ on $(X, \mu )$ . Let E be a measurable set in X with $\mu (E) \geq \varepsilon $ . Then, K many (left) translates of $$ \begin{align*} \big\{\gamma\in\Gamma\colon \mu(T_1^{\gamma^{-1}}(E)\cap T_2^{\gamma^{-1}} \circ T^{\gamma^{-1}}_1(E)\cap \cdots \cap T^{\gamma^{-1}}_d\circ T^{\gamma^{-1}}_{d-1}\circ \cdots \circ T^{\gamma^{-1}}_1(E))\geq \delta \big\} \end{align*} $$ cover $\Gamma $ . This result extends and refines uniformity results by Furstenberg and Katznelson. As a combinatorial application, we obtain the following uniformity result. For any integers $d,l\geq 1$ and any $\varepsilon> 0$ , there are $\delta>0$ and $K\geq 1$ (dependent only on d, l, and $\varepsilon $ ) such that for all finite solvable groups G of derived length l and any subset $E\subset G^d$ with $m^{\otimes d}(E)\geq \varepsilon $ (where m is the uniform measure on G), we have that K-many (left) translates of $$ \begin{align*} \{g\in G\colon &m^{\otimes d}(\{(a_1,\ldots,a_n)\in G^d\colon \\ & (a_1,\ldots,a_n),(ga_1,a_2,\ldots,a_n),\ldots,(ga_1,ga_2,\ldots, ga_n)\in E\})\geq \delta \} \end{align*} $$ cover G. The proof of our main result is a consequence of an ultralimit version of Austin’s amenable ergodic Szeméredi theorem.

Open Access
Relevant
Khintchine-type double recurrence in abelian groups

Abstract We prove a Khintchine-type recurrence theorem for pairs of endomorphisms of a countable discrete abelian group. As a special case of the main result, if $\Gamma $ is a countable discrete abelian group, $\varphi , \psi \in \mathrm {End}(\Gamma )$ , and $\psi - \varphi $ is an injective endomorphism with finite index image, then for any ergodic measure-preserving $\Gamma $ -system $( X, {\mathcal {X}}, \mu , (T_g)_{g \in \Gamma } )$ , any measurable set $A \in {\mathcal {X}}$ , and any ${\varepsilon }> 0$ , there is a syndetic set of $g \in \Gamma$ such that $\mu ( A \cap T_{\varphi(g)}^{-1} A \cap T_{\psi(g)}^{-1} A ) > \mu(A)^3 - \varepsilon$ . This generalizes the main results of Ackelsberg et al [Khintchine-type recurrence for 3-point configurations. Forum Math. Sigma10 (2022), Paper no. e107] and essentially answers a question left open in that paper [Question 1.12; Khintchine-type recurrence for 3-point configurations. Forum Math. Sigma10 (2022), Paper no. e107]. For the group $\Gamma = {\mathbb {Z}}^d$ , the result applies to pairs of endomorphisms given by matrices whose difference is non-singular. The key ingredients in the proof are: (1) a recent result obtained jointly with Bergelson and Shalom [Khintchine-type recurrence for 3-point configurations. Forum Math. Sigma10 (2022), Paper no. e107] that says that the relevant ergodic averages are controlled by a characteristic factor closely related to the quasi-affine (or Conze–Lesigne) factor; (2) an extension trick to reduce to systems with well-behaved (with respect to $\varphi $ and $\psi $ ) discrete spectrum; and (3) a description of Mackey groups associated to quasi-affine cocycles over rotational systems with well-behaved discrete spectrum.

Open Access
Relevant