Hamiltonicity of Cartesian products of graphs

Abstract

A path factor in a graph $G$ is a factor of $G$ in which every component is a path on at least two vertices. Let $T\Box P_n$ be the Cartesian product of a tree $T$ and a path on $n$ vertices. Kao and Weng proved that $T\Box P_n$ is hamiltonian if $T$ has a path factor, $n$ is an even integer and $n\geq 4Δ(T)-2$. They conjectured that for every $Δ\geq 3$ there exists a graph $G$ of maximum degree $Δ$ which has a path factor, such that for every even $n< 4Δ-2$ the product $G\Box P_n$ is not hamiltonian. In this article we prove this conjecture.