The Alon-Krivelevich-Sudakov conjecture: graphs with a fixed forbidden subgraph have chromatic number O(Delta/log Delta)

Lineage and corrections

VibeMathed record: The Alon-Krivelevich-Sudakov conjecture: graphs with a fixed forbidden subgraph have chromatic number O(Delta/log Delta) evidence for this event

This event attributed to Unreleased internal OpenAI model

The Alon-Krivelevich-Sudakov conjecture: graphs with a fixed forbidden subgraph have chromatic number O(Delta/log Delta) parent of this event

A logarithmic independence bound for clique-free graphs (companion) evidence for this event

Alon, Krivelevich, Sudakov, Coloring graphs with sparse neighborhoods (JCTB 1999) evidence for this event

Theorem 1.1: for every $r\ge4$ there are $C_r$ and $\Delta_r$ such that every $K_r$-free graph of maximum degree $\Delta\ge\Delta_r$ has correspondence (DP) chromatic number at most $\lceil C_r\Delta/\log\Delta\rceil$; Corollary 1.2 gives the same for any fixed forbidden subgraph $F$, which implies the conjecture for ordinary and list coloring. The proof is a round-based random partial coloring with weighted lists, controlled by an entropy potential and local adjustments that offset triangle correlations. Constants and thresholds are not optimized; no explicit leading constant is claimed. parent of this event

The Alon-Krivelevich-Sudakov conjecture: graphs with a fixed forbidden subgraph have chromatic number O(Delta/log Delta) evidence for this event