Heroic triple characterization via transitive tournaments

Status partial medium confidence

The 'only if' direction of Conjecture 4.2 is established in the source paper, and the case where both conditions hold simultaneously was resolved prior to posting by Chudnovsky–Scott–Seymour. Several special cases of the 'if' direction have since been proved: Aboulker, Aubian, and Charbit (2021) prove the case F = S₂⁺ with H = C₃; Aboulker, Aubian, Charbit, and Thomassé (2022) establish bounded dichromatic number for ⃗P₆-free triangle-free oriented graphs. A 2026 preprint by Aubian and Kuffner claims to disprove a conjecture of Aboulker, Charbit, and Naserasr via (claw, C₃)-free digraphs with unbounded dichromatic number, but the precise connection to Conjecture 4.2 was not confirmed from the abstract alone.

Cited literature (3)

• partial Decomposing and colouring some locally semicomplete digraphs (2021)
  Pierre Aboulker, Guillaume Aubian, Pierre Charbit · arXiv preprint · arXiv:2103.07886

  Proves the first open special case of the 'if' direction with F = S₂⁺ and H = C₃ by showing every locally out-transitive oriented graph has dichromatic number at most 2.

• partial (P6, triangle)-free digraphs have bounded dichromatic number (2022)
  Pierre Aboulker, Guillaume Aubian, Pierre Charbit, Stéphan Thomassé · arXiv preprint · arXiv:2212.02272

  Establishes dichromatic number at most 382 for oriented graphs that are both ⃗P₆-free and triangle-free, verifying a special case of the conjecture in this restricted graph class.

• counterexample (Claw, C⃗₃)-free digraphs with unbounded dichromatic number (2026)
  Guillaume Aubian, Luis Kuffner · arXiv preprint · arXiv:2602.08736

  Constructs claw-free oriented digraphs with no directed C₃ but unbounded dichromatic number, claiming to disprove a conjecture of Aboulker, Charbit and Naserasr; the precise connection to Conjecture 4.2 specifically is not confirmed from the abstract alone.

Reviewer notes. The 'only if' direction is fully proved in the source paper. The 'if' direction splits into two branches: (a) H is a transitive tournament (any oriented forest F), and (b) F is a disjoint union of oriented stars (any hero H). Special cases of branch (b) are addressed by arXiv:2103.07886 (F = S₂⁺, H = C₃) and arXiv:2212.02272 (⃗P₆-free, triangle-free case). The 2026 paper arXiv:2602.08736 by Aubian and Kuffner constructs digraphs disproving 'a conjecture of Aboulker, Charbit and Naserasr', but without access to the full text it cannot be determined whether this is Conjecture 4.2 specifically or a different conjecture from their body of work. The Steiner (2023) Journal of Graph Theory paper (arXiv:2103.04191) was identified in search results as proving the locally transitive tournament case, but was not fetched and is therefore not cited.

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