Abstract:Finding general conditions which ensure that a graph is Hamiltonian is a central topic in graph theory. An old and well known conjecture in the area states that any $d$-regular $n$-vertex graph $G$ whose second largest eigenvalue in absolute value $\lambda(G)$ is at most $\frac{d}{C}$, for some universal constant $C>0$, has a Hamilton cycle. In this paper, we obtain two main results which make substantial progress towards this problem. Firstly, we settle this conjecture in full when the degree $d$ is at least a small power of $n$. Secondly, in the general case we show that $\lambda(G) \leq \frac{d}{C(\log n)^{1/3}}$ implies the existence of a Hamilton cycle, improving the 20-year old bound of $\frac{d}{ \log^{1-o(1)} n}$ of Krivelevich and Sudakov. We use in a novel way a variety of methods, such as a robust Pósa rotation-extension technique, the Friedman-Pippenger tree embedding with rollbacks and the absorbing method, combined with additional tools and ideas. Our results have several interesting applications, giving best bounds on the number of generators which guarantee the Hamiltonicity of random Cayley graphs, which is an important partial case of the well known Hamiltonicity conjecture of Lovász. They can also be used to improve a result of Alon and Bourgain on additive patterns in multiplicative subgroups.

Hamiltonicity of Cartesian products of graphs

Transitive path decompositions of Cartesian products of complete graphs

Hamiltonian cycles in Cayley graphs whose order has few prime factors

On Hamilton Cycle Decompositions of Tensor Products of Graphs

Hamilton cycles in pseudorandom graphs

A characterization of well-dominated Cartesian products

Graphs with Many Hamiltonian Paths

Toughness for the Existence of K-Hamiltonian [a, B]-Factors.

Hamiltonicity of Vertex-Transitive Graphs of Order $4p$

Hamiltonicity of Transitive Graphs Whose Automorphism Group Has $\Z_{p}$ as Commutator Subgroups

Non‐Hamiltonian Cartesian products of two even dicycles

On Hamilton paths in vertex-transitive graphs of order $10p$

Hamiltonicity in randomly perturbed hypergraphs

Hamilton cycles, minimum degree and bipartite holes

Pancyclicity of Hamiltonian graphs

A note on the 2-Factor Hamiltonicity Conjecture

Hamiltonian path and Hamiltonian cycle are solvable in polynomial time in graphs of bounded independence number

Every $3$-connected $\{K_{1,3},Γ_3\}$-free graph is Hamilton-connected

$K_2$-Hamiltonian Graphs: II

On induced subgraph of Cartesian product of paths