An improved lower bound for the blowup defective chromatic separation constant

Abstract

For a graph $G$ and an integer $d \geq 0$, let $χ^d(G)$ denote the $d$-defective chromatic number, and let $G \boxtimes K_{d+1}$ be the $(d+1)$-fold clique blowup of $G$. Norin and Steiner disproved the conjecture $χ(G) = χ^d(G \boxtimes K_{d+1})$ of Guo, Kang and Zwaneveld by exhibiting, for infinitely many $d$, graphs with $χ(G) \geq (30/29) χ^d(G \boxtimes K_{d+1})$, and they proved the universal upper bound $χ(G) \leq 2 χ^d(G \boxtimes K_{d+1})$. Writing $C_d = \sup_G χ(G)/χ^d(G \boxtimes K_{d+1})$ and $C^* = \sup_d C_d$, their results give $C^* \in [30/29, 2]$. We improve the lower bound: we exhibit an explicit 40-vertex graph $W$ with $χ(W) = 11$ and $χ^2(W \boxtimes K_3) = 10$, so that $C^* \geq C_2 \geq 11/10 > 30/29$, already at the smallest defect for which such a separation is possible, namely $d = 2$. All parameters are established by the proofs; the only computer-assisted input, the non-list-colourability of a certain 30-vertex, 10-colour list instance $(B,L)$, is certified by an independently checkable DRAT refutation.