arxiv: v1 [math.ds] 27 Jan 2017

Transcription

1 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS arxiv: v1 [math.ds] 7 Jan 017 SEBASTIÁN DONOSO AND WENBO SUN Abstract. We provide various counter examples for quantitative multiple recurrence problems for systems with more than one transformation. We show that There exists an ergodic system (X,X,µ, T 1, T ) with two commuting transformations such that for every 0 < l < 4, there exists A Xsuch that µ(a T n 1 A T n A)<µ(A)l for every n 0; There exists an ergodic system (X,X,µ, T 1, T, T 3 ) with three commuting transformations such that for every l > 0, there exists A Xsuch that µ(a T n 1 A T n A T n 3 A)<µ(A)l for every n 0; There exists an ergodic system (X,X,µ, T 1, T ) with two transformations generating a -step nilpotent group such that for every l>0, there exists A Xsuch that µ(a T n 1 A T n A)<µ(A)l for every n Introduction 1.1. Quantitative recurrence. The Poincaré recurrence theorem states that for every measure preserving system (X,X,µ, T) and every A X with µ(a)>0, the set {n Z:µ(A T n A)>0} is infinite. A quantitative version of it was provided by Khintchine [8], who showed that for everyǫ> 0, the set{n N:µ(A T n A)>µ(A) ǫ} is syndetic, meaning that it has bounded gaps. Multiple recurrence problems refers to the ones concerning the behavior of the set A T n 1 A T n d A. In the case T i= T i for an ergodic transformation T, Furstenberg [6] showed that the set {n Z:µ(A T n A T dn A)>0} 010 Mathematics Subject Classification. Primary: 37A30. Key words and phrases. Poincaré recurrence, multiple recurrence, commuting transformations. The first author is supported by Fondecyt Iniciación en Investigación grant

2 SEBASTIÁN DONOSO AND WENBO SUN is infinite. This result is now known as the Furstenberg Multiple Recurrence Theorem. The quantitative version of the multiple recurrence problems concerns not only the positivity of the measure of the set A T n 1 A T n d A, but also how far from 0 this measure is. More precisely, we ask: Question 1.1. Let (X,X,µ, T 1,..., T d ) be a measure preserving system and F : [0, 1] R 0 be a non-negative function. Is the set {n Z:µ(A T n 1 A T n A T n d A) F(µ(A))} syndetic for all A X? If the answer to the question is affirmative for some T 1,..., T d and F, we say that F is good for (T 1,..., T d ). Based on the result of Khintchine [8] stating that F(x)= x ǫ is good for (T) (with a single term), a natural conjecture would be that the function F(x)= x d+1 ǫ is good for (T 1,..., T d ). The case T i = T i was solved by Bergelson, Host and Kra [3]. They showed that if (X,X,µ, T) is ergodic, then F(x) = x d+1 ǫ is good for (T, T,...,T d ) for allǫ> 0 for d= or 3. They also showed two surprising phenomena. First, the hypothesis of ergodicity cannot be removed: there exists a non-ergodic system (X,X,µ, T) such that F(x)=x l is not good for (T, T ) for alll>0. Secondly, if d 4, then F(x)=x l is not good for (T, T,...,T d ) for alll>0. In [7], Furstenberg and Katznelson proved a multiple recurrence theorem for commuting transformations. For two commuting transformations, its quantitative study was done by Chu [4] who proved that for every system (X,X,µ, T 1, T ) with two commuting transformations T 1 and T (meaning that T 1 T = T T 1 ), ergodic for T 1, T, and everyǫ> 0, F(x)= x 4 ǫ is good for (T 1, T ). Here it is worth to stress that the exponent for (T 1, T ) is 4 while the exponent for (T, T ) is 3. Indeed, in the same paper, Chu constructed an example showing that F(x)= x 3 is not good for (T 1, T ). In a later work, Chu and Zorin-Kranich [5] improved this example, showing that F(x)= x 3.19 is not good for (T 1, T ). In this paper, we study the best componentl for which F(x)= x l is good for (T 1,..., T d ) in an ergodic system (X,X,µ, T 1,..., T d ) with commuting transformations. The result of Chu and Zorin-Kranich [5] suggested that the largestlnot good for (T 1, T ) is between 3.19 and 4. We show thatl can be sufficiently close to 4: Theorem 1.. There exists a measure preserving system (X,X,µ, T 1, T ) with commuting transformations T 1 and T, ergodic for T 1, T such that for every 0<l<4, F(x)= x l is not good for (T 1, T ), i.e. there exists a set A X such that µ(a T n 1 A T n A)<µ(A)l

3 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS3 for every n 0. Chu raised another question [4] on whether F(x)= x l is good for (T 1, T,..., T d ) in an ergodic system with d commuting transformations for d 3. We show that this is not the case: Theorem 1.3. There exists a measure preserving system (X,µ, T 1, T, T 3 ) with three commuting transformations T 1 and T and T 3, ergodic for T 1, T, T 3 such that for everyl>0, F(x)= x l is not good for (T 1, T, T 3 ), i.e. there exists a subset A X such that for every n 0. µ(a T n 1 A T n A T n 3 A)<µ(A)l If we relax the condition of commutativity of the transformations, the natural condition to look at is nilpotency. Outside the abelian category, we show that there is no polynomial quantitative recurrence even for two transformations T 1 and T spanning a -step nilpotent group. We show Theorem 1.4. There exists a measure preserving system (X,X,µ, T 1, T ) such that T 1 and T generate a -step nilpotent group T 1, T, whose actions is ergodic and such that for everyl>0, F(x)=x l is not good for (T 1, T ), i.e. there exists subset A Xsuch that for every n 0. µ(a T n 1 A T n A)<µ(A)l 1.. Notation and conventions. A measure preserving system (or a system for short) is a tuple (X,X,µ, T 1,...,T d ), where (X,X,µ) is a probability space and T 1,..., T d : X Xare actions such that for all A X, 1 i d, Ti 1 A X andµ(ti 1 A)=µ(A). We use T 1, T,..., T d to denote the group spanned by the transformations T 1,..., T d. We say that X is ergodic for T 1,..., T d if A X, Ti 1 A=A for all 1 i dimplies thatµ(a)=0 or 1. For a positive integer number N, the subset{1,..., N} is denoted by [N].. Combinatorial constructions In this section we study subsets ofn andn 3 satisfying special combinatorial conditions that help us construct the counter examples we need. The construction of such sets is inspired by the methods used by Salem and Spencer [11] and Behrend [] in building large subsets of [N] with no arithmetic progressions of length 3. The ways to make use of special subsets in Theorems 1., 1.3 and 1.4 are motivated by the examples constructed in Bergelson, Host and Kra [3] and Chu [4]. We remark that the combinatorial properties studied in this section are of independent interest.

4 4 SEBASTIÁN DONOSO AND WENBO SUN.1. Corner-free subsets ofn. The first combinatorial problem we study is how large a subsetλ [N] can be without a corner. Definition.1. We say that a setλ [N] is corner-free if (x, y), (x, y) and (x, y ) Λand x y= x y implies that x= x and y=y. We have Theorem.. Let ν(n) denote the largest cardinality of corner-free subsets of [N]. Then 4 log +ǫ ν(n)>n loglog N as N for allǫ> 0. It is worth noting that Atjai and Szemerédi [1] had a similar estimate for the largest cardinality of the setλ [N] such that (x, y), (x, y) and (x, y ) Λ, x > x and x y= x y implies that x= x and y=y (with an additional but not essential assumption that x > x). Since our proof is different from their method, we write it down for completeness. We thank T. Ziegler for bringing us to this reference. Proof. Let 1 d n be two parameters to be chosen later and assume that n is divisible by d. LetΛbe the set of points (x, y) [(d) n ] such that the following condition holds: expand x= x 0 + x 1 (d 1)+ + x n 1 (d 1) n 1 and y=y 0 +y 1 (d 1)+ +y n 1 (d 1) n 1 0 x i, y i d for 0 i n 1. Consider the n pairs of integers (x 0, y 0 ), (x 1, y 1 ),..., (x n 1, y n 1 ). DefineΛ by (x, y) Λif and only if among the pairs (x 0, y 0 ), (x 1, y 1 ),..., (x n 1, y n 1 ), there are exactly n of them that are equal to (i, j) for all 0 i, j d 1. d Recall for a set S of cardinality k and k k! that divides k, (k/k )! k is the number of different patitions of S where each atom has exactly k elements. Using this formula, we get that n! Λ = (( n )!) d. d We claim thatλsatisfies the properties we are looking for. We first estimate the size ofλ. Set n=d ω(d), whereω:n N is an increasing function such thatω(d+1) ω(d)=o(1), ω(d) logω(d) and 0 as log d log d d. For every N N, pick d Nsuch that (.1) (d 1) d ω(d) N< (d+ 1) (d+1) ω(d+1). By the Stirling formula, if d and n/d =ω(d) are large enough, we have that n! n n πne n 1 dn (( n )!) d> d [(n/d ) n/d π(n/d )e n/d ] d Cd ( γn ) = ddω(d) d d / (γω(d)), d /

5 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS5 whereγ=πc, and C is a constant as close to 1 as we want. So (.) ( ) N ω(d+1) log < log (d+1)(d+1) <log ω(d+1) (γω(d)) (d+1)(d+1) d / L L d d ω(d) = (d+ 1) ω(d+1) log(d+ 1) d ω(d) log d+ d (logγ+logω(d)) = d ω(d)( log +o(1)), where in the last step we repeatedly used the properties ofω(d). On the other hand, by (.1), we have and log N d ω(d) log(d 1) log log N< log(d+ 1)+logω(d+ 1)+log log(d+ 1), which implies that (.3) log N log log N > d ω(d)(1/+o(1)). Combining (.) and (.3), we have that as N for allǫ> 0. 4 log +ǫ Λ >N log log N Now we show thatλis corner-free. Suppose that (x, y), (x, y) and (x, y ) belong toλand that x y= x y. Expand w = w 0 + w 1 (d 1)+ + w n 1 (d 1) n 1, 0 w 0,..., w n 1 d 1 for w= x, y, x, y. Since 0 x i, y i, x i, y i d 1 for every 0 i n 1, we have that necessarily (.4) y i x i = y i x i for all 0 i n 1. If y i x i = (d 1) for some 0 i n 1, then by the construction of Λ, we have x i = d 1 and y i = 0. By (.4), y i x i= y i x i = (d 1), and so x i = d 1and y i = 0. Therefore x i=x i and y i= y i. Now suppose that (d 1) y i x i h implies that (x i, y i )=(x i, y i ) for all 0 i n 1 for some (d 1) h d. We show that y i x i = h+1 also implies that (x i, y i )=(x i, y i ) for all 0 i n 1. By the construction ofλ, the number of the pairs (x i, y i ) such that 0 y i x i h is the same as the number of the pairs (x i, y i ) such that 0 y i x i h, and is the same as the number of the pairs (x i, y i) such that 0 y i x i h. Therefore,

6 6 SEBASTIÁN DONOSO AND WENBO SUN by induction hypothesis, if y i x i = h+1, we have y i x i h+1 and y i x i h+1. So y i x i= (y i x i)+(y i x i ) (y i x i ) (h+1)+(h+1) (h+1)=h+1=y i x i. By (.4), we have that y i x i= y i x i= h+1=y i x i, which implies that x i = x i and y i= y i and we are done. We conclude that 4 log +ǫ ν(n) Λ >N log log N as N for allǫ> 0... Three point free subsets ofn 3. We study another combinatorial problem in this section. Definition.3. LetΛbe a subset of [N] 3. We say thatλis three point free if (x, y, z ), (x, y, z), (x, y, z) Λimplies that x= x, y=y, z=z. In particular, (x, y, z ) and (x, y, z) Λ implies that z=z. soλcontains at most one point on each line parallel to Z-axis. Similarly,Λcontains at most one point along any line parallel to the X or Y-axis. Remark.4. To a three point free setλ [N] 3 we can associate a N N matrix A(Λ)=(a i, j ) i, j [N]. To do so, we look at the line{(i, j, k) : k [N]}. If there is a point ofλin such a line we set a i, j to be the unique integer in [N] such that (i, j, a i, j ) Λ. If there is no point in such a line we just set a i, j = 0. IfΛis a three point free set, the matrix A(Λ) has the following properties: (1) For every k [N], k appears at most once in each row and each column of A(Λ). () For every k [N], if a i, j = k and a i, j = k then a i, j = a i, j= 0. Conversely, if A is a N N matrix that satisfies conditions (1) and (), then there is a three point free setλ [N] 3 such that A=A(Λ). The setλ is just{(i, j, a i, j ) : a i, j 0} and note that the cardinality ofλis the number of non-zero entries of A(Λ). The combinatorial problem we study is how large such a set three point free set can be. It is clear that ifλ [N] 3 is a three point free set, then Λ N. We show that in fact Λ can be sufficiently close to N : Theorem.5. Let w(n) denote the largest cardinality of a three point free subset of [N] 3. Then 4 log +ǫ w(n)>n loglog N as N for allǫ> 0.

7 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS7 Proof. Let n, d, N andλbe given in the proof of Theorem.. Define and We have that for big enough N, V := { (x, y, z): (x, y) Λ } [N] 3. V s := { (x, y, z) V : x+y+z= s }. 3N 3 s=0 4 log +ǫ V s = V =N N log log N. So there exists 0 s 3N 3 such that V s V 3N = 4log +ǫ 4 log +ǫ N log log N /3>N loglog N provided N is large enough. We verify that V s is three point free. Suppose that (x, y, z ), (x, y, z) and (x, y, z) belong to V s. Then in particular we have that (x, y), (x, y ) and (x, y) belong toλand s x y = z= s x y. So x x=y y. SinceΛis corner-free, we have that x= x and y=y. This implies that z = s x y= s x y=z and we conclude that V s is three point free. It follows immediately that provided that N is large enough. 4 log +ǫ w(n) V s N loglog N 3. Nilsystems and affine nilsystems In all that follows, we make use of the class of nilsystems, specially of affine nilsystems and we briefly introduce them Affine nilsystems with a single transformation. Let G be a group. For a, b G, [a, b] := aba 1 b 1 denotes the commutator of a and b and for A and B subsets of G, and [A, B] denotes the group generated by all the commutators [a, b] for a A and b B. The commutator subgroups are defined recursively as G 1 = G and G j+1 = [G j, G], j 1. We say that G is d-step nilpotent if G d+1 ={1}. Let G a d-step nilpotent Lie group andγbe a discrete a cocompact subgroup of G. The compact manifold G/Γ is a d-step nilmanifold. The group G acts on G/Γ as left translations and there is a unique probability measure µ which invariant under such action (called the Haar measure). A dynamical system of the form (G/Γ,B(G/Γ),µ, T 1,..., T n ) is called a nilsystem, whereb(g/γ) is the Borelσ-algebra of G/Γ, and each T i is given by the rotation by a fixedτ i G, i.e. T i : G/Γ G/Γ, x τ i x.

8 8 SEBASTIÁN DONOSO AND WENBO SUN An important class of such systems are the affine nilsystems. The affine nilsytems for a single transformation are defined as follows. Letα T d and let A be a d d unipotent integer matrix (i.e. (A I) d = 0). Let T :T d T d be the affine transformation x Ax+α. Let G be the group of transformations oft d generated by A and the translations oft d. That is, every element g Gis a map x A i x+βfor some i Z andβ T d. The group G acts transitively ont d and we may identify this space with G/Γ, whereγis the stabilizer of 0, which consists of the powers of A. The system (T d,µ d, T) is called an affine nilsystem (hereµis the Haar measure ont). Properties such as transitivity, minimality, ergodicity and unique ergodicity are equivalent for a system in this class and this can be checked by looking at the rotation induced byαon the projectiont d /Ker(A I) [10]. 3.. Affine nilsystems with several transformations. When we consider different affine transformations T i :T d T d, x A i x+α i, where A i is unipotent for every i=1,..., n, we can still regard the system (T d,b(t d ),µ d, T 1,..., T n ) as a nilsystem as long as the matrices commute. Indeed, let G be the group of transformations oft d generated by the matrices A 1,..., A n and the translations oft d. Then every element g G is a map x A(g)x+β(g), where A(g)=A m 1 1 Am n n, m 1,..., m n Zandβ(g) T d. A simple computation shows that if g 1, g G, the commutator [g 1, g ] is the map x x+(a(g 1 ) I)β(g )+(A(g ) I)β(g 1 ) and thus is a translation oft d. In the other hand, if g G andβ T d, then [g,β] is the translation x x + (A(g) I)β. It follows that the iterated commutator [ [[g 1, g ], g 3 ] g k ] belongs tot d and is contained in the image of (A(g 3 ) I) (A(g k ) I). If k is large enough, this product is trivial. So G is a nilpotent Lie group. The torust d can be identified with G/Γ, whereγis the stabilizer of 0, which is the group generated by the matrices A 1,..., A n. We refer to (T d,b(t d ),µ d, T 1,..., T n ) as an affine nilsystem with n transformations. It is worth noting that the transformations T i and T j commute if (A i I)α j = (A j I)α i int d. By a theorem from Leibman [9], we get: Proposition 3.1. Let (T d,b(t d ),µ d, T 1,..., T n ) be an affine nilsystem with n transformations. Then the properties of transitivity, minimality, ergodicity and unique ergodicity under the action of T 1...,T n are equivalent. Recall that (T d,b(t d ),µ d, T 1,..., T n ) is minimal under T 1..., T n if the orbit closure of every x T d under T 1...,T n ist d (in this paper we do not need the concepts of transitivity and unique ergodicity). We refer to [9] for a modern reference on nilmanifolds and nilsystems.

9 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS9 4. Proofsofthemaintheorems We are now ready to prove the main theorems. Proof of Theorem 1.. Let α, β R\Q be rationally independent numbers. Let X=T 6 with transformations T 1 (x 1, x, x 3 ; y 1, y, y 3 )=(x 1 +α, x +β, x 3 ; y 1 + x 1, y, y 3 + x 1 + x + x 3 ) and T (x 1, x, x 3 ; y 1, y, y 3 )=(x 1, x +β, x 3 +α; y 1, y + x 3, y 3 + x 1 + x + x 3 ). We have that (X,B(T 6 ),µ µ µ µ µ µ, T 1, T ) is an affine nilsystem with two transformations, whereµis the Haar measure ont. Notice that T 1 T (x 1, x, x 3 ; y 1, y, y 3 )=T T 1 (x 1, x, x 3 ; y 1, y, y 3 ) = (x 1 +α, x + β, x 3 +α; y 1 + x 1, y + x 3, y 3 + x 1 + x + x 3 +α+β). We first claim that the system is minimal and ergodic. To see this, let (x 1, x, x 3 ; y 1, y, y 3 ) and (x 1, x, x 3 ; y 1, y, y 3 ) T6. It is not hard to see that (x 1, x ; x 3, y 1, y, y 3 ) belongs to the orbit closure of (x 1, x, x 3 ; y 1, y, y 3 ) under the transformation T 1. We also have that (x 1, x, x 3 ; y 1, y, y 3 ) is in the orbit closure of (x 1, x, x 3, y 1, y, y 3 ) under the transformation T (here we use the fact that for fixed x 1, the transformation (x, x 3, y, y 3 ) (x + β, x 3 +α, y + x 3, y 3 + x 1 + x + x 3 ) is minimal int 4 ). We conclude that (x 1, x, x 3, y 1, y, y 3 ) is in the orbit closure of (x 1, x, x 3 ; y 1, y, y 3 ) under T 1, T. Since since the points are arbitrary, the system is minimal and hence ergodic by Proposition 3.1. Let N N to be chosen later andλ [N] 3 be a three point free set. For (a, b, c) [N] 3, denote Q a,b,c = ( a N, a N + 1 ) ( b N N, b N + 1 ) ( c N N, c N + 1 ) T 3 N and let B= (a,b,c) Λ Q a,b,c, A=T 3 B. Then On the other hand, µ µ µ µ µ µ(a)= Λ 8N 3. µ µ µ µ µ µ(a T n 1 A T n A) = 1 B (y 1, y, y 3 )1 B (y 1, y, y 3 )1 B(y 1, y, y 3 )dµ µ(x 1, x, x 3 ; y 1, y, y 3 ), T 6 where ( ) ( ) ( ) n n n y 1 = y 1+nx 1 + α, y = y +nx + α, y 3 = y 3+n(x 1 +x +x 3 )+ (α+β).

10 10 SEBASTIÁN DONOSO AND WENBO SUN Suppose that the product of the functions inside the integral is nonzero. Then we may assume that (y 1, y, y 3 ) Q a,b,c, (y 1, y, y 3 ) Q a,b,c and (y 1, y, y 3 ) Q a,b,c for some (a, b, c), (a, b, c ) and (a, b, c ) that belong toλ. SinceΛis three point free, we have that a=a, b=b and c=c. This implies that nx 1 + ( n Therefore, ) α, nx + ( ) n α, y 3 + n(x 1 + x + x 3 )+ () n (α+β) ( 1 N, 1 N ). µ µ µ µ µ µ(a T n 1 A T n A) = 1 B (y 1, y, y 3 )1 B (y 1, y, y 3 )1 B(y 1, y, y 3 )dµ µ(x 1, x, x 3 ; y 1, y, y 3 ) T 6 = 1 N 3 T 3 1 B (y 1, y, y 3 )dµ(y 1 )dµ(y )dµ(y 3 )= 1 N 3 Λ 8N 3. We have thatµ µ µ µ µ µ(a T n 1 A T n Λ A)= 8N 6 if and only if (4.1) l log(8) log( Λ ) log(n) log(n). Λ l (8N 3 ) l =µ(a) l By Theorem.5, we can takeλof cardinality larger than N ǫ and thus the right hand side in (4.1) can be as close to 4 as we want. This finishes the proof. Proof of Theorem 1.4. Letα R\Q. Let X=T 3 with transformations and T 1 (x, y, z)=(x+α, y+ x, z) T (x, y, z)=(x+α, y, z+ x). It is an affine nilsystem with two transformations. We first claim that the system (X,B(T 3 ),µ µ µ, T 1, T ) is minimal and ergodic, whereµis the Haar measure ont. To see this, take (x 0, y 0, z 0 ) T 3 and note that the closure of the orbit of this point under the transformation T 1 ist T {z 0 }. Let (x, y, z) T 3 be an arbitrary point and notice that this point is contained in the orbit closure of (x 0, y, z 0 ) under the transformation T. So the closure of the orbit of (x 0, y 0, z 0 ) under T 1, T ist 3. We conclude that the system is minimal and thus ergodic by Proposition 3.1. It is easy to verify that [T 1, T ](x, y, z)=(x, y+α, z α) commutes with T 1 and T. So T 1 and T generate a -step nilpotent group.

11 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS 11 Let N N to be chosen later andλ [N] be a corner-free set. For (a, b) [N], denote Q a,b = ( a N, a N + 1 ) ( b N N, b N + 1 ) T N and let B= (a,b) Λ Q a,b and A=T B. Then On the other hand, µ µ µ(a)= Λ 4N. µ µ µ(a T n 1 A T n A) ( ( ) n = 1 B (y, z)1 B y+nx+ α, z ) ( ( ) n 1 B y, z+nx+ α ) dµ(x)dµ(y)dµ(z). T 3 Suppose that the product of the functions inside the integral is nonzero. Write c=nx+ ( n ) α for convenience. Then we may assume that (y, z) Qa,b, (y+c, z) Q a,b and (y, z+c) Q a,b for some (a, b), (a, b) (a, b ) that belong toλ. Since (y+c) y=(z+c) z, by the construction of the Q a,b s, we must have that a a=b b. SinceΛis L-free, we have that a=a and b=b. This implies that c=nx+ ( ) n α ( 1 ). Therefore, N, 1 N µ µ µ(a T n 1 A T n A) ( ( ) n = 1 B (y, z)1 B y+nx+ α, z ) ( ( ) n 1 B y, z+nx+ α ) dµ(x)dµ(y)dµ(z) T B (y, z)dµ(y)dµ(z)= 1 Λ N T N 4N. We have thatµ µ µ(a T n 1 A T n Λ A)= 4N 3 only if (4.) l log(4) log( Λ ) log(n) log(n) Λ l (4N ) l =µ(a) l if and By Theorem., we can takeλof cardinality larger than N ǫ and thus the right hand side in (4.) can be arbitrarily large. This finishes the proof. For Theorem 1.3, we make use of the following theorem in [3] which gives a negative answer to Question 1.1 in the non-ergodic case. Theorem 4.1. Let (T,B(T ),µ µ, T) be a measure preserving system on T, whereµis the Lebesgue measure ontand T is the transformation (x, y) (x, y+ x). For everyl>0, there exists B B(T ) such that µ(b T n B T n B) µ(b) l

12 1 SEBASTIÁN DONOSO AND WENBO SUN for every n 0. Remark 4.. It is worth noting that the subset B is constructed with the help of Behrend Theorem s on subsets of integers with no arithmetic progressions of length 3 []. The system in Theorem 4.1 is not ergodic. The idea to prove Theorem 1.3 is to take an extension of the system in Theorem 4.1 and add a transformation to make it ergodic. Proof of Theorem 1.3. Letµbe the Haar measure ontand letα R\Q. Consider X=T T T and its Haar measureµ µ µ. Let T = T 1 and Since T 1 (x, y, z)=(x+α, y, z+y), T 3 (x, y, z)=(x, y+α, z+ x). T 1 T 3 (x, y, z)=t 3 T 1 (x, y, z)=(x+α, y+α, z+ x+y+α), T 1, T and T 3 commute. We leave its proof to the readers that the action generated by T 1, T, T 3 is minimal and hence ergodic in X=T T T by Proposition 3.1. By Theorem 4.1, for everyl>0, we can find a subset B T T such that µ µ(b T n B T n B) µ(b) l for all n 0. Now it suffices to consider the set A=T B T T T and notice that µ µ µ(a T n 1 A T n A T n 3 A) µ µ(b T n B T n B) µ µ(b) l =µ µ µ(a) l for every n 0. References [1] M. Ajtai and E. Szemerédi, Sets of lattice points that form no squares, Stud. Sci. Math. Hungar. 9 (1974), [] F. A. Behrend. On sets of integers which contain no three in arithmetic progression. Proc. Nat. Acad. Sci. 3 (1946), [3] V. Bergelson, B. Host and B. Kra, Multiple recurrence and nilsequences. With an appendix by Imre Ruzsa, Invent. Math. 160 (005), no., [4] Q. Chu, Multiple recurrence for two commuting transformations, Ergodic Theory Dynam. Systems 31 (011), no. 3, [5] Q. Chu and P. Zorin-Kranich, Lower bound in the Roth theorem for amenable groups, Ergodic Theory Dynam. Systems 35 (015), no. 6, [6] H. Furstenberg, Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions, J. Analyse Math. 31 (1977),

13 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS 13 [7] H. Furstenberg and Y. Katznelson, An ergodic Szemerédi theorem for commuting transformations, J. Analyse Math. 34 (1978), [8] A. Khintchine, Eine Verschärfung des Poincaréschen Wiederkehrsatzes. (German), Compositio Math. 1 (1935), [9] Pointwise convergence of ergodic averages for polynomial sequences of translations on a nilmanifold, Ergodic Theory Dynam. Systems 5 (005), no. 1, [10] W. Parry, Ergodic properties of affine transformations and flows on nilmanifolds, Amer. J. Math. 91 (1969) [11] R. Salem and D. C. Spencer, On sets of integers which contain no three terms in arithmetical progression, Proc. Nat. Acad. Sci. U. S. A. 8, (194) Centro de Modelamiento Matemático, CNRS-UMI 807, Universidad de Chile, Beauchef 851, Santiago, Chile. address:sdonosof@gmail.com Department of Mathematics, The Ohio State University, 31 West 18th Avenue, Columbus OH, , USA address:sun.1991@osu.edu