Table of Contents
Fetching ...

Unified bounds for the independence number of graphs

Jiang Zhou

TL;DR

This work develops a unified, matrix-analytic approach to bounding the independence number $\alpha(G)$ by leveraging generalized inverses of graph-associated PSD matrices. Through a general bound $F(M,x)$ and its variants, it encompasses and strengthens Hoffman-type bounds while recovering the Lovász theta and Schrijver theta bounds as special cases, together with exact equality characterizations. The framework yields simple structural and spectral conditions under which $\alpha(G)$, $\Theta(G)$, and $\vartheta(G)$ coincide, and extends to classical graph constructions and capacity considerations. By linking eigenvalue-based criteria with matrix inverses, the paper provides a versatile toolkit for determining maximum independent sets, the independence number, and Shannon capacity across a broad spectrum of graphs.

Abstract

The Hoffman ratio bound, Lovász theta function and Schrijver theta function are classical upper bounds for the independence number of graphs, which are useful in graph theory, extremal combinatorics and information theory. By using generalized inverses and eigenvalues of graph matrices, we give bounds for independence sets and the independence number of graphs. Our bounds unify the Lovász theta function, Schrijver theta function and Hoffman-type bounds, and we obtain the necessary and sufficient conditions of graphs attaining these bounds. Our work leads to some simple structural and spectral conditions for determining a maximum independent set, the independence number, the Shannon capacity and the Lovász theta function of a graph.

Unified bounds for the independence number of graphs

TL;DR

This work develops a unified, matrix-analytic approach to bounding the independence number by leveraging generalized inverses of graph-associated PSD matrices. Through a general bound and its variants, it encompasses and strengthens Hoffman-type bounds while recovering the Lovász theta and Schrijver theta bounds as special cases, together with exact equality characterizations. The framework yields simple structural and spectral conditions under which , , and coincide, and extends to classical graph constructions and capacity considerations. By linking eigenvalue-based criteria with matrix inverses, the paper provides a versatile toolkit for determining maximum independent sets, the independence number, and Shannon capacity across a broad spectrum of graphs.

Abstract

The Hoffman ratio bound, Lovász theta function and Schrijver theta function are classical upper bounds for the independence number of graphs, which are useful in graph theory, extremal combinatorics and information theory. By using generalized inverses and eigenvalues of graph matrices, we give bounds for independence sets and the independence number of graphs. Our bounds unify the Lovász theta function, Schrijver theta function and Hoffman-type bounds, and we obtain the necessary and sufficient conditions of graphs attaining these bounds. Our work leads to some simple structural and spectral conditions for determining a maximum independent set, the independence number, the Shannon capacity and the Lovász theta function of a graph.
Paper Structure (8 sections, 25 theorems, 108 equations)

This paper contains 8 sections, 25 theorems, 108 equations.

Key Result

Theorem 1.1

[5, Theorem 3.5.2] Let $G$ be a $k$-regular ($k\neq0$) graph with $n$ vertices, and let $\tau$ be the minimum adjacency eigenvalue of $G$. Then If an independent set $C$ meets this bound, then every vertex not in $C$ is adjacent to exactly $|\tau|$ vertices of $C$.

Theorems & Definitions (52)

  • Theorem 1.1
  • Theorem 1.2
  • Lemma 2.1
  • Lemma 2.2
  • Lemma 2.3
  • proof
  • Lemma 2.4
  • Lemma 2.5
  • Lemma 2.6
  • Theorem 3.1
  • ...and 42 more