On the interplay between additive and multiplicative largeness and its combinatorial applications
Introduction
A classic result of van der Waerden [56] states that at least one cell of any finite partition of contains arbitrarily long arithmetic progressions. A far-reaching generalization by Rado [52] characterizes those systems of homogeneous linear equations to which at least one cell of any finite partition of contains a solution. Underlying both of these foundational results in Ramsey theory are notions of “additive largeness,” and for many of these notions of largeness there are two essential theorems: at least one cell of any partition of is additively large, and additively large sets contain the sought-after combinatorial configurations.
The pertinent notions of largeness underlying van der Waerden's theorem are syndeticity, piecewise syndeticity, and additive upper Banach density. In Rado's theorem, the notions of IP structure and centrality play a fundamental role. We will be concerned with these notions in this work.1 To facilitate the discussion in the introduction, we define them now for subsets .
- •
A is syndetic if there exists a finite set for which
- •
A is piecewise syndetic if there exists a syndetic set and a sequence for which
- •
A has positive additive upper Banach density if
- •
A is AP-rich if it contains arbitrarily long arithmetic progressions .
- •
A is an IP set if it contains a set of the form
- •
A is central2 if it is a member of an additively minimal idempotent ultrafilter in .3
Many fundamental results in Ramsey theory can be interpreted as elucidating the relationships between these notions of largeness. For example, that syndetic sets are AP-rich is a consequence of van der Waerden's theorem. Hindman's theorem [38] implies that if A piecewise syndetic, then is an IP set for some , and it follows by a remark of Furstenberg [32, Page 163] that is central for some .4 Szemerédi's theorem [54] gives that sets of positive upper Banach density are AP-rich, and Furstenberg and Katznelson's IP Szemerédi theorem [28] (Theorem 7.5 below) gives that in any set A of positive upper Banach density, for every , the set of step sizes of arithmetic progressions of length ℓ appearing in A has non-empty intersection with every IP set.
The set of positive integers supports another associative and commutative operation, multiplication, which is just as fundamental to its structure. For each of the notions of additive largeness defined above, there is a natural analogous notion of multiplicative largeness for . Fix an enumeration of the prime numbers.
- •
A is multiplicatively syndetic if there exists a finite set for which
- •
A is multiplicatively piecewise syndetic if there exists a multiplicatively syndetic set and a sequence for which
- •
A has positive multiplicative upper Banach density5 if
- •
A is GP-rich if it contains arbitrarily long geometric progressions .
- •
A is a multiplicative IP set if it contains a set of the form
- •
A is multiplicatively central if it is a member of a multiplicatively minimal idempotent ultrafilter in .
Multiplicative analogues of the Ramsey theoretical results described above explain some of the relationships between these notions of multiplicative largeness. For example, a multiplicative analogue of Hindman's theorem [12, Lemma 2.1] gives that if A multiplicatively piecewise syndetic, then is a multiplicative IP set for some , and an analogue of Szemerédi's theorem gives that sets of positive multiplicative upper Banach density are GP-rich (cf. [7, Theorem 3.8]).
With addition and multiplication occupying a central role in the study of the positive integers, it is incumbent on us to explain the relationships between these notions of additive and multiplicative largeness. It has been known for some time that additive and multiplicative largeness can be simultaneously guaranteed in one cell of any partition of ; this was first explained by Hindman [39] and later developed further in [12]. Such partition results leave open the question as to how these notions of additive and multiplicative largeness interact: does one beget the other, or are the notions in general position and hence guaranteed to co-exist with potentially no relation?
A natural first question exploring the direct relationship between additive and multiplicative largeness is: to what extent can a set of positive integers be additively large but multiplicatively small? The set is additively large (both syndetic and an IP set) but multiplicatively small (neither of positive multiplicative density nor a multiplicative IP set). In searching for a complementary example – that is, a set which is multiplicatively large but additively small – one encounters an asymmetry between the relationships amongst notions of additive and multiplicative largeness: multiplicatively large sets cannot be additively very small. Several instances of this principle have appeared in the literature, and we cite three of them here.6
Theorem A [9, Lemma 5.11] For all , if A is multiplicatively syndetic, then A is additively central. Theorem B [13, Theorem 3.5], [23, Proposition 4.1] For all , if A is multiplicatively central, then A is additively .7 Theorem C [7, Theorems 3.2 & 3.15] For all , if A has positive multiplicative upper Banach density, then A is AP-rich; what is more, A contains arbitrarily large “geo-arithmetic” patterns.8
Thus, while an additively syndetic IP set need not have positive multiplicative density nor be a multiplicative IP set, it follows from Theorem A that a multiplicatively syndetic set necessarily has positive additive upper Banach density and is an additive IP set.
In spite of these results, the relationships between notions of additive and multiplicative largeness are not entirely understood. Attempting to better understand these relationships quickly leads to interesting open problems. For example, it is unknown whether or not additively syndetic subsets of are necessarily GP-rich. While we only discuss this particular problem in passing (see Section 9.1), we advance our understanding of these relationships in this paper and obtain new and interesting applications in the theory of amenability and invariant means on semigroups, Diophantine approximation, and combinatorial number theory.
In this paper, we wish to explore in the proper generality the interplay between notions of additive and multiplicative largeness. The natural numbers with addition and multiplication form a semiring: a set S supporting a commutative additive semigroup and a multiplicative semigroup in which distributivity holds: , and similarly on the right. Semirings are minimally structured algebraic objects in which addition and multiplication co-exist, and it is in them that we study the relationships between additive and multiplicative largeness.
This work is comprised of two parts. First, we generalize Theorem A, Theorem B, Theorem C to the context of semirings, in the process strengthening Theorem B for subsets of . Thus, we prove the following theorems for semirings that contain a suitable multiplicative subsemigroup ; the requisite definitions can be found in Sections 2, 4, and 7, and the meaning of “suitable” can be found in the precise statements of the theorems in the sections to which they belong.
Theorem 6.1 For all , if A is multiplicatively syndetic, then A is additively central.
Theorem 7.1 For all , if A is multiplicatively piecewise syndetic, then A is additively .9 Theorems 8.2 and 8.8 For all , if A has positive multiplicative upper Banach density, then A is additively combinatorially rich; what is more, A contains arbitrarily large “geo-arithmetic” patterns.
In Section 9, we provide extremal examples that serve to illustrate the optimality of these results.
Useful throughout the paper is a new characterization of upper Banach density, developed in Section 3, that is applicable in a wide class of amenable semigroups. The upper Banach densities in (1.1) and (1.2) are defined with the help of Følner sequences (see Definition 3.4); in a general left amenable semigroup , we define the upper Banach density of to be (see Definition 2.7) and we prove the following result.
Theorem 3.5 Let be an amenable group or a commutative semigroup. For all , where .
This characterization of upper Banach density not only serves as an important tool throughout the paper, it allows us to improve on recent results regarding densities defined along Følner sequences obtained in [43, Section 2].
The main impetus for this work arose not from results in the abstract semiring framework but from the diverse array of related results and applications afforded to us by the ideas behind these theorems. We proceed now with a sampling of these related results and representative applications of the theorems above. The focus in each of the following results is on the interplay between addition and multiplication.
In Section 6, we combine Theorem 6.1 and an version of Szemerédi's theorem to prove that cosets of finite index multiplicative subgroups in infinite division rings are additively thick (cf. [8, Remark 5.23]). The following finitary analogue of that result is also achieved using the ideas behind the proof of Theorem 6.1.
Theorem 6.6 For all , there exists an with the following property. For all finite fields with and all with , there exists a non-zero for which every element of is a non-zero kth power.
As another application of Theorem 6.1, we exhibit a family of additively large sets which are defined with the help of familiar multiplicative functions from number theory. Let , denote the 2-adic valuation and the prime divisor counting function, defined by and , where the 's are distinct primes. Denote by the fractional part of .
Corollary 6.13 Let be a non-constant polynomial with irrational leading coefficient, and let be an interval. The sets are multiplicatively syndetic in , hence additively central in .
This result complements known results about the uniform distribution of sequences of the form and where p is a polynomial and is an arithmetic function arising in number theory; see, for example, [26], [27]. Since additively central sets contain solutions to partition regular systems of homogeneous linear equations (see [32, Chapter 8] or [45, Chapter 14]), another consequence of Corollary 6.13 is that the sets in (1.3) contain solutions to such systems. Corollary 7.10 exhibits yet another application.
In Section 7, we explore the main applications of a corollary of Theorem 7.1: additive sets – those sets which have non-empty intersection with all sets – have non-empty intersection with all multiplicatively piecewise syndetic sets. Additive sets arise naturally in recurrence theorems in measure theoretic and topological dynamics to describe the set of “return times” of sets of positive measure and open sets, and thus Theorem 7.1 enhances theorems in which these classes appear.
We demonstrate in Section 7 how to derive versions of two prominent examples of such recurrence theorems: Furstenberg and Katznelson's IP Szemerédi theorem [28] and the polynomial IP van der Waerden theorem [16]. Then, we find a number of applications making use of the enhanced statements of these results: Theorem 6.6 and Corollary 8.10 are corollaries of the version of the IP Szemerédi theorem, and the following corollary in Diophantine approximation follows from the version of the polynomial IP van der Waerden theorem. Denote by the distance from x to the nearest integer.
Corollary 7.10 Let be a non-constant polynomial with irrational leading coefficient, and let be an interval. For all , uniformly in polynomials of degree less than or equal to d with no constant term.
In Section 8, we prove that subsets of a semiring that have positive multiplicative density in an additively combinatorially rich multiplicative sub-semigroup are additively combinatorially rich. This conclusion is particularly novel in the case that the multiplicative sub-semigroup has zero additive upper Banach density since this rules out the case that the additive combinatorial richness of the subset arises from it having positive additive upper Banach density. As an example of an application, we use the theorem of Green and Tao [37] to prove in Theorem 8.7 that any subset of positive multiplicative density in the multiplicative sub-semigroup of positive integers that appear as norms of algebraic integers in a number field contains arbitrarily long arithmetic progressions. The following is a special case of this result that makes use of the ring of integers in ; note that the multiplicative sub-semigroup R has zero additive upper Banach density [50, Theorem T].
Theorem 8.7 Let The set is a sub-semigroup of , and any set satisfying contains arbitrarily long arithmetic progressions.
We also show that subsets of positive multiplicative density in positive additive density sub-semigroups of a semigroup contain geo-arithmetic patterns. The following is an example application which, in the case and considering additive upper Banach density in place of multiplicative upper Banach density, is a consequence of Szemerédi's theorem in finite characteristic, [28, Theorem 9.10].
Corollary 8.10 Let be prime, and suppose has positive multiplicative upper Banach density in . For all , there exist , , and a d-dimensional vector subspace V of such that
This paper is organized as follows. In Section 2 we define several notions of largeness for subsets of semigroups and discuss the hierarchy between them. The alternate characterization of upper Banach density is proved in Section 3. In Section 4 we define semirings and describe how notions of largeness behave under semigroup homomorphisms. Section 5 is a preamble to Sections 6, 7, and 8, where we prove Theorem 6.1, Theorem 7.1, Theorem 8.2, respectively, and prove the related results and applications discussed above. Finally, in Section 9, we present the extremal examples that serve to show the optimality of the main theorems. Section 10 is an index of the most frequently used symbols in the work.
Acknowledgements
The authors would like to thank Jim Cogdell and Warren Sinnott for their assistance with the material in Section 8.1 and Tim Browning for calling our attention to the work of R.W.K. Odoni. Thanks also goes to Neil Hindman for improving Lemma 4.6 and Corollary 4.7 and to Joel Moreira and Florian Richter for numerous helpful conversations and a close reading of the paper. Last but not least, the authors give thanks to the referees for numerous helpful corrections and suggestions.
Section snippets
Notions of largeness in semigroups
In this section we define several notions of largeness for subsets of semigroups. The best general references are [32, Chapter 9] and [14, Section 1], though we largely avoid the machinery of ultrafilters in this paper. While the definitions and results in this section make reference to only a single semigroup, we will apply this material in later sections to subsets of both the additive semigroup and the multiplicative semigroup of a semiring (see Definition 4.1).
Denote by the set of natural
An alternate characterization of upper Banach density
In this section we give a useful alternate characterization of upper Banach density for a large class of semigroups. We first provide some motivation for the characterization; see also [35, Corollary 9.2], [46, Theorem G], and [28, Lemma 9.6].
Let be a cancellative semigroup. By definition, a subset is thick if for all , there exists an for which The second expression says that there exists a right translate of F with the property that
Semirings: context for the interaction of additive and multiplicative largeness
One goal of this paper is to explain the degree to which notions of additive and multiplicative largeness interact. Semirings are basic algebraic objects in which a study of this interaction makes sense.
Definition 4.1 A semiring is a set S together with two binary operations + (addition) and ⋅ (multiplication) for which is a commutative semigroup; is a semigroup; left and right distributivity hold: for all and ,
The semiring is commutative
Preamble to Sections 6 through 9
In Sections 6 through 9, we explain the extent to which multiplicative largeness begets additive largeness and vice versa. More precisely, given a semiring and two classes of largeness and from Section 2 (for example, the class of syndetic sets or sets of positive upper Banach density), we will show that or provide an example to the contrary. We will explain how reverse inclusions – classes of additive largeness contained in classes of multiplicative largeness – follow
Multiplicative syndeticity implies additive centrality
It was shown in [9, Lemma 5.11] that multiplicatively syndetic subsets of are additively central. In this section, we extend this result to semirings and prove related results and applications.
The following theorem says that in suitable semirings, multiplicative syndeticity implies additive centrality.
Theorem 6.1 Let be a semiring. Suppose that is a subsemigroup of which is additively large in the following ways: R is central in , and for all , the set rS is piecewise syndetic in
Multiplicative piecewise syndeticity implies additive
Multiplicatively central sets in were shown in [13, Theorem 3.5] to be additively , and this result was generalized to the ring setting in [23, Proposition 4.1]. In this section, we strengthen both theorems, generalize them to semirings, and give some related results. In particular, we describe some rich sources of additively sets from measure theoretic and topological dynamics.
The following theorem says that multiplicative piecewise syndeticity implies additive .
Theorem 7.1 Let be a
Multiplicative density implies additive combinatorial richness
It was proved in [7, Theorem 3.2] that subsets of of positive multiplicative upper Banach density are AP-rich. In addition to strengthening this fact and generalizing it to semirings, the following theorem yields a “relativization” of the result: multiplicatively large subsets of additively rich sets are additively rich.
To make precise what we mean by “rich,” we need a slight variation on the class of combinatorially rich sets defined in Section 2.
Definition 8.1 Let be a commutative semigroup and be
Extremal examples
The examples in this section demonstrate the optimality of the main results in Sections 6, 7, and 8 by showing that the naive attempt to improve those results within this framework will fail even for the semiring . The reader is encouraged to refer to Fig. 2 in which the dotted arrows indicate the examples below.
Index
References (56)
- et al.
Multiplicative structures in additively large sets
J. Comb. Theory, Ser. A
(2006) - et al.
Finite products sets and minimally almost periodic groups
J. Funct. Anal.
(2016) Combinatorial and Diophantine applications of ergodic theory
- et al.
Multiplicative richness of additively large sets in
J. Algebra
(2018) - et al.
Partition regular structures contained in large sets are abundant
J. Comb. Theory, Ser. A
(2001) - et al.
New polynomial and multidimensional extensions of classical partition results
J. Comb. Theory, Ser. A
(2017) - et al.
Topological multiple recurrence for polynomial configurations in nilpotent groups
Adv. Math.
(2003) - et al.
The shifted primes and the multidimensional Szemerédi and polynomial van der Waerden theorems
C. R. Math. Acad. Sci. Paris
(2011) Finite sums from sequences within cells of a partition of N
J. Comb. Theory, Ser. A
(1974)- et al.
Central sets and their combinatorial characterization
J. Comb. Theory, Ser. A
(1996)