K₆ minor from minimum degree five in bipartite graphs

Open Question: minimum degree five in Theorem 1.6 · arXiv:2204.10119

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

Authors: Maria Chudnovsky, Alex Scott, Paul Seymour, Sophie Spirkl

Status open medium confidence

Theorem 1.6 of arXiv:2204.10119 establishes that every non-null bipartite graph with minimum degree at least six has a $K_6$ minor. The open question of whether 'six' can be replaced by 'five' remains unresolved: no published paper proving or disproving the degree-five analogue was found in a broad web search spanning 2022–2026. The problem appears in the journal version (JCTB 2024) with the same status.

Reviewer notes. Three web searches and two WebFetch calls (arXiv abstract page and Seymour's Barbados 2025 open-problems PDF — the latter was unreadable binary) returned no follow-up resolving the degree-five question. The conjecture is ~4 years old; medium confidence reflects that a resolution could exist in the literature without surfacing prominently in these searches.

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

Question. We do not know whether ``six'' can be replaced by ``five'' in 1.6 (every non-null bipartite graph with minimum degree at least six has a $K_6$ minor).

Context

Immediately after stating Theorem 1.6, the authors note that the analogous statement for minimum degree five in bipartite graphs is open. They also remark that minimum degree is more difficult than average degree to handle inductively.

Notes. Stated in running prose without a labelled environment.

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