A brief introduction to approximate groups
Matthew Tointon

TL;DR
This paper introduces the concept of approximate groups, explaining their fundamental properties and highlighting various applications across mathematics and related fields.
Contribution
It provides an accessible overview of approximate groups and discusses their significance and diverse applications.
Findings
Approximate groups generalize the notion of groups with approximate closure.
They have applications in number theory, combinatorics, and group theory.
The paper summarizes key properties and uses of approximate groups.
Abstract
We give a brief introduction to the notion of an 'approximate group' and some of its numerous applications.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLimits and Structures in Graph Theory · Finite Group Theory Research · Advanced Topology and Set Theory
A brief introduction to approximate groups
Matthew C. H. Tointon
Pembroke College, University of Cambridge, CB2 1RF, United Kingdom
Abstract.
We give a brief introduction to the notion of an approximate group and some of its numerous applications.
The author is the Stokes Research Fellow at Pembroke College, University of Cambridge.
Contents
- 1 Approximately closed sets
- 2 First examples
- 3 Plünnecke’s inequalities and Ruzsa’s covering lemma
- 4 Approximate groups
- 5 Basic properties
- 6 Approximate subgroups of non-abelian groups
- 7 Applications to growth and expansion in groups
This is a translation of the author’s article ‘Raconte-moi…les groupes approximatifs’, which appeared in the Gazette des mathématiciens in April 2019 [3].
1. Approximately closed sets
Mathematicians are used to the notion of a subgroup of a group as a subset containing the identity that is closed under taking products and inverses. However, it turns out that there are also circumstances in which we encounter subsets that are merely ‘approximately closed’. Such sets arise in the study of polynomial growth in geometric group theory (which in turn has links to isoperimetric inequalities and random walks) and in the construction of expander graphs (which are important objects in computer science), but there are also numerous other examples.
A priori, there are several different ways to define approximate closure. One of these is the notion of a set of small doubling, with which we commence our discussion; another is the notion of an approximate subgroup, which we present in detail in Section 4. We shall see that these two notions are intimately linked.
We start by giving one interpretation of the phrase ‘approximately closed’. Given subsets of a group , we set and . We also set , , and so on. For additive abelian groups we write instead , , , and so on. To say that a finite subset is closed under the group operation is then to say that . One property that could be interpreted as being an approximate version of closure is thus that is not too much bigger than (we will discuss very briefly in Section 4 a possible extension to infinite subsets).
Let us consider for a moment the extreme values that can take. It is clear that , with equality when is a finite subgroup, for example. On the other hand, it is clear that , with equality if and is the free group on the generators .
Although it is extremal, the case in which is comparable to should not be thought of as atypical. Indeed, there is a fairly general phenomenon whereby if is a suitably defined random set of size inside some group then for some constant depending on the context. For example, if is chosen uniformly from the interval with much larger than then one can essentially take [4, Proposition 2.1.1]. This suggests that a condition of the type is a stong constraint on the set . We will consider this condition in its strongest form, in which
[TABLE]
for a given .
Definition 1**.**
A set satisfying (1) is called a set of doubling at most , or simply a set of small doubling. The quantity is called the doubling constant of . Similarly, a set satisfying is called a set of tripling at most , or simply a set of small tripling. The quantity is called the tripling constant of .
Since the inequality (1) is in some sense the opposite of what we would expect from a random set, it is reasonable to suppose that a set of small doubling should possess a certain amount of ‘structure’. One of the principal goals of the theory of approximate groups is to describe this structure. In this article we give a brief overview of this theory; for more details, and for a more complete bibliography, the reader can consult the author’s book [4].
We will often assume that the set contains the identity and is symmetric, which is to say closed under taking inverses. For the majority of the results we present this is not a necessary hypothesis, but it simplifies the exposition and the notation.
2. First examples
A trivial family of examples of sets of small doubling is given by small sets: if then of course satisfies . We will therefore focus on sets of size significantly larger than . Finite subgroups also give easy examples of sets of small doubling. Note also that if a set has doubling constant at most , and is a subset of of density at most (which is to say that ), then we have
[TABLE]
and so the doubling constant of is at most . Thus, if is sufficiently dense in some set of small doubling then is also a set of small doubling. In particular, if is a finite subgroup of and the density in of some subset is at least then the doubling constant of is at most . Freiman showed that for small enough this essentially exhausts all of the examples of sets of doubling . More precisely, he showed that if then is a coset of a finite subgroup (see [4, Theorem 2.2.1]).
We now consider a more interesting example. Note first of all that if is a ‘box’ of the form
[TABLE]
for some then
[TABLE]
regardless of the values taken by the . Boxes in are thus sets of small doubling. It is also easy to check that their homomorphic images are also sets of small doubling. To see this, first note that such a box satisfies a stronger property than (2), in that there exists a set satisfying such that
[TABLE]
as illustrated in the following diagram.
B+B$$B
This means that if is an abelian group and is a homomorphism then . In particular, , and so has small doubling.
A homomorphic image of a box such as is called a progression. More precisely, if are elements of an abelian group and then we set
[TABLE]
We call a progression, and we call the rank or the dimension of . For example, in the following diagram we illustrate the progression , viewed as with defined by and .
\pi$$-18$$-9$$-2[math]2$$9$$18
To explain the term progression, note that if the rank of is then is an arithmetic progression.
We have just seen that subgroups, progressions of bounded rank, and their dense subsets are all examples of sets of small doubling. The following remarkable theorem, due to Freiman in the case and Green and Ruzsa in the general case, shows that these are essentially the only examples in an abelian group.
Theorem 2** (Green–Ruzsa).**
Let be an abelian group, and suppose that is a finite subset satisfying . Then there exist a finite subgroup and a progression of rank at most such that is a subset of of density at least .
The proof is largely Fourier analytic, and gives explicit bounds on and . Optimising these bounds continues to be an area of active research.
3. Plünnecke’s inequalities and Ruzsa’s covering lemma
The proof of Theorem 2 is too long to be included in this article, but we will illustrate two fundamental tools from the proof by considering the following special case.
Proposition 3** (Ruzsa).**
Let , and let be an abelian group in which each element has order at most (such as for some ). Suppose that is a finite symmetric subset of such that . Then is a subset of density at least in some finite subgroup of .
The first tool we present is Plünnecke’s inequalities, which were first proved by Plünnecke, then rediscovered and generalised by Ruzsa, and finally proved much more simply by Petridis.
Proposition 4** (Plünnecke–Ruzsa).**
Let be an abelian group and suppose that is a finite subset satisfying . Then for every .
We will soon see concretely the role that this result plays in the proof of Proposition 3, but before that let us give a brief heuristic discussion of why one might expect such a result to be useful. First, note that if is a subgroup then for every , a property that we use often without even thinking. Proposition 4 says that a set of small doubling satisfies an approximate version of this property: if is a finite set satisfying then, for every , on the one hand the set is not much bigger than , and on the other hand it is also of small doubling, in the sense that .
Another important tool featuring in the proof of Proposition 3 is the so-called ‘covering lemma’ of Ruzsa. We present a slightly simplified version of it here; see [1, Lemma 5.1] for a more general statement.
Lemma 5** (Ruzsa).**
Suppose is a finite symmetric subset of a group such that . Then there exists of size at most such that .
Proof.
Let be maximal such that the subsets with are disjoint, noting that . Since , this implies that , and hence that . Moreover, given the maximality of implies that there exist and such that , and hence . In particular, as required. ∎
Proof of Proposition 3.
Proposition 4 implies that . Lemma 5 therefore implies that there exists a set of size at most such that . This implies by induction that for every . Writing for the subgroup generated by a set , we deduce in particular that , and hence that , as required. ∎
4. Approximate groups
When is not abelian, Proposition 4 no longer holds as stated. For example, if is the free product with some element of infinite order, and if we take
[TABLE]
then , hence in particular . On the other hand, and , so .
Nonetheless, it turns out that if we replace with a slightly stronger hypothesis then we can obtain a conclusion analogous to that of Proposition 4. In fact, there are at least two such possible ways in which to strengthen the condition of small doubling. The first is to replace it with the condition of small tripling: an argument of Ruzsa shows that if we assume instead of for a finite symmetric set then we may conclude that for every . In other words, unlike small doubling, small tripling permits us to bound the sizes of all of the sets .
The second possibility is to replace the condition by a property that we have already encountered in both Lemma 5 and (3): the existence of a set of bounded size such that , which easily implies that has small doubling. It is this condition that underpins the following definition of an approximate subgroup, which is due to Tao.
Definition 6**.**
A subset of a group is a -approximate (sub)group if it is symmetric and contains the identity and there exists a set of size at most such that .
It is easy to see by induction that a -approximate group satisfies for every , so if is finite then and once again we have an analogue of Proposition 4.
In fact, these two conditions – having small tripling and being an approximate group – are essentially equivalent for finite sets. We have just noted that if is a finite -approximate group then , so has small tripling. Conversely, for a finite symmetric set satisfying , the result of Ruzsa shows that , and then Lemma 5 implies that is a -approximate subgroup (we have by Lemma 5, and hence ).
Note that one advantage of the notion of an approximate subgroup is that it can be applied without modification to arbitrary infinite subsets of groups, for which the notion of small tripling does not in general make sense. Indeed, infinite approximate groups have begun to be studied in certain contexts. However, at the time of writing the theory is far more advanced for finite approximate groups, and we will concentrate on them for the remainder of this article.
When introducing the definition of approximate groups, Tao showed that the study of sets of small doubling essentially reduces to the study of finite approximate groups. First, note that in example (4), possesses a large subset that is a -approximate subgroup, namely . Tao showed that this is a general phenomenon, in the sense that there exists such that given any set there exists a -approximate group of size at most such that is contained in a union of at most left translates of . One may thus replace the hypothesis by the hypothesis of being a -approximate subgroup without really losing any generality, whilst gaining the ability to control the sizes of the sets .
We close this section by noting that Ruzsa proved Lemma 5 several years before the introduction of Definition 6 by Tao. In that sense, Ruzsa’s work can be thought of as a precursor to the notion of approximate group.
5. Basic properties
Here are two simple but useful properties of a subgroup of :
- (1)
If is a homomorphism then is again a subgroup of . 2. (2)
If is another subgroup then is also a subgroup.
It turns out that these properties have approximate analogues for approximate groups and sets of small tripling. For (1), if is a -approximate subgroup of and is a homomorphism then it is trivially the case that is a -approximate subgroup of . Less obviously, an argument of Helfgott shows that if is a finite symmetric subset of then
[TABLE]
so in particular if then . For (2), one can show for example that and are finite symmetric subsets of then
[TABLE]
for every , and in particular if and then . Similarly, if is a -approximate group and is an -approximate group then is a -approximate group. See [4, §2.6] for proofs and generalisations of these assertions.
We saw in the previous section that approximate groups and sets of small tripling are essentially equivalent notions. In this section we have seen that they satisfy the same basic properties, which renders them interchangeable in a number of arguments.
6. Approximate subgroups of non-abelian groups
One can generalise the concept of progression to certain non-abelian groups. For example, consider the Heisenberg group defined by
[TABLE]
and set
[TABLE]
It is an easy exercise to check that
[TABLE]
and hence that regardless of the values of .
The key property of that makes this true is that it is nilpotent. To define this, first define the lower central series of a group to be the decreasing sequence of normal subgroups defined recursively by setting and . A group is then said to be nilpotent if there exists such that . The smallest for which this holds is said to be the step or class of . For the Heisenberg group we have
[TABLE]
so that is -step nilpotent.
It turns out that we can define a progression in the same way as we did in the Heisenberg group in an arbitrary nilpotent group, as follows.
Definition 7**.**
Let be an -step nilpotent group, let , and let . Then we define to be the set of those elements of expressible as products of the elements in which each and its inverse appear at most times between them. We call a nilprogression of rank and step .
One can show that if the are large enough in terms of and then the nilprogression is a -approximate group of some depending only on and .
The ‘progression’ is not exactly a nilprogression, but one can check that if we set
[TABLE]
then , so is roughly equivalent to a nilprogression in some sense. See [4, Definition 5.6.2] for a generalisation of to arbitrary nilpotent groups, and [4, Proposition 5.6.4] for further details on this rough equivalence.
The following remarkable result of Breuillard, Green and Tao shows that nilprogressions are essentially the most general examples of sets of small doubling.
Theorem 8** (Breuillard–Green–Tao [1, Theorem 2.12]).**
Let be an arbitrary group and a finite subset such that . Then contains a subset containing a finite subgroup normalised by , such that the image of in is a nilprogression of rank at most and step at most , and such that . There also exists a set of size at most such that .
In addition to the general theory of approximate groups, the proof of Theorem 8 uses tools from model theory introduced by Hrushovski, and arguments essentially due to Gleason arising from the solution to Hilbert’s fifth problem in the 1950s.
The use of an ultrafilter in the model-theoretic arguments means that the proof of Theorem 8 gives no explicit bound on . For some applications of approximate groups, notably those to growth of groups that we present in Section 7, this does not pose a major problem. However, there are also applications of approximate groups, such as to expansion, in which it is important to have more explicit results than Theorem 8. Partly for this reason, numerous authors have given proofs of Theorem 8 that offer explicit bounds on in return for restricting attention to certain specific classes of groups. There are such results, for example, in the case of soluble groups, residually nilpotent groups, and certain linear groups. In the next section we will discuss briefly how some of these results for linear groups are used in the construction of expanders.
7. Applications to growth and expansion in groups
In this section we describe two of the most spectacular applications of approximate groups. We begin with applications to growth of finitely generated groups, a notion that is in turn linked to random walks, geometric group theory and differential geometry. After that we will discuss applications to expansion, a notion which appears in several branches of mathematics and has numerous applications, particularly in theoretical computer science.
Let be a finitely generated group and a finite symmetric generating subset. The growth of refers to the speed with which the cardinality of the sets grows. It is not difficult to show that if is virtually nilpotent—that is to say, if contains a nilpotent subgroup of finite index—then there exist such that for every . In that case we say that has polynomial growth. A fundamental theorem of Gromov says that the converse also holds: every finitely generated group of polynomial growth is virtually nilpotent.
It turns out that approximate groups can be used to prove Gromov’s theorem. In fact, Breuillard, Green and Tao used Theorem 8 to prove a refined version of Gromov’s theorem. For example, the quantitative statement of Gromov’s theorem implicitly requires the generating set to be of bounded cardinality, but in the Breuillard–Green–Tao version this hypothesis is not necessary.
The observation that allows one to reduce Gromov’s theorem to Theorem 8 is that the condition
[TABLE]
implies that there exists depending only on , and an integer satisfying , such that . In other words, (5) implies that there exists not too small such that is a set of small doubling. Thus, approximate groups appear very naturally in the study of groups of polynomial growth. We refer the reader to [4, Chapter 11] and the references therein for more details and further applications in this direction.
Another important application of approximate groups is the construction of expander graphs. An expander graph is a graph that is both sparse and highly connected. Precisely, given a subset of a finite graph , we define the boundary of by setting , and we define the (vertex) Cheeger constant of by setting
[TABLE]
Given and , a family of finite graphs is said to be a family of -expanders if for every , if , and if each vertex of each graph in has degree at most . Note that if a finite graph is complete then ; the upper bound on the degrees rules out this trivial situation, and is the sense in which expanders are sparse.
To see why such graphs are interesting, note that sparsity and high connectivity are both desirable properties of communication and transport networks, yet are intuitively difficult to achieve simultaneously.
One of the objectives, and one of the difficulties, in the theory of expander graphs is their construction. One fruitful approach is based on group theory and the notion of a Cayley graph. Given a finitely generated group and a finite symmetric generating set , the Cayley graph has the elements of as its vertices, and has and joined by an edge if there exists such that .
It turns out that certain results using techniques from the theory of approximate groups can be applied in the construction of expander Cayley graphs. For example, for we have the following theorem, which was announced independently (within four hours of one another!) by Breuillard–Green–Tao and Pyber–Szabo, Helfgott having already treated the cases for with prime.
Theorem 9** ([2, Theorem 1.5.1]).**
Let be a finite field and let . Let be a generating set of . Suppose that is small enough in terms of . Then either , or , with a certain constant depending only on .
It turns out that using Theorem 9 and an ingenious argument of Bourgain and Gamburd one can show that certain Cayley graphs of are expander graphs. For further details on this argument and its history the reader can consult Tao’s book [2].
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] E. Breuillard, B. J. Green and T. C. Tao. The structure of approximate groups, Publ. Math. IHES 116 (1) (2012), 115–221.
- 2[2] T. C. Tao. Expansion in finite simple groups of Lie type , Graduate Studies in Mathematics 164 , Amer. Math. Soc., Providence, RI (2015).
- 3[3] M. C. H. Tointon. Raconte-moi… les groupes approximatifs, Gaz. Math. 160 (2019), 53–59 (in French).
- 4[4] M. C. H. Tointon. Introduction to approximate groups , London Mathematical Society Student Texts 94 , Cambridge University Press, Cambridge (2020).
