Abstract:We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the projective plane, with the single exception of the Petersen graph, is 3-edge-colorable. In other words, the only (non-trivial) snark that can be embedded in the projective plane is the Petersen graph. This implies that a 2-connected cubic (multi)graph that can be embedded in the projective plane is not 3-edge-colorable if and only if it can be obtained from the Petersen graph by replacing each vertex by a 2-edge-connected planar cubic (multi)graph. This result is a nontrivial generalization of the Four Color Theorem, and its proof requires a combination of extensive computer verification and computer-free extension of existing proofs on colorability. An unexpected consequence of this result is a coloring-flow duality statement for the projective plane: A cubic graph embedded in the projective plane is 3-edge-colorable if and only if its dual multigraph is 5-vertex-colorable. Moreover, we show that a 2-edge connected graph embedded in the projective plane admits a nowhere-zero 4-flow unless it is Peteren-like (in which case it does not admit nowhere-zero 4-flows). This proves a strengthening of the Tutte 4-flow conjecture for graphs on the projective plane. Some of our proofs require extensive computer verification. The necessary source codes, together with the input and output files and the complete set of more than 6000 reducible configurations are available on Github (this https URL) which can be considered as an Addendum to this paper. Moreover, we provide pseudocodes for all our computer verifications.

Computer assisted discharging procedure on planar graphs: application to 2-distance coloring

Square Coloring Planar Graphs with Automatic Discharging

2-distance 4-coloring of planar subcubic graphs with girth at least 21

Some results on 2-distance coloring of planar graphs with girth five

A 2-distance $(2Δ+7)$-coloring of planar graphs

The DP-coloring of the square of subcubic graphs

On 2-Distance ($Δ+4$)-coloring of planar graphs with girth at least five

Algorithmic methods of finite discrete structures. The Four Color Theorem. Theory, methods, algorithms

A Note on 3-Distance Coloring of Planar Graphs

Three-edge-coloring projective planar cubic graphs: A generalization of the Four Color Theorem

2-distance 20-coloring of planar graphs with maximum degree 6

Recolouring planar graphs of girth at least five

Multiple DP-Coloring of Planar Graphs Without 3-Cycles and Normally Adjacent 4-Cycles

New results on two hypercube coloring problems

Optimal Distributed Coloring Algorithms for Planar Graphs in the LOCAL model

Minimal counterexamples and discharging method

Complexity results for two kinds of colored disconnections of graphs

A Linear-Time Algorithm for 4-Coloring Some Classes of Planar Graphs

An improved bound for 2-distance coloring of planar graphs with girth six

Coloring graphs with forbidden almost bipartite subgraphs

A Study of Weisfeiler-Leman Colorings on Planar Graphs