Improving the Caro-Wei bound and applications to Tur\'{a}n stability

TL;DR

This paper improves bounds on independent sets in graphs by generalizing the Caro-Wei theorem and applies these results to establish a new stability version of Turán's theorem, linking graph structure to edge density.

Contribution

It introduces a generalized bound for independent sets based on vertex functions and applies it to derive a new Turán stability result for graphs near extremal edge counts.

Findings

Generalized Caro-Wei bound for independent sets.

New Turán stability theorem for near-extremal graphs.

Tightness demonstrated with the 5-cycle example.

Abstract

We prove that if $G$ is a graph and $f(v) \leq 1/(d(v) + 1/2)$ for each $v\in V(G)$, then either $G$ has an independent set of size at least $\sum_{v\in V(G)}f(v)$ or $G$ contains a clique $K$ such that $\sum_{v\in K}f(v) > 1$. This result implies that for any $\sigma \leq 1/2$, if $G$ is a graph and every clique $K\subseteq V(G)$ has at most $(1 - \sigma)(|K| - \sigma)$ simplicial vertices, then $\alpha(G) \geq \sum_{v\in V(G)} 1 / (d(v) + 1 - \sigma)$. Letting $\sigma = 0$ implies the famous Caro-Wei Theorem, and letting $\sigma = 1/2$ implies that if fewer than half of the vertices in each clique of $G$ are simplicial, then $\alpha(G) \geq \sum_{v\in V(G)}1/(d(v) + 1/2)$, which is tight for the 5-cycle. When applied to the complement of a graph, this result implies the following new Tur\' an stability result. If $G$ is a $K_{r + 1}$-free graph with more than $(1 - 1/r)n^2/2 - n/4$ edges, then $G$ contains an independent set $I$ such that at least half of the vertices in $I$ are complete to $G - I$. Applying this stability result iteratively provides a new proof of the stability version of Tur\' an's Theorem in which $K_{r + 1}$-free graphs with close to the extremal number of edges are $r$-partite.