Smallest K_{s,t}-minor Woodall counterexample

Open problem: smallest counterexample to Woodall's conjecture · arXiv:2201.09115

arXiv Informal medium confidence— first stated 2022-01-22

Status partial medium confidence

Steiner's 2022 disproof of Woodall's conjecture used a probabilistic argument that only yields counterexamples for astronomically large parameters (estimated around 10^29). A 2025 follow-up by Vanderbush in Graphs and Combinatorics substantially reduced this, constructing explicit counterexamples for (s,t)=(t,t) with t ≥ 48 (t ≠ 49) and (s,t)=(t,t+1) with t ≥ 54 (t ≠ 55). The question of determining the absolute smallest s and t for which the conjecture fails remains open.

Cited literature (1)

Reviewer notes. The Springer URL for the Vanderbush (2025) paper could not be directly fetched (authentication redirect), but was consistently returned by two independent search queries with matching details. The open problem (smallest s+t for a counterexample) has significant partial progress — the bound is now explicit and small (t ≥ 48) rather than astronomical — but the exact minimum remains undetermined.

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

Informal. It would also be interesting to determine the smallest values of $s$ and $t$ (or of $s + t$) for which Conjecture 3 (that every graph without a $K_{s,t}$-minor is $(s+t-1)$-choosable) fails.

Context

The probabilistic construction in the proof of Theorem 1 yields counterexamples only for astronomically large $s$ and $t$; the smallest explicit failing parameter pair is left as an open problem, motivating the study of small cases such as Question 1.

Source paper

Disproof of a Conjecture by Woodall
Raphael Steiner · 2022-01-22
https://arxiv.org/abs/2201.09115 PDF source