arXiv++ Combinatorics

Chromatic choosability is a notion of fundamental importance in list coloring. A graph $G$ is chromatic-choosable when its chromatic number, $χ(G)$, is equal to its list chromatic number $χ_{\ell}(G)$. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted $P_{\ell}(G,m)$, which is the list analogue of the chromatic polynomial of $G$, $P(G,m)$. A graph $G$ is said to be enumeratively chromatic-choosable when $P_{\ell}(G,m)=P(G,m)$ for every $m \in \mathbb{N}$. Theta graphs and their generalizations have played an important role in graph coloring problems over the years; for example, they appear in the characterization of chromatic-choosable graphs with chromatic number 2. In this paper we characterize the enumeratively chromatic-choosable theta graphs. Our proof utilizes ideas from DP-coloring (a.k.a. correspondence coloring), providing yet another example of how the more general setting of DP-coloring can be leveraged to attack a problem in list coloring.

Chromatic-choosablility is a notion of fundamental importance in list coloring. A graph $G$ is chromatic-choosable when its chromatic number, $χ(G)$, is equal to its list chromatic number $χ_{\ell}(G)$. Flexible list coloring was introduced by Dvořák, Norin, and Postle in 2019 in order to address a situation in list coloring where we still seek a proper list coloring, but each vertex may have a preferred color assigned to it, and for those vertices we wish to color as many of them with their preferred colors as possible. In flexible list coloring, the list flexibility number of $G$, denoted $χ_{\ell flex}(G)$, serves as the natural analogue of $χ_{\ell}(G)$. In 2002, Ohba famously showed that for any graph $G$, there exists an $N \in \mathbb{N}$ such that $χ(K_p \vee G) = χ_{\ell}(K_p \vee G)$ whenever $p \geq N$. Since $χ(G) \leq χ_{\ell}(G) \leq χ_{\ell flex}(G)$, it is natural to ask whether this result holds if $χ_{\ell}$ is replaced with $χ_{\ell flex}$. In this paper we not only show that this result doesn't hold in general if $χ_{\ell}$ is replaced with $χ_{\ell flex}$, but we also give a characterization of the graphs for which it does hold.