How many "different" colorings (excluding exchanges) exist for a given map (graph)?

As a youthful folly I once wrote a paper "On the algebra of the four color problem", Ens. Math 11 (1965), 175-193. It can be found here:

https://people.math.ethz.ch/~blatter/fourcolor.pdf

In this paper the permutations of colors are systematically "quotiented out" via a certain homological process.


Counting the number of 4-colorings (or indeed, $k$-colorings for any fixed $k\ge3$) of a planar graph is a $\#P$-complete problem (as proved by Vertigan), hence it (presumably) cannot be computed by any algorithm significantly more efficient than a brute-force search.


Computer experiments yield some interesting numbers. The following numbers do not rule out the maps that are 3-colorable. Without thinking too deeply, my guess is that the number that would be ruled out would be extremely small, but this is only a guess.

Under reasonable restrictions (valance three on all vertices, regions intersect in connected sets, sufficient connectivity, etc.) the number of such colorings is not large for numbers of regions where computation is feasible. For 12 regions (the current limit of our computations and patience), the maximum number of colorings is 172. The minimum, of course is 1. However, the second to largest number of colorings for 12 regions is 92. Then comes 85, then 84, then 76, then 64 and so forth. The smallest number of colorings that never appears with 12 regions is a highly suggestive 31.

For 11 regions, the maximum is 85, then 48, then 44, then 41, then 40, then 29, ... The smallest number not to appear with 11 regions is an equally suggestive 15.

If one starts to suspect a pattern, the smallest number not to appear with 10 regions is 10. With 10 regions the maximum is 44, then 28, then 21, then 20, etc.

The estimated time to work with 13 regions with the current program is one month. It could definitely be made faster, but 14, 15, 16 regions are definitely out of reach.

For the curious, the number of graphs investigated with 12 regions was 27360612. Certain obvious symmetries were not used to cut down the number but it is not clear how much the cut down would have been. Nothing beyond a factor of (somewhat less than) two was obvious.

Note that the assumption that regions intersect in connected sets is a large assumption. Without that assumption, the number of colorings would explode.

Bottom line: I too would be interested in any information about the total number (now known to always be at least one) of colorings, modulo permutations of the colors, for planar graphs.