Abstract:For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two disjoint sets. It has been conjectured since the 1970s that all Kneser graphs admit a Hamilton cycle, with one notable exception, namely the Petersen graph $K(5,2)$. This problem received considerable attention in the literature, including a recent solution for the sparsest case $n=2k+1$. The main contribution of this paper is to prove the conjecture in full generality. We also extend this Hamiltonicity result to all connected generalized Johnson graphs (except the Petersen graph). The generalized Johnson graph $J(n,k,s)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two sets whose intersection has size exactly $s$. Clearly, we have $K(n,k)=J(n,k,0)$, i.e., generalized Johnson graph include Kneser graphs as a special case. Our results imply that all known natural families of vertex-transitive graphs defined by intersecting set systems have a Hamilton cycle, which settles an interesting special case of Lovász' conjecture on Hamilton cycles in vertex-transitive graphs from 1970. Our main technical innovation is to study cycles in Kneser graphs by a kinetic system of multiple gliders that move at different speeds and that interact over time, reminiscent of the gliders in Conway's Game of Life, and to analyze this system combinatorially and via linear algebra.

Lower Bound on the Number of Hamiltonian Cycles of Generalized Petersen Graphs

Anti-Ramsey Numbers for Cycles in the Generalized Petersen Graphs

On the Domination Number of Generalized Petersen Graphs P(ck,k)

On the $P_3$-hull number and infecting times of generalized Petersen graphs

Anti-Ramsey problems in the generalized Petersen graphs for cycles

Hamilton cycles in pseudorandom graphs

Cycles Of Length 1 Modulo 3 In Graph

Acyclic 3-Coloring of Generalized Petersen Graphs.

Packing chromatic number, $(1,1,2,2)$-colorings, and characterizing the Petersen graph

A Note on the Distance-Balanced Property of Generalized Petersen Graphs.

Perfect 2-colorings of the generalized Petersen graph GP(n,3)

Hamiltonicity in randomly perturbed hypergraphs

Kneser graphs are Hamiltonian

Hamilton cycles, minimum degree and bipartite holes

On Three-Color Ramsey Numbers R(C4,K1,,P)

Treewidth of generalized Hamming graph, bipartite Kneser graph and generalized Petersen graph

Long cycles and spectral radii in planar graphs

On $\{1,2\}$-distance-balancedness of generalized Petersen graphs

On Adjacent Vertex-Distinguishing Total Chromatic Number of Generalized Petersen Graphs

Spectral Extrema of Graphs with Fixed Size: Cycles and Complete Bipartite Graphs

A robust Corrádi–Hajnal theorem