Polynomial domination bound in triangle-free digraphs

Status open low confidence

Conjecture 3.5 of arXiv:1708.00423 asserts that there is an integer \ell such that every directed-triangle-free digraph satisfies \gamma(G) \le \alpha^{\ell}. The paper itself proves only the weaker factorial bound \gamma(G) \le \alpha(G)\cdot\alpha(G)!, and presents the conjecture as a necessary consequence of the authors' earlier dichromatic-number conjecture (polynomial bound on \vec{\chi} in terms of \alpha). No follow-up paper resolving Conjecture 3.5 was found in the literature across searches targeting the source arXiv ID, key mathematical terms, and the authors.

Reviewer notes. No follow-up resolving Conjecture 3.5 was found. The conjecture is from 2018 (~8 years old), so the absence of a follow-up is mildly suspicious and warrants low confidence. Related work found: arXiv:2602.08736 constructs (claw, directed-C3)-free digraphs with unbounded dichromatic number, disproving a conjecture of Aboulker–Charbit–Naserasr, but that result concerns a different (stronger) formulation and does not directly settle Conjecture 3.5. The parent dichromatic-number conjecture by the same authors remains the key open problem; Conjecture 3.5 would follow if it is ever proved.

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