In this post we discuss, without proofs, convergence of multiple ergodic averages to give the reader a broader notion of the flavour of the results. The last two posts showed that recurrence is a natural phenomenon and occurs in a regular way. The next question is to ask for multiple recurrence: given a mps , such that and a positive integer , there exist positive integers such that

Formulated as it is, this question follows simply by multiple applications of Poincaré’s Recurrence Theorem (see ERT1): there exists such that . Letting , there exists such that , which is the same as

Repeating the argument times, we obtain positive integers such that

where . This is much more than we wanted. In fact, applying the argument infinitely many times, we construct a sequence of positive integers such that

for every finite family of subsets of . Unfortunately, we have no control in the ‘s, so that combinatorial applications are harder. It would be interesting if we had some regularity in them. For example, can they form an arithmetic progression? The answer is YES and this constitutes one of the pilars of Ergodic Ramsey Theory.

Theorem 1(Furstenberg) If is a mps, such that and is a positive integer, then there exists a positive integer such that

Obviously, the existence of such is equivalent to the existence of such that

Taking , the characteristic function of ,

where , so that (2) is equivalent to

This inquires the analysis of the averages

Due to its nonsymmetry, instead of (3) we consider commuting transformations , all of them preserving , and the averages

from now on called **multiple ergodic averages**. Clearly, (3) is a special case of (4) considering , . Although the purpose is the full generality of (4), it is natural first to investigate (3). Four situations deserve attention:

- If and , does (4) have positive ?
- -norm convergence.
- Pointwise convergence.
- What about convergence of multiple polynomial ergodic averages?

The first one was solved affirmatively by H. Furstenberg in the 1977 seminal paper **Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions**.

Theorem 2(Furstenberg) Let be a mps and be non-negative and satisfy . Then, for any ,

As we’ll see in forecoming posts, this actually proves Szemerédi’s Theorem, via a **correspondence principle** between sets of integers of positive density and measure-preserving systems. One year after, motivated by a topological analogue due to B. Weiss, Furstenberg and Y. Katznelson established in **An ergodic Szemerédi theorem for commuting transformations** an extension to the commutative case.

Theorem 3(Furstenberg and Katznelson) Let be a probability measure space and commuting transformations, all of them preserving . Then, for any non-negative such that ,

This result, in addition to extending Furstenberg’s Theorem, implies a purely combinatorial multidimensional version of Szemerédi’s Theorem.

Theorem 4(Multidimensional Szemerédi’s Theorem) Let be a subset with positive upper-Banach density and be any finite configuration. Then there are an integer and a vector such that .

An interesting feature is that, until 2007, when hypergraph versions of Szemerédi’s Regularity Lemma were developed by T. Gowers, there was no combinatorial proof of this result.

After establishing positivity, we discuss -norm convergence, solved in **Nonconventional ergodic averages and nilmanifolds** by B. Host and B. Kra.

Theorem 5(Host and Kra) Let be a mps and be bounded measurable functions on . Then

exists in .

Observe that we no longer have only one function, but . Three years later, in 2008, T. Tao extended it to the commuting setup in the work **Norm convergence of multiple ergodic averages for commuting transformations**.

Theorem 6(Tao) Let be a probability measure space, measure-preserving commuting transformations and be bounded measurable functions on . Then

exists in .

It is worth mentioning that this year T. Austin gave a new proof of it using classical ergodic theory (**On the norm convergence of nonconventional ergodic averages**). A few is known about pointwise convergence, only that

converges almost surely, for any and . This was obtained by J. Bourgain in **Double recurrence and almost sure convergence**.

Now consider polynomials with integers coefficients and the limits

What is known? In terms of combinatorial appications, does it at least have positive whenever is a non-negative bounded function such that ? Yes… due to V. Bergelson and A. Leibman in the work **Polynomial extensions of van der Waerden’s and Szemerédi’s theorems.**

Theorem 7(Bergelson and Leibman) Let be a probability measure space, measure-preserving commuting transformations, polynomials with integer coefficients and a bounded measurable functions on such that . Then

In fact, they proved a more general result.

Theorem 8(Bergelson and Leibman) Let be a probability measure space, measure-preserving commuting transformations, , ,, polynomials with integer coefficients and a bounded measurable functions on such that . Then

I could not find any result about -norm convergence. Two works, **Convergence of polyomial ergodic averages** by Host and Kra and **Pointwise convergence of ergodic averages for polynomial sequences of rotations of a nilmanifold** by Leibman, both in 2005, proved the situation of multiple polynomial ergodic averages along one transformation.

Theorem 9(Host, Kra and Leibman) Let be a mps,polynomials with integer coefficientsand bounded measurable functions on . Then

exists in .

**Last News:** a few hours ago this paper was posted in arXiv by Q. Chu, N. Frantzikinakis and B. Host stating many cases of the -norm convergence of multiple ergodic polynomial averages for commuting transformations.

Theorem 10(Chu, Frantzikinakis and Host) Let be a probability measure space, measure-preserving invertible commuting transformations,polynomials withdifferent degrees and bounded measurable functions on . Then

exists in .

As every fresh result, it first needs to be checked in full details.

**Previous posts:** ERT0, ERT1, ERT2, ERT3.

## Leave a Reply