English

On the choosability of $H$-minor-free graphs

Combinatorics 2023-04-11 v1

Abstract

Given a graph HH, let us denote by fχ(H)f_\chi(H) and f(H)f_\ell(H), respectively, the maximum chromatic number and the maximum list chromatic number of HH-minor-free graphs. Hadwiger's famous coloring conjecture from 1943 states that fχ(Kt)=t1f_\chi(K_t)=t-1 for every t2t \ge 2. In contrast, for list coloring it is known that 2to(t)f(Kt)O(t(loglogt)6)2t-o(t) \le f_\ell(K_t) \le O(t (\log \log t)^6) and thus, f(Kt)f_\ell(K_t) is bounded away from the conjectured value t1t-1 for fχ(Kt)f_\chi(K_t) by at least a constant factor. The so-called HH-Hadwiger's conjecture, proposed by Seymour, asks to prove that fχ(H)=v(H)1f_\chi(H)=\textsf{v}(H)-1 for a given graph HH (which would be implied by Hadwiger's conjecture). In this paper, we prove several new lower bounds on f(H)f_\ell(H), thus exploring the limits of a list coloring extension of HH-Hadwiger's conjecture. Our main results are: For every ε>0\varepsilon>0 and all sufficiently large graphs HH we have f(H)(1ε)(v(H)+κ(H))f_\ell(H)\ge (1-\varepsilon)(\textsf{v}(H)+\kappa(H)), where κ(H)\kappa(H) denotes the vertex-connectivity of HH. For every ε>0\varepsilon>0 there exists C=C(ε)>0C=C(\varepsilon)>0 such that asymptotically almost every nn-vertex graph HH with Cnlogn\left\lceil C n\log n\right\rceil edges satisfies f(H)(2ε)nf_\ell(H)\ge (2-\varepsilon)n. The first result generalizes recent results on complete and complete bipartite graphs and shows that the list chromatic number of HH-minor-free graphs is separated from the natural lower bound (v(H)1)(\textsf{v}(H)-1) by a constant factor for all large graphs HH of linear connectivity. The second result tells us that even when HH is a very sparse graph (with an average degree just logarithmic in its order), f(H)f_\ell(H) can still be separated from (v(H)1)(\textsf{v}(H)-1) by a constant factor arbitrarily close to 22. Conceptually these results indicate that the graphs HH for which f(H)f_\ell(H) is close to (v(H)1)(\textsf{v}(H)-1) are typically rather sparse.

Keywords

Cite

@article{arxiv.2304.04246,
  title  = {On the choosability of $H$-minor-free graphs},
  author = {Olivier Fischer and Raphael Steiner},
  journal= {arXiv preprint arXiv:2304.04246},
  year   = {2023}
}

Comments

14 pages