K₆ minor in 6-regular graphs
Conjecture 1.3 · arXiv:2204.10119
Status open high confidence
Conjecture 1.3 of arXiv:2204.10119 asks whether every non-null 6-regular graph has a $K_6$ minor. The source paper proves the bipartite analogue (every bipartite graph with minimum degree at least six has a $K_6$ minor), but the general 6-regular case remains open. The authors note the existence of $K_6$-minor-free graphs with minimum degree six and maximum degree at most nine, showing that minimum degree six alone is insufficient for general graphs — so 6-regularity (fixing both minimum and maximum degree to six) is the precise boundary being tested. No follow-up paper resolving this conjecture was found in the indexed literature as of May 2026.
Reviewer notes. No follow-up found. The conjecture is stated explicitly as Conjecture 1.3 in the source paper. The source paper itself resolves the bipartite case (its main theorem), but the 6-regular general case is left open. A wide search across Seymour's publications page and general arXiv/journal databases returned no resolution. Open with high confidence given the conjecture is recent (2022) and the bipartite special case required a substantial paper in its own right.
Context
The authors have found $K_6$-minor-free graphs with minimum degree six and maximum degree at most nine, and $K_6$-minor-free graphs with minimum degree five, maximum degree seven, and average degree arbitrarily close to $98/15$. Conjecture 1.3 asks whether 6-regularity alone forces a $K_6$ minor.
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