δ≥6, Δ≤8 forces K_6 minor
Informal Conjecture: min degree $\geq 6$, max degree $\leq 8$ forces $K_6$ minor · arXiv:2204.10119
Status open high confidence
The conjecture that every non-null graph with minimum degree at least six and maximum degree at most eight has a $K_6$ minor is stated parenthetically in arXiv:2204.10119 as a stronger open belief than Conjecture 1.3. The main result of the source paper — every bipartite graph with minimum degree at least six has a $K_6$ minor — was published in JCTB 2024, but this wider conjecture for all graphs in the degree window $[6, 8]$ remains open. No follow-up paper addressing the general bounded-degree case was found in the indexed literature.
Reviewer notes. The conjecture is an informal open belief stated parenthetically immediately after Conjecture 1.3 in the source paper; it is noted as stronger because it applies to all graphs, not only bipartite ones. The source paper's bipartite theorem was published in Journal of Combinatorial Theory Series B, vol. 164, pp. 68–104 (2024). Mader's theorem guarantees a $K_6$ minor when average degree is at least 8, but the degree window $[6, 8]$ sits below that threshold for general graphs. No follow-up resolving this conjecture was found in a wide web search.
Context
Stated parenthetically immediately after Conjecture 1.3: ``Indeed, as far as we know, every non-null graph with minimum degree at least six and maximum degree at most eight has a $K_6$ minor.'' It is a stronger open belief than Conjecture 1.3.
Also stated in
- Bipartite graphs with no $K_6$ minor (2022-04-21)
Notes. Parenthetical aside following Conjecture 1.3; phrased as 'as far as we know'.
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