The construction of a set of recurrence which is not a set of strong recurrence (Q1196336)

A subset \(S\) in \(\mathbb{Z}\) is said to be a (Poincaré) set of recurrence (resp. a strong set of recurrence) if for any measure (inversible) preserving system \((T,X,{\mathcal B},\mu)\) and any set A in \(\mathcal B\) of positive measure, there is an infinite subset \(S_ A\subset S\) such that \(\mu(T^ s A\cap A)>0\) for all \(s\in S_ A\) (resp. \(\inf\{\mu(T^ s A\cap A);\;s\in S_ A\}>0)\). \textit{V. Bergelson} [J. Lond. Math. Soc., II. Ser. 31, 295-304 (1985; Zbl 0579.10029)] asked the question if the two above definitions coincide. In this paper, the author gives a negative answer. He constructs a set of recurrence \(R\subset\mathbb{N}\) and a measure preserving system \((T,X,{\mathcal B},\mu)\) with a set \(A\in{\mathcal B}\) such that \(\mu(A)={1\over 2}\) and \(\lim_{r\to\infty,r\in\mathbb{R}}\mu(A\cap T^ r(A))=0\). The proof depends on the construction of such an example but for an action of the group \(\mathbb{Z}^ \infty_ 2\) (the weak direct product of the group \(\mathbb{Z}_ 2=\{0,1\})\).