Poussin graph

In graph theory, the Poussin graph is a planar graph with 15 vertices and 39 edges. It is named after Charles Jean de la Vallée-Poussin.

Poussin graph
Vertices	15
Edges	39
Radius	3
Diameter	3
Girth	3
Automorphisms	2 (Z/2Z)
Chromatic number	4
Chromatic index	6
Properties	Hamiltonian Planar
Table of graphs and parameters

Tangled Kempe chains in the Poussin graph. The adjacencies between regions of this map form the Poussin graph, partially four-colored with the outer region uncolored. The blue–yellow and blue–green Kempe chains (yellow and green lines) connect the outer region's neighbors, so Kempe would swap colors in the left red–yellow chain and the right red–green chain (red lines), allowing the outer region to be red. As the blue–yellow and blue–green chains cross, this color swap would cause the upper yellow and green regions to both become red, producing an invalid coloring.

History

In 1879, Alfred Kempe published a proof of the four color theorem, one of the big conjectures in graph theory.^[1] While the theorem is true, Kempe's proof is incorrect. Percy John Heawood illustrated it in 1890^[2] with a counter-example, and de la Vallée-Poussin reached the same conclusion in 1896 with the Poussin graph.^[3]

Kempe's (incorrect) proof is based on alternating chains, and as those chains prove useful in graph theory mathematicians remain interested in such counterexamples. More were found later: first, the Errera graph in 1921,^[4][5] then the Kittell graph in 1935, with 23 vertices,^[6] and finally two minimal counter-examples (the Soifer graph in 1997 and the Fritsch graph in 1998, both of order 9).^[7][8][9]