1

The chromatic polynomial $P(G,k)$ counts all vertex colorings with $k$ or fewer colors.

But is there a polynomial that can count vertex colorings with exactly $k$ colors?

If you simply take the difference $P(G,k) - P(G,k-1)$, the degeneracy of color-set choices is not taken into account. For example, with $k$=4 colors, the many ways of selecting a set of 3 colors (from 4 possible) each constitute a distinct color palette, but are only deducted once using the above technique.

Perhaps you just take this into account in a straightforward way?

apg
  • 2,797

2 Answers2

2

If we name the hypothetical function $f_G(k)$ then we see that $$\chi_G(k) = \sum_{i=0}^{k} \binom{k}{i} f_G(i)$$

If $f_G$ is a polynomial, $f_G(x) = \Theta(x^a)$ for some $a$, then $\chi_G(2x)$ has a term $\binom{2x}{x} f_G(x)$, and in particular is not bounded by any polynomial. In fact, we can conclude that $f_G(x)$ must be asymptotically bounded by $a^{-x}$ for some $a > 1$.

An alternative perspective is to note that if $k > V$ then $f_G(k) = 0$. The only polynomial which has infinitely many roots is $P(x) = 0$.

Either way, we see that $f_G(k)$ is not a polynomial.

Peter Taylor
  • 13,425
  • 1
    Well, we do need to take some care about whether we are discussing $f_G(k)$ is the number of colorings of $G$ with exactly $k$ colors or if $f'_G(k)$ is the number of colorings of $G$ with at most $k$ colours. Now $f'_G(k)$ grows too rapidly with $k$ to be polynomial. And then finally there are the number $g_G(k)$ of nonequivalent colorings of $G$ with at most $k$ colors. Then one can show that $g_G(k')=g_G(n)$ where $n$ is the number of vertices of $G$; by your above reasoning this cannot be a polynomial either. – Mike Sep 05 '19 at 17:09
1

Let $S \subseteq \{1,2,3,4\}=S_0$, and let $P_S$ be the number of proper colorings of $G$ that use either $S$ or a subset of $S$. Let $P'_S$ be the number of proper colorings of $S$ that use all of $S$ ie., every color of $S$ is used in the coloring.

Then by Inclusion-Exclusion:

$$P'_{S_0} = P_{S_0} -\sum_{S: |S|=3} P_S + \sum_{S: |S|=2} P_S - \sum_{S: |S|=1} P_S$$

or to use the notation in the statement of the problem, where $P'(G,k)$ is the number of colourings of $G$ that use all $k$ colors:

$$P'(G,4) = P(G,4)-4P(G,3)+6P(G,2)-4P(G,1)$$

Mike
  • 20,434
  • Thank you. So alternating signs? (So -4 for the last term). – apg Sep 05 '19 at 09:21
  • 1
    @AlexanderKartun-Giles yes indeed, -4 for the last term. Typo on my part, just fixed. Thanks for the catch! [Meanwhile though note that $P(G,1) \not = 0$ only if $G$ has no edges.] – Mike Sep 05 '19 at 16:54