arXiv++ Combinatorics

The Khintchine recurrence theorem asserts that on a measure preserving system, for every set $A$ and $\varepsilon>0$, we have $μ(A\cap T^{-n}A)\geq μ(A)^2-\varepsilon$ for infinitely many $n\in \mathbb{N}$. We show that there are systems having under-recurrent sets $A$, in the sense that the inequality $μ(A\cap T^{-n}A)< μ(A)^2$ holds for every $n\in \mathbb{N}$. In particular, all ergodic systems of positive entropy have under-recurrent sets. On the other hand, answering a question of V.~Bergelson, we show that not all mixing systems have under-recurrent sets. We also study variants of these problems where the previous strict inequality is reversed, and deduce that under-recurrence is a much more rare phenomenon than over-recurrence. Finally, we study related problems pertaining to multiple recurrence and derive some interesting combinatorial consequences.

We introduce a new, elementary method for studying random differences in arithmetic progressions and convergence phenomena along random sequences of integers. We apply our method to obtain significant improvements on previously known results.

In 1975 Szemerédi proved that a set of integers of positive upper density contains arbitrarily long arithmetic progressions. Bergelson and Leibman showed in 1996 that the common difference of the arithmetic progression can be a square, a cube, or more generally of the form $p(n)$ where $p(n)$ is any integer polynomial with zero constant term. We produce a variety of new results of this type related to sequences that are not polynomial. We show that the common difference of the progression in Szemerédi's theorem can be of the form $[n^δ]$ where $δ$ is any positive real number and $[x]$ denotes the integer part of $x$. More generally, the common difference can be of the form $[a(n)]$ where $a(x)$ is any function that is a member of a Hardy field and satisfies $a(x)/x^k\to \infty$ and $a(x)/x^{k+1}\to 0$ for some non-negative integer $k$. The proof combines a new structural result for Hardy sequences, techniques from ergodic theory, and some recent equidistribution results of sequences on nilmanifolds.

We study recurrence, and multiple recurrence, properties along the $k$-th powers of a given set of integers. We show that the property of recurrence for some given values of $k$ does not give any constraint on the recurrence for the other powers. This is motivated by similar results in number theory concerning additive basis of natural numbers. Moreover, motivated by a result of Kamae and Mendès-France, that links single recurrence with uniform distribution properties of sequences, we look for an analogous result dealing with higher order recurrence and make a related conjecture.