Directed paths of full average-degree length in digon-free Eulerian digraphs

Determine whether every Eulerian digraph with no digons contains a directed path whose length is at least the underlying average degree of the digraph.

Background

The paper proves that an Eulerian digraph contains a directed path of length at least half its underlying average degree, using a permutation-prefix argument. It then notes that the argument can be improved to obtain a factor of log⁡2\log 2 when the digraph contains no digons (that is, no pair of opposite arcs).

The unresolved issue is whether the factor can be increased to one: namely, whether the length of a longest directed path must be at least the underlying average degree. This question is later formulated as a conjecture for Eulerian oriented graphs, but the earlier passage gives the clearest explicit open-problem statement.

References

According to GPT-6 Astra, if the eulerian digraph $D$ contains no digons (directed cycles of length two), then the proof can be adapted to finding a directed path of length at least $d \cdot \log 2$. It is an open question to determine whether a lower bound of $d$ is possible on the length of a longest directed path.

— Erdős-Sós for digraphs  (2609.10987 - Mubayi et al., 10 Sep 2026) in Section 2, “Short proof for paths” (after the proof of Theorem \ref{thm:main})