Badakhshian–Falgas-Ravry–Sharifzadeh traversal-density conjecture

Conjecture 1.1 ([1], Conjecture 1.17). With πr(F)\pi_r(\mathcal{F}) denoting the supremum of the values α[0,1]\alpha\in[0,1] for which there exists an rr-partite graph GG with dr(G)αd_r(G)\geq\alpha and no F\mathcal{F}-traversal,\n\n

limrπr(Cr)=12.\lim_{r\to\infty}\pi_r(C_r)=\frac{1}{2}.

Progress summary

Solved

A new preprint claims to settle the conjectured density for Hamiltonian traversals, but the claim has not yet been independently verified.

Badakhshian, Falgas-Ravry, and Sharifzadeh formulated the conjecture in 2023: the density threshold for a Hamiltonian traversal of an rr-partite graph should tend to 1/21/2 as rr tends to infinity.

Known results

  • Badakhshian, Falgas-Ravry, and Sharifzadeh (2023) proved the lower bound πr(Cr)>1/2\pi_r(C_r)>1/2 for every r3r\ge 3.
  • Lengler, Martinsson, Petrova, Schnider, Steiner, Weber, and Welzl (2024) proved the connected-transversal analogue asymptotically, giving limiting threshold (35)/2(3-\sqrt{5})/2.

August 2026 claimed proof

A new preprint by Isabel McGuigan states that, for every ε>0\varepsilon>0 and all sufficiently large rr, πr(Cr)<1/2+ε\pi_r(C_r)<1/2+\varepsilon, which together with the earlier lower bound proves the conjectured limit. It also gives asymptotic results for several factor classes, while identifying the 55-cycle and Hamiltonian-path thresholds as remaining questions.

Current status (as of August 2026): The Hamiltonian-transversal limit is claimed in a new preprint but is not independently verified; the connected-transversal analogue is asymptotically proved, and related thresholds remain open.

Sources
Sources & referencesView supporting material

Primary source

arXiv

Additional references

Solutions 0

No solutions have been posted yet.