Local Shearer bound

TL;DR

This paper proves a local strengthening of Shearer's bound for triangle-free graphs, confirming conjectures on fractional coloring and providing new spectral bounds, advancing understanding of graph coloring properties.

Contribution

It introduces a local probabilistic bound on independent sets in triangle-free graphs, confirming key conjectures and establishing a new spectral upper bound on fractional chromatic number.

Findings

Existence of a probability distribution on independent sets with vertex inclusion probability close to rac{ ext{ln } d(v)}{d(v)}.

Confirmation that the fractional chromatic number of triangle-free graphs is at most (√2+o(1))√(n/ln n).

New spectral bound: χ_f(G) ≤ (1+o(1)) ρ(G)/ln ρ(G).

Abstract

We prove the following local strengthening of Shearer's classic bound on the independence number of triangle-free graphs: For every triangle-free graph $G$ there exists a probability distribution on its independent sets such that every vertex $v$ of $G$ is contained in a random independent set drawn from the distribution with probability $(1-o(1))\frac{\ln d(v)}{d(v)}$. This resolves the main conjecture raised by Kelly and Postle (2018) about fractional coloring with local demands, which in turn confirms a conjecture by Cames van Batenburg et al. (2018) stating that every $n$-vertex triangle-free graph has fractional chromatic number at most $(\sqrt{2}+o(1))\sqrt{\frac{n}{\ln(n)}}$. Addressing another conjecture posed by Cames van Batenburg et al., we also establish an analogous upper bound in terms of the number of edges. To prove these results we establish a more general technical theorem that works in a weighted setting. As a further application of this more general result, we obtain a new spectral upper bound on the fractional chromatic number of triangle-free graphs: We show that every triangle-free graph $G$ satisfies $\chi_f(G)\le (1+o(1))\frac{\rho(G)}{\ln \rho(G)}$ where $\rho(G)$ denotes the spectral radius. This improves the bound implied by Wilf's classic spectral estimate for the chromatic number by a $\ln \rho(G)$ factor and makes progress towards a conjecture of Harris on fractional coloring of degenerate graphs.