Stationary List Colorability

• Stationary list colorability is defined as the minimum list size (list chromatic number) ensuring a proper vertex coloring in graphs with clique restrictions.
• The approach leverages entropy-compression and local correction methods to derive nearly optimal bounds in triangle-free and Kₙ-free graphs.
• Probabilistic techniques and independent set estimations are used to keep flaw probabilities extremely low, ensuring efficient coloring even for large maximum degrees.

Stationary list colorability, commonly formalized as the list chromatic number $\chi_\ell(G)$ of a graph $G$, concerns the minimum integer $q$ such that for any assignment of color lists $L(v)$ of size $q$ to each vertex $v$, there exists a proper coloring $c$ with $c(v)\in L(v)$ for all $v$. For graphs with forbidden substructures—most notably constraints on the clique number—stationary list colorability exhibits strong asymptotic improvements compared to general graphs. Molloy (Molloy, 2017) establishes nearly optimal upper bounds for $\chi_\ell(G)$ in graphs with small clique number, specifically triangle-free graphs and more generally $G$0-free graphs.

1. Definitions and Role of Clique Restrictions

The list chromatic number $G$1 is the smallest $G$2 such that for every assignment of color lists $G$3 of size $G$4, the vertices of $G$5 admit a proper coloring $G$6 with $G$7. Clique restrictions, such as forbidding triangles (triangle-free) or more generally forbidding $G$8 subgraphs, impose local sparsity constraints. In triangle-free graphs, each neighborhood forms an independent set; in $G$9-free graphs, the neighborhoods lack an $q$0-clique. These structural restrictions yield combinatorial advantages, particularly in bounding the list chromatic number by exploiting properties of independent sets and local coloring flexibility.

2. Main Bounds for List Chromatic Number

Triangle-Free Graphs

Molloy establishes the following bound: for every $q$1 there is $q$2 such that every triangle-free graph $q$3 with maximum degree $q$4 satisfies:

$q$5

As $q$6, this sharpens to

$q$7

$q$8-Free Graphs

If $q$9 is $L(v)$0-free, $L(v)$1, and $L(v)$2 is the maximum degree, Molloy proves:

$L(v)$3

These results match or explicitly quantify the leading constants in previous asymptotic formulations.

3. Methodological Framework and Local Correction

The proof strategies revolve around a blend of entropy-compression (inspired by Moser–Tardos) and combinatorial sampling. The approach for both triangle-free and $L(v)$4-free cases starts with an all-blank partial coloring. For each vertex $L(v)$5, the list of usable colors is

$L(v)$6

Two bad events (“flaws”) are monitored:

• $L(v)$7: $L(v)$8, for an auxiliary parameter $L(v)$9,
• $q$0: $q$1.

Upon detecting a flaw, a local correction (FIX) recolors the neighborhood $q$2 stochastically, with recursive calls to correct newly arising flaws within bounded distance. For triangle-free graphs this recursion is within distance 2 for $q$3 flaws and distance 3 for $q$4 flaws. In $q$5-free graphs, the roles are interchanged.

Probability bounds for flaws, established via Chernoff-type (negatively correlated) inequalities and independent-set counting, confirm that each flaw has occurrence probability $q$6. With these bounds, entropy-compression ensures that the correction process halts with high probability in $q$7 steps, and the resultant coloring extends to a full solution via the Local Lemma.

4. Estimation of Independent Sets and Local Sampling

For $q$8-free graphs, key lemmas provide independent set counts. If $q$9 is $v$0-free,

$v$1

where $v$2 is the number of independent sets. At least half of the independent sets in $v$3 have size at least

$v$4

These counts enable random recoloring procedures based on tuples of independent sets, with iterative sampling producing distributions equivalent to uniform partial assignments. Such largescale enumeration of independent sets is central for probabilistic bounds required in the correction arguments.

5. Asymptotic Behavior and Parameter Choices

In the triangle-free setting, $v$5 may vanish as $v$6, with auxiliary parameters (e.g., $v$7) scaling to ensure error terms in Chernoff bounds converge to $v$8, yielding the precise asymptotic

$v$9

For $c$0-free graphs, the factor $c$1 derives from constants in the independent-set and flaw probability lemmas, and the $c$2 factor is enforced by selecting $c$3 so that the flaw probabilities remain sufficiently low.

6. Historical Perspective and Comparison with Prior Work

Johansson previously established $c$4 for triangle-free graphs with a constant approximately 4. Kim showed the same for graphs of girth at least 5. Molloy’s result improves this to the exact leading constant $c$5, and his argument streamlines the original methods through entropy-compression. For $c$6-free graphs, Johansson’s bound of $c$7 is recovered and extended, though Molloy obtains an explicit constant $c$8 and a shortened proof structure. These advances deliver the first simple, nearly optimal choice-number bounds for both triangle-free and $c$9-free graphs, unifying and refining the landscape of stationary list colorability in sparse settings (Molloy, 2017).