arXiv++ Combinatorics

We study sets of (measurable) returns in countable groups $G$, namely sets of the form $\{g\in G:μ(A\cap T_gA)>0\}$ arising from measure-preserving actions. Extending a result of Bergelson, we show that sets of returns in $G\times G$ contain subsets of the form $B\times B$, where $B$ is large with respect to suitable notions of largeness that remain meaningful even for non-amenable groups. As a consequence, if $G$ is amenable, then every sufficiently large subset $A\subseteq G\times G$ satisfies $B\times B\subseteq AA^{-1}$ for some large set $B\subseteq G$. We also investigate when sets of returns in $G$ contain product sets $BB$ with $B$ large. In contrast with the Cartesian-product phenomenon above, this problem is considerably subtler in non-abelian groups and is closely connected to `symmetric correlation functions', namely functions of the form $g\mapsto μ(T_g^{-1}A\cap T_gA)$. We use this connection to show that, for broad classes of amenable groups - including finitely generated nilpotent groups and certain solvable non-nilpotent groups, every sufficiently large set $A\subseteq G$ contains a large subset $B$ satisfying $BB\subseteq AA^{-1}$. Finally, we establish polynomial analogues of these results for finitely generated nilpotent groups, extending earlier work of Bergelson and Ruzsa.

The goal of this paper is to undertake an in-depth study of the phenomenon behind the Furstenberg--Sárközy theorem, which, in its modern form due to Kamae and Mendès-France, states that if $E$ is a set of integers with positive density and $P$ is an intersective polynomial, then there are distinct elements $x, y \in E$ such that $x - y = P(n)$ for some some $n$. In this paper, we identify an algebraic framework (rings of integers of global fields) for Furstenberg--Sárközy-type theorems. One of our main results establishes necessary and sufficient conditions for a polynomial to satisfy the Furstenberg--Sárközy theorem over the ring of integers of a global field, providing an extension of the result of Kamae and Mendès-France. The Furstenberg--Sárközy phenomenon goes beyond infinite rings and has interesting additional aspects in finite rings. As an example, classical exponential sum estimates can be used to show that large subsets of finite fields contain the asymptotically ``correct'' number of pairs $(x,y)$ whose difference is a square. In previous work, the class of polynomials satisfying this strong form of the Furstenberg--Sárközy theorem over finite fields was classified. In the present paper, we establish asymptotic results characterizing sequences of finite principal ideal rings that produce ``correct'' statistics in the Furstenberg--Sárközy theorem and show that these families are much more general than finite fields. As an application of our enhanced forms of the Furstenberg--Sárközy theorem over finite rings, we produce new families of examples of quasirandom graphs of algebraic origin. The production of these new examples hinges on a two-way connection between asymptotic total ergodicity -- the phenomenon responsible for enhanced versions of the Furstenberg--Sárközy theorem over finite fields and rings -- and quasirandomness.

We apply the methods of ergodic theory to both simplify and significantly extend some classical results due to Stewart, Tijdeman, and Ruzsa. One of the notable features of our approach is the utilization of pointwise ergodic theory.

The polynomial Szemerédi theorem implies that, for any $δ\in (0,1)$, any family $\{P_1,\ldots, P_m\} \subset \mathbb{Z}[y]$ of nonconstant polynomials with constant term zero, and any sufficiently large $N$, every subset of $\{1,\ldots, N\}$ of cardinality at least $δN$ contains a nontrivial configuration of the form $\{x,x+P_1(y),\ldots, x+P_m(y)\}$. When the polynomials are assumed independent, one can expect a sharper result to hold over finite fields, special cases of which were proven recently, culminating with arXiv:1802.02200, which deals with the general case of independent polynomials. One goal of this article is to explain these theorems as the result of joint ergodicity in the presence of asymptotic total ergodicity. Guided by this concept, we establish, over general finite commutative rings, a version of the polynomial Szemerédi theorem for independent polynomials $\{P_1,\ldots, P_m\} \subset \mathbb{Z}[y_1,\ldots, y_n]$, deriving new combinatorial consequences, such as the following. Let $\mathcal R$ be a collection of finite commutative rings subject to a mild condition on their torsion. There exists $γ\in (0,1)$ such that, for every $R \in \mathcal R$, every subset $A \subset R$ of cardinality at least $|R|^{1-γ}$ contains a nontrivial configuration $\{x,x+P_1(y),\ldots, x+P_m(y)\}$ for some $(x,y) \in R \times R^n$, and, moreover, for any subsets $A_0,\ldots, A_m \subset R$ such that $|A_0|\cdots |A_m| \geq |R|^{(m+1)(1-γ)}$, there is a nontrivial configuration $(x, x+P_1(y), \ldots, x+P_m(y)) \in A_0\times \cdots \times A_m$. The fact that general rings have zero divisors is the source of many obstacles, which we overcome; for example, by studying character sums, we develop a bound on the number of roots of an integer polynomial over a general finite commutative ring, a result which is of independent interest.

The goal of this paper is to generalize, refine, and improve results on large intersections. We show that if $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that at least two of the three subgroups $\varphi(G)$, $ψ(G)$, and $(ψ-\varphi)(G)$ have finite index in $G$, then $\{\varphi, ψ\}$ has the \emph{large intersections property}. That is, for any ergodic measure preserving system $X=(X,\mathcal{X},μ,(T_g)_{g\in G})$, any $A\in\mathcal{X}$, and any $\varepsilon>0$, the set $$\{g\in G : μ(A\cap T_{\varphi(g)}^{-1} A\cap T_{ψ(g)}^{-1}A)>μ(A)^3-\varepsilon\}$$ is syndetic. Moreover, in the special case where $\varphi(g)=ag$ and $ψ(g)=bg$ for $a,b\in\mathbb{Z}$, we show that we only need one of the groups $aG$, $bG$, or $(b-a)G$ to be of finite index in $G$, and we show that the property fails in general if all three groups are of infinite index. One particularly interesting case is where $G=(\mathbb{Q}_{>0},\cdot)$ and $\varphi(g)=g$, $ψ(g)=g^2$, which leads to a multiplicative version for the large intersection result of Bergelson-Host-Kra. We also completely characterize the pairs of homomorphisms $\varphi,ψ$ that have the large intersections property when $G=\mathbb{Z}^2$. The proofs of our main results rely on analysis of the structure of the \emph{universal characteristic factor} for the multiple ergodic averages $$\frac{1}{|Φ_N|} \sum_{g\in Φ_N}T_{\varphi(g)}f_1\cdot T_{ψ(g)} f_2.$$ In the case where $G$ is finitely-generated, the characteristic factor for such averages is the \emph{Kronecker factor}. In this paper, we study actions of groups that are not necessarily finitely-generated, showing in particular that by passing to an extension of $X$, one can describe the characteristic factor in terms of the \emph{Conze--Lesigne factor} and the $σ$-algebras of $\varphi(G)$ and $ψ(G)$ invariant functions.

We demonstrate that the phenomenon of popular differences (aka the phenomenon of large intersections) holds for natural families of polynomial patterns in rings of integers of number fields. If $K$ is a number field with ring of integers $\mathcal{O}_K$ and $E \subseteq \mathcal{O}_K$ has positive upper Banach density $d^*(E) = δ> 0$, we show, inter alia: 1. If $p(x) \in K[x]$ is an intersective $\mathcal{O}_K$-valued polynomial and $r, s \in \mathcal{O}_K$ are distinct and nonzero, then for any $\varepsilon > 0$, the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n)\} \subseteq E \} \right) > δ^3 - \varepsilon. \] is syndetic. Moreover, if $\frac{s}{r} \in \mathbb{Q}$, then there are syndetically many $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n), x + (r+s)p(n)\} \subseteq E \} \right) > δ^4 - \varepsilon. \] 2. If $\{p_1, \dots, p_k\} \subseteq K[x]$ is a jointly intersective family of linearly independent $\mathcal{O}_K$-valued polynomials, then the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + p_1(n), \dots, x + p_k(n)\} \subseteq E \} \right)> δ^{k+1} - \varepsilon \] is syndetic. These two results generalize and extend previous work of Frantzikinakis and Kra on polynomial configurations in $\mathbb{Z}$ and build upon recent work of the authors and Best on linear patterns in general abelian groups. The above combinatorial results follow from multiple recurrence results in ergodic theory, which require a sharpening of existing tools for handling polynomial multiple ergodic averages. A key advancement made in this paper is a new result on the equidistribution of polynomial orbits in nilmanifolds, which can be seen as a far-reaching generalization of Weyl's equidistribution theorem.

The purpose of this paper is to study the phenomenon of large intersections in the framework of multiple recurrence for measure-preserving actions of countable abelian groups. Among other things, we show: (1) If $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that $\varphi(G)$, $ψ(G)$, and $(ψ- \varphi)(G)$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, μ, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : μ(A \cap T_{\varphi(g)}^{-1}A \cap T_{ψ(g)}^{-1}A) > μ(A)^3 - \varepsilon\}$ is syndetic. (2) If $G$ is a countable abelian group and $r,s \in \mathbb{Z}$ are integers such that $rG$, $sG$, and $(r \pm s)G$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, μ, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : μ(A \cap T_{rg}^{-1}A \cap T_{sg}^{-1}A \cap T_{(r+s)g}^{-1}A) > μ(A)^4 - \varepsilon\}$ is syndetic. In particular, these extend and generalize results of Bergelson, Host, and Kra concerning $\mathbb{Z}$-actions and of Bergelson, Tao, and Ziegler concerning $\mathbb{F}_p^{\infty}$-actions. Using an ergodic version of the Furstenberg correspondence principle, we obtain new combinatorial applications. We also discuss numerous examples shedding light on the necessity of the various hypotheses above. Our results lead to a number of interesting questions and conjectures, formulated in the introduction and at the end of the paper.

We explore the properties of non-piecewise syndetic sets with positive upper density, which we call "discordant", in countably infinite amenable (semi)groups. Sets of this kind are involved in many questions of Ramsey theory and manifest the difference in complexity between the classical van der Waerden's theorem and Szemerédi's theorem. We generalize and unify old constructions and obtain new results about these historically interesting sets. Along the way, we draw from various corners of mathematics, including classical Ramsey theory, ergodic theory, number theory, and topological and symbolic dynamics.

The Furstenberg-Sárközy theorem asserts that the difference set $E-E$ of a subset $E \subset \mathbb{N}$ with positive upper density intersects the image set of any polynomial $P \in \mathbb{Z}[n]$ for which $P(0)=0$. Furstenberg's approach relies on a correspondence principle and a polynomial version of the Poincaré recurrence theorem, which is derived from the ergodic-theoretic result that for any measure-preserving system $(X,\mathcal{B},μ,T)$ and set $A \in \mathcal{B}$ with $μ(A) > 0$, one has $c(A):= \lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^N μ(A \cap T^{-P(n)}A) > 0.$ The limit $c(A)$ will have its optimal value of $μ(A)^2$ when $T$ is totally ergodic. Motivated by the possibility of new combinatorial applications, we define the notion of asymptotic total ergodicity in the setting of modular rings $\mathbb{Z}/N\mathbb{Z}$. We show that a sequence of modular rings $\mathbb{Z}/N_m\mathbb{Z}$, $m \in \mathbb{N},$ is asymptotically totally ergodic if and only if $\mathrm{lpf}(N_m)$, the least prime factor of $N_m$, grows to infinity. From this fact, we derive some combinatorial consequences, for example the following. Fix $δ\in (0,1]$ and a (not necessarily intersective) polynomial $Q \in \mathbb{Q}[n]$ such that $Q(\mathbb{Z}) \subseteq \mathbb{Z}$, and write $S = \{ Q(n) : n \in \mathbb{Z}/N\mathbb{Z}\}$. For any integer $N > 1$ with $\mathrm{lpf}(N)$ sufficiently large, if $A$ and $B$ are subsets of $\mathbb{Z}/N\mathbb{Z}$ such that $|A||B| \geq δN^2$, then $\mathbb{Z}/N\mathbb{Z} = A + B + S$.

Let $v$ be an odd real polynomial (i.e. a polynomial of the form $\sum_{j=1}^\ell a_jx^{2j-1}$). We utilize sets of iterated differences to establish new results about sets of the form $\mathcal R(v,ε)=\{n\in\mathbb{N}\,|\,\|v(n)\|{<ε\}}$ where $\|\cdot\|$ denotes the distance to the closest integer. We then apply the new diophantine results to obtain applications to ergodic theory and combinatorics. In particular, we obtain a new characterization of weakly mixing systems as well as a new variant of Furstenberg-Sárközy theorem.

We obtain new results pertaining to convergence and recurrence of multiple ergodic averages along functions from a Hardy field. Among other things, we confirm some of the conjectures posed by Frantzikinakis in [Fra10; Fra16] and obtain combinatorial applications which contain, as rather special cases, several previously known (polynomial and non-polynomial) extensions of Szemeredi's theorem on arithmetic progressions [BL96; BLL08; FW09; Fra10; BMR17]. One of the novel features of our results, which is not present in previous work, is that they allow for a mixture of polynomials and non-polynomial functions. As an illustration, assume $f_i(t)=a_{i,1}t^{c_{i,1}}+\cdots+a_{i,d}t^{c_{i,d}}$ for $c_{i,j}>0$ and $a_{i,j}\in\mathbb{R}$. Then $\bullet$ for any measure preserving system $(X,\mathcal{B},μ,T)$ and $h_1,\dots,h_k\in L^\infty(X)$, the limit $$\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T^{[f_1(n)]}h_1\cdots T^{[f_k(n)]}h_k$$ exists in $L^2$; $\bullet$ for any $E\subset \mathbb{N}$ with $\overline{\mathrm{d}}(E)>0$ there are $a,n\in\mathbb{N}$ such that $\{a,\, a+[f_1(n)],\ldots,a+[f_k(n)]\}\subset E$. We also show that if $f_1,\dots,f_k$ belong to a Hardy field, have polynomial growth, and are such that no linear combination of them is a polynomial, then for any measure preserving system $(X,{\mathcal B},μ,T)$ and any $A\in{\mathcal B}$, $$\limsup_{N\to\infty}\frac{1}{N}\sum_{n=1}^Nμ\Big(A\cap T^{-[ f_1(n) ]}A\cap\ldots\cap T^{-[f_k(n)]}A\Big)\,\geq\,μ(A)^{k+1}.$$

A theorem due to Hindman states that if $E$ is a subset of $\mathbb{N}$ with $d^*(E)>0$, where $d^*$ denotes the upper Banach density, then for any $\varepsilon>0$ there exists $N \in \mathbb{N}$ such that $d^*\left(\bigcup_{i=1}^N(E-i)\right) > 1-\varepsilon$. Curiously, this result does not hold if one replaces the upper Banach density $d^*$ with the upper density $\bar{d}$. Originally proved combinatorially, Hindman's theorem allows for a quick and easy proof using an ergodic version of Furstenberg's correspondence principle. In this paper, we establish a variant of the ergodic Furstenberg's correspondence principle for general amenable (semi)-groups and obtain some new applications, which include a refinement and a generalization of Hindman's theorem and a characterization of countable amenable minimally almost periodic groups.

In their proof of the IP Szemerédi theorem, a far reaching extension of the classic theorem of Szemerédi on arithmetic progressions, Furstenberg and Katznelson introduced an important class of additively large sets called $\text{IP}_{\text{r}}^*$ sets which underlies recurrence aspects in dynamics and is instrumental to enhanced formulations of combinatorial results. The authors recently showed that additive $\text{IP}_{\text{r}}^*$ subsets of $\mathbb{Z}^d$ are multiplicatively rich with respect to every multiplication on $\mathbb{Z}^d$ without zero divisors (e.g. multiplications induced by degree $d$ number fields). In this paper, we explain the relationships between classes of multiplicative largeness with respect to different multiplications on $\mathbb{Z}^d$. We show, for example, that in contrast to the case for $\mathbb{Z}$, there are infinitely many different notions of multiplicative piecewise syndeticity for subsets of $\mathbb{Z}^d$ when $d \geq 2$. This is accomplished by using the associated algebra representations to prove the existence of sets which are large with respect to some multiplications while small with respect to others. In the process, we give necessary and sufficient conditions for a linear transformation to preserve a class of multiplicatively large sets. One consequence of our results is that additive $\text{IP}_{\text{r}}^*$ sets are multiplicatively rich in infinitely many genuinely different ways. We conclude by cataloging a number of sources of additive $\text{IP}_{\text{r}}^*$ sets from combinatorics and dynamics.

Many natural notions of additive and multiplicative largeness arise from results in Ramsey theory. In this paper, we explain the relationships between these notions for subsets of $\mathbb{N}$ and in more general ring-theoretic structures. We show that multiplicative largeness begets additive largeness in three ways and give a collection of examples demonstrating the optimality of these results. We also give a variety of applications arising from the connection between additive and multiplicative largeness. For example, we show that given any $n, k \in \mathbb{N}$, any finite set with fewer than $n$ elements in a sufficiently large finite field can be translated so that each of its elements becomes a non-zero $k^{\text{th}}$ power. We also prove a theorem concerning Diophantine approximation along multiplicatively syndetic subsets of $\mathbb{N}$ and a theorem showing that subsets of positive upper Banach density in certain multiplicative sub-semigroups of $\mathbb{N}$ of zero density contain arbitrarily long arithmetic progressions. Along the way, we develop a new characterization of upper Banach density in a wide class of amenable semigroups and make explicit the uniformity in recurrence theorems from measure theoretic and topological dynamics. This in turn leads to strengthened forms of classical theorems of Szemerédi and van der Waerden on arithmetic progressions.

Ergodic and combinatorial results obtained in [10] involved measure preserving actions of the affine group ${\mathcal A}_K$ of a countable field $K$. In this paper we develop a new approach based on ultrafilter limits which allows one to refine and extend the results obtained in [10] to a more general situation involving the measure preserving actions of the non-amenable affine semigroups of a large class of integral domains. (The results in [10] heavily depend on the amenability of the affine group of a field). Among other things, we obtain, as a corollary of an ultrafilter ergodic theorem, the following result: Let $K$ be a number field and let ${\mathcal O}_K$ be the ring of integers of $K$. For any finite partition $K=C_1\cup\cdots\cup C_r$ there exists $i\in\{1,\dots,r\}$ and many $x\in K$ and $y\in{\mathcal O}_K$ such that $\{x+y,xy\}\subset C_i$.

A set $A\subseteq\mathbb N$ is called $complete$ if every sufficiently large integer can be written as the sum of distinct elements of $A$. In this paper we present a new method for proving the completeness of a set, improving results of Cassels ('60), Zannier ('92), Burr, Erdős, Graham, and Li ('96), and Hegyvári ('00). We also introduce the somewhat philosophically related notion of a $dispersing$ set and refine a theorem of Furstenberg ('67).

In the 1970s Deuber introduced the notion of $(m,p,c)$-sets in $\mathbb{N}$ and showed that these sets are partition regular and contain all linear partition regular configurations in $\mathbb{N}$. In this paper we obtain enhancements and extensions of classical results on $(m,p,c)$-sets in two directions. First, we show, with the help of ultrafilter techniques, that Deuber's results extend to polynomial configurations in abelian groups. In particular, we obtain new partition regular polynomial configurations in $\mathbb{Z}^d$. Second, we give two proofs of a generalization of Deuber's results to general commutative semigroups. We also obtain a polynomial version of the central sets theorem of Furstenberg, extend the theory of $(m,p,c)$-systems of Deuber, Hindman and Lefmann and generalize a classical theorem of Rado regarding partition regularity of linear systems of equations over $\mathbb{N}$ to commutative semigroups.

We construct, in locally compact, second countable, amenable groups, sets with large density that fail to have certain combinatorial properties. For the property of being a shift of a set of measurable recurrence we show that this is possible when the group does not have cocompact von Neumann kernel. For the stronger property of being piecewise-syndetic we show that this is always possible. For minimally almost periodic, locally compact, second countable, amenable groups, we prove that any dilation of a positive density set by an open neighborhood of the identity contains a set of measurable recurrence, and that the same result holds, up to a shift, when the von Neumann kernel is cocompact. This leads to a trichotomy for locally compact, second countable, amenable groups based on combinatorial properties of large sets. We also prove, using a two-sided Furstenberg correspondence principle, that any two-sided dilation of a positive density set contains a two-sided finite products set.

We establish a "diagonal" ergodic theorem involving the additive and multiplicative groups of a countable field $K$ and, with the help of a new variant of Furstenberg's correspondence principle, prove that any "large" set in $K$ contains many configurations of the form $\{x+y,xy\}$. We also show that for any finite coloring of $K$ there are many $x,y\in K$ such that $x,x+y$ and $xy$ have the same color. Finally, by utilizing a finitistic version of our main ergodic theorem, we obtain combinatorial results pertaining to finite fields. In particular we obtain an alternative proof for a result obtained by Cilleruelo [11], showing that for any finite field $F$ and any subsets $E_1,E_2\subset F$ with $|E_1||E_2|>6|F|$, there exist $u,v\in F$ such that $u+v\in E_1$ and $uv\in E_2$.

We establish a new mixing theorem for quasirandom groups (finite groups with no low-dimensional unitary representations) $G$ which, informally speaking, asserts that if $g, x$ are drawn uniformly at random from $G$, then the quadruple $(g,x,gx,xg)$ behaves like a random tuple in $G^4$, subject to the obvious constraint that $gx$ and $xg$ are conjugate to each other. The proof is non-elementary, proceeding by first using an ultraproduct construction to replace the finitary claim on quasirandom groups with an infinitary analogue concerning a limiting group object that we call an \emph{ultra quasirandom group}, and then using the machinery of idempotent ultrafilters to establish the required mixing property for such groups. Some simpler recurrence theorems (involving tuples such as $(x,gx,xg)$) are also presented, as well as some further discussion of specific examples of ultra quasirandom groups.