arXiv++ Combinatorics

We say that $S\subset\mathbb Z$ is a set of $k$-recurrence if for every measure preserving transformation $T$ of a probability measure space $(X,μ)$ and every $A\subseteq X$ with $μ(A)>0$, there is an $n\in S$ such that $μ(A\cap T^{-n} A\cap T^{-2n}\cap \dots \cap T^{-kn}A)>0$. A set of $1$-recurrence is called a set of measurable recurrence. Answering a question of Frantzikinakis, Lesigne, and Wierdl, we construct a set of $2$-recurrence $S$ with the property that $\{n^2:n\in S\}$ is not a set of measurable recurrence.