A Closure Lemma for tough graphs and Hamiltonian degree conditions

Chính T. Hoàng,Cléophée Robin

DOI: https://doi.org/10.1016/j.disc.2024.113872

IF: 0.961

2024-01-25

Discrete Mathematics

Abstract:The closure of a graph G is the graph G⁎ obtained from G by repeatedly adding edges between pairs of non-adjacent vertices whose degree sum is at least n , where n is the number of vertices of G . The well-known Closure Lemma proved by Bondy and Chvátal states that a graph G is Hamiltonian if and only if its closure G⁎ is. This lemma can be used to prove several classical results in Hamiltonian graph theory. We prove a version of the Closure Lemma for tough graphs. A graph G is t -tough if for any set S of vertices of G , the number of components of G−S is at most |S|t . A Hamiltonian graph must necessarily be 1-tough. Conversely, Chvátal conjectured that there exists a constant t such that every t -tough graph is Hamiltonian. The t-closure of a graph G is the graph Gt⁎ obtained from G by repeatedly adding edges between pairs of non-adjacent vertices whose degree sum is at least n−t . We prove that, for t≥2 , a 3t−12 -tough graph G is Hamiltonian if and only if its t -closure Gt⁎ is. Hoàng conjectured the following: Let G be a graph with degree sequence d1≤d2≤...≤dn ; then G is Hamiltonian if G is t -tough and, for all i . This conjecture is analogous to the well known theorem of Chvátal on Hamiltonian ideals. Hoàng proved the conjecture for t≤3 . Using the closure lemma for tough graphs, we prove the conjecture for t=4 .

mathematics