<ph f="cmex"> </ph><ph f="cmbx">Sets of k-recurrence but not (k+1)-recurrence</ph>

### Máté Wierdl

We dedicate this paper to Y. Katznelson. Our work began at the conference organized for his 70th birthday, and we wish to honor him for his fundamental contribution to ergodic theory.
(Nikos Frantzikinakis) Department of Mathematics, McAllister Building, Pennsylvania State University, University Park, PA, 16802, USA E-mail address : nikos@math.psu.edu (Emmanuel Lesigne) Universite Franc ois Rabelais de Tours, Laboratoire de Mathematiques et Physique Theorique (UMR CNRS 6083), Faculte des Sciences et Techniques, Parc de Grandmont, 37200 Tours, France E-mail address : lesigne@univ-tours.fr (Máté Wierdl) Department of Mathematical Sciences, University of Memphis, Memphis, TN, 38152, USA E-mail address : mw@csi.hu
• Abstract. For every $k\in \mathbb{N}$  , we produce a set of integers which is $k$  -recurrent but not $\left(k+1\right)$  -recurrent. This extends a result of Furstenberg who produced a $1$  -recurrent set which is not $2$  -recurrent. We discuss a similar result for convergence of multiple ergodic averages. Finally, we also point out a combinatorial consequence related to Szemerédi's theorem.

Contents

1 Introduction and main results

In his seminal paper [?, Furstenberg gave an ergodic theoretic proof of the famous theorem of Szemerédi claiming that every integer subset with positive density contains arbitrarily long arithmetic progressions. Furstenberg proved this by showing the following multiple recurrence property for measure preserving systems:
Theorem 1.1 (Furstenberg). Let $\left(X,\mathcal{X},\mu ,T\right)$  be a finite measure preserving system and $A\in \mathcal{X}$  be a set with $\mu \left(A\right)>0$  . Then for every $k\in \mathbb{N}$  , there exists $n\in \mathbb{N}$  such that $\mu \left(A\cap {T}^{-n}A\cap \cdots \cap {T}^{-nk}A\right)>0.$
This motivated the following definition:
Definition 1.2. Let $\left(X,\mathcal{X},\mu ,T\right)$  be a probability preserving system. We say that $S\subset \mathbb{N}$  is a set of $k$  -recurrence for the transformation $T$  if for every $A\in \mathcal{X}$  with $\mu \left(A\right)>0$  , there exists $n\in S$  such that $\mu \left(A\cap {T}^{-n}A\cap \cdots \cap {T}^{-kn}A\right)>0.$  We say that $S\subset \mathbb{N}$  is a set of $k$  -recurrence if it is a set of $k$  -recurrence for every probability preserving transformation.
If $S$  is infinite then the difference set $S-S=\left\{{s}_{1}-{s}_{2}:{s}_{1},{s}_{2}\in S\right\}$  is easily shown to be a set of $1$  -recurrence. By appropriately choosing $S$  , Furstenberg constructed, in [?,pages177-178, a set of $1$  -recurrence that is not a set of $2$  -recurrence. Constructing sets of $2$  -recurrence is much harder, in fact all the examples known turned out to be sets of $k$  -recurrence for every $k$  . This raised the question, first stated explicitly by Bergelson in [?:
Question. Let $k\ge 2$  be an integer. Does there exist a set of $\left(k-1\right)$  -recurrence that is not a set of $k$  -recurrence?
Theorem A. Let $k\ge 2$  be an integer and $\alpha \in \mathbb{R}$  be irrational. We define ${S}_{k}=\left\{n\in \mathbb{N}:\left\{{n}^{k}\alpha \right\}\in \left[1/4,3/4\right]\right\},$  where $\left\{a\right\}$  denotes the fractional part of $a$  . Then ${S}_{k}$  is a set of $\left(k-1\right)$  -recurrence but not a set of $k$  -recurrence.
It will appear in the proof that not only the set ${S}_{k}$  is a set of $\left(k-1\right)$  -recurrence for powers of a single transformation, but that it is a set of $\left(k-1\right)$  -recurrence for families of commuting transformations (see definition in Section  3 ).
We also answer the corresponding question for sets of $k$  -convergence:
Definition 1.3. A set $S=\left\{{a}_{1}<{a}_{2}<\dots \right\}\subset \mathbb{N}$  is called a set of $k$  -convergence if for for every probability preserving system $\left(X,\mathcal{X},\mu ,T\right)$  and functions ${f}_{1},\dots ,{f}_{k}\in {L}^{\infty }\left(\mu \right)$  , the averages $\frac{1}{N}{\sum }_{n=1}^{N}{T}^{{a}_{n}}{f}_{1}\cdot \dots \cdot {T}^{k{a}_{n}}{f}_{k}$  converge in ${L}^{2}\left(\mu \right)$  as $N\to \infty$  .
Host and Kra in [? (see also Ziegler's work in [? for an alternative proof ) showed that $S=\mathbb{N}$  is a set of $k$  -convergence for every $k$  . We show:
Theorem B. Let $k\ge 2$  be an integer and $\alpha \in \mathbb{R}$  be irrational. Let ${I}_{j}=\left\{\begin{array}{cc}n\in \left[{2}^{j},{2}^{j+1}\right]:\left\{{n}^{k}a\right\}\in \left[1/10,2/10\right]& \text{if}j\text{is even}\\ n\in \left[{2}^{j},{2}^{j+1}\right]:\left\{{n}^{k}a\right\}\in \left[5/10,6/10\right]& \text{if}j\text{is odd}\end{array}$  and define ${S}_{k}^{\prime }{=}^{\infty }{\bigcup }_{j=1}{I}_{j}.$  Then ${S}_{k}^{\prime }$  is a set of $\left(k-1\right)$  -convergence but not a set of $k$  -convergence.
It will be clear from the proof that ${S}_{k}^{\prime }$  is also a set of $\left(k-1\right)$  -recurrence but not a set of $k$  -recurrence.
The strategy of the proof of the theorems is as follows: In Section  2 we use some elementary considerations in order to show that ${S}_{k}$  is not a set of $k$  -recurrence and ${S}_{k}^{\prime }$  is not a set of $k$  -convergence. The basic observation is that if $S$  is a set of $k$  -recurrence/convergence then the set consisting of the $k$  -th powers of elements of $S$  has good $1$  -recurrence/convergence properties. In Section  3 we prove a multiple ergodic theorem (Proposition  3.2 ) that enables us to show that ${S}_{k}$  is a set of $\left(k-1\right)$  -recurrence and ${S}_{k}^{\prime }$  is a set of $\left(k-1\right)$  -convergence.
Finally, in Section  4 we derive a combinatorial consequence.

2 Bad sets for $k$  -recurrence and $k$  -convergence

We will use the following elementary fact:
Lemma 2.1. Let $k\in \mathbb{N}$  . Then there exists a nonzero integer $m$  and integers ${l}_{1},\dots ,{l}_{k}$  such that
 $\begin{array}{cc}& {l}_{1}+2{l}_{2}+\cdots +k{l}_{k}=0\end{array}$
 $\begin{array}{cc}& ⋮\end{array}$
 $\begin{array}{cc}& {l}_{1}+{2}^{k-1}{l}_{2}+\cdots +{k}^{k-1}{l}_{k}=0\end{array}$
 $\begin{array}{cc}& {l}_{1}+{2}^{k}{l}_{2}+\cdots +{k}^{k}{l}_{k}=m.\end{array}$
 $\begin{array}{}\end{array}$
• Proof. The corresponding (Vandermonde) determinant is nonzero, so for $m=1$  we can find a rational solution for the system. After multiplying by an appropriate nonzero integer we get an integer solution for the advertised system.
The following result will enable us to show that the set ${S}_{k}$  is bad for $k$  -recurrence and ${S}_{k}^{\prime }$  is bad for $k$  -convergence. To better illustrate the idea, after proving the proposition, we explain how the argument works for $k=2$  .
Proposition 2.2. If $S=\left\{{a}_{1}<{a}_{2}<\dots \right\}\subset \mathbb{N}$  is a set of $k$  -recurrence then ${S}^{k}=\left\{{a}_{1}^{k}<{a}_{2}^{k}<\cdots \right\}$  is a set of $1$  -recurrence for all circle rotations, and if $S$  is a set of $k$  -convergence then ${S}^{k}$  is a set of $1$  -convergence.
Remarks. Note that in the above proposition we only claim that ${S}^{k}$  is a set of $1$  -recurrence for rotations of the circle. It is clear that the argument we give in the proof below can be extended to show that if $S$  is a set of $k$  -recurrence, then ${S}^{k}$  is a set of recurrence for all translations of multidimensional tori. In fact, it is an unsolved problem whether a set $S$  being of $k$  -recurrence implies that ${S}^{k}$  is a set of $1$  -recurrence.
Here is a related unsolved problem of Katznelson from [?: is it true that a set of recurrence for all translations of multidimensional tori is, in fact, a set of topological recurrence?
• Proof of Proposition  2.2 . (i) Let $S$  be a set of $k$  -recurrence. It suffices to show that for every $\alpha \in \left[0,1\right)$  and $\varepsilon >0$  there exists $n\in \mathbb{N}$  such that $‖{a}_{n}^{k}\alpha ‖\le \varepsilon$  , where $\parallel a\parallel$  is the distance of $a$  to the closest integer. To do this we use the $k$  -recurrence property for some appropriately chosen system. We define the measure preserving transformation $R$  acting on ${\mathbb{T}}^{k}$  with the Haar measure $\lambda$  as follows: the $i$  -th coordinate of $R\left({t}_{1},\dots ,{t}_{k}\right)$  is ${t}_{i}+\left(\genfrac{}{}{0}{}{i}{1}\right){t}_{i-1}+\left(\genfrac{}{}{0}{}{i}{2}\right){t}_{i-2}+\cdots +\left(\genfrac{}{}{0}{}{i}{i-1}\right){t}_{1}+\alpha .$  The last coordinate of ${R}^{jn}\left({t}_{1},\dots ,{t}_{k}\right)$  is  $\begin{array}{c}{c}_{j,n}={t}_{k}+\left(\genfrac{}{}{0}{}{k}{1}\right)\left(jn\right){t}_{k-1}+\left(\genfrac{}{}{0}{}{k}{2}\right)\left(jn{\right)}^{2}{t}_{k-2}+\cdots +\left(\genfrac{}{}{0}{}{k}{k-1}\right)\left(jn{\right)}^{k-1}{t}_{1}+\left(jn{\right)}^{k}\alpha .\end{array}$ (2.1)
By Lemma  2.1 there exist ${l}_{1},\dots ,{l}_{k}\in \mathbb{Z}$  such that  $\begin{array}{c}{l}_{1}{c}_{1,n}+\cdots +{l}_{k}{c}_{k,n}=m{n}^{k}\alpha +\left({l}_{1}+\cdots +{l}_{k}\right){t}_{k}\end{array}$ (2.2)
holds for some nonzero integer $m$  , and for all $n\in \mathbb{N}$  , $\alpha \in \left[0,1\right)$  . Let ${U}_{\varepsilon }=B\left(0,\varepsilon /\left(2M\right)\right)$  where $M=|{l}_{1}|+\cdots +|{l}_{k}|$  . If $S$  is a set of $k$  -recurrence then there exists an ${n}_{0}\in S$  such that ${U}_{\varepsilon }\cap {R}^{-{n}_{0}}{U}_{\varepsilon }\cap \cdots \cap {R}^{-k{n}_{0}}{U}_{\varepsilon }\ne \mathbb{\varnothing }.$  Let $\left({t}_{1},\dots ,{t}_{k}\right)$  be an element of the intersection and ${c}_{j,n}$  , $j=1,\dots ,k$  , be given by  2.1 . We have $\parallel {c}_{j,{n}_{0}}\parallel \le \varepsilon /2M$  , $j=1,\dots ,k$  , and $\parallel {t}_{k}\parallel \le \varepsilon /\left(2M\right)$  . Using  2.2 we get that $‖{n}_{0}^{k}\left(m\alpha \right)‖\le \varepsilon$  . Since $m$  does not depend on the choice of $\alpha$  , and for every nonzero integer $m$  the map $\alpha \to m\alpha$  is onto, the result follows.
(ii) Suppose that $S=\left\{{a}_{1}<{a}_{2}<\cdots \right\}$  is a set of $k$  -convergence. Let ${l}_{1},\dots ,{l}_{k},m$  be as in the proof part (i), and let $R$  be the transformation defined there. If ${f}_{j}\left({t}_{1},\dots ,{t}_{k}\right)=e\left({l}_{j}{t}_{k}\right)$  , $j=1,\dots ,k$  , then the averages $\frac{1}{N}{\sum }_{n=1}^{N}{R}^{{a}_{n}}{f}_{1}\cdot \dots \cdot {R}^{k{a}_{n}}{f}_{k}=e\left(\left({l}_{1}+\cdots +{l}_{k}\right){t}_{k}\right)\cdot \frac{1}{N}{\sum }_{n=1}^{N}e\left({a}_{n}^{k}m\alpha \right)$  converge in ${L}^{2}\left(\lambda \right)$  as $N\to \infty$  . Hence, for every $\alpha \in \left[0,1\right)$  the averages $\frac{1}{N}{\sum }_{n=1}^{N}e\left({a}_{n}^{k}\alpha \right)$  converge as $N\to \infty$  . The spectral theorem gives that for every measure preserving system $\left(X,\mathcal{X},\mu ,T\right)$  and $f\in {L}^{2}\left(\mu \right)$  the averages $\frac{1}{N}{\sum }_{n=1}^{N}{T}^{{a}_{n}^{k}}f$  converge in ${L}^{2}\left(\mu \right)$  as $N\to \infty$  , completing the proof.
We now give an example illustrating how the argument of Proposition  2.2 works for $k=2$  :
Example. (i) Suppose that $S$  is a set of $2$  -recurrence. Let $\alpha \in \left[0,1\right)$  and $\varepsilon >0$  . The transformation $R:{\mathbb{T}}^{2}\to {\mathbb{T}}^{2}$  is defined by $R\left({t}_{1},{t}_{2}\right)=\left({t}_{1}+\alpha ,{t}_{2}+2{t}_{1}+\alpha \right).$  Then ${R}^{n}\left({t}_{1},{t}_{2}\right)=\left({t}_{1}+n\alpha ,{t}_{2}+2n{t}_{1}+{n}^{2}\alpha \right).$  Since $S$  is a set of $2$  -recurrence there exists an ${n}_{0}\in S$  such that ${U}_{\varepsilon }\cap {R}^{-{n}_{0}}{U}_{\varepsilon }\cap {R}^{-2{n}_{0}}{U}_{\varepsilon }\ne \mathbb{\varnothing },$  where ${U}_{\varepsilon }=B\left(0,\varepsilon /4\right)$  . If $\left({t}_{1},{t}_{2}\right)$  is an element of the intersection then
 $\begin{array}{c}\parallel {t}_{2}\parallel \le \varepsilon /4,\parallel {c}_{1}\parallel \le \varepsilon /4,\parallel {c}_{2}\parallel \le \varepsilon /4,\end{array}$ (2.3)
where ${c}_{1}={t}_{2}+2{n}_{0}{t}_{1}+{n}_{0}^{2}\alpha ,{c}_{2}={t}_{2}+4{n}_{0}{t}_{1}+4{n}_{0}^{2}\alpha .$  Since ${c}_{2}-2{c}_{1}=2{n}_{0}^{2}\alpha +{t}_{2}$  we get from  2.3 that $‖{n}_{0}^{2}\left(2\alpha \right)‖\le \varepsilon$  . This implies that ${S}^{2}$  is a set of recurrence for circle rotations.
(ii) Suppose that $S=\left\{{a}_{1}<{a}_{2}<\cdots \right\}$  is a set of $2$  -convergence. We define the transformation $R:{\mathbb{T}}^{2}\to {\mathbb{T}}^{2}$  as in part $\left(i\right)$  and the functions $f\left({t}_{1},{t}_{2}\right)=e\left(-2{t}_{2}\right),{f}_{2}\left({t}_{1},{t}_{2}\right)=e\left({t}_{2}\right).$  Then $\frac{1}{N}{\sum }_{n=1}^{N}{R}^{{a}_{n}}{f}_{1}\cdot {R}^{2{a}_{n}}{f}_{2}=e\left(-{t}_{2}\right)\cdot \frac{1}{N}{\sum }_{n=1}^{N}e\left({a}_{n}^{2}\alpha \right).$  Since $S$  is a set of $2$  -convergence it follows that the averages $\frac{1}{N}{\sum }_{n=1}^{N}e\left({a}_{n}^{2}\alpha \right)$  converge as $N\to \infty$  for every $\alpha \in \left[0,1\right)$  . The spectral theorem gives that ${S}^{2}$  is a set of $2$  -convergence.
Corollary 2.3. The set ${S}_{k}$  of Theorem  A is not a set of $k$  -recurrence and the set ${S}_{k}^{\prime }$  of Theorem  B is not a set of $k$  -convergence.
• Proof. By definition, ${S}_{k}^{k}$  is not a set of recurrence for the rotation by $\alpha$  , so by Proposition  2.2 we have that ${S}_{k}$  is not a set of $k$  -recurrence.
Let ${S}_{k}^{\prime }=\left\{{a}_{1}<{a}_{2}<\cdots \right\}$  and ${A}_{N}=\frac{1}{N}{\sum }_{n=1}^{N}e\left({a}_{n}^{k}\alpha \right),{B}_{N}=\frac{1}{N}{\sum }_{n=N+1}^{2N}e\left({a}_{n}^{k}\alpha \right).$  By the definition of ${S}_{k}^{\prime }$  we have that for $j$  even the real part of ${B}_{{2}^{j}}$  is positive and bounded away from zero, and for $j$  odd the real part of ${B}_{{2}^{j}}$  is negative. Hence, the sequence ${B}_{N}$  does not converge as $N\to \infty$  . Since ${B}_{N}=2{A}_{2N}-{A}_{N}$  it follows that the sequence ${A}_{N}$  does not converge as $N\to \infty$  . By Proposition  2.2 , ${S}_{k}^{\prime }$  is not a set of $k$  -convergence.

3 Good sets for $k$  -recurrence and $k$  -convergence

We will use the following elementary lemma ([?):
Lemma 3.1 (Van der Corput). Let $\left\{{a}_{n}{\right\}}_{n\in \mathbb{N}}$  be a bounded sequence of vectors in a Hilbert space. For each $m$  we set ${b}_{m}={limsup}_{N-M\to \infty }|\frac{1}{N-M}{\sum }_{n=M+1}^{N}<{a}_{n+m},{a}_{n}>|.$  If ${limsup}_{N-M\to \infty }\frac{1}{N-M}{\sum }_{m=M+1}^{N}{b}_{m}=0$  then ${lim}_{N-M\to \infty }\frac{1}{N-M}{\sum }_{n=M+1}^{N}{a}_{n}=0$  in norm.
Proposition 3.2. Let $k\in \mathbb{N}$  , ${T}_{1},\dots ,{T}_{k-1}$  be commuting measure preserving transformations acting on the probability space $\left(X,\mathcal{X},\mu \right)$  , and $p\in \mathbb{R}\left[t\right]$  be a polynomial of degree $\ge k$  with irrational leading coefficient.
If $g:\mathbb{T}\to \mathbb{C}$  is Riemann integrable and ${f}_{1},\dots ,{f}_{k-1}\in {L}^{\infty }\left(\mu \right)$  , then the difference $\frac{1}{N-M}{\sum }_{n=M+1}^{N}{T}_{1}^{n}{f}_{1}\cdot \dots \cdot {T}_{k-1}^{n}{f}_{k-1}\cdot g\left(p\left(n\right)\right)-\frac{1}{N-M}{\sum }_{n=M+1}^{N}{T}_{1}^{n}{f}_{1}\cdot \dots \cdot {T}_{k-1}^{n}{f}_{k-1}\cdot {\int }_{\mathbb{T}}gd\lambda$  converges to $0$  in ${L}^{2}\left(\mu \right)$  as $N-M\to \infty$  .
• Proof. Using the standard estimation by continuous functions from above and below, it suffices to check the result when $g$  is a continuous function. By Weierstrass approximation theorem of continuous functions by trigonometric polynomials, and using linearity, it suffices to check the result when $g\left(t\right)={e}^{2\pi ilt}$  for some $l\in \mathbb{Z}$  . The case $l=0$  is trivial. If $l\ne 0$  the polynomial $q\left(n\right)=lp\left(n\right)$  satisfies the assumptions of our theorem, so it suffices to verify the result when $g\left(t\right)=e\left(t\right)$  , where $e\left(t\right)={e}^{2\pi it}$  .
We proceed by induction on the number of functions $k$  . If $k=1$  (empty product is $1$  ) then ${lim}_{N-M\to \infty }\frac{1}{N-M}{\sum }_{n=M+1}^{N}e\left(p\left(n\right)\right)=0$  follows from Weyl's uniform distribution theorem. Assume that the result is true for $k-1$  functions. We will verify the result for $k$  functions. We can assume that ${\parallel {f}_{k}\parallel }_{\infty }\le 1$  . We apply Van der Corput's Lemma on the Hilbert space ${L}^{2}\left(\mu \right)$  for the sequence of functions ${a}_{n}\left(x\right)={f}_{1}\left({T}_{1}^{n}x\right)\cdot \dots \cdot {f}_{k}\left({T}_{k}^{n}x\right)\cdot e\left(p\left(n\right)\right).$  It suffices to verify that for every $m\in \mathbb{N}$  the averages
$\frac{1}{N-M}{\sum }_{n=M+1}^{N}\int {a}_{n+m}\left(x\right)\cdot \overline{{a}_{n}\left(x\right)}d\mu =\frac{1}{N-M}{\sum }_{n=M+1}^{N}\int {T}_{1}^{n}\left({T}_{1}^{m}{f}_{1}\cdot {\overline{f}}_{1}\right)\cdot \dots \cdot {T}_{k}^{n}\left({T}_{k}^{m}{f}_{k}\cdot {\overline{f}}_{k}\right)\cdot e\left(p\left(n+m\right)-p\left(n\right)\right)d\mu$
go to 0 as $N-M\to \infty$  . Introducing the notation ${S}_{i}={T}_{i}{T}_{k}^{-1}$  , $i=1,\dots ,k-1$  , and using Cauchy's inequality, it suffices to prove that $\frac{1}{N-M}{\sum }_{n=M+1}^{N}{S}_{1}^{n}\left({T}_{1}^{m}{f}_{1}\cdot {\overline{f}}_{1}\right)\cdot \dots \cdot {S}_{k-1}^{n}\left({T}_{k-1}^{m}{f}_{k-1}\cdot {\overline{f}}_{k-1}\right)\cdot e\left(p\left(n+m\right)-p\left(n\right)\right)$  converge to zero in ${L}^{2}\left(\mu \right)$  as $N-M\to \infty$  . But this follows from the induction hypothesis since the transformations ${S}_{i}$  commute, and for $m\in \mathbb{N}$  the polynomial $q\left(n\right)=p\left(n+m\right)-p\left(n\right)$  has degree $\ge k-1$  and irrational leading coefficient.
We remark that the non-uniform version ( $M=0$  ) of the previous result suffices for the proof of the next corollary1 The uniform version is only used to simplify the proof.
Definition 3.3. We say that $S\subset \mathbb{N}$  is a set of $k$  -recurrence for commuting transformations if whenever ${T}_{1},\dots ,{T}_{k}$  are commuting measure preserving transformations acting on the probability space $\left(X,\mathcal{X},\mu \right)$  and $A\in \mathcal{X}$  with $\mu \left(A\right)>0$  , there exists $n\in S$  such that $\mu \left(A\cap {T}_{1}^{-n}A\cap \cdots \cap {T}_{k}^{-n}A\right)>0.$
Corollary 3.4. The set ${S}_{k}$  of Theorem  A is a set of $\left(k-1\right)$  -recurrence for commuting transformations and the set ${S}_{k}^{\prime }$  of Theorem  B is a set of $\left(k-1\right)$  -convergence.
• Proof. To show that ${S}_{k}$  is a set of $\left(k-1\right)$  -recurrence for commuting transformations we apply Proposition  3.2 for $g\left(t\right)={1}_{\left[1/4,3/4\right]}\left(t\right)$  and $p\left(n\right)={n}^{k}\alpha$  . We get that if ${T}_{1},\dots ,{T}_{k-1}$  are commuting measure preserving transformations acting on the probability space $\left(X,\mathcal{X},\mu \right)$  , and $A\in \mathcal{ℬ}$  with $\mu \left(A\right)>0$  , then
 $\begin{array}{cc}& {limsup}_{N\to \infty }\frac{1}{N}{\sum }_{n=1}^{N}{1}_{{S}_{k}}\left(n\right)\cdot \mu \left(A\cap {T}_{1}^{-n}A\cap \cdots \cap {T}_{k-1}^{-n}A\right)=\end{array}$
 $\begin{array}{cc}\frac{1}{2}\cdot & {limsup}_{N\to \infty }\frac{1}{N}{\sum }_{n=1}^{N}\mu \left(A\cap {T}_{1}^{-n}A\cap \cdots \cap {T}_{k-1}^{-n}A\right)>0,\end{array}$
 $\begin{array}{}\end{array}$
where positiveness follows from the multiple recurrence theorem of Furstenberg and Katznelson [?. Hence, ${S}_{k}$  is a set of $\left(k-1\right)$  -recurrence. To show that ${S}_{k}^{\prime }$  is a set of $\left(k-1\right)$  -convergence we apply Proposition  3.2 for ${T}_{i}={T}^{i}$  , $i=1,\dots ,k-1$  , $p\left(n\right)={n}^{k}\alpha$  , and $g={1}_{\left[1/10,2/10\right]}$  on intervals of the form $\left[{2}^{j},{2}^{j}+N\right)$  , for large $N<{2}^{j}$  ,when $j$  is even, and $g={1}_{\left[5/10,6/10\right]}$  on intervals of the form $\left[{2}^{j},{2}^{j}+N\right)$  , for large $N<{2}^{j}$  , when $j$  is odd. We get that for every ${f}_{1},\dots ,{f}_{k-1}\in {L}^{\infty }\left(\mu \right)$  the difference $\frac{1}{N}{\sum }_{n=1}^{N}{1}_{{S}_{k}^{\prime }}\left(n\right)\cdot {T}^{n}{f}_{1}\cdot \dots \cdot {T}^{\left(k-1\right)n}{f}_{k-1}-\frac{1}{10}\cdot \frac{1}{N}{\sum }_{n=1}^{N}{T}^{n}{f}_{1}\cdot \dots \cdot {T}^{\left(k-1\right)n}{f}_{k-1}$  converges to zero in ${L}^{2}\left(\mu \right)$  as $N\to \infty$  . We know from [? that the averages $\frac{1}{N}{\sum }_{n=1}^{N}{T}^{n}{f}_{1}\cdot \dots \cdot {T}^{\left(k-1\right)n}{f}_{k-1}$  converge in ${L}^{2}\left(\mu \right)$  as $N\to \infty$  , so the set ${S}_{k}^{\prime }$  is a set of $\left(k-1\right)$  -convergence. This completes the proof.
The reason we cannot prove that ${S}_{k}^{\prime }$  is a set of $\left(k-1\right)$  -convergence for commuting transformations is that we do not yet know the analogous convergence result for the averages $\frac{1}{N}{\sum }_{n=1}^{N}{T}_{1}^{n}{f}_{1}\cdot \dots \cdot {T}_{k}^{n}{f}_{k}.$

1 See our note at http://www.csi.hu/mw/general_dyadic_construction_short.pdf .

4 Combinatorial consequence

A set $S\subset \mathbb{N}$  is called intersective if for every integer subset $\Lambda$  with positive density we have $\Lambda \cap \left(\Lambda +n\right)\ne \mathbb{\varnothing }$  for some $n\in S$  . More generally we define:
Definition 4.1. A set $S\subset \mathbb{N}$  is $k$  -intersective if every integer subset with positive density contains at least one arithmetic progression of length $k+1$  and common difference in $S$  .
In [?,pages528-529it is shown that:
Proposition 4.2. A set $S\subset \mathbb{N}$  is $k$  -intersective if and only if it is a set of $k$  -recurrence.
We conclude from Theorem  A that:
Corollary 4.3. Let $k\ge 2$  . There exists a set that is $\left(k-1\right)$  -intersective but not $k$  -intersective.
(Nikos Frantzikinakis) Department of Mathematics, McAllister Building, Pennsylvania State University, University Park, PA, 16802, USA E-mail address : nikos@math.psu.edu (Emmanuel Lesigne) Universite Franc ois Rabelais de Tours, Laboratoire de Mathematiques et Physique Theorique (UMR CNRS 6083), Faculte des Sciences et Techniques, Parc de Grandmont, 37200 Tours, France E-mail address : lesigne@univ-tours.fr (Máté Wierdl) Department of Mathematical Sciences, University of Memphis, Memphis, TN, 38152, USA E-mail address : mw@csi.hu