combinatorics / Graph coloring: sparse and F-free graphs

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

Theorem 1.1: for every r≥4r\ge4 there are CrC_r and Δr\Delta_r such that every KrK_r-free graph of maximum degree Δ≥Δr\Delta\ge\Delta_r has correspondence (DP) chromatic number at most ⌈CrΔ/log⁡Δ⌉\lceil C_r\Delta/\log\Delta\rceil; Corollary 1.2 gives the same for any fixed forbidden subgraph FF, 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.

42Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsOct 5, 2026Significance 42/100Registry: unreviewed

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

Prior state unknown→proved

Theorem 1.1: for every r≥4r\ge4 there are CrC_r and Δr\Delta_r such that every KrK_r-free graph of maximum degree Δ≥Δr\Delta\ge\Delta_r has correspondence (DP) chromatic number at most ⌈CrΔ/log⁡Δ⌉\lceil C_r\Delta/\log\Delta\rceil; Corollary 1.2 gives the same for any fixed forbidden subgraph FF, which implies the conjecture for ordinary and list coloring. The proof is a round-based random partial coloring with weighted lists,…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every r≥4r\ge4 there are CrC_r and Δr\Delta_r such that every KrK_r-free graph of maximum degree Δ≥Δr\Delta\ge\Delta_r has correspondence (DP) chromatic number at most ⌈CrΔ/log⁡Δ⌉\lceil C_r\Delta/\log\Delta\rceil; Corollary 1.2 gives the same for any fixed forbidden subgraph FF, 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.

Theorem 1.1: for every r≥4r\ge4 there are CrC_r and Δr\Delta_r such that every KrK_r-free graph of maximum degree Δ≥Δr\Delta\ge\Delta_r has correspondence (DP) chromatic number at most ⌈CrΔ/log⁡Δ⌉\lceil C_r\Delta/\log\Delta\rceil; Corollary 1.2 gives the same for any fixed forbidden subgraph FF, 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.

Recorded attempts

Evidence graph

Connected research record

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