Counting independent sets in regular graphs with bounded independence number

Abstract

An $n$-vertex, $d$-regular graph can have at most $2^{n/2+o_d(n)}$ independent sets. In this paper we address what happens with this upper bound when we impose the further condition that the graph has independence number at most $α$. We give upper and lower bounds that in many cases are close to each other. In particular, for each $0 < c_{\rm ind} \leq 1/2$ we exhibit a constant $k(c_{\rm ind})$ such that if $(G_n)_{n \in {\mathbb N}}$ is a sequence of graphs with $G_n$ $d$-regular on $n$ vertices and with maximum independent set size at most $α$, with $d\rightarrow \infty$ and $α/n \rightarrow c_{\rm ind}$ as $n \rightarrow \infty$, then $G_n$ has at most $k(c_{\rm ind})^{n+o(n)}$ independent sets, and we show that there is a sequence $(G_n)_{n \in {\mathbb N}}$ of graphs with $G_n$ $d$-regular on $n$ vertices ($d \leq n/2$) and with maximum independent set size at most $α$, with $α/n \rightarrow c_{\rm ind}$ as $n \rightarrow \infty$ and with $G_n$ having at least $k(c_{\rm ind})^{n+o(n)}$ independent sets. We also consider the regime $1/2 < c_{\rm ind} < 1$. Here for each $0 < c_{\rm deg} \leq 1-c_{\rm ind}$ we exhibit a constant $k(c_{\rm ind},c_{\rm deg})$ for which an analogous pair of statements can be proven, except that in each case we add the condition $d/n \rightarrow c_{\rm deg}$ as $n \rightarrow \infty$. Our upper bounds are based on graph container arguments, while our lower bounds are constructive.

Figures (8)

• Figure 1: Illustration of some aspects of the construction when $n_a=n_b$, $b=a+1$, with $n$ even.
• Figure 2: Illustration of some aspects of the construction when $n_a>n_b$, $b=a-1$, $n$ even.
• Figure 3: Illustration of some aspects of the construction when $b=a+1,n_a\geq n_b+2$, $n$ even.
• Figure 4: Illustration of some aspects of the construction when $b=a+1,n_a=n_b+1$, $n$ even.
• Figure 5: Illustration of some aspects of the construction when $n$ is odd.

Theorems & Definitions (32)

• Theorem 1.1
• Claim 1.2
• proof
• Theorem 1.3
• Theorem 2.1
• Theorem 2.2
• Lemma 3.1
• Theorem 3.2: Zykov
• Lemma 3.3
• proof