English

On two generalizations of the Alon-Tarsi polynomial method

Combinatorics 2009-11-12 v1

Abstract

In a seminal paper, Alon and Tarsi have introduced an algebraic technique for proving upper bounds on the choice number of graphs (and thus, in particular, upper bounds on their chromatic number). The upper bound on the choice number of GG obtained via their method, was later coined the \emph{Alon-Tarsi number of GG} and was denoted by AT(G)AT(G). They have provided a combinatorial interpretation of this parameter in terms of the eulerian subdigraphs of an appropriate orientation of GG. Their characterization can be restated as follows. Let DD be an orientation of GG. Assign a weight ωD(H)\omega_D(H) to every subdigraph HH of DD: if HDH \subseteq D is eulerian, then ωD(H)=(1)e(H)\omega_D(H) = (-1)^{e(H)}, otherwise ωD(H)=0\omega_D(H) = 0. Alon and Tarsi proved that AT(G)kAT(G) \leq k if and only if there exists an orientation DD of GG in which the out-degree of every vertex is strictly less than kk, and moreover HDωD(H)0\sum_{H \subseteq D} \omega_D(H) \neq 0. Shortly afterwards, for the special case of line graphs of dd-regular dd-edge-colorable graphs, Alon gave another interpretation of AT(G)AT(G), this time in terms of the signed dd-colorings of the line graph. In this paper we generalize both results. The first characterization is generalized by showing that there is an infinite family of weight functions (which includes the one considered by Alon and Tarsi), each of which can be used to characterize AT(G)AT(G). The second characterization is generalized to all graphs (in fact the result is even more general -- in particular it applies to hypergraphs). We then use the second generalization to prove that χ(G)=ch(G)=AT(G)\chi(G) = ch(G) = AT(G) holds for certain families of graphs GG. Some of these results generalize certain known choosability results.

Keywords

Cite

@article{arxiv.0911.2099,
  title  = {On two generalizations of the Alon-Tarsi polynomial method},
  author = {Dan Hefetz},
  journal= {arXiv preprint arXiv:0911.2099},
  year   = {2009}
}