Forb(H) χ-bounded iff H is forest
Conjecture 2 · arXiv:1605.07411
Status partial high confidence
Conjecture 2 from arXiv:1605.07411 — that $\mathrm{Forb}(H)$ is $\chi$-bounded if and only if $H$ is a forest in the directed/oriented setting — is explicitly stated in the source paper to be equivalent to the Gyárfás–Sumner conjecture and remains open in full generality. Substantial partial progress has been made: the conjecture is proved for every orientation of $P_4$ (Cook et al., 2022/2023), for $(\overrightarrow{P}_6, \text{triangle})$-free digraphs (Aboulker et al., 2022), and for locally out-transitive oriented graphs, i.e., the $H = S_2^+$ case (Aboulker et al., 2021). No counterexample has been found and the full conjecture remains open.
Cited literature (3)
-
Proves that oriented graphs in which the out-neighbourhood of every vertex induces a transitive tournament have dichromatic number at most 2, establishing the conjecture for the special case $H = S_2^+$.
-
partial Proving a directed analogue of the Gyárfás-Sumner conjecture for orientations of $P_4$ (2023)
Proves the directed Gyárfás–Sumner conjecture for the case where $H$ is any orientation of a path on four vertices ($P_4$), showing such $H$-free oriented graphs have dichromatic number bounded by a function of $\omega$.
-
Proves that oriented graphs with no induced $\overrightarrow{P}_6$ and no triangle have dichromatic number at most 382, establishing the conjecture for the $(\overrightarrow{P}_6, \text{triangle-free})$ special case.
Reviewer notes. Conjecture 2 is explicitly equivalent to the Gyárfás–Sumner conjecture (Conjecture 1 of the same paper), so progress is tracked through both the directed (dichromatic number) and undirected (chromatic number) literature. The directed analogue is attributed to Aboulker, Charbit, and Naserasr. The full conjecture is open as of 2026; partial results cover $P_4$ orientations, $P_6$-free triangle-free digraphs, and locally out-transitive graphs.
Context
The paper notes that an easy argument shows this conjecture is equivalent to the Gyárfás–Sumner Conjecture (Conjecture 1). It generalises the 'only if' direction (which follows from Erdős's girth theorem) to a complete characterisation.
Notes. PDF source — math may be garbled. Stated by the paper authors as a reformulation equivalent to the Gyárfás–Sumner Conjecture; no separate citation in the header.
Source paper
$χ$-bounded families of oriented graphs
Pierre Aboulker, Jørgen Bang-Jensen, Nicolas Bousquet, Pierre Charbit, Frédéric Havet, Frédéric Maffray, Jose Zamora · 2016-05-24
https://arxiv.org/abs/1605.07411
PDF source