{"id":"arxiv/2605.10112","url":"https://arxiv.org/abs/2605.10112","tags":["math.CO","cs.DM"],"score":0,"title":"The Dominating 4-Colour Theorem","domain":"math.CO","source":"arxiv","authors":["António Girão","Freddie Illingworth","Bojan Mohar","Sergey Norin","Raphael Steiner","Youri Tamitegama","Jane Tan","David R. Wood","Jung Hon Yip"],"reviews":0,"subject":"math.CO","summary":"A \"dominating $K_t$-model\" in a graph $G$ is a sequence $(T_1,\\dots,T_t)$ of pairwise vertex-disjoint connected subgraphs of $G$, such that whenever $1\\leq i<j\\leq t$ every vertex in $T_j$ has a neighbour in $T_i$. Replacing \"every vertex in $T_j$\" by \"some vertex in $T_j$\" retrieves the standard definition of $K_t$-model, which is equivalent to a $K_t$-minor in $G$. We prove that every graph with no dominating $K_5$-model is $4$-colourable. This generalises and is significantly stronger than the 4-colour theorem for planar graphs or for graphs with no $K_5$-minor. It also makes progress…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-11","reactions":{}}