arXiv++ Combinatorics

We introduce the multiorbital bivariate chromatic polynomial $F_Γ(G;x,y)=\sum_{H\le G}\frac{1}{|H|}\sum_{h\in H}P_{Γ/h}(x,y)$, which aggregates orbital bivariate chromatic polynomials over the subgroup lattice of a finite group acting on a graph. We derive an equivalent element-wise representation $F_Γ(G;x,y)=\sum_{g\in G}c_G(g)P_{Γ/g}(x,y)$ with $c_G(g)=\sum_{H\le G,\,g\in H}\frac{1}{|H|}$. The coefficient function depends only on the cyclic subgroup generated by the group element and is constant on conjugacy classes. This yields corresponding decompositions by cyclic subgroups and conjugacy classes, as well as a natural Möbius-theoretic interpretation. After normalization, the coefficients define a probability distribution on the acting group, giving a probabilistic interpretation of the multiorbital polynomial as an expected quotient polynomial. We further investigate its behaviour under disjoint unions and its specialization to edgeless graphs, where a weighted cycle-index expression is obtained.

In 1995, Stanley introduced the well-known chromatic symmetric function $X_{G}(x_{1},x_{2},\ldots)$ of a graph $G$. It is a sum of monomial symmetric functions such that for each vertex coloring of $G$ there is exactly one of these summands. The question, whether $X_{G}(x_1,x_{2},\ldots)$ distinguishes nonisomorphic trees with the same number of vertices, is still open in general. For special trees it has already been shown. In 2008, Martin, Morin and Wagner proved it for spiders and some caterpillars. We decompose a tree by separating the leafs and their neighbors and do the same to the remaining forest until there remains a forest with vertices of degree not greater than $1$. For nonisomorphic trees $G$ and $H$ with the same number of vertices and special properties concerning their number of leafs and leaf neighbors for each subgraph in their leaf decomposition we prove that the chromatic symmetric function distinguishes the graphs. Our idea is to find independent partitions of $G$ and $H$ with respectively a block of maximal cardinality for $G$ as well as for $H$. These cardinalities are different for graphs $G$ and $H$ with special properties of their leaf decompositions. Additionally, we give explicit formulas for the cardinality of such a maximal block of an independent partition of star connections and spiders.