Unrooted directed-cycle semidegree threshold

Determine whether, for every integer \(\ell\ge4\) and every integer \(k>2\) that is the smallest integer not dividing \(\ell\), every sufficiently large oriented graph on \(n\) vertices with minimum semidegree at least \(\lfloor n/k\rfloor+1\) contains a directed cycle of length \(\ell\).

Background

The paper distinguishes the prescribed-vertex threshold studied in its main theorem from the ordinary unrooted containment problem, where the cycle need only occur somewhere in the oriented graph. It reports a conjecture of Kelly, Kühn and Osthus asserting that the smallest integer k>2k>2 not dividing the target cycle length \ell determines the asymptotic semidegree threshold n/k+1\lfloor n/k\rfloor+1.

The cited conjecture is motivated by cyclic blow-up constructions. The paper notes that subsequent work establishes corresponding asymptotic results in some parameter ranges and that later work determines corrected exact thresholds for the unrooted problem, but the quoted conjecture is explicitly presented as a conjecture and is therefore included as an unresolved question stated in the paper.

References

The rooted problem is different from ordinary, unrooted containment. Kelly, K"uhn and OsthusConjecture~5 conjectured that, if $\ell\ge4$ and $k>2$ is the smallest integer that does not divide $\ell$, then, for all sufficiently large $n$, the condition

\delta0(G)\ge \left\lfloor\frac nk\right\rfloor+1

forces a copy of $C_\ell$ in every oriented graph $G$ on $n$ vertices.

The Prescribed-Vertex Semidegree Threshold for Directed $3q$-Cycles in Oriented Graphs  (2608.20048 - Lyu, 20 Aug 2026) in Introduction, discussion of the rooted problem; cited as Kelly, Kühn and Osthus, Conjecture 5