Abstract
Probably the best strategy to give a computer-free proof of the 4-color theorem is to show that the chromatic polynomial of any planar graph evaluated at 4 is nonzero. After making assumptions like no danglers and adding edges if necessary, a connected graph is a ”web” of ”interlocking wheels”. If G is a web of k interlocking wheels obtained from a planar graph, it is conjectured that its chromatic polynomial \(P(G,t) = P_1(t)+ \cdots + P_k(t)\) with all \(P_j(4) >0\). In this paper, we prove the conjecture in the base case of the interlocking wheels \(W_m\wedge _2W_n\) for \(k = 2\). As a byproduct, in the last section we apply our result to exponentially simplify the computations to find some interesting facts about a real life graph.
Similar content being viewed by others
References
Birkoff, G.D.: A determinant formula for the number of ways of coloring a map. Ann. Math. 14, 42–46 (1912)
Chahal, J.S., Khadir, O.: Polynomes Chromatiques de certains graphes. Comptes Rendus Math. Rep. Acad. Soc. Canada 41, 7–18 (2019)
Read, R.C.: An Introduction to Chromatic Polynomials. J. Comb. Theory 4, 52–71 (1968)
Whitney, H.: The coloring of graphs. Ann. Math. 33, 688–718 (1932)
Acknowledgements
The authors would like to thank the College of Mathematical and Physical Sciences of BYU for financially supporting this research.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Canizales, J., Chahal, J.S. A note on the four color theorem. Aequat. Math. 97, 1–11 (2023). https://doi.org/10.1007/s00010-022-00929-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-022-00929-8