Abstract:An $n$-vertex graph is Hamiltonian if it contains a cycle that covers all of its vertices, and it is pancyclic if it contains cycles of all lengths from $3$ up to $n$. In 1972, Erdős conjectured that every Hamiltonian graph with independence number at most $k$ and at least $n = \Omega(k^2)$ vertices is pancyclic. In this paper we prove this old conjecture in a strong form by showing that if such a graph has $n = (2+o(1))k^2$ vertices, it is already pancyclic, and this bound is asymptotically best possible.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is related to the pancyclic property in Hamiltonian graphs. Specifically, the authors explored that given a Hamiltonian graph $G$ with $n$ vertices, if its independence number $\alpha(G)\leq k$, then how many vertices $n$ are required to ensure that $G$ is pancyclic (that is, it contains all cycles with lengths from 3 to $n$). This was a conjecture proposed by Paul Erdős in 1972. He guessed that when $n = \Omega(k^{2})$, such a graph is pancyclic. ### Main contributions of the paper The main contribution of the paper lies in proving Erdős' conjecture and presenting a stronger form. Specifically, the authors proved that if a Hamiltonian graph $G$ satisfies $\alpha(G)\leq k$ and the number of vertices $n\geq(2 + o(1))k^{2}$, then $G$ must be pancyclic. This result is asymptotically optimal because there is a constructed example showing that when $n = 2k^{2}-2k$, the graph can be Hamiltonian but not pancyclic. ### Main conclusions The main conclusions of the paper can be summarized as the following theorem: **Theorem 1.1**: Every Hamiltonian graph $G$ with independence number $\alpha(G)\leq k$ and the number of vertices $n\geq 2k^{2}+o(k^{2})$ is pancyclic. ### Proof methods To prove this theorem, the authors used a series of tools and techniques in combinatorial graph theory, including: 1. **Path cover**: Using the results of Gallai and Milgram, it was proved that there exists a path cover in a directed graph with a size not exceeding the independence number. 2. **Ramsey's theorem**: Used to handle the relationship between independent sets and complete subgraphs in a graph. 3. **Path shortening**: Through a series of complex constructions, it was proved that in a graph with a small independence number, paths of almost any length can be found. 4. **Special edge set**: A special edge - set structure was defined to find paths of specific lengths in the graph. Through these tools and techniques, the authors gradually built a bridge from Hamiltonian graphs to pancyclic graphs and finally proved Erdős' conjecture. ### Conclusion This paper not only solves a long - standing unsolved conjecture proposed by Erdős, but also provides a series of new graph - theoretic tools and methods, which may play an important role in future graph - theoretic research.

Pancyclicity of Hamiltonian graphs

Pancyclicity of almost-planar graphs

A generalization of Bondy's pancyclicity theorem

The generalizations of Hamiltonian in oriented graphs

Hamilton cycles in pseudorandom graphs

Hamiltonicity of the Inner Power of a Cycle.

Sparse pancyclic subgraphs of random graphs

On the Structure of Hamiltonian Graphs with Small Independence Number

A sufficient condition for pancyclic graphs

The completion numbers of Hamiltonicity and pancyclicity in random graphs

Hamiltonicity in randomly perturbed hypergraphs

The threshold for the square of a Hamilton cycle

Two-disjoint-cycle-cover pancyclicity of split-star networks

A new approach to pancyclicity of Paley graphs I

Hamilton Cycles in Dense Regular Digraphs and Oriented Graphs

The Existence of Hamilton Cycle in n-Balanced k-Partite Graphs

Lengths of Cycles in Generalized Pancake Graphs

Spectral conditions of pancyclicity for t-tough graphs

Pancyclism in Claw-Free Graphs

Vertex-bipancyclicity in a bipartite graph collection

Hamiltonicity of Sparse Pseudorandom Graphs