Vitaly Bergelson, Florian Richter and I have recently uploaded to the arXiv our new paper entitled “Multiple ergodic averages along functions from a Hardy field: convergence, recurrence and combinatorial applications”. We establish a new multiple recurrence result (and consequentially a new generalization of Szemerédi’s theorem) which contains several previously known results as special cases and many new results.

An example of a result that follows as a special case from our main theorem but was currently unknown is that for any positive real numbers , any set with positive upper density, i.e.

contains a configuration for some . Here, as usual, we denote by the*floor function*. This result was known when both and are integers, and when both and are non-integers, but the mixed case was, somewhat surprisingly, still unknown. Below the fold I briefly mention the history of related results and present the main steps in the proof, highlighting the main novelties.

** — 1. History — **

Szemerédi’s theorem, proved in 1975, states that any set with positive upper density contains arbitrarily long finite arithmetic progressions. In symbols this means that there exists such that . An interesting question is to understand if further restrictions can be placed on or, more generally, for which functions is it true that any set with contain a configuration of the form ?

Soon after Szemerédi’s proof, a different, ergodic theoretic, proof was found by Furstenberg, using a structure theory of measure preserving systems. This proof was more amenable to generalizations, and indeed it was using a similar ergodic theoretic approach that in 1996 Bergelson and Leibman proved a “polynomial Szemerédi theorem”. More precisely, in the one dimensional case, their result states that, whenever has for and has , there are such that

Taking one recovers Szemerédi’s theorem from the Bergelson-Leibman theorem, and taking one obtains the generalization that any set with positive upper density contains arbitrarily long arithmetic progressions*whose common difference is a perfect square*.

Then in 2005 a stronger structure theory of measure preserving systems was discovered by Host and Kra (and independently by Ziegler soon after). This new structure theory allowed for several new developments. In 2008 Bergelson, Leibman and Lesigne extended the polynomial Szemerédi theorem to the following

Theorem 1Let . The following are equivalent:

- For every with there exist such that (1) holds.
- The polynomials are
jointly intersective, i.e., for every there exists such that are all divisible by .

In the same year, Frantzikinakis and Wierdl obtained the first results in the case where the are (rounded) Hardy field functions. These results were later extended by Frantzikinakis who showed that any set with contains a pattern of the form

if the are Hardy field functions of different growth, or are all multiples of a single function (plus a growth condition). As an example, Frantzikinakis result holds when each of the is a polynomial-like expression of the form where , are positive real numbers and . For the functions to have different growth it suffices that the “degree” (i.e. the largest exponent, ) is different for each .Our new results allow for a similar conclusion (that any set with contains a pattern of the form (2)) when the are arbitrary polynomial-like functions of the form with , (and in fact our result applies in a much greater generality of Hardy field functions satisfying certain weak conditions). As a corollary we also obtain a satisfying extension of our previous results mentioned in this post.

Theorem 2Let be positive real numbers such that no is an integer, and no difference is an integer for . Then for every with , the set of for which contains a pattern of the form is thick (i.e., it contains arbitrarily long intervals).

The case follows from our earlier paper.

** — 2. Strategy of the proof — **

The proof follows a strategy already employed by Bergelson-Leibman-Lesigne and by Frantzikinakis and Wierdl, hinging on the Host-Kra structure theory. The first step is to use Furstenberg’s correspondence principle to transform the problem of finding patterns in sets of natural numbers with positive density into a multiple recurrence statement in ergodic theory.

The next step is to, using the structure theory, reduce the ergodic theoretic problem to a special class of measure preserving systems: *nilsystems*. These are compact homogeneous spaces for nilpotent Lie groups and hence have a much nicer algebraic structure than a general abstract measure preserving system. This reduction is perhaps the most novel part of the argument. Like in our previous paper we had to resort to using weighted means, instead of the more standard Cesàro means, and this introduced several new technical challenges.

Once we restrict attention to nilsystems, it is possible to obtain multiple recurrence if one has some control on the behavior of the orbits of individual points (or, more precisely, the subset of the orbit at the times prescribed by the functions ). These orbits are difficult to understand due to the presence of the floor function, so the idea at this point is to deduce enough information about the orbits “with floors” from a description of the orbits “without the floors”. This part is also technical, involving a mixture of known tricks and new.

Finally, the description of the orbits that we need (“without the floors”) is provided by the very recent paper of Richter. This was the main ingredient that wasn’t available until now.