Title: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. For any integers $d,l\geq 1$ as well as any $\varepsilon > 0$, we demonstrate the existence of $\delta$ and $\eta$ (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, we have: \begin{equation*} \underline{\mathtt{BD}}_\Gamma\left(\left\{\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 \ldots \circ T^{\gamma^{-1}}_1(E))\geq \delta \right\}\right)\geq \eta \end{equation*} Here, $\underline{\mathtt{BD}}_{\Gamma}(A)$ represents the lower Banach density of a set $A\subset \Gamma$. This result significantly generalizes and refines two earlier uniformity results by Furstenberg and Katznelson.