Exponentially Many Correspondence Colourings of Planar and Locally Planar Graphs
Luke Postle, Evelyne Smith-Roberge

TL;DR
This paper proves that planar graphs with 5-correspondence assignments have exponentially many valid colourings, confirming a conjecture, and introduces a general method linking hyperbolicity theorems to lower bounds on colourings.
Contribution
It introduces a new method connecting hyperbolicity theorems to counting colourings, confirming a conjecture on exponential colourings of planar graphs with 5-correspondence assignments.
Findings
Planar graphs with 5-correspondence assignments have at least 2^{c·v(G)} colourings.
The method applies to counting 3-correspondence colourings of planar graphs with girth ≥ 5.
Analogous results hold for locally planar graphs and specific girth conditions.
Abstract
We show that there exists a constant such that if is a planar graph with 5-correspondence assignment , then has at least distinct -colourings. This confirms a conjecture of Langhede and Thomassen. More broadly, we introduce a general method showing how hyperbolicity theorems for certain families of critical graphs can be used to derive lower bounds on the number of colourings of the associated class of planar graphs. Hence our main result follows from this method plus a technical theorem (that we proved in a previous paper) involving the hyperbolicity of graphs critical for -correspondence colouring. We further demonstrate our method in the case of counting 3-correspondence colourings of planar graphs of girth at least five. Finally, we use these theorems to show analogous results hold in the case of counting 5-correspondence colourings…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Graph Theory Research · Computational Geometry and Mesh Generation
