Hamiltonian cycles in tough $(P_4 \cup P_1)$-free graphs (2504.08936v1)

Abstract: In 1973, Chv\'atal conjectured that there exists a constant $t_0$ such that every $t_0$-tough graph on at least three vertices is Hamiltonian. This conjecture has inspired extensive research and has been verified for several special classes of graphs. Notably, Jung in 1978 proved that every 1-tough $P_4$-free graph on at least three vertices is Hamiltonian. However, the problem remains challenging even when restricted to graphs with no induced $P_4\cup P_1$, the disjoint union of a path on four vertices and a one-vertex path. In 2013, Nikoghosyan conjectured that every 1-tough $(P_4\cup P_1)$-free graph on at least three vertices is Hamiltonian. Later in 2015, Broersma remarked that this question seems to be very hard to answer, even if we impose a higher toughness." He instead posed the following question:Is the general conjecture of Chv\'atal's true for $(P_4\cup P_1)$-free graphs?" We provide a positive answer to Broersma's question by establishing that every $23$-tough $(P_4\cup P_1)$-free graph on at least three vertices is Hamiltonian.