Counting independent sets in graphs

Abstract.

In this short survey article, we present an elementary, yet quite powerful, method of enumerating independent sets in graphs. This method was first employed more than three decades ago by Kleitman and Winston and has subsequently been used numerous times by many researchers in various contexts. Our presentation of the method is illustrated with several applications of it to ‘real-life’ combinatorial problems. In particular, we derive bounds on the number of independent sets in regular graphs, sum-free subsets of $\{1,\mathrm{\dots },n\}$, and $C_4$-free graphs and give a short proof of an analogue of Roth’s theorem on $3$-term arithmetic progressions in sparse random sets of integers which was originally formulated and proved by Kohayakawa, Łuczak, and Rödl.

1. Introduction

Many well-studied problems in combinatorics concern characterising discrete structures that satisfy certain ‘local’ constraints. For example, the celebrated theorem of Szemerédi [42] gives an upper bound on the maximum size of a subset of the first $n$ integers which does not contain an arithmetic progression of a fixed length $k$. To give another example, the archetypal problem studied in extremal graph theory, dating back to the work of Mantel [32] and Turán [43], is that of characterising graphs which do not contain a fixed graph $H$ as a subgraph.

Problems of this type fall into the following general framework. We are given a finite set $V$ and a collection $\mathscr{H}$ of subsets of $V$. What can be said about sets $I\subseteq V$ that do not contain any member of $\mathscr{H}$? Such a collection $\mathscr{H}$ is often called a hypergraph with vertex set $V$, members of $\mathscr{H}$ are termed edges, and any set $I\subseteq V$ that contains no edge is called an independent set. In view of this, one might say that a large part of combinatorics is concerned with studying independent sets in various hypergraphs. For instance, in the first example from the previous paragraph, $V$ is the set $\{1,\mathrm{\dots },n\}$ and $\mathscr{H}$ is the collection of all $k$-term arithmetic progressions contained in $V$; stated in this language, Szemerédi’s theorem says that for every positive constant $\delta$, every independent set in $\mathscr{H}$ has fewer than $\delta n$ elements, provided that $n$ is sufficiently large. In the second example, $V$ is the edge set of a complete graph on a given set of $n$ vertices and $\mathscr{H}$ is the family of all $\left(\genfrac{}{}{0pt}{}{n}{|V(H)|}\right)$ sets of $|E(H)|$ edges that form a copy of $H$ in the complete graph; in this notation, if $H$ is a clique with $k+1$ vertices, then Turán’s theorem says that the largest independent sets in $\mathscr{H}$ are precisely the edge sets of the complete balanced $k$-partite subgraphs of the complete graph with edge set $V$ and the well-known theorem of Kolaitis, Prömel, and Rothschild [29] states that almost all independent sets of $\mathscr{H}$ are $k$-partite, that is, the number $i^{\ast }(\mathscr{H})$ of independent sets in $\mathscr{H}$ that are not the edge sets of $k$-partite subgraphs of the complete graph with edge set $V$ satisfies $i^{\ast }(\mathscr{H})/i(\mathscr{H})\to 0$ as $n\to \mathrm{\infty }$.

For a hypergraph $\mathscr{H}$, let $ℐ(\mathscr{H})$ denote the family of all independent sets in $\mathscr{H}$, let $i(\mathscr{H})=|ℐ(\mathscr{H})|$, and let $\alpha (\mathscr{H})$ be the largest cardinality of an element of $ℐ(\mathscr{H})$, usually called the independence number of $\mathscr{H}$. There are two natural problems that one usually poses about a specific hypergraph $\mathscr{H}$:

1. Determine $\alpha (\mathscr{H})$ and describe all $I\in ℐ(\mathscr{H})$ with $\alpha (\mathscr{H})$ elements.

2. Estimate $i(\mathscr{H})$ and describe a ‘typical’ member of $ℐ(\mathscr{H})$.

Let us remark here that providing a precise characterisation of a typical element of $ℐ(\mathscr{H})$ usually yields a precise estimate for $i(\mathscr{H})$.

An apparent connection between problems (i) and (ii) may be easily observed in the following two inequalities, which are trivial consequences of the above definitions and the fact that the family $ℐ(\mathscr{H})$ is closed under taking subsets:

$$2^{\alpha (\mathscr{H})}⩽i(\mathscr{H})⩽\sum _{m=0}^{\alpha (\mathscr{H})}\left(\genfrac{}{}{0pt}{}{|V(\mathscr{H})|}{m}\right).$$ (1)

Note that, unless $\alpha (\mathscr{H})$ is very close to $|V(\mathscr{H})|$, the lower and upper bounds on $i(\mathscr{H})$ given in (1) are quite far apart. Since for many interesting hypergraphs $\mathscr{H}$ this naive lower bound is actually fairly close to being best possible, the efforts of many researchers have been focused on improving the upper bound.

In this short survey article, we present an elementary, yet very powerful, method for proving stronger upper bounds in the case when all edges of $\mathscr{H}$ have size two, that is, when $\mathscr{H}$ is a graph. This method was first described more than three decades ago by Kleitman and Winston, who used it to obtain upper bounds on the number of lattices [25] and graphs without cycles of length four [26]. Variations of this method were subsequently rediscovered by several researchers, most notably by Sapozhenko, in the context of enumerating independent sets in regular graphs [1, 36] and sum-free sets in abelian groups [1, 31, 37]. We shall illustrate our presentation of this method with several applications of it to ‘real-life’ combinatorial problems. We would like to stress here that none of the results or proof techniques presented here are new, but we hope that there is some value in seeing them next to one another.

2. The Kleitman–Winston algorithm

Suppose that we are given an arbitrary graph $G$ with $n$ vertices. Our goal is to give an upper bound on $i(G)$, the number of independent sets in $G$. The idea of Kleitman and Winston was to devise an algorithm that, given a particular independent set $I\in ℐ(G)$, would encode $I$ in an invertible way. Crucially, the encoding should be performed in a way which makes it easy to estimate the total number of outputs of the algorithm. Since for every invertible encoding, the total number of outputs is precisely $i(G)$, in this way one could derive an upper bound on this quantity.

The crucial idea of Kleitman and Winston was to consider the vertices of $G$ ordered according to their degrees and encode each independent set $I$ as a sequence of positions of the elements of $I$ in that ordering. We make this precise below.

Definition.

Let $G$ be a graph and fix an arbitrary total order on $V(G)$. For every $A\subseteq V(G)$, the max-degree ordering of $A$ is the ordering $(v_1,\mathrm{\dots },v_{|A|})$ of all elements of $A$, where for each $j\in \{1,\mathrm{\dots },|A|\}$, $v_j$ is the maximum-degree vertex in the subgraph of $G$ induced by $A\setminus \{v_1,\mathrm{\dots },v_{j-1}\}$; ties are broken by giving preference to vertices that come earlier in the fixed total order on $V(G)$.

The Algorithm.

Suppose that a graph $G$, an $I\in ℐ(G)$, and an integer $q⩽|I|$ are given. Set $A=V(G)$ and $S=\mathrm{\varnothing }$. For $s=1,\mathrm{\dots },q$, do the following:

1. Let $(v_1,\mathrm{\dots },v_{|A|})$ be the max-degree ordering of $A$.

2. Let $j_s$ be the minimal index $j$ such that $v_j\in I$.

3. Move $v_{j_s}$ from $A$ to $S$.

4. Delete $v_1,\mathrm{\dots },v_{j_s-1}$ from $A$.

5. Delete $N_G(v_{j_s})\cap A$ from $A$.

Output $(j_1,\mathrm{\dots },j_q)$ and $A\cap I$.

For each output sequence $(j_1,\mathrm{\dots },j_q)$ and every $s\in \{1,\mathrm{\dots },q\}$, denote by $A(j_1,\mathrm{\dots },j_s)$ and $S(j_1,\mathrm{\dots },j_s)$ the sets $A$ and $S$ at the end of the $s$th iteration of the algorithm (run on some input $I$ that produces this particular sequence $(j_1,\mathrm{\dots },j_q)$), respectively. Observe that these definitions do not depend on the choice of $I$ as the sequence $(j_1,\mathrm{\dots },j_q)$ uniquely determines how the sets $S$ and $A$ evolve throughout the algorithm. More precisely, if running the algorithm on two inputs $I,I^{\prime }\in ℐ(G)$ produces the same sequence $(j_1,\mathrm{\dots },j_q)$, then both these executions will also yield the same sets $S$ and $A$. Indeed, all the modifications of the sets $S$ and $A$ in the $s$th iteration of the algorithm depend solely on $j_s$.

Note crucially that $S(j_1,\mathrm{\dots },j_s)\subseteq I$ and $I\setminus S(j_1,\mathrm{\dots },j_s)\subseteq A(j_1,\mathrm{\dots },j_s)$ for every $s$. Indeed, by the minimality of $j_s$ and the assumption that $I$ is independent, the only vertices of $I$ that are deleted from $A$ are moved to $S$. It follows that one may recover the set $I$ from the output of the algorithm, as $I=S(j_1,\mathrm{\dots },j_q)\cup (A(j_1,\mathrm{\dots },j_q)\cap I)$. We also note for future reference that the sequence $(j_1,\mathrm{\dots },j_q)$ can be recovered from the set $S(j_1,\mathrm{\dots },j_q)$. Indeed, if running the algorithm on some input $I\in ℐ(G)$ produces a sequence $(j_1,\mathrm{\dots },j_q)$ and $S=S(j_1,\mathrm{\dots },j_q)$, then the same sequence will be produced by running the algorithm with $I$ replaced by $S$. Finally, let us observe that $j_1+\mathrm{\dots }+j_q⩽|V(G)|-|A(j_1,\mathrm{\dots },j_q)|$, as in steps (c) and (d) of the $s$th iteration of the main loop, we removed from $A$ some $j_s$ vertices.

Let $i(G,m)$ be the number of independent sets in $G$ that have precisely $m$ elements. The above observations readily imply that for every $m$ and $q$ with $m⩾q$,

$$i(G,m)⩽\sum _{(j_s)}i(G[A(j_1,\mathrm{\dots },j_q)],m-q)⩽\sum _{(j_s)}\left(\genfrac{}{}{0pt}{}{|A(j_1,\mathrm{\dots },j_q)|}{m-q}\right),$$ (2)

where the above sums range over all output sequences $(j_1,\mathrm{\dots },j_q)$. In particular, letting $n=|V(G)|$,

$$i(G)⩽\sum _{m=0}^{q-1}\left(\genfrac{}{}{0pt}{}{n}{m}\right)+\sum _{(j_s)}i\left(G[A(j_1,\mathrm{\dots },j_q)]\right)⩽\sum _{m=0}^{q-1}\left(\genfrac{}{}{0pt}{}{n}{m}\right)+\sum _{(j_s)}{2}^{|A(j_1,\mathrm{\dots },j_q)|}.$$ (3)

In view of (2) and (3), it is in our interest to make the set $A(j_1,\mathrm{\dots },j_q)$ as small as possible, uniformly for all values of $(j_1,\mathrm{\dots },j_q)$. This is why we consider the vertices of $A$ listed according to the max-degree ordering. (An attentive reader might have already noticed that this particular ordering maximises ${\mathrm{deg}}_G(v_{j_s},A)$ in each iteration of the algorithm.) Suppose that we are at the $s$th iteration of the main loop of the algorithm and let $A^{\prime }=A\setminus \{v_1,\mathrm{\dots },v_{j_s-1}\}$, where $A$ is as at the start of this iteration, that is, $A=A(j_1,\mathrm{\dots },j_{s-1})$. By the definition of the max-degree ordering,

$$|N_G(v_{j_s})\cap A^{\prime }|=\underset{v\in A^{\prime }}{\max }{\mathrm{deg}}_G(v,A^{\prime })⩾\frac{2e_G(A^{\prime })}{|A^{\prime }|}.$$

In particular, if $e_G(A^{\prime })=\beta \left(\genfrac{}{}{0pt}{}{|A^{\prime }|}{2}\right)$, then the right-hand side of the above inequality is $\beta (|A^{\prime }|-1)$. Consequently, the number of vertices that are removed from $A$ during the $s$th iteration of the main loop of the algorithm is at least $j_s+\beta (|A^{\prime }|-1)$, which is at least $\beta |A|$, as $|A^{\prime }|-1=|A|-j_s$ and $\beta ⩽1$. In other words, as long as the density of the subgraph induced by the set $A$ exceeds some $\beta$, each iteration of the main loop of the algorithm shrinks $A$ by a factor of at most $1-\beta$.

The following two lemmas, which are both implicit in the work of Kleitman and Winston, summarise the above discussion. The first lemma gives a simple bound on the number of independent sets of a given size in a graph which satisfies a certain local density condition. The exact statement of this lemma is taken from [27]. The second lemma characterises the family of all independent sets in such a locally dense graph. The statement of this lemma is inspired by the statement of the main result of [7].

Lemma 1.

Let $G$ be a graph on $n$ vertices and assume that an integer $q$ and reals $R$ and $\beta \in [0,1]$ satisfy

$$R⩾e^{-\beta q}n.$$ (4)

Suppose that the number of edges induced in $G$ by every set $U\subseteq V(G)$ with $|U|⩾R$ satisfies

$$e_G(U)⩾\beta \left(\genfrac{}{}{0pt}{}{|U|}{2}\right).$$ (5)

Then, for every integer $m$ with $m⩾q$,

$$i(G,m)⩽\left(\genfrac{}{}{0pt}{}{n}{q}\right)\left(\genfrac{}{}{0pt}{}{R}{m-q}\right).$$ (6)

Proof.

Since there are exactly $\left(\genfrac{}{}{0pt}{}{n}{q}\right)$ sequences $(j_1,\mathrm{\dots },j_q)$ satisfying $j_1+\mathrm{\dots }+j_q⩽n$ and $j_s⩾1$ for each $s$, the sum in the right-hand side of (2) has at most $\left(\genfrac{}{}{0pt}{}{n}{q}\right)$ terms. Therefore, it suffices to show that for each sequence $(j_1,\mathrm{\dots },j_q)$ that is outputted by the algorithm, the set $A(j_1,\mathrm{\dots },j_q)$ has at most $R$ elements. If this were not the case, then there would be some sequence $(j_1,\mathrm{\dots },j_q)$ such that for each $s\in \{1,\mathrm{\dots },q\}$, the set $A\setminus \{v_1,\mathrm{\dots },v_{j_s-1}\}$ in the $s$th iteration of the main loop of the algorithm (run on some input that results in this particular sequence) would have more than $R$ elements and therefore induce in $G$ a subgraph with edge density at least $\beta$. It follows from our discussion that each of the $q$ iterations would shrink the set $A$ by a factor of at most $1-\beta$. Since $|A|=|V(G)|=n$ at the start of the algorithm, then, by (4),

$$|A(j_1,\mathrm{\dots },j_q)|⩽{(1-\beta )}^{q}n⩽e^{-\beta q}n⩽R,$$

a contradiction. ∎

Lemma 2.

Let $G$ be a graph on $n$ vertices and assume that an integer $q$ and reals $R$ and $D$ satisfy

$$R+qD⩾n.$$ (7)

Suppose that the number of edges induced in $G$ by every set $U\subseteq V(G)$ with $|U|⩾R$ satisfies

$$2e_G(U)⩾D|U|.$$ (8)

Then there exists a collection $𝒮$ of $q$-element subsets of $V(G)$ and two mappings $g:ℐ(G)\to 𝒮$ and $f:𝒮\to 𝒫(V(G))$ such that $|f(S)|⩽R$ for each $S\in 𝒮$ and $g(I)\subseteq I\subseteq f(g(I))\cup g(I)$ for every $I\in ℐ(G)$ with at least $q$ elements.

Proof.

We define the mappings $f$ and $g$ and the family $𝒮$ as follows. We simply run the algorithm with input $I$ for each $I\in ℐ(G)$ with at least $q$ elements and let $g(I)$ and $f(g(I))$ be the final sets $S$ and $A$, respectively. Moreover, we let $𝒮$ be the family of all such $S$, that is, the set of values taken by $g$. The discussion in the paragraph following the description of the algorithm should convince us that this is a valid definition of $f$, that $g(I)\subseteq I\subseteq f(g(I))\cup g(I)$ for each $I$ as above, and that $𝒮$ consists solely of $q$-element subsets of $V(G)$. It suffices to check that $|f(g(I))|⩽R$ for each such $I$. If this were not the case, then there would be some sequence $(j_1,\mathrm{\dots },j_q)$ such that for each $s\in \{1,\mathrm{\dots },q\}$, the set $A\setminus \{v_1,\mathrm{\dots },v_{j_s-1}\}$ in the $s$th iteration of the main loop of the algorithm (run on an input $I$ that generates this sequence) would have more than $R$ elements and therefore induce in $G$ a subgraph with average degree at least $D$. But then, each of the $q$ iterations would remove from $A$ at least $D+1$ vertices. Since $|A|=|V(G)|=n$ at the start of the algorithm, then by (7),

$$|A(j_1,\mathrm{\dots },j_q)|⩽n-Dq⩽R,$$

a contradiction. ∎

Before we close this section, let us make several final remarks. First, the conclusion of Lemma 2 is stronger than the conclusion of Lemma 1. This is simply because the existence of $f$ and $g$ as in the statement of the second lemma imply the bound on $i(G,m)$ asserted by the first lemma. Moreover, it should be clear from the proofs that the assumptions of the two lemmas are ‘interchangeable’ in the following sense. If a graph $G$ satisfies the assumptions of Lemma 1 with some $q$, $R$, and $\beta$, then the conclusion of Lemma 2 holds for $G$ with the same $q$ and $R$; and vice-versa, if a graph $G$ satisfies the assumptions of Lemma 2 with some $q$, $R$, and $D$, then the conclusion of Lemma 1 holds for $G$ with the same $q$ and $R$. (The latter statement is redundant because, as we have already noted above, the conclusion of Lemma 2 is stronger than the conclusion of Lemma 1.)

3. Applications

3.1. Independent sets in regular graphs

During a number theory conference at Banff in 1988, Granville conjectured (see [1]) that an $n$-vertex $d$-regular graph can have no more than $2^{(1+o(1))\frac{n}{2}}$ independent sets, where $o(1)$ is some function that tends to $0$ as $d\to \mathrm{\infty }$. A few years later, this was shown to be true by Alon [1], who proved that in fact

$$i(G)⩽2^{(1+O(d^{-0.1}))\frac{n}{2}}$$

for every $n$-vertex $d$-regular graph $G$. As our first application of Lemma 1, we derive a somewhat stronger estimate, which was obtained several years later by Sapozhenko [36], using arguments very similar to those presented in Section 2.

Theorem 3 ([36]).

There is an absolute constant $C$ such that every $n$-vertex $d$-regular graph $G$ satisfies

$$i(G)⩽2^{\left(1+C\sqrt{\frac{\log d}{d}}\right)\frac{n}{2}}.$$

Alon [1] speculated that when $n$ is divisible by $2d$, then the disjoint union of $\frac{n}{2d}$ complete bipartite graphs $K_{d,d}$ has the maximum number of independent sets among all $d$-regular graphs with $n$ vertices. A slightly stronger statement (Theorem 4 below) was later conjectured by Kahn [23], who proved it under the additional assumption that $G$ is bipartite, using a beautiful entropy argument. This assumption was recently shown to be unnecessary by Zhao [45], who gave a short and elegant argument showing that for every $n$-vertex $d$-regular graph $G$, there exists a $2n$-vertex $d$-regular bipartite graph $G^{\prime }$ such that $i(G)⩽i{(G^{\prime })}^{1/2}$. The results of Kahn and Zhao yield the following.

Theorem 4 ([23, 45]).

For every $n$-vertex $d$-regular graph $G$,

$$i(G)⩽i{(K_{d,d})}^{\frac{n}{2d}}={\left(2^{d+1}-1\right)}^{\frac{n}{2d}}.$$

We now derive Theorem 3 from Lemma 1.

Proof of Theorem 3.

Let $G$ be an $n$-vertex $d$-regular graph. We shall in fact estimate $i(G,m)$ for each $m$ and deduce the claimed bound on $i(G)$ by summing over all $m$. Since $i(G)⩽2^n$ and $C$ is an arbitrary constant, we may assume that $d$ is sufficiently large (and therefore $n$ is sufficiently large). We consider two cases. First, if $m⩽n/10$, then we simply note that

$$i(G,m)⩽\left(\genfrac{}{}{0pt}{}{n}{\frac{n}{10}}\right)⩽{(10e)}^{\frac{n}{10}}⩽2^{0.48n},$$ (9)

where we used the well-known inequality $\left(\genfrac{}{}{0pt}{}{a}{b}\right)⩽{(ea/b)}^b$ valid for all $a$ and $b$.

In the complementary case, $m>n/10$, we shall apply Lemma 1. To this end, let $B\subseteq V(G)$ and note that

$$d|B|=\sum _{v\in B}{\mathrm{deg}}_G(v)=2e(B)+e(B,B^c)⩽2e(B)+\sum _{v\in B^c}{\mathrm{deg}}_G(v)=2e(B)+d(n-|B|).$$ (10)

Fix an arbitrary $\beta$, let $R=\frac{n}{2}+\frac{\beta n^2}{2d}$, and observe that if $|B|⩾R$, then (10) yields

$$e(B)⩾\frac{d}{2}(2|B|-n)⩾\frac{d}{2}(2R-n)⩾\frac{\beta n^2}{2}⩾\beta \left(\genfrac{}{}{0pt}{}{|B|}{2}\right).$$ (11)

Assume that $\beta >10/n$ and let $q=\lceil 1/\beta \rceil$. By Lemma 1, since

$$e^{-\beta q}n⩽e^{-1}n⩽R,$$

then for every $m$ with $m⩾\lceil n/10\rceil ⩾q$,

$$i(G,m)⩽\left(\genfrac{}{}{0pt}{}{n}{q}\right)\left(\genfrac{}{}{0pt}{}{\frac{n}{2}+\frac{\beta n^2}{2d}}{m-q}\right)⩽{\left(\frac{en}{q}\right)}^q\left(\genfrac{}{}{0pt}{}{\frac{n}{2}+\frac{\beta n^2}{2d}}{m-q}\right)⩽{(e\beta n)}^{\lceil 1/\beta \rceil }\cdot \left(\genfrac{}{}{0pt}{}{\frac{n}{2}+\frac{\beta n^2}{2d}}{m-q}\right).$$ (12)

Summing (9) and (12) over all $m$ yields

$$i(G)⩽2^{0.49n}+2^{\frac{n}{2}+\frac{\beta n^2}{2d}+\lceil 1/\beta \rceil {\log }_2(e\beta n)}$$

We obtain the claimed bound by letting $\beta =\frac{\sqrt{d\log d}}{n}$; we note that $\sqrt{d\log d}>10$ as we assumed that $d$ is large. ∎

We ought to indicate here that one may significantly improve the upper bound given by Theorem 3 by a somewhat more careful analysis of the execution of the Kleitman–Winston algorithm than the one given in the proof of Lemma 1. The main reason why one should expect such an improvement to be possible is the crudeness of the second inequality in (11) in the case when $|B|-n/2$ is much larger than $R-n/2$. The proof of Lemma 1 uses (11) to show that in each step of the algorithm, the set $A$ loses at least $\beta |A|$ elements whereas in reality $A$ will lose many more elements as long as $|A|$ is not very close to $n/2+\beta n^2/(2d)$. By considering the ‘evolution’ of $|A|$ partitioned into ‘dyadic’ intervals $(n/2+n/2^{i+1},n/2+n/2^i]$, where $1⩽i⩽{\log }_{2}d-{\log }_2{\log }_{2}d$, one may prove that there is an absolute constant $C$ such that every $n$-vertex $d$-regular graph $G$ satisfies

$$i(G)⩽2^{\left(1+C\frac{{(\log d)}^2}{d}\right)\frac{n}{2}}.$$

One rigorous way of tracking this ‘evolution’ of $|A|$ is to repeatedly invoke Lemma 2 with $R_i=n/2+n/2^{i+1}$ and $D_i=d/2^i$ for $i=1,\mathrm{\dots },{\log }_{2}d-{\log }_2{\log }_{2}d$. We leave filling in the details as an exercise for the reader.

3.2. Sum-free sets

The conjecture of Granville mentioned in the previous section was motivated by a problem posed by Cameron and Erdős at the same number theory conference. A set $A$ of elements of an abelian group is called sum-free if there are no $x,y,z\in A$ satisfying $x+y=z$. Let $[n]$ denote the set $\{1,\mathrm{\dots },n\}\subseteq \mathbb{Z}$. Cameron and Erdős raised the question of determining the number $\mathrm{SF}([n])$ of sum-free sets contained in the set $[n]$. They noted that any set containing either only odd integers or only integers greater than $n/2$ is sum-free, and that it is unlikely that there is another large collection of sum-free sets that are not essentially of one of the above two types. In view of this, they conjectured that $\mathrm{SF}([n])=O(2^{n/2})$. Soon afterwards, Alon [1] showed that the aforementioned conjecture of Granville implies the following weaker estimate on $\mathrm{SF}([n])$, which will serve as a second example application of Lemma 1.

Theorem 5 ([1]).

The set $\{1,\mathrm{\dots },n\}$ has at most $2^{(1/2+o(1))n}$ sum-free subsets.

The Cameron–Erdős conjecture was solved some fifteen years later by Green [18] and, independently, by Sapozhenko [38]. The solution due to Sapozhenko uses a method akin to the Kleitman–Winston algorithm presented in Section 2, while the one due to Green uses discrete Fourier analysis. We do not discuss either of their arguments here, but instead refer the interested reader to the original papers. Finally, we mention that strong estimates on the number of sum-free subsets of $[n]$ with a given number of elements, which imply the conjecture, were recently obtained in [3]; the proof there employs the ideas presented in Section 2.

Proof of Theorem 5.

Observe first that the number of all subsets of $[n]$ which contain fewer than $n^{2/3}$ elements from $\{1,\mathrm{\dots },\lceil n/2\rceil -1\}$ is at most ${(n/2)}^{n^{2/3}}{2}^{n/2+1}$. Therefore, we may restrict our attention to sum-free sets that contain at least $n^{2/3}$ elements strictly smaller than $n/2$. For each such set $A$, let $S_A$ be the set of $\lfloor n^{2/3}\rfloor$ smallest elements of $A$.

Given a set $S\subseteq \{1,\mathrm{\dots },\lceil n/2\rceil -1\}$, define an auxiliary graph $G_S$ with vertex set $[n]$ by letting

$$E(G_S)=\{xy:x+s\equiv y(modn)\text{for some}s\in S\cup (-S)\}$$

and note that $G_S$ is $2|S|$-regular, as $n-(\lceil n/2\rceil -1)>\lceil n/2\rceil -1$ and hence $S$ and $-S$ contain different residues modulo $n$. The crucial observation is that for every sum-free $A$ as above, the set $A\setminus S_A$ is an independent set in the graph $G_{S_A}$. Indeed, otherwise there would be $x,y\in A\setminus S_A$ and an $s\in S_A\cup (-S_A)$ with $x+s\equiv y(modn)$; since , this is only possible when $x+s=y$. In particular, for a given $S\subseteq \{1,\mathrm{\dots },\lceil n/2\rceil -1\}$, there are at most $i(G_S)$ sum-free sets $A$ satisfying $S=S_A$. By Theorem 3, we conclude that

$$\mathrm{SF}([n])⩽{(n/2)}^{n^{2/3}}{2}^{n/2+1}+\left(\genfrac{}{}{0pt}{}{n/2}{n^{2/3}}\right)\cdot 2^{\left(1+O(n^{-1/3}\sqrt{\log n})\right)\frac{n}{2}}⩽2^{\left(1/2+O(n^{-1/3}\log n)\right)n}.\mathit{∎}$$

Before closing this section, we remark that the paper of Alon [1] started a very successful line of inquiry into the closely related problem of determining the number of sum-free sets contained in an arbitrary finite abelian group; see, e.g., [2, 19, 20, 31, 37]. In many of these works, variations of the ideas presented in Section 2 play a prominent role.

3.3. Independent sets in regular graphs without small eigenvalues

Since every $n$-vertex bipartite graph $G$ satisfies $\alpha (G)⩾n/2$ and hence it contains at least $2^{n/2}$ independent sets, the upper bounds for $i(G)$ proved in Section 3.1 are essentially best possible whenever $G$ is bipartite. It is natural to ask whether these bounds can be improved when one assumes that $G$ is ‘far’ from being bipartite. An affirmative answer to this question was given by Alon and Rödl [5].

Recall that the adjacency matrix of an $n$-vertex graph $G$ is a real-valued symmetric $n\times n$ matrix and therefore it has $n$ real eigenvalues. Denote these eigenvalues by ${\lambda }_1,\mathrm{\dots },{\lambda }_n$, where ${\lambda }_1⩾\mathrm{\dots }⩾{\lambda }_n$. It is well known that the quantity $\max \{|{\lambda }_2|,|{\lambda }_n|\}$, called the second eigenvalue of $G$, is closely tied with, among other parameters, the expansion properties of $G$. We shall be interested only in the smallest eigenvalue ${\lambda }_n$ of $G$, which we denote by $\lambda (G)$. It was first proved by Hoffman [21] that every $d$-regular $n$-vertex graph $G$ satisfies $\alpha (G)⩽\frac{-\lambda (G)}{d-\lambda (G)}n$. This was later significantly strengthened by Alon and Chung [4], who established the following relation between $\lambda (G)$ and the number of edges induced by large sets of vertices in $G$, cf. the expander mixing lemma (see, e.g., [22]).

Lemma 6 ([4]).

Let $G$ be an $n$-vertex $d$-regular graph. For all $A\subseteq V(G)$,

$$2e_G(A)⩾\frac{d}{n}{|A|}^2+\frac{\lambda (G)}{n}|A|\left(n-|A|\right).$$

Alon and Rödl [5] were the first to prove that if $\lambda (G)$ is much larger than $-d$, then each such $G$ has far fewer than $2^{n/2}$ independent sets. As our next application of Lemma 1, we derive a similar estimate, originally proved in [2].

Theorem 7 ([2]).

For every $\epsilon >0$, there exists a constant $C$ such that the following holds. If $G$ is an $n$-vertex $d$-regular graph with $\lambda (G)⩾-\lambda$, then

$$i(G,m)⩽\left(\genfrac{}{}{0pt}{}{\left(\frac{\lambda }{d+\lambda }+\epsilon \right)n}{m}\right),$$

provided that $m⩾Cn/d$.

Proof of Theorem 7.

Fix some $\epsilon >0$, let $G$ be an $n$-vertex $d$-regular graph, and let $\lambda =-\lambda (G)$. We may assume that as otherwise there is nothing to prove. Let $U\subseteq V(G)$ be an arbitrary set with $|U|⩾\left(\frac{\lambda }{d+\lambda }+\frac{\epsilon }{2}\right)n$. Lemma 6 implies that

$$2e_G(U)⩾\frac{d}{n}{|U|}^2-\frac{\lambda }{n}|U|\left(n-|U|\right)=\frac{|U|}{n}\left((d+\lambda )|U|-\lambda n\right)⩾\frac{\epsilon d}{2}|U|⩾\frac{\epsilon d}{n}\left(\genfrac{}{}{0pt}{}{|U|}{2}\right).$$

Let $\beta =\frac{\epsilon d}{n}$, $q=\lceil \frac{\log (2/\epsilon )}{\epsilon }\cdot \frac{n}{d}\rceil$, and $R=\left(\frac{\lambda }{d+\lambda }+\frac{\epsilon }{2}\right)n$ and observe that $R⩾e^{-\beta q}n$. If follows from Lemma 1 that for every $m$ with $m⩾q$,

$$i(G,m)⩽\left(\genfrac{}{}{0pt}{}{n}{q}\right)\left(\genfrac{}{}{0pt}{}{R}{m-q}\right).$$ (13)

Let $r(t)$ denote the right-hand side of (13) with $q$ replaced by $t$. We may clearly assume that $m⩽\alpha (G)⩽\frac{\lambda }{d+\lambda }n$, as otherwise $i(G,m)=0$. An elementary calculation shows that

$$\frac{r(t+1)}{r(t)}=\frac{n-t}{t+1}\cdot \frac{m-t}{R-m+t+1}⩽\frac{nm}{(t+1)(R-m)}⩽\frac{2m}{\epsilon (t+1)}$$

and hence

$$i(G,m)=r(q)=\prod _{t=0}^{q-1}\frac{r(t+1)}{r(t)}\cdot r(0)⩽\frac{{(2m)}^q}{{\epsilon }^{q}q!}\cdot \left(\genfrac{}{}{0pt}{}{R}{m}\right)⩽{\left(\frac{2em}{\epsilon q}\right)}^q\cdot {\left(\frac{R}{R+\epsilon n/2}\right)}^m\left(\genfrac{}{}{0pt}{}{R+\epsilon n/2}{m}\right),$$

where we used the inequalities $a!>{(a/e)}^a$ and $\left(\genfrac{}{}{0pt}{}{a}{c}\right)⩾{(a/b)}^c\left(\genfrac{}{}{0pt}{}{b}{c}\right)$ valid whenever $a⩾b⩾c⩾0$. Finally, if $K$ is sufficiently large (as a function of $\epsilon$) and $C⩾K\cdot \lceil \frac{\log (2/\epsilon )}{\epsilon }\rceil$, then for every $m$ with $m⩾Cn/d⩾Kq$,

$${\left(\frac{2em}{\epsilon q}\right)}^{q/m}\cdot \frac{R}{R+\epsilon n/2}⩽{\left(\frac{2Ke}{\epsilon }\right)}^{1/K}\cdot \left(1-\frac{\epsilon }{2}\right)⩽1,$$

which completes the proof of the theorem. ∎

We close this section with several remarks. First, the constant $\frac{\lambda }{d+\lambda }$ in the assertion of the theorem is optimal as for many values of $n$, $d$, and $\alpha$, there are $n$-vertex $d$-regular graphs with $\alpha (G)=\frac{-\lambda (G)}{d-\lambda (G)}n=\alpha n$. Second, the assumption that $m⩾Cn/d$ cannot be relaxed as for every $\epsilon >0$, every $n$-vertex $d$-regular graph $G$ satisfies $i(G,m)⩾\left(\genfrac{}{}{0pt}{}{(1-\epsilon )n}{m}\right)$ whenever $m⩽\epsilon n/(d+1)$. (To see this, consider the greedy process of constructing an independent set which repeatedly picks an arbitrary vertex of $G$ and removes it and all of its neighbours from $G$.) Third, the above theorem implies the conjecture of Granville stated in Section 3.1 as $\lambda (G)⩾-d$ for every $d$-regular graph $G$. Finally, we refer the interested reader to [2] and [5], where Theorem 7 was used to obtain upper bounds on the number of sum-free sets in abelian groups of even order and lower bounds on some multicolor Ramsey numbers, respectively.

3.4. The number of $C_4$-free graphs

As our next example, we present the main result from one of the papers of Kleitman and Winston [26] which introduced the methods described in Section 2. Call a graph $C_4$-free if it does not contain a cycle of length four and let $\mathrm{ex}(n,C_4)$ denote the maximum number of edges in a $C_4$-free graph with $n$ vertices. A classical result of Kővári, Sós, and Turán [30] together with a construction due to Brown [10] and Erdős, Rényi, and Sós [16] imply that

$$\mathrm{ex}(n,C_4)=\left(\frac{1}{2}+o(1)\right)n^{3/2}.$$

Let $f_n(C_4)$ be the number of (labeled) $C_4$-free graphs on the vertex set $\{1,\mathrm{\dots },n\}$. Since each subgraph of a $C_4$-free graph is itself $C_4$-free, we have

$$2^{\mathrm{ex}(n,C_4)}⩽f_n(C_4)⩽\sum _{m=0}^{\mathrm{ex}(n,C_4)}\left(\genfrac{}{}{0pt}{}{\left(\genfrac{}{}{0pt}{}{n}{2}\right)}{m}\right)=2^{\mathrm{\Theta }(\mathrm{ex}(n,C_4)\log n)},$$

which yields

$$\mathrm{ex}(n,C_4)⩽{\log }_2{f}_n(C_4)⩽O\left(\mathrm{ex}(n,C_4)\log n\right).$$ (14)

Answering a question of Erdős, Kleitman and Winston [26] showed that the lower bound in (14) is tight up to a constant factor.

Theorem 8 ([26]).

There is a positive constant $C$ such that

$${\log }_2{f}_n(C_4)⩽C{n}^{3/2}.$$

Before we continue with the proof of the theorem, let us make a few comments. In fact, Erdős asked whether ${\log }_2{f}_n(H)=(1+o(1))\mathrm{ex}(n,H)$ for an arbitrary $H$ that contains a cycle. This was shown to be the case by Erdős, Frankl, and Rödl [15] under the assumption that $\chi (H)⩾3$. Very recently, Morris and Saxton [33] proved that ${\log }_2{f}_n(C_6)⩾1.0007\cdot \mathrm{ex}(n,C_6)$ for infinitely many $n$. But the notoriously difficult problem of determining whether or not ${\log }_2{f}_n(H)=O(\mathrm{ex}(n,H))$ for every bipartite $H$ that is not a forest remains unsolved, apart from the following two special cases: $H$ is a cycle length four [26], six [24], or ten [33] or $H$ is an unbalanced complete bipartite graph [8, 9]. More exactly, it is proved in [9] and [33] that ${\log }_2{f}_n(K_{s,t})=O(n^{2-1/s})$ whenever $2⩽s⩽t$ and that ${\log }_2{f}_n(C_{2\mathrm{\ell }})=O(n^{1+1/\mathrm{\ell }})$ for every $\mathrm{\ell }⩾2$, respectively. As it is commonly believed that $\mathrm{ex}(n,K_{s,t})=\mathrm{\Omega }(n^{2-1/s})$ whenever $s⩽t$ and that $\mathrm{ex}(n,C_{2\mathrm{\ell }})=\mathrm{\Omega }(n^{1+1/\mathrm{\ell }})$, both these results are most likely best possible. Finally, we mention that the proofs of most of the results mentioned in this paragraph use either a variant of Lemma 1 or extensions of the ideas presented in Section 2 to hypergraphs, see Section 4.2.

Proof of Theorem 8.

Note that one can order the vertices of every $n$-vertex graph $G$ as $v_1,\mathrm{\dots },v_n$ in such a way that for every $i\in \{2,\mathrm{\dots },n\}$, letting $G_i=G[\{v_1,\mathrm{\dots },v_i\}]$,

$$\delta (G_{i-1})⩾{\mathrm{deg}}_{G_i}(v_i)-1.$$

Indeed, one may obtain such an ordering by iteratively letting $v_i$ be a minimum-degree vertex of $G-\{v_{i+1},\mathrm{\dots },v_n\}$ for $i=n,\mathrm{\dots },2$. In particular, every labeled $n$-vertex graph $G$ can be constructed in the following way. First, choose an ordering $v_1,\mathrm{\dots },v_n$ of the vertices and let $G_1$ be the empty graph with vertex set $\{v_1\}$. Second, for each $i\in \{2,\mathrm{\dots }n\}$, build a graph $G_i$ by adding to the graph $G_{i-1}$ a vertex labeled $v_i$ in such a way that its degree $d_i$ (in $G_i$) satisfies $d_i⩽\delta (G_{i-1})+1$. Finally, we let $G=G_n$. Observe that $G$ is $C_4$-free if and only if $G_i$ is $C_4$-free for each $i$.

Now, given integers $d$ and $i$ with $d⩽i$, let $g_i(d)$ denote the maximum number of ways to attach a vertex of degree $d$ to an $i$-vertex $C_4$-free graph with minimum degree at least $d-1$ in such a way that the resulting graph remains $C_4$-free. This number is well defined as clearly $g_i(d)⩽\left(\genfrac{}{}{0pt}{}{i}{d}\right)$. Moreover, let $g_i=\max \{g_i(d):d⩽i\}$. The argument given in the previous paragraph proves that

$$f_n(C_4)⩽n!\cdot n!\cdot \prod _{i=2}^n{g}_{i-1}.$$ (15)

Indeed, there are $n!$ ways to order $[n]$ as $v_1,\mathrm{\dots },v_n$ and for each such ordering, there are at most $n!$ choices for the sequence $d_2,\mathrm{\dots },d_n$ of degrees. In view of (15), the following claim easily implies the assertion of the theorem.

Claim.

There exists a constant $C$ such that $g_n⩽\exp (C\sqrt{n})$ for all $n$.

Without loss of generality, we may assume that $n$ is large. Thus, if $d⩽\sqrt{n}/\log n$, then

$$g_n(d)⩽\left(\genfrac{}{}{0pt}{}{n}{d}\right)⩽\left(\genfrac{}{}{0pt}{}{n}{\frac{\sqrt{n}}{\log n}}\right)⩽{\left(e\sqrt{n}\log n\right)}^{\frac{\sqrt{n}}{\log n}}⩽\exp (\sqrt{n}).$$

Therefore, we shall from now on assume that $d>\sqrt{n}/\log n$. Let $G$ be a $C_4$-free graph on $n$ vertices with $\delta (G)⩾d-1$. Let $H$ be the square of $G$, that is, the graph with $V(H)=V(G)$ and

$$E(H)=\{xy:xz,yz\in E(G)\text{for some}z\in V(G)\}.$$

Crucially, observe that adding $v$ to $G$ will result in a $C_4$-free graph if and only if the neighbourhood of $v$ is an independent set in $H$. Hence, $i(H,d)$ is an upper bound on the number of $C_4$-free extensions of $G$ by a vertex of degree $d$. We shall estimate $i(H,d)$ using Lemma 1.

To this end, we show that subgraphs of $H$ induced by large subsets of $V(H)$ have reasonably high density. Since $G$ is $C_4$-free, every edge $xy$ of $H$ corresponds to a unique vertex $z\in V(G)$ such that $xz$ and $yz$ are edges of $G$. Therefore, for each $B\subseteq V(H)$,

$$e_H(B)=\sum _{z\in V(G)}\left(\genfrac{}{}{0pt}{}{{\mathrm{deg}}_G(z,B)}{2}\right)⩾n\cdot \left(\genfrac{}{}{0pt}{}{\sum _z\mathrm{deg}(z,B)/n}{2}\right),$$

where the last inequality is Jensen’s inequality applied to the convex function $x\mapsto \left(\genfrac{}{}{0pt}{}{x}{2}\right)$. Since

$$\sum _{z\in V(G)}{\mathrm{deg}}_G(z,B)=\sum _{x\in B}{\mathrm{deg}}_G(x)⩾|B|\cdot \delta (G)⩾(d-1)|B|,$$

then assuming that $|B|⩾\frac{2n}{d-1}$ implies

$$e_H(B)⩾n\cdot \frac{(d-1)|B|}{2n}\left(\frac{(d-1)|B|}{n}-1\right)⩾\frac{{(d-1)}^2}{2n}\left(\genfrac{}{}{0pt}{}{|B|}{2}\right).$$

Finally, let $R=\frac{2n}{d-1}$, $\beta =\frac{{(d-1)}^2}{2n}$, and $q=\lceil 3{(\log n)}^3\rceil$. Since $d>\sqrt{n}/\log n$ and $n$ is large, then $\beta q⩾\log n$ and therefore $e^{-\beta q}n⩽1⩽R$. If follows from Lemma 1 that

$$i(H,d)⩽\left(\genfrac{}{}{0pt}{}{n}{q}\right)\left(\genfrac{}{}{0pt}{}{\frac{2n}{d-1}}{d-q}\right)⩽e^{4{\log }^{4}n}\cdot {\left(\frac{2en}{{(d-q)}^2}\right)}^{d-q}⩽\underset{k>0}{sup}{\left(\frac{e\sqrt{n}}{k}\right)}^{2k}=e^{2\sqrt{n}},$$

where we used the assumption that $n$ is large and the fact that $sup\{{\left(\frac{e}{x}\right)}^x:x>0\}=e$. ∎

3.5. Roth’s theorem in random sets

As our final example, we present a short proof of a well-known result of Kohayakawa, Łuczak, and Rödl [28]. Recall that $[n]$ denotes the set $\{1,\mathrm{\dots },n\}$. A famous theorem of Roth [34] asserts that for every positive $\delta$, any set of at least $\delta n$ integers from $[n]$ contains a $3$-term arithmetic progression ($3$-term AP), provided that $n$ is sufficiently large (as a function of $\delta$ only). Given a positive $\delta$, we shall say that a set $A\subseteq \mathbb{Z}$ is $\delta$-Roth if each $B\subseteq A$ satisfying $|B|⩾\delta |A|$ contains a $3$-term AP. We may now restate Roth’s theorem as follows. For every positive $\delta$, there exists an $n_0$ such that the set $[n]$ is $\delta$-Roth whenever $n⩾n_0$. With the aim of showing that there exist ‘smaller’ and ‘sparser’ $\delta$-Roth sets Kohayakawa, Łuczak, and Rödl [28] proved the following result.

Theorem 9 ([28]).

For every positive $\delta$, there exists a constant $C$ such that if $C\sqrt{n}⩽m⩽n$, then the probability that a uniformly chosen random $m$-element subset of $\{1,\mathrm{\dots },n\}$ is $\delta$-Roth tends to $1$ as $n\to \mathrm{\infty }$.

We shall deduce Theorem 9 as an easy corollary of the following upper bound for the number of subsets of $[n]$ of a given cardinality that do not contain a $3$-term AP, originally proved in [7] and [39] in a much more general form. This upper bound will be derived from Roth’s theorem using Lemma 2 with one additional twist which was previously considered in [2].

Theorem 10.

For every positive $\epsilon$, there exists a constant $D$ such that if $D\sqrt{n}⩽m⩽n$,

$$\left|\{A\subseteq [n]:|A|=m\text{and}A\text{contains no}3\text{-term AP}\}\right|⩽\left(\genfrac{}{}{0pt}{}{\epsilon n}{m}\right).$$

Proof of Theorem 9.

Fix a positive $\delta$, let $\epsilon =\delta /6$, and let $D$ be the constant from the statement of Theorem 10. Let $C=D/\delta$ and suppose that $C\sqrt{n}⩽m⩽n$. Since $\lceil \delta m\rceil ⩾D\sqrt{n}$, Theorem 10 implies that the set $𝒜$ defined by

$$𝒜=\{A\subseteq [n]:|A|=\lceil \delta m\rceil \text{and}A\text{contains no}3\text{-term AP}\}$$

has at most $\left(\genfrac{}{}{0pt}{}{\epsilon n}{\lceil \delta m\rceil }\right)$ elements. Now, let $R$ be an $m$-element subset of $[n]$ chosen uniformly at random. Clearly,

Our proof of Theorem 10 will use the following simple consequence of Roth’s theorem, observed first by Varnavides [44], as a ‘black box’.

Proposition 11 ([34, 44]).

For every positive $\delta$, there exist an integer $n_0$ and a positive $\beta$ such that if $n⩾n_0$, then every set of at least $\delta n$ integers from $\{1,\mathrm{\dots },n\}$ contains at least $\beta n^2$ $3$-term APs.

Proof of Theorem 10.

Fix a positive $\epsilon$, let $n_0$ and $\beta$ be the constants from the statement of Proposition 11 invoked with $\delta =\epsilon /2$, and suppose that $n⩾n_0$. Given an arbitrary set $B\subseteq [n]$ and integers $m$ and $n^{\prime }$, let

$a(B,m)$ $=\left|\{I\subseteq B:|I|=m\text{and}I\text{contains no}3\text{-term AP}\}\right|,$

$a(n^{\prime },m)$ $=\max \left\{a(B,m):B\subseteq [n]\text{with}|B|=n^{\prime }\right\}.$

Our aim is to show that $a([n],m)=a(n,m)⩽\left(\genfrac{}{}{0pt}{}{\epsilon n}{m}\right)$, provided that $m⩾C\sqrt{n}$ for some constant $C$ which depends only on $\epsilon$. This inequality will follow from the trivial observation that $a(n^{\prime },m)⩽\left(\genfrac{}{}{0pt}{}{n^{\prime }}{m}\right)$ for all $n^{\prime }$ and $m$ and the following claim.

Claim.

If $n^{\prime }⩾\epsilon n/2$ and $m⩾2\lfloor \sqrt{n}\rfloor$, then $a(n^{\prime },m)⩽2{\left(\genfrac{}{}{0pt}{}{n}{\lfloor \sqrt{n}\rfloor }\right)}^2\cdot a(n^{\prime }-\lceil \beta n/12\rceil ,m-2\lfloor \sqrt{n}\rfloor )$.

Let $\mathscr{H}$ be the $3$-uniform hypergraph with vertex set $[n]$ whose edges are all triples of numbers which form a $3$-term AP. Let $B$ be an arbitrary $n^{\prime }$-element subset of $[n]$. By Proposition 11, $e_{\mathscr{H}}(B)⩾\beta n^2$. Let $Z\subseteq B$ be the set of all vertices of $\mathscr{H}[B]$, the subhypergraph of $\mathscr{H}$ induced by $B$, whose degree is at least $\beta n$. In other words, $Z$ is the set of all numbers in $B$ that belong to at least $\beta n$ three-term APs contained in $B$. Since the maximum degree of $\mathscr{H}$ is at most $2n$, we have $|Z|⩾\beta n$.

We first estimate the number of $m$-element subsets of $B$ with no $3$-term AP that contain fewer than $\sqrt{n}$ elements of $Z$. Since each such set $A$ may be partitioned into $A_1$ and $A_2$, where $|A_1|=\lfloor \sqrt{n}\rfloor$ and $A_2\subseteq B\setminus Z$, there are at most $\left(\genfrac{}{}{0pt}{}{n}{\lfloor \sqrt{n}\rfloor }\right)\cdot a(n^{\prime }-\lceil \beta n\rceil ,m-\lfloor \sqrt{n}\rfloor )$ such sets. We may therefore focus on counting subsets of $B$ that contain at least $\sqrt{n}$ elements of $Z$. We shall obtain a suitable upper bound for their number using Lemma 2.

Let $W$ be an arbitrary subset of $Z$ and consider the auxiliary graph $G_W$ with vertex set $B$ whose edges are all pairs $\{x,y\}$ such that $\{x,y,z\}\in \mathscr{H}$ for some $z\in W$. Since for a given pair $\{x,y\}\subseteq [n]$, there are at most three different $z$ such that $\{x,y,z\}\in \mathscr{H}$, it follows that $e(G_W)⩾|W|\beta n/3$ and the maximum degree of $G_W$ is no more than $3|W|$. It follows that for an arbitrary subset $U$ of $B$ with at least $n^{\prime }-\beta n/12$ elements,

$$e_{G_W}(U)⩾e(G_W)-|B\setminus U|\cdot \mathrm{\Delta }(G_W)⩾\frac{\beta n|W|}{3}-\frac{\beta n}{12}\cdot 3|W|=\frac{\beta n|W|}{12}.$$ (16)

Observe crucially that if some set $I\cup W$ contains no $3$-term APs, then $I$ is an independent set in the graph $G_W$.

Let $w=\lfloor \sqrt{n}\rfloor$ and fix some $W\subseteq Z$ with $|W|=w$. We shall prove an upper bound on the number of ways one can extend $W$ to an $m$-element subset of $B$ that contains no $3$-term APs. By our above discussion, if $I\cup W$ is such a set, then $I$ is an independent set of $G_W$ with $m-w$ elements. Let $𝒮$ be the family of sets and let $f$ and $g$ be the maps whose existence is postulated by Lemma 2 with $G=G_W$, $q=\lfloor \sqrt{n}\rfloor$, $R=n^{\prime }-\lceil \beta n/12\rceil$, and $D=\beta w/6$. Note that the assumptions of the lemma are satisfied by our discussion above, see (16). Since clearly for each extension $I$ of $W$ to an $m$-element subset of $B$ with no $3$-term APs, $I\cap f(g(I))$ contains no $3$-term APs, the number $E_W$ of extensions of $W$ satisfies

$$E_W⩽\sum _{S\in 𝒮}a(f(S),m-w-q)⩽\left(\genfrac{}{}{0pt}{}{n}{q}\right)\cdot a(R,m-w-q).$$

We conclude that

which, since $B$ was an arbitrary $n^{\prime }$-element subset of $[n]$, proves the claim.

Let $K=\lceil (12-6\epsilon )/\beta \rceil$ and suppose that $m⩾\sqrt{n}$. We recursively invoke the claim $K$ times to obtain

$$a(n,m)⩽2^K{\left(\genfrac{}{}{0pt}{}{n}{\lfloor \sqrt{n}\rfloor }\right)}^{2K}\left(\genfrac{}{}{0pt}{}{\epsilon n/2}{m-2K\lfloor \sqrt{n}\rfloor }\right)⩽2^K\left(\genfrac{}{}{0pt}{}{2Kn}{2K\lfloor \sqrt{n}\rfloor }\right)\left(\genfrac{}{}{0pt}{}{\epsilon n/2}{m-2K\lfloor \sqrt{n}\rfloor }\right).$$ (17)

As in the proof of Theorem 7, denote by $r(t)$ the right-hand side of (17) with $2K\lfloor \sqrt{n}\rfloor$ replaced by $t$. We may clearly assume that as otherwise $a(n,m)=0$ by Roth’s theorem (we may assume that $n$ is sufficiently large). An elementary calculation shows that

$$\frac{r(t+1)}{r(t)}=\frac{2Kn-t}{t+1}\cdot \frac{m-t}{\epsilon n/2-m+t+1}⩽\frac{2Knm}{(t+1)(\epsilon n/2-m)}⩽\frac{8Km}{\epsilon (t+1)}$$

and hence, letting $T=2K\lfloor \sqrt{n}\rfloor$,

$$a(n,m)⩽r(T)⩽2^K\cdot \frac{{(8Km)}^T}{{\epsilon }^{T}T!}\cdot \left(\genfrac{}{}{0pt}{}{\epsilon n/2}{m}\right)⩽2^K\cdot {\left(\frac{8eKm}{\epsilon T}\right)}^T\cdot {\left(\frac{1}{2}\right)}^m\left(\genfrac{}{}{0pt}{}{\epsilon n}{m}\right).$$

Finally, if $D$ is sufficiently large as a function of $K$ and $\epsilon$, then for every $m$ with $m⩾D\sqrt{n}⩾D/(2K)\cdot T$, we have

$$2^{K/m}\cdot {\left(\frac{8eKm}{\epsilon T}\right)}^{T/m}⩽2,$$

which completes the proof of the theorem. ∎

4. Concluding remarks and further reading

4.1. Other applications of the Kleitman–Winston method

There have been quite a few successful applications of the Kleitman–Winston method other than the ones presented in Section 3. In particular, variants of Lemma 1 were used in the following works: Kleitman and Wilson [24] proved that the number of $n$-vertex graphs with girth larger than $2\mathrm{\ell }$ is $2^{O(n^{1+1/\mathrm{\ell }})}$; Dellamonica, Kohayakawa, Lee, Rödl, and the author [13, 14, 27] proved sharp bounds on the number of subsets of $[n]$ with a given cardinality which contain no non-trivial solutions to the equation $a_1+\mathrm{\dots }+a_h=b_1+\mathrm{\dots }+b_h$ for every $h⩾2$; Balogh, Das, Delcourt, Liu, and Sharifzadeh [6] and Gauy, Hàn, and Oliveira [17] proved sharp bounds for the number of intersecting families of $k$-element subsets of $[n]$ with a given cardinality and for the typical size of the largest intersecting subfamily contained in a random collection of $k$-element subsets of $[n]$.

4.2. Extensions of the Kleitman–Winston method to hypergraphs

It seems natural to seek a generalisation of the Kleitman–Winston method that would yield non-trivial upper bounds for the number of independent sets in a hypergraphs of higher uniformity. Perhaps somewhat surprisingly, such generalisations were considered only fairly recently. To the best of our knowledge this was first done in [8, 9], where sharp upper bounds for the number of $n$-vertex graphs which do not contain a copy of a fixed complete bipartite subgraph were proved using a generalisation of the argument presented in Section 3.4. Around the same time, similar ideas were developed by Saxton and Thomason, who used them to establish lower bounds for the list chromatic number of regular uniform hypergraphs [40]. Inspired by the groundbreaking work of Conlon and Gowers [12] and Schacht [41], these efforts culminated in far-reaching generalisations of the Kleitman–Winston method to arbitrary uniform hypergraphs, obtained independently by Saxton and Thomason [39], and by Balogh, Morris, and the author [7]. For further details, we refer the interested reader to [7, 11, 12, 35, 39, 41].

Acknowledgments. I would like to thank Noga Alon, Józsi Balogh, Domingos Dellamonica, Yoshi Kohayakawa, Sang June Lee, Rob Morris, and Vojta Rödl for many interesting discussions on the topics of independent sets in graphs and the Kleitman–Winston method and its applications over the past several years. These discussions have greatly influenced the content of this paper. I would also like to thank David Conlon, Asaf Ferber, and Rob Morris for their careful reading of an earlier version of this manuscript and many valuable comments which helped me improve the exposition and saved me from making several embarrassing mistakes. Finally, special thanks to Jarik Nešetřil for his encouragement to write this survey.