The Birkhoff Diamond as Double Agent
Abstract
Despite the existence of a proof of the 4-color theorem, it would seem that there is still more to learn about why any planar graph is 4-colorable. To that end, we take another look at the Birkhoff diamond and discover something new and intriguing: after an extensive search for (rare) Kempe-locked triangulations, we find a Birkhoff diamond subgraph in each one. We offer a heuristic argument as to why that result is not only reasonable but also to be expected and posit that the presence of a Birkhoff diamond is necessary to Kempe-locking. If that conjecture is true, it means that the Birkhoff diamond plays a double role in the matter of 4-colorability, simultaneously working for opposite sides of whether a given planar graph could possibly be a minimum counterexample.
Cite
@article{arxiv.1809.02807,
title = {The Birkhoff Diamond as Double Agent},
author = {James A. Tilley},
journal= {arXiv preprint arXiv:1809.02807},
year = {2019}
}
Comments
10 pages, 5 figures; earlier version of an article that has since been retitled to "Kempe-locking configurations" and submitted in revised form to and accepted by Mathematics for a special issue on graph theory