Multiple recurrence and large intersections for abelian group actions

- Department of Mathematics, Ohio State University
- More about Ethan Ackelsberg

- Department of Mathematics, Ohio State University
- More about Vitaly Bergelson

- Department of Mathematics, Ohio State University (OH)
**ORCID iD:**0000-0002-3535-6504- More about Andrew Best

### Editorial introduction

Multiple recurrence and large intersections for abelian group actions, Discrete Analysis 2021:18, 91 pp.

In 1975, Szemerédi proved his famous theorem that asserts that for every positive integer k and every δ>0 there exists n such that every subset of {1,2,…,n} of size at least δn contains an arithmetic progression of length k. A couple of years later, Furstenberg found a second proof of the theorem using ergodic theory. An advantage of Furstenberg’s approach was that it was more amenable to generalization, a result of which was that it led to a whole new field of combinatorial ergodic theory and the discovery of important results such as the density Hales-Jewett theorem, due to Furstenberg and Katznelson, and the polynomial Szemerédi theorem of Bergelson and Leibman.

The starting point for the ergodic approach to these problems is a general principle known as the Furstenberg correspondence, which makes it possible to translate many combinatorial problems into equivalent statements about topological or measure-preserving dynamical systems. For example, Szemerédi’s theorem itself is equivalent to the following statement. Let X be a probability space and T:X→X a measure-preserving map (meaning that |T−1(A)|=|A| for every measurable subset A of X). Then for every k and every A⊂X of positive measure there exists n such that

|A∩T−n(A)∩T−2n(A)⋯∩T−(k−1)n(A)|>0.

It is natural to ask whether something more precise can be said. In particular, can we find some explicit constant c>0, depending on k and |A|, and show that the lim sup of the measure on the left-hand side is at least c? And if so, what c can we hope to obtain?

A random set of density δ (or rather, a dynamical system built out of a sequence of such sets via the Furstenberg correspondence) shows easily that one cannot hope for better than |A|k. And the following simple argument shows that one can attain a bound of |A|k when k=2. Let A be a set of measure δ and let ϵ>0. Let f be the sum of the characteristic functions of A,T−1A,…,T−(r−1)A, and let us write Ai for T−iA. Then ‖f‖1=rδ, which implies by Cauchy-Schwarz that ‖f‖2≥rδ. But ‖f‖22=∑ri,j=0|Ai∩Aj|, which implies that ∑i≠j|Ai∩Aj|≥r2δ2−rδ. By averaging, for large r this gives us i≠j such that |Ai∩Aj|≥δ2−ϵ, and then by the measure-preserving property we obtain n such that |A∩T−nA|≥δ2−ϵ.

This argument can also be used to show that the set R of n such that |A∩T−nA|≥δ2−ϵ is *syndetic*, which means that there is some N such that R intersects every interval of length N (or in other words it has *bounded gaps*). Indeed, if that is not the case, then for any r we can inductively build a sequence n1,n2,…,nr such that none of the sums ni1+⋯+nit belong to R. But by the above argument there must exist i<j such that |An1+n2+⋯+ni∩An1+n2+⋯+nj|≥δ2−ϵ, and then we have that |A∩Ani+1+⋯+nj|≥δ2−ϵ, contradicting the fact that ni+1+⋯+nj∉R. This result is called Khintchine’s recurrence theorem.

For larger k the problem becomes harder and the answers are sometimes quite surprising. For example, it was shown by Bergelson, Host and Kra that the natural analogues of Khintchine’s recurrence theorem (under the additional hypothesis of ergodicity) for k=3 and k=4 are true (so for instance when k=3 there is a syndetic set of n such that |A∩T−nA∩T−2nA|≥|A|3−ϵ), but the analogues for higher k are false.

A similar phenomenon occurs in the combinatorial set-up: if A is a subset of the cyclic group Z/nZ of density δ, then for k≤4 there exists d≠0 such that |A∩(A−d)∩⋯∩(A−(k−1)d)|≥(δk−o(1))n, but when k≥5 such a d need not exist. The counterexample is a construction of Imre Ruzsa, which also underlies the counterexample to the ergodic statement. Ruzsa’s example in its turn is a generalization of Behrend’s famous construction of a subset of {1,2,…,n} of density at least exp(−c√logn) that contains no arithmetic progression of length 3.

This paper looks at large-intersection results, both positive and negative, for dynamical systems indexed by general countable Abelian groups. A *syndetic set* in such a group G is defined to be a subset S for which there exists a finite set K such that S intersects every translate of K. (It is easy to see that this agrees with the definition given above when G=Z.) One of the main results of the paper states that if ϕ,ψ:G→G are homomorphisms such that ϕ,ψ and ϕ−ψ all have images of finite index, then for every ergodic measure-preserving system indexed by G – that is, a set of measure-preserving maps Tg from a probability space X to itself such that TgTh=Tgh for all g,h∈G – the analogue of the Khintchine recurrence theorem holds. In other words, if ϵ>0 and A⊂X is a measurable set, then the set {g∈G:|A∩T−1ϕ(g)A∩T−1ψ(g)A|≥|A|2−ϵ} is syndetic.

They also obtain some related combinatorial results. For instance, the construction of Ruzsa mentioned above is of a subset of {1,2,…,n} of density exp(−c√logn) that contains no non-degenerate subset of the form {q(0),q(1),q(2),q(3),q(4)} where q is a polynomial of degree at most 2. (Note that if we replace 4 by 3 and “degree at most 2” by “degree 1” then we obtain a definition of an arithmetic progression of length 4.) Given a quintuple r=(r0,…,r4), the authors define a *quadratic r-configuration* of length 5 to be a set of the form {q(r0),…,q(r4)}. They then show that for every r there is a constant c(r) such that for each n there is a subset of {1,2,…,n} of density at least exp(−c(r)√logn) that contains no such configuration. This turns out to imply the failure of the large intersection property in the following situation: we have a dynamical system indexed by Z and distinct positive integers r1,…,r4, where we regard ri as the homomorphism that multiplies Z by ri.

As well as these and other results, the paper contains some interesting open problems. For example, they conjecture that, more generally, five genuinely distinct homomorphisms cannot have the large-intersections property. More precisely, if ϕ1,…,ϕ4 are homomorphisms from G to G such that any two of them are equal only on a subgroup of infinite index (and the same is true of any one of them and the identity), then the Khintchine recurrence theorem fails, meaning that we can find a measure preserving system indexed by G and a set A of positive measure such that the set {g∈G:|A∩T−1ϕ1(g)A∩⋯∩T−1ϕ4(g)A|≥|A|5−ϵ} is not syndetic. The result previously mentioned proves this when G=Z.