Quasi-minor gap infimum for Kₜ

Question 1.6 · arXiv:2103.10684

arXiv Question high confidence— first stated 2025-03-13

Authors: Marthe Bonamy, Marc Heinrich, Clément Legrand-Duchesne, Jonathan Narboni

Status open high confidence

The paper establishes $\frac{1}{2} \leq c \leq \frac{2}{3}$: the lower bound $c \geq \frac{1}{2}$ is trivial (a quasi-$K_{2t}$-minor-free graph admits a $K_t$-minor), while the upper bound $c \leq \frac{2}{3}$ is witnessed by the paper's explicit construction that disproves Conjecture 1.4 (yielding a graph with a quasi-$K_t$-minor but no $K_{(\frac{2}{3}+\varepsilon)t}$-minor for large $t$). No follow-up work narrowing these bounds or resolving the exact value of $c$ was found in the indexed literature.

Reviewer notes. No follow-up paper specifically addressing Question 1.6 was found. The arXiv preprint was first posted in March 2021 (revised March 2025) and published in J. Combin. Theory Ser. B 164 (2024), 364–370. The question remains open with the gap $\frac{1}{2} \leq c \leq \frac{2}{3}$.

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

Question. What is the infimum $c$ such that for any large enough $t$, there is a graph that admits a quasi-$K_{t}$-minor but no $K_{ct}$-minor?

Context

Follows from the strong disproof of Conjecture 1.4. The paper establishes the bounds $\frac{1}{2}\leqslant c\leqslant\frac{2}{3}$; the trivial upper bound $c\leqslant 1$ comes from the fact that every quasi-$K_{2t}$-minor-free graph admits a $K_t$-minor.

Source paper

On a recolouring version of Hadwiger's conjecture
Marthe Bonamy, Marc Heinrich, Clément Legrand-Duchesne, Jonathan Narboni · 2025-03-13
https://arxiv.org/abs/2103.10684