You need to know: Graph, simple graph (one with no loops and multiple edges), degree of a vertex in the graph, average degree of a graph, small o notation. You also need to know chromatic number of graph and complete bipartite graph for the context section.
Background: A graph G is called k-choosable if, whenever for each vertex v of G we assign a list of k colours to v, then it is possible to choose a colour for v from the list
, so that no two adjacent vertices receive the same colour. The list chromatic number
is the smallest k such that G is k-choosable.
The Theorem: On 30th April 2012, David Saxton and Andrew Thomason submitted to arxiv a paper in which they proved, among other results, that if G is a simple graph with average degree d, then as
.
Short context: List chromatic number is a natural version of the ordinary chromatic number
of G (which corresponds to the case when all
are the same). It is known that
, in sharp contrast with
. In fact, Alon proved that
for graphs G of minimum degree d. The Theorem improves this inequality by a factor of 2 and is the best possible, as example
shows. In fact, the Theorem is just one out of many corollaries of the general theorem proved by the authors, see the original paper for details.
Links: Free arxiv version of the original paper is here, journal version is here.