Mader's conjecture on openly disjoint cycles in regular digraphs

Less than 1 year old · traced to

For a digraph DD, let c(D)c(D) be the largest integer kk for which there are directed cycles C1,…,CkC_1,\ldots,C_k through a common vertex vv such that C1−v,…,Ck−vC_1-v,\ldots,C_k-v are pairwise vertex-disjoint. For r∈Nr\in\mathbb{N}, let crc_r be the minimum of c(D)c(D) over all rr-regular digraphs. Mader's conjecture. For every k∈Nk\in\mathbb{N} there exists some r0∈Nr_0\in\mathbb{N} such that cr≥kc_r\ge k for every r≥r0r\ge r_0; equivalently,

lim⁡r→∞cr=∞.\lim_{r\rightarrow\infty}c_r=\infty.

The paper proves this conjecture in the stronger form cr≥⌈322r⌉c_r\ge \lceil\frac{3}{22}r\rceil for every r∈Nr\in\mathbb{N}, 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

Refreshed
Claimed solved

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 rr-regular digraph tends to infinity as rr 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 c(D)≤2c(D)\le 2.
  • Mader (2008) proved the case r=3r=3.
  • Mader (2008) constructed examples with c(D)≤r−1c(D)\le r-1 for every r≥8r\ge 8.
  • The cases r∈{4,…,7}r\in\{4,\ldots,7\} remain open for the stronger equality question cr=rc_r=r.

September 2026 scan: claimed linear bound

Version 22 of the preprint claims that every rr-regular digraph satisfies c(D)≥⌈3r/22⌉c(D)\ge\lceil 3r/22\rceil, which proves Mader’s conjecture, and further claims cr≤7⌈r/8⌉c_r\le 7\lceil r/8\rceil and 3/22≤lim⁡r→∞cr/r≤7/83/22\le\lim_{r\to\infty}c_r/r\le 7/8. 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-22 preprint, but its proof has not been independently verified; the separate equality question cr=rc_r=r for r∈{4,…,7}r\in\{4,\ldots,7\} remains open.

Sources

Solutions 0

No solutions have been posted yet.