k-extensions preserve linear unavoidability

Conjecture 11 · arXiv:2410.23566

arXiv Conjecture high confidence— first stated 2024-10-31

Authors: Pierre Aboulker, Frédéric Havet, William Lochet, Raul Lopes, Lucas Picasarri-Arrieta, Clément Rambaud

Status open high confidence

Conjecture 11 from arXiv:2410.23566 asserts that the k-extension operation preserves linear unavoidability for any family of digraphs. The source paper itself proves a special case (Corollary 25): the family of k-extensions of oriented forests is linearly unavoidable. The general conjecture is noted to follow from the stronger Conjecture 9 (that adding a single vertex multiplies the unavoidability constant by at most a constant). No follow-up paper resolving or making further progress on the general conjecture was found in a wide web search through May 2026.

Reviewer notes. No follow-up work found. The conjecture is recent (October 2024) and the paper proves it for the special case of oriented trees/forests (Corollary 25). The general statement would follow from Conjecture 9 of the same paper. A search of Picasarri-Arrieta's publication page (post-Oct 2024 preprints) revealed no directly relevant follow-up.

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

Conjecture. If $\cal F$ is linearly unavoidable, then the family of $k$-extensions of digraphs in $\cal F$ is also linearly unavoidable.

Context

This conjecture, which would follow from Conjecture 9, asserts that the $k$-extension operation preserves linear unavoidability in general. The paper proves this for the specific family of oriented trees (and oriented forests) in Corollary 25.

Source paper

Blow-ups and extensions of trees in tournaments
Pierre Aboulker, Frédéric Havet, William Lochet, Raul Lopes, Lucas Picasarri-Arrieta, Clément Rambaud · 2024-10-31
https://arxiv.org/abs/2410.23566