

We'll begin by putting in place the necessary notation. Let be the regular triangular tiling of the plane. For every
there is a regular map which triangulates the torus, denoted
, which may be obtained from a regular hexagonal piece of
of side-length
by identifying points on opposite edges of this hexagon. Let
be the dual of
(on the torus). Then
is a regular map on the torus - a hexagonal tiling. One last definition: for any graph
and any positive integer
we let
denote the number of proper
-coloring of
.
A famous theorem of Lieb [L] shows that where
denotes the
quadrangulation of the torus. This theorem is usually stated in terms of Eulerian orientations, and is of interest to physicists as the constant
(called Lieb's Ice Constant) determines the "residual entropy for square ice".
Thomassen proved that every planar graph with girth
has exponentially many proper 3-colorings. More precisely, he showed that
. This gives a lower bound on the limit in the above problem (assuming it exists).
Bibliography
[L] E. H. Lieb, Exact Solution of the Problem of the Entropy of Two-Dimensional Ice. Phys. Rev. Lett. 18, 692-694, 1967.
* indicates original appearance(s) of problem.