Interchange graphs and the Hamiltonian cycle polytope Original Research Article

This paper answers the (non)adjacency question for the whole spectrum of Hamiltonian cycles on the Hamiltonian cycle polytope (HC-polytope), also called the symmetric traveling salesman polytope, namely from Hamiltonian cycles that differ in only two edges through Hamiltonian cycles that are edge disjoint. The HC-polytope is the convex hull of the characteristic vectors corresponding to the Hamiltonian cycles ofKn (n ⩾ 3). Let2 ⩽ k ⩾n. Thek -interchange graph is the graph with as vertices the1/2(n − 1)! Hamiltonian cycles ofKn, and an edge between two vertices if and only if the corresponding Hamiltonian cycles differ in an interchange ofk edges. It is shown that the 2- and the 3-interchange graphs are the only ones that are subgraphs of the skeleton of the HC-polytope; the (n − 1- and then-interchange graphs are the only ones that do not have edges in common with the skeleton. For eachk with4 ⩽ k ⩽ n − 2, there are Hamiltonian cycles that are adjacent and cycles that are nonadjacent on the skeleton. Finally, the Hamiltonicity ofk-interchange graphs is solved for several values ofk.