Mader's conjecture on openly disjoint cycles in regular digraphs
For a digraph , let be the largest integer for which there are directed cycles through a common vertex such that are pairwise vertex-disjoint. For , let be the minimum of over all -regular digraphs. Mader's conjecture. For every there exists some such that for every ; equivalently,
The paper proves this conjecture in the stronger form for every , so the conjecture is solved.
References
Primary source
Raphael Steiner, “Openly disjoint cycles and directed tree-width of regular digraphs”, arXiv:2604.13700 (2026).
Progress summary
A version-two preprint claims to prove the conjecture with a stronger linear lower bound, but the proof has not been independently verified.
Mader conjectured in 2008 that the minimum number of openly disjoint directed cycles through a vertex in an -regular digraph tends to infinity as grows. Seymour posed the regular-digraph question in 2005.
Known results
- Thomassen (1985) constructed digraphs with arbitrarily large minimum in- and out-degree but with .
- Mader (2008) proved the case .
- Mader (2008) constructed examples with for every .
- The cases remain open for the stronger equality question .
September 2026 scan: claimed linear bound
Version of the preprint claims that every -regular digraph satisfies , which proves Mader’s conjecture, and further claims and . Its posting date is not stated in the retrieved material, and the claim remains unverified.
Current status (as of September 2026): Mader’s conjecture is claimed solved by the version- preprint, but its proof has not been independently verified; the separate equality question for remains open.
Solutions 0
No solutions have been posted yet.