Jackson–Ordaz Hamiltonicity and pancyclicity conjectures

For every positive integer aa and every finite digraph DD, if DD is (a+1)(a+1)-strongly connected and 4α2(D)≤a0˘00244\alpha_2(D)\le a\u00024, where 4α2(D)0˘00244\alpha_2(D)\u00024 is the maximum cardinality of a vertex set containing no directed 22-cycle, then DD contains a Hamilton cycle.

Equivalent formulations 1Other wordings

Other statements of this same problem, merged from separate entries. Each is equivalent to the statement above — proving any one settles them all.

  1. Bound on the directed Chvátal–Erdős function

    For every positive integer aa, the least integer f2(a)f_2(a) such that every f2(a)f_2(a)-strongly connected digraph DD with 4α2(D)≤a0˘00244\alpha_2(D)\le a\u00024 has a Hamilton cycle satisfies f2(a)≤a+1f_2(a)\le a+1.

    source: A near-linear Chvátal–Erdős condition for Hamilton cycles in digraphs

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed progress

A 2023 result reportedly settles the pancyclicity conjecture for sufficiently large graphs, while the finite exact statement and related directed-graph bound remain open.

Jackson and Ordaz conjectured that a graph with connectivity exceeding its independence number is pancyclic; the conjecture is dated 1986 in the detailed source and 1990 in a survey. The Hamiltonicity analogue follows from the Chvátal–Erdős theorem.

Known results

  • Chvátal–Erdős, 1972: κ(G)≥α(G)\kappa(G)\geq\alpha(G) implies Hamiltonicity.
  • Keevash–Sudakov, 2009–2010: κ(G)≥600α(G)\kappa(G)\geq600\alpha(G) implies pancyclicity; also ∣V(G)∣≥150α(G)3|V(G)|\geq150\alpha(G)^3 suffices for Hamiltonian graphs.
  • Amar, Fournier, and Germa: the conjecture holds for α(G)∈{2,3}\alpha(G)\in\{2,3\}.
  • Draganić, Munhá-Correia, and Sudakov: for every ε>0\varepsilon>0, sufficiently large graphs with κ(G)≥(1+ε)α(G)\kappa(G)\geq(1+\varepsilon)\alpha(G) are pancyclic.

2023 asymptotic threshold and 2026 directed-graph advance

Letzter’s 2023 paper reports that sufficiently large graphs with κ(G)>α(G)\kappa(G)>\alpha(G) are pancyclic, an eventual exact-threshold result rather than a theorem for every graph. A 2026 preprint claims the related directed-graph bound f2(a)=O ⁣(a(log⁡a)4/(log⁡log⁡a)2)f_2(a)=O\!\left(a(\log a)^4/(\log\log a)^2\right) and a pancyclicity counterexample, but these claims lack independent assessment.

Current status (as of October 2026): Hamiltonicity is settled, pancyclicity is reported for sufficiently large graphs at the conjectured threshold, but the all-finite-graph statement and the related directed-graph linear bound remain open; the 2026 advance is unverified.

Sources

Solutions 0

No solutions have been posted yet.