The Orbital Bivariate Chromatic Polynomial

Abstract

The orbital bivariate chromatic polynomial, introduced in this article, counts the number of ways to color the vertices of a graph with $λ$ colors such that adjacent vertices either receive distinct colors from a set of $λ$ colors, or the same color from a distinguished subset of $λ-μ$ colors, up to a group of symmetries. This new graph polynomial simultaneously generalizes the orbital chromatic polynomial due to Cameron and Kayibi (2007) and the bivariate chromatic polynomial due to Dohmen, Pönitz, and Tittmann (2003). We discuss fundamental properties, and provide expansions of this new polynomial for various families of graphs, including complete graphs, complete bipartite graphs, paths, cycles, and wheels. Some of these expansions are even new for the orbital chromatic polynomial. As a side result, we obtain a ``Fermat-like'' congruence for Lucas sequences, which generalizes Fermat's Little Theorem. Finally, we outline open problems related to the orbital bivariate chromatic polynomial.