arxiv: v3 [math.ds] 16 Apr 2011

Transcription

1 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES arxiv:02.30v3 [math.ds] 6 Apr 20. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL Abstract. We prove pointwise convergence, as, for the multiple ergodic averages f(tn x) g(s an x), where T and S are commuting measure preserving transformations, and a n is a random version of the sequence [n c ] for some appropriate c >. We also prove similar mean convergence results for averages of the form f(tan x) g(s an x), as well as pointwise results when T and S are powers of the same transformation. The deterministic versions of these results, where one replaces a n with [n c ], remain open, and we hope that our method will indicate a fruitful way to approach these problems as well.. Introduction.. Background and new results. Recent advances in ergodic theory have sparked an outburst of activity in the study of the limiting behavior of multiple ergodic averages. Despite the various successes in proving mean convergence results, progress towards the corresponding pointwise convergence problems has been very scarce. For instance, we still do not know whether the averages () f(t n x) g(s n x) converge pointwise when T and S are two commuting measure preserving transformations acting on the same probability space and f and g are bounded measurable functions. Mean convergence for such averages was shown in [] and was recently generalized to an arbitrary number of commuting transformations in [27]. On the other hand, the situation with pointwise convergence is much less satisfactory. Partial results that deal with special classes of transformations can be found in [2, 3, 22, 23, ]. Without imposing any strictures on the possible classes of the measure preserving transformations considered, pointwise convergence is only known when T and S are powers of the same transformation [8] (see also [2] for an alternate proof), a result that has not been improved for twenty years Mathematics Subject Classification. Primary: 37A30; Secondary: 28D05, 05D0, B25. Key words and phrases. Ergodic averages, mean convergence, pointwise convergence, multiple recurrence, random sequences, commuting transformations. The first author was partially supported by Marie Curie IRG and the third author by SF grant DMS

2 2. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL More generally, for fixed α,β [,+ ), one would like to know whether the averages (2) f(t [nα] x) g(s [nβ] x) converge pointwise. Mean convergence for these and related averages has been extensively studied, partly because of various links to questions in combinatorics. In particular, mean convergenceisknownwhent = S andα, β arepositiveintegers[8,25], orpositivenon-integers [5]. Furthermore, for general commuting transformations T and S, mean convergence is known when α, β are different positive integers [0]. Regarding pointwise convergence, again, the situation is much less satisfactory. When α, β are integers, some partial results for special classes of transformations can be found in [3] and [24]. Furthermore, pointwise convergence is known for averages of the form f(t[nα] x) with no restrictions on the transformation T ([7] for integers α, and [29] or [6] for non-integers α). But for general commuting transformations T and S, no pointwise convergence result is known, not even when T = S and α β. The main goal of this article is to make some progress related to the problem of pointwise convergence of the averages (2) by considering randomized versions of fractional powers of n, in place of the deterministic ones, for various suitably chosen exponents α and β. In our first result, we study a variation of the averages (2) where the iterates of T are deterministic and the iterates of S are random. More precisely, we let a n be a random version of the sequence [n β ] where β (,4/3) is arbitrary. We prove that almost surely (the set of probability is universal) the averages (3) f(t n x) g(s an x) converge pointwise, and we determine the limit explicitly. This is the first pointwise convergence result for multiple ergodic averages of the form f(tan x) g(s bn x), where a n,b n are strictly increasing sequences and T, S are general commuting measure preserving transformations. In fact, even for mean convergence the result is new, and this is an instance where convergence of multiple ergodic averages involving sparse iterates is obtained without the use of rather deep ergodic structure theorems and equidistribution results on nilmanifolds. In our second result, we study a randomized version of the averages (2) when α = β. In this case, we let a n be a random version of the sequence [n α ] where α (,2) is arbitrary, and prove that almost surely (the set of probability is universal) the averages (4) f(t an x) g(s an x) converge in the mean, and conditionally to the pointwise convergence of the averages (), they also converge pointwise. Even for mean convergence, this gives the first examples of sparse sequences of integers a n for which the averages (4) converge for general commuting measure preserving transformations T and S. Because our convergence results come with explicit limit formulas, we can easily deduce some related multiple recurrence results. Using the correspondence principle of Furstenberg, these results translate to statements in combinatorics about configurations that can be found in every subset of the integers, or the integer lattice, with positive upper density.

3 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES 3 Let us also remark that convergence of the averages () for not necessarily commuting transformations is known to fail in general. We prove that this is also the case for the averages (2), (3), and (4). We state the exact results in the next section, where we also give precise definitions of the concepts used throughout the paper..2. Precise statements of new results..2.. Our setup. We work with random sequences of integers that are constructed by selecting a positive integer n to be a member of our sequence with probability σ n [0,]. More precisely, let (Ω,F,P) be a probability space, and let (X n ) n be a sequence of independent random variables with P(X n = ) = σ n and P(X n = 0) = σ n. In the present article we always assume that σ n = n a for some a (0,). The random sequence (a n (ω)) n is constructed by taking the positive integers n for which X n (ω) = in increasing order. Equivalently, a n (ω) is the smallest k such that X (ω)+ +X k (ω) = n. We record the identity (5) X (ω)+ +X an(ω)(ω) = n for future use. The sequence (a n (ω)) n is what we called random version of the sequence n /( a) in the previous subsection. Indeed, using a variation of the strong law of large numbers (see Lemma 5.6 below), we have that almost surely k= σ k= X k(ω) converges to. Using the k implied estimate for a n (ω) in place of, where n is suitably large, and (5), we deduce that almost surely a n (ω)/n /( a) converges to a non-zero constant Different iterates. In our first result we study a randomized version of the averages (2) when α =. Theorem.. With the notation of Section.2., let σ n = n a for some a (0,/4). Then almost surely the following holds: For every probability space (X, X, µ), commuting measure preserving transformations T,S: X X, and functions f,g L (µ), for almost every x X we have (6) lim f(t n x) g(s an(ω) x) = f(x) g(x) where f := lim Tn f = E(f I(T)), g := lim Sn g = E(g I(S)). 2 See example 7. in [2], or let T,S: T T, given by Tx = 2x, Sx = 2x+α, and f(x) = e 2πix,g(x) = e 2πix, where α [0,] is chosen so that the averages e2πi 2nα diverge. 2 If (X,X,µ) is a probability space, f L (µ), and Y is a sub-σ-algebra of X, we denote by E(f Y) the conditional expectation of f given Y. If T : X X is a measure preserving transformation, by I(T) we denote the sub-σ-algebra of sets that are left invariant by T.

4 4. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL We remark that theconclusion of Theorem. can beeasily extended to all functions f L p, g L q, where p [,+ ] and q (,+ ] satisfy /p+/q. 3 Combining the limit formula of Theorem. with the estimate (see Lemma.6 in [9]) f E(f X ) E(f X 2 ) dµ ( f dµ) 3, that holds for every non-negative function f L (µ) and sub-σ-algebras X and X 2 of X, we deduce the following: Corollary.2. With the assumptions of Theorem., we get almost surely, that for every A X we have lim µ(a T n A S an(ω) A) µ(a) 3. The upper density d(e) of a set E Z 2 is defined by d(e) = limsup E [,] 2 [,] 2. Combining the previous multiple recurrence result with a multidimensional version of Furstenberg s correspondence principle [7], we deduce the following: Corollary.3. With the notation of Section.2., let σ n = n a for some a (0,/4). Then almost surely, for every v,v 2 Z 2 and E Z 2 we have lim inf d ( E (E nv ) (E a n (ω)v 2 ) ) ( d(e)) 3. We remark that in the previous statement we could have used the upper Banach density d in place of the upper density d. This is defined by d (E) = limsup I E I I, where I denotes the area of a rectangle I and the limsup is taken over all rectangles of Z 2 with side lengths that increase to infinity. The same holds for the statement of Corollary.6 below Same iterates. In our next result we study a randomized version of the averages (). By Tf we denote the composition f T. Theorem.4. With the notation of Section.2., let σ n = n a for some a (0,/2). Then almost surely the following holds: For every probability space (X, X, µ), commuting measure preserving transformations T,S: X X, and functions f,g L (µ), the averages (7) T an(ω) f S an(ω) g converge in L 2 (µ) and their limit equals the L 2 -limit of the averages Tn f S n g (this exists by []). Furthermore, if T and S are powers of the same transformation, then the averages (7) converge pointwise. 3 To see this, one uses a standard approximation argument and the fact that the averages Tn f converge pointwise for f L p when p [,+ ], and the same holds for the averages San(ω) f for f L q when q (,+ ] (see for example exercise 3 on page 78 of [26]).

5 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES 5 Tan(ω) Tan(ω) f T (an(ω))2 Our argument actually shows that the averages (7) converge pointwise if and only if the averages () convergence pointwise. Furthermore, using our method, one can get similar convergence results for other random multiple ergodic averages. For instance, our method can be modified and combined with the results from [27] and [0] to show that for every l, if σ n = n a and a is small enough (in fact any a (0,2 l ) works), then almost surely the averages f T an(ω) l f l and 2 f 2 T (an(ω))l l f l converge in the mean. Combining Theorem.4 with the multiple recurrence result of Furstenberg and Katznelson [7], we deduce the following: Corollary.5. With the assumptions of Theorem.4, we get almost surely, that if A X has positive measure, then lim µ(a T an(ω) A S an(ω) A) > 0. Combining the previous multiple recurrence result with the correspondence principle of Furstenberg [6], we deduce the following: Corollary.6. With the notation of Section.2., let σ n = n a for some a (0,/2). Then almost surely, for every v,v 2 Z 2, and every E Z 2 with d(e) > 0, we have lim inf d ( E (E +a n (ω)v ) (E +a n (ω)v 2 ) ) > on-recurrence and non-convergence. One may wonder whether the assumption that the transformations T and S commute can be removed from the statements of Theorems. and.4 and the related corollaries. It can definitely be weakened; probably assuming that the group generated by T and S is nilpotent suffices, see for example [4] where mean convergence of the averages () is shown under such an assumption. On the other hand, constructions of Berend (Ex 7. in [2]) and Furstenberg (page 40 in [6]) show that Theorem.4 and Corollary.5 are false if the assumption that the transformations T and S commute is completely removed. ext, we state a rather general result which implies that one has similar obstructions when dealing with Theorem. and Corollary.2. Givenaprobabilityspace(X,X,µ), wesaythatameasurepreservingtransformationt: X X is Bernoulli if the measure preserving system (X,X,µ,T) is isomorphic to a Bernoulli shift on finitely many symbols. Theorem.7. Let a,b: Z\{0} be two injective sequences. Then there exist a probability space (X,X,µ) and measure preserving transformations T,S: X X, both of them Bernoulli, such that for some f,g L (µ) the averages T a(n) f S b(n) g dµ diverge, and for some A X with µ(a) > 0 we have µ(t a(n) A S b(n) A) = 0 for every n. One can use a variation of our argument to extend Theorem.7 to sequences of bounded multiplicity, meaning sequences (c(n)) that satisfy sup m range(c) #{n c(n) = m} < +. On the other hand, Theorem.7 cannot be extended to all sequences that take any given integer value a finite number of times. For instance, it is not hard to show that the pair of

6 6. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL sequences a(n) = [ n], b(n) = n, is good for (multiple) recurrence and mean convergence (see the proof of Theorem 2.7 in [5]) Further directions. The restrictions on the range of the eligible parameter a in Theorem., Theorem.4, and the related corollaries, appears to be far from best possible. 4 In fact, any a < is expected to work, but it seems that new techniques are needed to prove this. This larger range of parameters is known to work for pointwise convergence of the averages f(tan(ω) x) (see [5] for mean convergence, [7] for pointwise, and [26] for a survey of related results). Furthermore, when σ n = σ (0,) for every n, it is not clear whether the conclusion of Theorem. related to pointwise convergence holds (see Theorem 4 in [2] for a related negative pointwise convergence result). Regarding Theorem., it seems very likely that similar convergence results hold when the iterates of the transformation T are given by other good deterministic sequences, like polynomial sequences. Our argument does not give such an extension because it relies crucially on the linearity of the iterates of T. Furthermore, it seems likely that similar convergence results hold when the iterates of T and S are both given by random versions of different fractional powers, chosen independently. Again our present argument does not seem to apply to this case..3. General conventions and notation. We use the symbol when some expression is majorized by a constant multiple of some other expression. If this constant depends on the variables k,...,k l, we write k,...,k l. We say that a n b n if a n /b n converges to a nonzero constant. We denote by o () a quantity that converges to zero when and all other parameters are fixed. We say that two sequences are asymptotically equal whenever convergence of one implies convergence of the other and both limits coincide. If (Ω,F,P) is a probability space, and X is a random variable, we set E ω (X) := X dp. We say that a property holds almost surely if it holds outside of a set with probability zero. We often suppress writing the variable x when we refer to functions and the variable ω when we refer to random variables or random sequences. Lastly, the following notation will be used throughout the article: := {,2,...}, Tf := f T, e(t) := e 2πit. 2. Convergence for independent random iterates In this section we prove Theorem.. Throughout, we use the notation introduced in Section.2. and we also let Y n := X n σ n, W := σ n. We remark that if σ n = n a for some a (0,), then W a. 4 Any improvement in the range of the eligible parameter a in the statement of Proposition 2. or Proposition 3., would give corresponding improvements in the statement of Theorem. and Theorem.4 and the related corollaries.

7 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES Strategy of the proof. Roughly speaking, in order to prove Theorem. we go through the following successive comparisons: f(t n x) g(s an(ω) x) W W X n (ω) f(t X (ω)+ +X n(ω) x) g(s n x) σ n f(t X (ω)+ +X n(ω) x) g(s n x) f(t X (ω)+ +X n(ω) x) g(s n x) g(x) g(x) f(t X (ω)+ +X n(ω) x) f(t n x) f(x) g(x), where A (ω,x) B (ω,x) means that almost surely (the set of probability is universal), the expression A (ω,x) is asymptotically equal to B (ω,x) for almost every x X. The second comparison is the most crucial one; essentially one has to get good estimates for the L 2 norm of the averages W (X n(ω) σ n ) T X (ω)+ +X n(ω) f S n g. We do this in two steps. First we use an elementary estimate of van der Corput twice to get a bound that depends only on the random variables Y n, and then estimate the resulting expressions using the independenceof the variables Y n. Let us also mention that the fifth comparison follows immediately by applying the first three for g = A reduction. Our first goal is to reduce Theorem. to proving the following result: Proposition 2.. Suppose that σ n = n a for some a (0,/4) and let γ > be a real number. Then almost surely the following holds: For every probability space (X, X, µ), commuting measure preserving transformations T,S: X X, and functions f,g L (µ), we have [γ (8) k ] 2 Y n (ω) T X (ω)+ +X n(ω) f S n g W < +. [γ k ] k= We are going to establish this reduction in the next subsections First step. We assume, as we may, that both functions f and g are pointwise bounded by for all points in X. By (5) for every ω Ω and x X we have L 2 (µ) f(t n x) g(s an(ω) x) = f(t X (ω)+ +X an(ω) (ω) x) g(s an(ω) x).

8 8. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL A moment of reflection shows that for every bounded sequence (b n ) n, for every ω Ω, the averages b an(ω) and the averages W (ω) X n (ω) b n, where W (ω) := X (ω) + + X (ω), are asymptotically equal as. Moreover, Lemma 5.6 in the Appendix gives that almost surely lim W (ω)/w =. Therefore, the last averages are asymptotically equal to the averages X n (ω) b n. W Putting these observations together, we see that for almost every ω Ω the averages in (6) and the averages (9) X n (ω) f(t X (ω)+ +X n(ω) x) g(s n x) W are asymptotically equal for every x X Second step. ext, we study the limiting behavior of the averages (9) when the random variables X n are replaced by their mean. amely, we study the averages (0) σ n f(t X (ω)+ +X n(ω) x) g(s n x). W By Lemma 5.3 in the Appendix, for every ω Ω and x X they are asymptotically equal to the averages () f(t X (ω)+ +X n(ω) x) g(s n x). Lemma 2.2. Suppose that σ n = n a for some a (0,). Then almost surely the following holds: For every probability space (X,X,µ), measure preserving transformations T,S: X X, and functions f,g L (µ), we have lim ( f(t X (ω)+ +X n(ω) x) g(s n x) for almost every x X. ) f(t X (ω)+ +X n(ω) x) E(g I(S))(x) = 0 Proof. It suffices to show that almost surely, if E(g I(S)) = 0, then lim A (f,g,ω,x) = 0 for almost every x X, where A (f,g,ω,x) := f(t X (ω)+ +X n(ω) x) g(s n x).

9 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES 9 First we consider functions g of the form h Sh where h L (µ). Assuming, as we may, that both f and h are pointwise bounded by for all points in X, partial summation gives that A (f,h Sh,ω,x) = ( f(t X (ω)+ +X n(ω) x) f(t X (ω)+ +X n (ω) x) ) h(s n x)+o (). The complex norm of the last expression is bounded by a constant times the average En (ω) where E n := {ω: X n (ω) = }. Since P(E n ) = n a, combining our assumption with Lemma 5.5 in the Appendix, we get that the last average converges almost surely to 0 as. Therefore, on a set Ω 0 of probability, that depends only on the random variables X n, we have (2) lim A (f,h Sh,ω,x) = 0 for almost every x X. Furthermore, using the trivial estimate A (f,g,ω,x) g (S n x), and then applying the pointwise ergodic theorem for the transformation S, we get for every ω Ω that (3) lim sup A (f,g,ω, ) dµ g L (µ). Since every function g L (µ) that satisfies E(g I(S)) = 0 can be approximated in L (µ) arbitrarily well by functions of the form h Sh with h L (µ), combining (2) and (3), we get for every ω Ω 0, that if E(g I(S)) = 0, then lim A (f,g,ω,x) = 0 for almost every x X. This completes the proof Third step. We next turn our attention to the study of the limiting behavior of the averages (4) f(t X (ω)+ +X n(ω) x). Lemma 2.3. Let σ n = n a for some a (0,/4). Then almost surely the following holds: For every probability space (X,X,µ), measure preserving transformation T: X X, and function f L (µ), the averages in (4) converge to E(f I(T))(x) for almost every x X. Remark. Improving the range of the parameter a would not lead to corresponding improvements inourmainresults. Ontheotherhand,therestrictedrangeweusedenablesustogiveasuccinct proof using Proposition 2..

10 0. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL Proof. We assume, as we may, that the function f is pointwise bounded by for all points in X. First notice that by Lemma 5.3 in the Appendix, for every ω Ω and x X, the averages in (4) are asymptotically equal to the averages W σ n f(t X (ω)+ +X n(ω) x) where W := n a a. Combining this observation with Corollary 5.2 on the Appendix, we deduce that it suffices to show that almost surely the following holds: For every probability space (X, X, µ), measure preserving transformation T : X X, function f L (µ), and γ {+/k,k }, we have (5) lim [γ ] W [γ ] σ n f(t X (ω)+ +X n(ω) x) = E(f I(T))(x) for almost every x X. Using Proposition 2. for g =, we get that almost surely (the set of probability depends only on the random variables X n ), for every γ { + /k,k }, the averages in (5) are asymptotically equal to the averages [γ ] W [γ ] X n (ω) f(t X (ω)+ +X n(ω) x) for almost every x X. Hence, it suffices to study the limiting behavior of the averages W X n (ω) f(t X (ω)+ +X n(ω) x). Repeating the argument used in Section 2.2. (with g = ), we deduce that for every ω Ω and x X, they are asymptotically equal to the averages f(t X (ω)+ +X an(ω) (ω) x) = f(t n x) where the last equality follows from (5). Finally, using the pointwise ergodic theorem we get that the last averages converge to E(f I(T))(x) for almost every x X. This completes the proof Last step. We prove Theorem. by combining Proposition 2. with the arguments in the previous three steps. We start with Proposition 2.. It gives that there exists a set Ω 0 F of probability such that for every ω Ω 0 the following holds: For every probability space (X,X,µ), commuting measure preservingtransformations T,S: X X, functions f,g L (µ), and γ {+/k,k }, we have (6) S [γ ](ω, ) 2 < + L 2 (µ) =

11 where RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES S (ω,x) := W Y n (ω) f(t X (ω)+ +X n(ω) x) g(s n x). In the remaining argument ω is assumed to belong to the aforementioned set Ω 0. otice that (6) implies that lim S [γ ](ω,x) = 0 for almost every x X. We conclude that for almost every x X, for every γ {+/k,k }, the difference [γ ] W [γ ] X n (ω) f(t X (ω)+ +X n(ω) x) g(s n x) [γ ] W [γ ] σ n f(t X (ω)+ +X n(ω) x) g(s n x) converges to 0 as. In Sections and we proved that for almost every x X we have σ n f(t X (ω)+ +X n(ω) x) g(s n x) = f(x) g(x), lim W where f := E(f I(T)), and g := E(g I(S)). We deduce from the above that for almost every x X, for every γ {+/k,k }, we have that lim [γ ] W [γ ] X n (ω) f(t X (ω)+ +X n(ω) x) g(s n x) = f(x) g(x). Sincethesequence(W n )satisfies theassumptionsof Corollary 5.2intheAppendix, weconclude that for non-negative functions f,g L (µ), for almost every x X, we have (7) lim W X n (ω) f(t X (ω)+ +X n(ω) x) g(s n x) = f(x) g(x). Splitting the real and imaginary part of the function f as a difference of two non-negative functions, doing the same for the function g, and using the linearity of the operator f f, we deduce that (7) holds for arbitrary f,g L (µ). Lastly, combining the previous identity and the argument used in Section 2.2., we deduce that for almost every x X we have lim We have therefore established: f(t n x) g(s an(ω) x) = f(x) g(x). Proposition 2.4. If Proposition 2. holds, then Theorem. holds. In the next subsection we prove Proposition 2..

12 2. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL 2.3. Proof of Proposition 2.. The proof of Proposition 2. splits in two parts. First we estimate the L 2 norm of the averages W Y n T X + +X n f S n g by an expression that is independent of the transformations T,S and the functions f,g. The main idea is to use van der Corput s Lemma (see Lemma 5.4 in the Appendix) enough times to get the desired cancelation, allowing enough flexibility on the parameters involved to ensure that certain terms become negligible. Subsequently, using moment estimates, we show that the resulting expression is almost surely summable along exponentially growing sequences of integers. Before delving into the details we make some preparatory remarks that will help us ease our notation. We assume that both functions f,g are bounded by. We remind the reader that σ n = n a, W a for some a (0,). We are going to use parameters M and R that satisfy M = [ b ], R = [ c ] for some b,c (0,) at our disposal. We impose more restrictions on a,b,c as we move on Eliminating the dependence on the transformations and the functions. To simplify our notation, in this subsection, when we write α we mean [ α ]. Using Lemma 5.4 in the Appendix with M = [ b ] and v n = Y n T X + +X n f S n g, we get that 2 (8) A := Y n T X + +X n f S n g A, +A 2,, where and A 2, := +2a b +a A, := +2a b b m= m L 2 (µ) Yn T X + +X n f S n g 2 L 2 (µ) Y n+m Y n T X + +X n+m f S n+m g T X + +X n f Snḡ dµ. We estimate A,. Since E(Yn) 2 = σ n σn 2 n a, Lemma 5.6 in the Appendix gives for every a (0,) that Y n 2 E(Y 2) a. Therefore, almost surely we have A, +2a b Yn 2 ω +2a b a = a b. It follows that A, is bounded by a negative power of as long as b > a. ext, we estimate A 2,. We compose with S n and use the Cauchy-Schwarz inequality. We get b m A 2, +2a b Y n+m Y n S n T X + +X n+m f S n T X + +X n f. m= L 2 (µ)

13 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES 3 Furthermore, since we get the estimate A 2, d + +2a b b m= b +2a b m= m +2a+b, Y n+m Y n S n T X + +X n+m f S n T X + +X n f where d := 2a b is positive as long as 2a+b <. Using the Cauchy-Schwarz inequality we get b A 2 2, 2d + 2+4a b Y n+m Y n S n T X + +X n+m f S n T X + +X n f m= L 2 (µ) ext we use Lemma 5.4 in the Appendix with R = [ c ] and the obvious choice of functions v n, in order to estimate the square of the L 2 norm above. We get the estimate A 2 2, 2d +A 3, +A 4,, where A 3,, A 4,, can be computed as before. Using Lemma 5.7 in the Appendix, and the estimate E(Y 2 n ) n a, we deduce that almost surely, for every a (0,/6) we have where d 2 > 0 as long as b +4a b c A 3, m= Yn+mY 2 n 2 ω 2a c = d 2 2a < c. Composing with T (X + +X n) S n, using that T and S commute, and the Cauchy-Schwarz inequality, we see that A 4, +4a b c b c m= r= r Y n+m+r Y n+r Y n+m Y n 2 L 2 (µ) T X n++ +X n+m+r S r f T X n++ +X n+r S r f T X n+ + +X n+m f. L 2 (µ) Since for every k we have X n+ + +X n+k {0,...,k}, it follows that (9) A 4, A 5, := +4a b c b c m+r r m m= r= k =0k 2 =0k 3 =0 Summarizing, we have just shown that as long as r Y n+m+r Y n+r Y n+m Y n m+r i= X n+i=k (n) r i= X n+i=k 2 (n) m i= X n+i=k 3 (n). (20) a < b, 2a+b <, 2a < c, a (0,/6), b,c (0,),.

14 4. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL almost surely the following holds: For every probability space (X, X, µ), commuting measure preserving transformations T,S: X X, and functions f,g L (µ) with f L (µ) and g L (µ), we have (2) A ω d 3 +A 5, for some d 3 > 0, where A 5, is defined in (9). otice that the expression A 5, depends only on the random variables X n. Therefore, in order to complete the proof of Proposition 2., it suffices to show that almost surely A 5, is summable along exponentially growing sequences of integers Estimating A 5, (End of proof of Proposition 2.). Assuming that (22) b < c, we get that b +4a b c (23) E ω (A 5, ) where c 2 c c b m= r= k =0k 2 =0k 3 =0 r E ω Y n Z n,m,r,k,k 2,k 3 Z n,m,r,k,k 2,k 3 := Y n+m+r Y n+r Y n+m m+r k= X n+k=k (n) r k= X n+k=k 2 (n) m k= X n+k=k 3 (n). Using the Cauchy-Schwarz inequality we get r r 2 (24) E ω Y n Z n,m,r,k,k 2,k 3 E ω Y n Z n,m,r,k,k 2,k 3 We expand the square in order to compute its expectation. It is equal to E ω (Y n Z n,m,r,k,k 2,k 3 Y n2 Z n2,m,r,k,k 2,k 3 ). n,n 2 r otice that if n < n 2, then for every m,r, and non-negative integers k,k 2,k 3, therandom variable Y n is independent of the variables Y n2, Z n,m,r,k,k 2,k 3, and Z n2,m,r,k,k 2,k 3. Since Y n has zero mean, it follows that if n n 2, then E ω (Y n Z n,m,r,k,k 2,k 3 Y n2 Z n2,m,r,k,k 2,k 3 ) = 0. Therefore, the right hand side of equation (24) is equal to ( r /2 ( r /2 E ω (Yn) E 2 ω (Zn,m,r,k 2,k 2,k 3 )) E ω (Yn) E 2 ω (Yn+m 2 Yn+r 2 Yn+m+r)) 2. If r,m,n are fixed and r m, then the variables Yn+m 2,Y n+r 2,Y n+m+r 2 are independent, and as a consequence the right hand side is almost surely bounded by ( /2 σn) 4 /2 2a. /2.

15 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES 5 On the other hand, if r,m,n are fixed and r = m, then the random variables Yn+r 4,Y n+2r 2 are independent, and as a consequence the right hand side is almost surely bounded by ( /2 σn) 3 /2 3a/2. Combining these two estimates with (23), we deduce that E ω (A 5, ) +4a b c ( /2 2a+2b+3c + /2 3a/2+2b+2c ) = /2+2a+b+2c + /2+5a/2+b+c. For fixed ε > 0, letting a (0,/6), b be greater and very close to a, and c be greater and very close to 2a, we get that the conditions (20) and (22) are satisfied, and (25) E ω (A 5, ) ( +4a)/2+ε + ( +a)/2+ε = d 4 for some d 4 that satisfies (26) d 4 > ( 4a)/2 ε. Therefore, for every a (0,/4), if ε is small enough, then the estimates (2) and (25) hold for some d 3,d 4 > 0. Equation (25) gives that for every γ > we have E ω (A 5,[γ ]) < +. = As a consequence, for every γ > we have almost surely that (27) A 5,[γ ](ω) < +. = Recalling the definition of A in (8), and combining (2) and (27), we get that for every a (0,/4) and γ >, almost surely the following holds: For every probability space (X,X,µ), commuting measure preserving transformations T,S: X X, and f,g L (µ), we have where S [γ ](ω, ) 2 < + L 2 (µ) = S (ω, ) := +a Y n (ω) T X (ω)+ +X n(ω) f S n g. This finishes the proof of Proposition Convergence for the same random iterates In this section we prove Theorem.4. Throughout, we use the notation introduced in Section.2. and the beginning of Section 2.2.

16 6. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL 3.. Strategy of the proof. In order to prove Theorem.4 we go through the following successive comparisons: f(t an(ω) x) g(s an(ω) x) X n (ω) f(t n x) g(s n x) W W σ n f(t n x) g(s n x) f(t n x) g(s n x), where our notation was explained in Section 2.. The key comparison is the second. One needs to get good estimates for the L 2 norm of the averages W Y n(ω) T n f S n g, where Y n := X n σ n. We do this in two steps. First we use van der Corput s estimate and Herglotz s theorem to get a bound that depends only on the random variables Y n. The resulting expressions turn out to be random trigonometric polynomials that can be estimated using classical techniques A reduction. Arguing as in Section 2.2 (in fact the argument is much simpler in the current case) we reduce Theorem.4 to proving the following result: Proposition 3.. Suppose that σ n = n a for some a (0,/2) and let γ > be a real number. Then almost surely the following holds: For every probability space (X, X, µ), commuting measure preserving transformations T,S: X X, and functions f,g L (µ), we have [γ (28) k ] 2 Y n (ω) T n f S n g W < + [γ k ] k= where W := σ n. We prove this result in the next subsection Proof of Proposition 3.. As was the case with the proof of Proposition 2. the proof of Proposition 3. splits in two parts Eliminating the dependence on the transformations and the functions. We assume that both functions f,g are bounded by. We start by using Lemma 5.4 for M = and v n := Y n T n f S n g (this is essentially the ordinary expansion of the square of the sum). We get that 2 (29) A := Y n T n f S n g A, +A 2, where +a A, := 2+2a L 2 (µ) L 2 (µ) Y n T n f S n g 2 L 2 (µ) 5 A faster way to get such an estimate is to apply van der Corput s Lemma twice. The drawback of this method is that the resulting expression converges to zero only when σ n = n a for some a (0,/4).

17 and RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES 7 A 2, := 2+2a m m= Y n+m Y n T n+m f S n+m g T n f Snḡ dµ. We estimate A,. Since E ω (Y 2 n) n a, Lemma 5.6 gives Y 2 n ω a. It follows that almost surely we have (30) A, 2+2a Yn 2 ω 2+2a a = a. Therefore, A, is bounded by a negative power of for every a (0,). We estimate A 2,. Composing with S n and using the Cauchy-Schwarz inequality we get m A 2, 2+2a Y n+m Y n S n T n+m f S n T n f. m= L 2 (µ) Using that T and S commute and letting R = TS and f m = T m f f, we rewrite the previous estimate as m A 2, 2+2a Y n+m Y n R n f m. m= L 2 (µ) Using Herglotz theorem on positive definite sequences, and the fact that the functions f m are bounded by, we get that the right hand side is bounded by a constant multiple of m A 3, := +2a max max Y n+m Y n e(nt). m Summarizing, we have shown that t [0,] (3) A a +A 3,. Therefore, inordertoproveproposition3.itremainstoshowthatalmost surelya 3, ω d for some d > 0. We do this in the next subsection Estimating A 3, (End of proof of Proposition 3.). The goal of this section is to prove the following result: Proposition 3.2. Suppose that σ n n a for some a (0,/2). Then almost surely we have max max m t [0,] m Y n+m Y n e(nt) ω /2 a log, otice that by combining this estimate with (3) we get a proof of Proposition 3., and as a consequence a proof of Theorem.4. ThekeyingredientintheproofofProposition3.2isthefollowinglemma. Itisastrengthening of an estimate of Bourgain [7] regarding random trigonometric polynomials. The proof of the lemma is a variation on the classical Chernoff s inequality (see e.g. Theorem.8 in [28]), combined with an elementary estimate on the uniform norm of a trigonometric polynomial. We were motivated to use this argument, over the one given in [7], after reading a paper of Fan and Schneider (in particular, the proof of Theorem 6.4 in [4]).

18 8. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL Lemma 3.3. Let (Z m,n ) m,n be a family of random variables, uniformly bounded by, and with mean zero. Suppose that, for each fixed m, the random variables Z m,n,n, are independent. Let (ρ n ) be a sequence of positive numbers such that Then, almost surely, we have ( sup Var(Zm,n ) ) ρ n and lim m log max max m t [0,] ρ n = +. Z m,n e(nt) ω log Proof. It suffices to get the announced estimate for where M := max m max t [0,] P m,(t) P m, (t) := Z m,n cos(2πnt). In a similar way we get an estimate with sin(2πnt) in place of cos(2πnt). ( ) Since Z m,n and E ω (Z m,n ) = 0, we have E ω e λz m,n e λ 2 Var(Z m,n) for all λ [,]. (See Lemma.7 in [28].) For every m, λ [,], and t [0,], we get that (32) E ω (e ) λp m,(t) = E ω (e λzm,n cos(2πnt)) e (λcos(2πnt))2 Var(Z m,n) e λ2 R where ext notice that for λ [0,] we have (33) R := σ n. E ω (e λm ) = E ω ( max m eλmaxt P m,(t) ) E ω ( m= ρ n. e λmaxt P m,(t) ) max m E ω(e λm m, ) where M m, := max P m,(t). t [0,] It is easy to see (e.g. Proposition 5 in Chapter 5, Section 2 of [9]) that there exist random intervals I m, of length I m, 2 such that P m, (t) M m, /2 for every t I m,. Using this, we get that ( ) E ω (e λ M m, /2 ) 2 E ω (e λ P m, (t) +e λ P m, (t) ) dt I m, ( ) 2 E ω [0,](e λ P m, (t) +e λ P m, (t) ) dt

19 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES 9 where λ [0,] are numbers at our disposal. Using (32) we get that ( ) E ω [0,](e λ P m, (t) +e λ P m, (t) ( ) dt = E ω e λ P m, (t) +e λ P m, (t) ) dt 2e R λ 2. Therefore, Combining this estimate with (33), we get [0,] E ω (e λ M m, /2 ) 2 e R λ 2. E ω (e λ M /2 ) 3 e R λ 2. Therefore, there exists a universal constant C such that ( E ω e λ /2(M 2R λ 2log(C 5 )λ )) 2. As a consequence, (34) P ( M 2R λ +2log(C 5 )λ ) 2. For α,β positive, the function f(λ) = αλ+βλ achieves a minimum αβ for λ = β/α. So letting λ = log(c 5 )/(AR ) (by assumption λ converges to 0, so λ < for large ) in (34) gives ( P M ) 4R log(c 5 ) 2. By the Borel-Cantelli Lemma, we get almost surely that This completes the proof. M ω R log. Finally we use Lemma 3.3 to prove Proposition 3.2. Proof of Proposition 3.2. Our goal is to apply Lemma 3.3 for the random variables Y n+m Y n where Y n = X n σ n. These random variables are bounded by and have zero mean. We just have to take some care because they are not independent. We divide the positive integers into two classes: and Λ,m := {n: 2km < n (2k +)m for some non-negative integer k} Λ 2,m := {n: (2k +)m < n (2k +2)m for some non-negative integer k}. Then for fixed m, the random variables Y n+m Y n, n Λ,m, are independent, and the same holds for the random variables Y n+m Y n, n Λ 2,m. For i =,2, we apply Lemma 3.3 to the random variables Z m,n := Y n+m Y n Λi,m [, m](n). otice that either Var(Z m,n ) = 0, or Var(Z m,n ) = σ n+m σ n σ 2 n+mσ n σ n+m σ 2 n +σ 2 n+mσ 2 n σ n+m σ n σ 2 n n 2a.

20 20. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL Since n 2a 2a and a < /2, the assumptions of Lemma 3.3 are satisfied for ρ n = n 2a. We deduce that almost surely we have max max m This completes the proof. t [0,] m Y n+m Y n e(nt) ω /2 a log. 4. on-recurrence and non-convergence. In this section we prove Theorem.7. The proof is based on the following lemma: Lemma 4.. Let a,b: Z\{0} be injective sequences and F be any subset of. Then there exist a probability space (X,X,µ), measure preserving transformations T,S: X X, both of them Bernoulli, and A X, such that µ ( T a(n) A S b(n) A ) { 0 if n F, = 4 if n / F. Proof. We are going to combine a construction of Berend (Ex 7. in [2]) with a construction of Furstenberg (page 40 in [6]). Suppose first that the range of both sequences misses infinitely many integers. Let X = {0,} Z, µ bethe (/2,/2) Bernoulli measure on X, andt bethe shift transformation. Given a permutation π of Z with π(0) = 0 we definethemeasure preservingtransformation ψ π : X X by { x 0 if n = 0, (ψ π x) n = x π(n) if n 0. Let S = ψ π Tψ π (S is also Bernoulli). Since (ψ π ) = ψ π and (ψ π x) 0 = x 0, for n we have (S n x) 0 = (ψ π T n ψ π x) 0 = (T n ψ π x) 0 = (ψ π x) n = x π(n). Hence, if A = {x X: x(0) = } we have T a(n) A S b(n) A = {x X: x a(n) =,x π(b(n)) = 0}. Finally, we make an appropriate choice for π. Since the sequences(a(n)) and(b(n)) are injective and miss infinitely many integers, there exists a permutation π of the integers that fixes 0 and satisfies π(b(n)) = a(n) if n F, and π(b(n)) a(n) if n / F. Then { µ(t a(n) A S b(n) 0 if n F, A) = /4 if n / F. We now consider the general case. otice that the range of the sequences (2a(n)) and (2b(n)) misses infinitely many values. We consider the transformations T 2 and S 2 in place of T and S (again they are Bernoulli) and carry out the previous argument with a permutation π that satisfies π(2b(n)) = 2a(n) if n F and π(2b(n)) 2a(n) if n / F.

21 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES 2 Corollary 4.2. Let a, b: Z \ {0} be injective sequences, and c: [0, /4] be any sequence. Then there exist a probability space (X, X, µ), measure preserving transformations T,S: X X, and A X, such that for every n one has c(n) = µ ( T a(n) A S b(n) A ). Proof. The set S consisting of all sequences that take values on a set [0,α], where α > 0, is a compact (with the topology of pointwise convergence) convex subset of the locally convex space that consists of all bounded sequences. The extreme points of S are the sequences that take values in the set {0,α}. The set ext(s), of extreme points of S, is closed, hence, by the theorem of Krein-Milman, every element in S is the barycenter of a Borel probability measure on ext(s). As a consequence we get that given any sequence c: [0,/4], there exists a Borel probability measure σ on a compact metric space (Y,d), and sequences c y : {0,/4}, y Y, such that for every n one has c(n) = c y (n) dσ(y). Looking at the proof of Lemma 4. we see that there exist measure preserving transformations T y and S y, acting on the same probability space (X,X,µ), and A X, such that for every y Y and n one has c y (n) = µ ( Ty a(n) A Sy b(n) A ). Onthespace(Y X,B Y X,σ µ) wedefinethemeasurepreservingtransformations T,S: Y X Y X by the formula T(y,x) = (y,t y (x)) and S(y,x) = (y,s y (x)). Then for every n one has µ ( T a(n) A S b(n) A ) = µ ( Ty a(n) A Sy b(n) A ) dσ(y) = c y (n) dσ(y) = c(n). Proof of Theorem.7. For non-convergence take F = n [22n,2 2n+ ] in Lemma 4. and define f = g = A. For non-recurrence take F = in Lemma Appendix We prove some results that were used in the main part of the article. 5.. Lacunary subsequence trick. We are going to give a variation of a trick that is often used to prove convergence results for averages (see [26] for several such instances). Lemma 5.. Let (a n ) n be a sequence of non-negative real numbers and (W n ) n be an increasing sequence of positive real numbers that satisfies For let W [γn] lim γ +limsup =. n W n A := W a n.

22 22. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL Suppose that there exists L [0,+ ], and a sequence of real numbers γ k (,+ ), with γ k, and such that for every k we have Then lim A [γ k ] = L. lim A = L. Proof. Fix k and for let M = M(k,) be a non-negative integer such that [γ M k ] < [γm+ k ]. Since a n 0 for every n and W n is increasing, we have A = W a n W [γ M k ] [γ M+ k ] Similarly we have A c k,m A [γk M]. Putting the previous estimates together we get (35) c k,m A [γ M k ] A c k,m A [γ M+ k ]. otice that our assumptions give that (36) lim k limsup M a n c k,m A [γ M+ k ] where c k,m := W [γ M+ k ] /W [γ M k ]. c k,m =. Since M = M(k,) as and k is fixed, letting and then k in (35), and combining equation (36) with our assumption lim A [γ k ] = L, we deduce that This completes the proof. lim inf A = limsupa = L. Corollary 5.2. Let (X,X,µ) be a probability space, f n : X R, n, be non-negative measurable functions, (W n ) n be as in the previous lemma, and for let A (x) := W f n (x). Suppose that there exists a function f: X R and a sequence of real numbers γ k (, ), with γ k, and such that for every k we have for almost every x X that (37) lim A [γ k ](x) = f(x). Then lim A (x) = f(x) for almost every x X. Proof. It suffices to notice that for almost every x X equation (37) is satisfied for every k, and then apply Lemma 5..

23 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES Weighted averages. The following lemma is classical and can be proved using summation by parts (also the assumptions on the weights w n can be weakened). Lemma 5.3. Let (v n ) n be a sequence of vectors in a normed space, (w n ) n be a decreasing sequence of positive real numbers that satisfies w n n a for some a (0,), and for let W := w + +w. Then the averages v n and the averages W w nv n are asymptotically equal Van der Corput s lemma. We state a variation of a classical elementary estimate of van der Corput. Lemma 5.4. Let V be an inner product space,, and v,...,v V. Then for every integer M between and we have 2 v n 2M v n 2 +4M M m= m < v n+m,v n > In the case where V = R and =, the proof can be found, for example, in [20]. The proof in the general case is essentially identical Borel-Cantelli in density. We are going to use the following Borel-Cantelli type lemma: Lemma 5.5. Let E n, n, be events on a probability space (Ω,F,P) that satisfy P(E n ) (logn) ε for some ε > 0. Then almost surely the set {n : ω E n } has zero density. 6. Proof. Let Our assumption gives Therefore, for every γ > A (ω) := En (ω). E ω (A (ω)) (log) ε. A [γ ](ω) < + = almost surely. This implies that for every γ > lim A [γ ](ω) = 0 almost surely. Since γ > is arbitrary we conclude by Corollary 5.2 that This proves the advertised claim. lim A (ω) = 0 almost surely. 6 On the other hand, it is not hard to construct a probability space (Ω,F,P) and events En, n, such that P(E n) (logn), and almost surely the set {n : ω E n} has positive upper density.

24 24. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL 5.5. Estimates for sums of random variables. We use some straightforward moment estimates to get two bounds for sums of independent random variables that were used in the proofs. Lemma 5.6. Let X n be non-negative, uniformly bounded random variables, with E ω (X n ) n a for some a (0,). Suppose that the random variables X n E ω (X n ) are orthogonal. Then almost surely we have lim where, as usual, W := E ω(x n ). W X n =, Remark. Assuming independence, one can use Kolmogorov s three series theorem to show that the stated result holds under the relaxed assumption W. Proof. We can assume that X n (ω) for every ω Ω and n. We let where A := W Y n Y n := X n E ω (X n ). Since Y n are zero mean orthogonal random variables and E ω (Y 2 n) E ω (X n ), we have E ω (A 2 ) = W 2 E ω (Y 2 n ) W. Combining this estimate with the fact W a, we conclude that for every γ > we have E ω (A 2 [γ ] ) < +. Therefore, for every γ > we have or equivalently, that lim = lim A [γ ] = 0 almost surely, [γ ] W [γ ] X n = almost surely. Since the sequence (W n ) n satisfies the assumptions of Corollary 5.2, and X n is non-negative, we conclude that X n = almost surely. This completes the proof. lim W

25 RADOM SEQUECES AD POITWISE COVERGECE OF MULTIPLE ERGODIC AVERAGES 25 Lemma 5.7. Let X n be independent, uniformly bounded random variables, with E ω (X n ) n a for some a (0,/6), and let b be any positive real number. Then almost surely we have b m= X n+m X n ω b+ 2a. Using a lacunary subsequence trick, similar to the one used in the proof of Lemma 5.6, one can show that the conclusion actually holds for every a (0,/4). Proof. Let and Since S := b m= A := c S b c (X n+m X n E ω (X n+m ) E ω (X n )) m= where c := b+ 2a, E ω (X n+m ) E ω (X n ), it suffices to show that almost surely we have lim A = 0. Expanding S 2 and using the independence of the random variables X n, we see that E ω (S 2 ) {(m,m,n,n ) [, b ] 2 [,] 2 : n,n,n+m,n +m are not distinct } +2b. Therefore, E ω (A 2 ) ( 4a). It follows that if k satisfies k( 4a) >, then E ω (A 2 ) < +. k As a consequence, = lim A k = 0 for every k satisfying k( 4a) >. For any such k, and for a given, let M be an integer such that M k (M +) k. Then A A M k ( c M kc )A M k + c M k <n (M+) k Y n ( c M kc )A M k + c M k. The first term converges almost surely to zero as, since this is the case for A M k and M k. The second term converges to zero if kc > k, or equivalently, if k(2a b) <. Combining the above estimates, we get almost surely that lim A = 0, provided that there exists k such that k(2a b) < < k( 4a). If a < /6, then k = 3 is such a value. This completes the proof.

26 26. FRATZIKIAKIS, E. LESIGE, AD M. WIERDL References [] I. Assani. Pointwise convergence of nonconventional averages. Colloq. Math. 02 (2005), no. 2, [2] B. Berend. Joint ergodicity and mixing. J. Analyse Math. 45 (985), [3] B. Berend. Multiple ergodic theorems. J. Analyse Math. 50 (988), [4] V. Bergelson, A. Leibman. A nilpotent Roth theorem. Inventiones Mathematicae 47 (2002), [5] M. Boshernitzan. Homogeneously distributed sequences and Poincaré sequences of integers of sublacunary growth. Monatsh. Math. 96 (983), no. 3, [6] M. Boshernitzan, G. Kolesnik, A. Quas, M. Wierdl. Ergodic averaging sequences. J. Analyse Math. 95 (2005), [7] J. Bourgain. On the maximal ergodic theorem for certain subsets of the positive integers. Israel J. Math. 6 (988), [8] J. Bourgain. Double recurrence and almost sure convergence. J. Reine Angew. Math. 404 (990), [9] Q. Chu. Multiple recurrence for two commuting transformations. To appear in Ergodic Theory Dynam. Systems. Available at arxiv: [0] Q. Chu,. Franzikinakis, B. Host. Ergodic averages of commuting transformations with distinct degree polynomial iterates. To appear in Proc. Lond. Math. Soc. Available at arxiv: [] J-P. Conze, E. Lesigne. Théorèmes ergodiques pour des mesures diagonales. Bull. Soc. Math. France 2 (984), no. 2, [2] C. Demeter. Pointwise convergence of the ergodic bilinear Hilbert transform. Illinois J. Math. 5 (2007), no. 4, [3] J-M. Derrien, E. Lesigne. Un théorème ergodique polynomial ponctuel pour les endomorphismes exacts et les K-systèmes. Ann. Inst. H. Poincaré Probab. Statist. 32 (996), no. 6, [4] A. Fan, D. Schneider. Recurrence properties of sequences of integers. Sci. China Math. 53 (200), no. 3, [5]. Frantzikinakis. Multiple recurrence and convergence for Hardy sequences of polynomial growth. J. Analyse Math. 2 (200), [6] H. Furstenberg. Recurrence in ergodic theory and combinatorial number theory. Princeton University Press, Princeton, (98). [7] H. Furstenberg, Y. Katznelson. An ergodic Szemerédi theorem for commuting transformations. J. Analyse Math. 34 (979), [8] B. Host, B. Kra. Convergence of polynomial ergodic averages. Isr. J. Math. 49 (2005), 9. [9] J-P. Kahane. Some random series of functions. Second edition. Cambridge Studies in Advanced Mathematics, 5. Cambridge University Press, Cambridge, 985. [20] L. Kuipers, H. iederreiter. Uniform distribution of sequences. Pure and Applied Mathematics. Wiley- Interscience, ew York-London-Sydney, (974). [2] M. Lacey, K. Petersen, M. Wierdl, D. Rudolph. Random ergodic theorems with universally representative sequences. Ann. Inst. H. Poincare Probab. Statist. 30 (994), no. 3, [22] E. Lesigne. Équations fonctionnelles, couplages de produits gauches et théorèmes ergodiques pour mesures diagonales. Bull. Soc. Math. France 2 (993), no. 3, [23] E. Lesigne, B. Rittaud, T. de la Rue. Weak disjointness of measure preserving dynamical systems. Ergodic Theory Dynam. Systems 23 (2003), [24] A. Leibman. Pointwise convergence of ergodic averages for polynomial sequences of rotations of a nilmanifold. Ergodic Theory Dynam. Systems 25 (2005), no., [25] A. Leibman. Convergence of multiple ergodic averages along polynomials of several variables. Isr. J. Math. 46 (2005), [26] J. Rosenblatt, M. Wierdl. Pointwise ergodic theorems via harmonic analysis. Ergodic theory and its connections with harmonic analysis (Alexandria, 993). London Math. Soc. Lecture ote Ser., 205, Cambridge Univ. Press, Cambridge, (995), 3 5. [27] T. Tao. orm convergence of multiple ergodic averages for commuting transformations. Ergodic Theory Dynam. Systems 28 (2008), no. 2, [28] T. Tao, V. H. Vu. Additive combinatorics. Cambridge Studies in Advanced Mathematics, 05. Cambridge University Press, Cambridge, 200