Abstract:Hassler Whitney's theorem of 1931 reduces the task of finding proper, vertex 4-colorings of triangulations of the 2-sphere to finding such colorings for the class \(\mathfrak H\) of triangulations of the 2-sphere that have a Hamiltonian circuit. This has been used by Whitney and others from 1936 to the present to find equivalent reformulations of the 4 Color Theorem (4CT). Recently there has been activity to try to use some of these reformuations to find a shorter proof of the 4CT. Every triangulation in \(\mathfrak H\) has a dual graph that is a union of two binary trees with the same number of leaves. Elements of a group known as Thompson's group \(F\) are equivalence classes of pairs of binary trees with the same number of leaves. This paper explores this resemblance and finds that some recent reformulations of the 4CT are essentially attempting to color elements of \(\mathfrak H\) using expressions of elements of \(F\) as words in a certain generating set for \(F\). From this, we derive information about not just the colorability of certain elements of \(\mathfrak H\), but also about all possible ways to color these elements. Because of this we raise (and answer some) questions about enumeration. We also bring in an extension \(E\) of the group \(F\) and ask whether certain elements ``parametrize'' the set of all colorings of the elements of \(\mathfrak H\) that use all four colors.

HIST-Critical Graphs and Malkevitch's Conjecture

$K_2$-Hamiltonian Graphs: II

Some Results on Critical ($P_5,H$)-free Graphs

Vertex-critical graphs in co-gem-free graphs

On Homeomorphically Irreducible Spanning Trees in Cubic Graphs

4-critical wheel graphs of higher order

A neighborhood union condition for the existence of a spanning tree without degree $2$ vertices

On 4-critical t-perfect graphs

Balanced-chromatic number and Hadwiger-like conjectures

Coloring Planar Graphs via Colored Paths in the Associahedra

Biconed graphs, weighted forests, and h-vectors of matroid complexes

Deletable edges in 3-connected graphs and their applications

A note on $\bar{X}$-coloring and $\hat{A}$-coloring 4-regular graphs

A Conjecture on 3-Vertex-critical Graphs

On the critical group of hinge graphs

Graphs with Many Hamiltonian Paths

Graphs with Girth $2\ell+1$ and Without Longer Odd Holes that Contain an Odd $K_4$-Subdivision

Generalized Grötzsch Graphs

Few hamiltonian cycles in graphs with one or two vertex degrees

Small planar hypohamiltonian graphs

Topological Drawings meet Classical Theorems from Convex Geometry