Abstract:The 2-factor Hamiltonicity Conjecture by Funk, Jackson, Labbate, and Sheehan [JCTB, 2003] asserts that all cubic, bipartite graphs in which all 2-factors are Hamiltonian cycles can be built using a simple operation starting from $K_{3,3}$ and the Heawood graph. We discuss the link between this conjecture and matching theory, in particular by showing that this conjecture is equivalent to the statement that the two exceptional graphs in the conjecture are the only 2-factor Hamiltonian, cubic braces, where braces are connected, bipartite graphs in which every matching of size at most two is contained in a perfect matching. In the context of matching theory this conjecture is especially noteworthy as $K_{3,3}$ and the Heawood graph are both strongly tied to the important class of Pfaffian graphs, with $K_{3,3}$ being the canonical non-Pfaffian graph and the Heawood graph being one of the most noteworthy Pfaffian graphs. Our main contribution is a proof that the Heawood graph is the only 2-factor Hamiltonian, Pfaffian, cubic brace. This is shown by establishing that, aside from the Heawood graph, all Pfaffian braces contain a cycle of length four, which may be of independent interest.

Closure Concept for 2-Factors in Claw-Free Graphs

The Independence Number Conditions for 2-Factors of a Claw-Free Graph

On 2-factors with long cycles in 3-connected claw-free graphs

Closure and Hamilton-Connected Claw-Free Hourglass-Free Graphs

Conditions for a graph to have a connected even [2, 2s]-factor

The structure of even factors in claw-free graphs

A closure for Hamilton-connectedness in $\{K_{1,3},Γ_3\}$-free graphs

The minimum degree of minimal $k$-factor-critical claw-free graphs*

Extremal problems on the Hamiltonicity of claw-free graphs

Closures and heavy pairs for hamiltonicity

Toughness and existence of $2$-factors

Finding triangle‐free 2‐factors in general graphs

The existence of tree-connected $\{g,f\}$-factors in edge-connected graphs and tough graphs

Sufficient conditions for component factors in a graph

Hamiltonian Claw-Free Graphs and O -Heavy Graphs Involving Induced Cycles

Factoring complete graphs and hypergraphs into factors with few maximal cliques

On degree sum conditions for 2-factors with a prescribed number of cycles

Some sufficient conditions for graphs to have component factors

A note on the 2-Factor Hamiltonicity Conjecture

Tight Toughness and Isolated Toughness for $\{K_2,C_n\}$-factor critical avoidable graph

Tight toughness, isolated toughness and binding number bounds for the $\{K_2,C_n\}$-factors