Graph-theory open problems

Large dom implies ω̄-cluster in tournaments

Conjecture 5.3 (Large dom implies an ω̄-cluster) · arXiv:2310.04265

arXiv Conjecture high confidence— first stated 2023-10-06
Authors: Pierre Aboulker, Guillaume Aubian, Pierre Charbit, Raul Lopes

Status solved high confidence

Conjecture 5.3 asks whether large dom(T) forces a bounded-size subtournament with large clique number ω̄. Crew, Fan, Koerts, Moore, and Spirkl (arXiv:2602.09863, 2026) prove Corollary 7 of their paper, which is exactly Conjecture 5.8 of the source paper: every tournament T with ω̄(T) ≥ f(k) contains a subtournament X of size at most ℓ(k) with ω̄(X) ≥ k. Since Property 3.2 of the source paper establishes dom(T) ≤ ω̄(T) for every tournament T, Conjecture 5.3 follows immediately as a corollary: dom(T) ≥ f(k) implies ω̄(T) ≥ f(k), after which Corollary 7 applies.

Cited literature (1)

  • proof Characterizing Large Clique Number in Tournaments (2026)
    Logan Crew, Xinyue Fan, Hidde Koerts, Benjamin Moore, Sophie Spirkl · arXiv preprint · arXiv:2602.09863

    Proves Corollary 7 (= Conjecture 5.8 of Aboulker et al.): every tournament with sufficiently large ω̄ contains a bounded-size subtournament with large ω̄; since dom(T) ≤ ω̄(T), this immediately resolves Conjecture 5.3.

Reviewer notes. arXiv:2602.09863 explicitly targets Conjecture 5.8 of the source paper (its Corollary 7), not Conjecture 5.3 directly; however, Conjecture 5.3 is an immediate logical consequence via the inequality dom(T) ≤ ω̄(T) ≤ χ̄(T) established as Property 3.2 in the source paper.

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

Conjecture. There exist two functions $f$ and $\ell$ such that, for every integer $k$, every tournament $T$ with $\operatorname{dom}(T)\geq f(k)$ contains a subtournament $X$ with $|X|\leq\ell(k)$ and $\operatorname{\overrightarrow{\omega}}(X)\geq k$.

Context

This conjecture is intermediate between Theorem 5.1 (large dom implies a $\operatorname{\overrightarrow{\chi}}$-cluster) and Conjecture 5.2 (large dom implies a dom-cluster), since $\operatorname{dom}(T)\leq\operatorname{\overrightarrow{\omega}}(T)\leq\operatorname{\overrightarrow{\chi}}(T)$. Conjecture 5.3 implies Conjecture 5.6 via Theorem 5.7.

Also stated in

Source paper

Clique number of tournaments
Pierre Aboulker, Guillaume Aubian, Pierre Charbit, Raul Lopes · 2023-10-06
https://arxiv.org/abs/2310.04265