Δ(1,1,H) hero transfer under K₁+F

Question 5.4 · arXiv:2202.13306

arXiv Question high confidence— first stated 2023-12-11

Authors: Pierre Aboulker, Guillaume Aubian, Pierre Charbit

Status open high confidence

Question 5.4 asks whether a compositional hero property transfers across the $K_1+F$ join operation: if $\Delta(1,1,H)$ is a hero in $\mathrm{Forb}_{\mathrm{ind}}(F)$ and $H$ is a hero in $\mathrm{Forb}_{\mathrm{ind}}(K_1+F)$, must $\Delta(1,1,H)$ also be a hero in $\mathrm{Forb}_{\mathrm{ind}}(K_1+F)$? A broad search over citing papers returned no follow-up work resolving this question. The source paper appeared in the Journal of Graph Theory in 2024, and subsequent work on heroes (Carbonero--Koerts--Moore--Spirkl 2023 on forbidden induced forests; Aubian--Kuffner 2026 on claw-free digraphs) addresses related but distinct problems.

Reviewer notes. No follow-up found specifically addressing Question 5.4. The closest citing papers are arXiv:2306.04710 (Carbonero, Koerts, Moore, Spirkl -- heroes with forbidden induced forests) and arXiv:2602.08736 (Aubian, Kuffner -- claw-free digraphs with unbounded dichromatic number, disproving an Aboulker--Charbit--Naserasr conjecture), neither of which addresses the compositional transfer property of Question 5.4.

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

Question. Let $H$ and $F$ be digraphs such that $\Delta(1,1,H)$ is a hero in $Forb_{ind}(F)$ and $H$ is a hero in $Forb_{ind}(K_{1}+F)$. Then $\Delta(1,1,H)$ is a hero in $Forb_{ind}(K_{1}+F)$.

Context

This question asks whether a compositional hero property transfers across the $K_1 + F$ operation. It is motivated by the observation that knowing heroes in $Forb_{ind}(\bar{K}_t)$ does not straightforwardly help in understanding heroes in $Forb_{ind}(\bar{K}_{t+1})$, even though such a transfer would be natural.

Source paper

Heroes in oriented complete multipartite graphs
Pierre Aboulker, Guillaume Aubian, Pierre Charbit · 2023-12-11
https://arxiv.org/abs/2202.13306