K₅ minor via degree bounds in bipartite graphs

Informal Conjecture: average degree $\geq 5$ and max degree $\leq 6$ forces $K_5$ minor in bipartite graphs · arXiv:2204.10119

arXiv Informal medium confidence— first stated 2022-04-21

Status open high confidence

The conjecture is explicitly informal in the source paper: the authors write 'perhaps average degree at least five and maximum degree at most six will guarantee a $K_5$ minor in a bipartite graph, but we have not worked this out.' The paper (published in Journal of Combinatorial Theory, Series B, 2023) focuses on $K_6$ minors in bipartite graphs and leaves the $K_5$ question open. A wide web search across arXiv, Semantic Scholar, and general literature found no follow-up paper addressing this specific degree-constrained $K_5$ minor question in bipartite graphs.

Reviewer notes. No follow-up found. The conjecture is stated speculatively by the authors themselves ('perhaps...but we have not worked this out'), so it was open even at the time of the paper's writing. The paper was published in JCTB 164 (2024) 68–104 (arXiv posted 2022). Semantic Scholar API returned zero citations for arXiv:2204.10119, and targeted keyword searches found no addressing paper.

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

Informal. Perhaps average degree at least five and maximum degree at most six will guarantee a $K_5$ minor in a bipartite graph.

Context

After observing that there exist $n$-vertex bipartite graphs with average degree at least four and maximum degree at most five that have no $K_5$ minor, the authors suggest this stronger degree bound might guarantee a $K_5$ minor, but explicitly state they have not verified it.

Notes. Phrased as 'perhaps ... but we have not worked this out'; quite tentative.

Source paper

Bipartite graphs with no $K_6$ minor
Maria Chudnovsky, Alex Scott, Paul Seymour, Sophie Spirkl · 2022-04-21
https://arxiv.org/abs/2204.10119 PDF source