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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the unified upper bound problem regarding the independence number of graphs. Specifically, by introducing the generalized inverse and the eigenvalues of the graph matrix, the author gives new bounds for the size of the independent set and the independence number of the graph, and unifies these new bounds with the existing classical upper bounds (such as the Hoffman Ratio Bound, the Lovász Theta Function, and the Schrijver Theta Function).
### Main Problem Description
1. **Hoffman Ratio Bound**:
- For a \(k\)-regular graph \(G\) (\(k\neq0\)), with the minimum adjacent eigenvalue \(\tau\), the Hoffman Ratio Bound gives the upper bound of the independence number as:
\[
\alpha(G)\leq\frac{n|\tau|}{k - \tau}
\]
- If an independent set \(C\) satisfies this upper bound, then each vertex not in \(C\) is adjacent to exactly \(|\tau|\) vertices in \(C\).
2. **Lovász Theta Function** and **Schrijver Theta Function**:
- These functions are upper bounds of the independence number of the graph, and in some cases can be equal to the Shannon capacity of the graph.
- The Lovász Theta Function is defined as:
\[
\vartheta(G)=\min_{A}\lambda_1(A)
\]
where \(A\) is a real symmetric matrix indexed by the vertices of graph \(G\), satisfying \((A)_{ij} = 1\) when \(i = j\) or \(i, j\) are non - adjacent vertices.
3. **Unified Bounds**:
- The author studies the independence number, Shannon capacity, Lovász Theta Function, and Schrijver Theta Function through the generalized inverse method, and gives new formulas that can unify these bounds.
- The new bounds not only cover the above - mentioned classical bounds, but also provide simple structural and spectral conditions for determining the maximum independent set, the independence number, the Shannon capacity, and the Lovász Theta Function.
### Main Contributions of the Paper
- New bound formulas are proposed, which can unify the Hoffman Ratio Bound, the Lovász Theta Function, and the Schrijver Theta Function.
- Sufficient and necessary conditions for the graph to reach these bounds are given.
- Some simple structural and spectral conditions are provided to determine the maximum independent set, the independence number, the Shannon capacity, and the Lovász Theta Function.
Through these works, the author partially answers the question raised by Lovász, that is, to find the graph satisfying \(\Theta(G)=\vartheta(G)\).