δ⁺-Maderian property for oriented trees

Conjecture 4 · arXiv:1610.00876

arXiv Conjecture high confidence— first stated 2016-10-04

Status open high confidence

Conjecture 4 from arXiv:1610.00876, that every oriented tree is $\delta^+$-maderian, remains open as of 2026. The source paper itself established special cases: in-arborescences are $\delta^+$-maderian (Theorem 23) and all oriented paths are $\delta^+$-maderian (Corollary 20), but the general statement is unresolved. A 2024 survey (Stein, arXiv:2310.18719) explicitly notes that minimum-outdegree conditions for oriented trees and paths 'appear to be very difficult' and that related problems 'seem wide open', confirming no resolution has appeared. The most-cited follow-up papers in this area (arXiv:2008.13224 and arXiv:2008.09888, both 2020) resolve Conjecture 5 from the same source paper (oriented cycles), not Conjecture 4.

Cited literature (1)

  • Maya Stein · arXiv preprint · arXiv:2310.18719

    This survey of the area explicitly states that minimum-outdegree conditions for oriented paths and trees 'appear to be very difficult' and highlights the Thomassé-type conjectures as 'wide open', with the Aboulker et al. paper cited as related work, confirming Conjecture 4 remains unresolved.

Reviewer notes. The internal reference corpus contains inconsistent entries for arXiv:2008.13224: some claim it proves Conjecture 4 in full generality while others say no direct progress is made; WebFetch confirms the paper is exclusively about oriented cycles (Conjecture 5). The 2024 survey arXiv:2310.18719 (Stein) treats minimum-outdegree conditions for trees as a wide-open research direction and explicitly calls related problems 'very difficult', providing strong corroboration that Conjecture 4 is open.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Conjecture. Every oriented tree is $\delta^+$-maderian.

Context

Oriented trees are known to be $\delta^0$-maderian with $\mathrm{mader}_{\delta^0}(T) = |T|-1$ via a greedy procedure, but whether they are $\delta^+$-maderian is open. This is posed as a natural weaker step towards Mader's Conjecture 2. The paper provides evidence by proving in-arborescences are $\delta^+$-maderian (Theorem 23) and all oriented paths are $\delta^+$-maderian (Corollary 20).

Notes. PDF source.

Source paper

Subdivisions in digraphs of large out-degree or large dichromatic number
Pierre Aboulker, Nathann Cohen, Fréderic Havet, William Lochet, Phablo F. S. Moura, Stéphan Thomassé · 2016-10-04
https://arxiv.org/abs/1610.00876 PDF source