Local clique number bounds global in tournaments

Conjecture 5.6 · 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

Proved by Crew, Fan, Koerts, Moore, and Spirkl (Corollary 13, arXiv:2602.09863). Its out-neighborhood conclusion, by contraposition, bounds the global tournament clique number whenever every out-neighborhood has bounded tournament clique number.

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

Corollary 13 supplies a function h such that tournament clique number at least h(b) forces some out-neighborhood to have tournament clique number at least b.

Reviewer notes. Corrected on 2026-09-10 following Samuel Coulomb's report; Corollary 13 was checked in the full text. Set b = t + 1: if every out-neighborhood has clique number at most t, the global clique number is less than h(t + 1). Thus g(t) = h(t + 1) - 1 works. The counterexample in arXiv:2401.07776 concerns the forest-backedge χ⃗-binding conjecture, not this statement.

Auto-reviewed 2026-09-10 with codex (web search enabled).

Conjecture. There exists a function $g$ such that, for every integer $t$, if $T$ is a tournament such that for every $v\in V(T)$, $\operatorname{\overrightarrow{\omega}}(N^{+}(v))\leq t$, then $\operatorname{\overrightarrow{\omega}}(T)\leq g(t)$.

Context

This is the clique-number analogue of Theorem 4.8 (Harutyunyan-Le-Thomassé-Wu), which asserts that bounded local dichromatic number implies bounded global dichromatic number. Theorem 5.7 shows that Conjecture 5.3 implies Conjecture 5.6.

Source paper

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