arXiv:2212.09835math.CO
A non-constructive proof of the Four Colour Theorem
HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.
Abstract
The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.