A bivariate chromatic polynomial for signed graphs

We study Dohmen--P\"onitz--Tittmann's bivariate chromatic polynomial $c_\Gamma(k,l)$ which counts all $(k+l)$-colorings of a graph $\Gamma$ such that adjacent vertices get different colors if they are $\le k$. Our first contribution is an extension of $c_\Gamma(k,l)$ to signed graphs, for which we obtain an inclusion--exclusion formula and several special evaluations giving rise, e.g., to polynomials that encode balanced subgraphs. Our second goal is to derive combinatorial reciprocity theorems for $c_\Gamma(k,l)$ and its signed-graph analogues, reminiscent of Stanley's reciprocity theorem linking chromatic polynomials to acyclic orientations.Comment: 8 pages, 4 figure

Colorings, determinants and Alexander polynomials for spatial graphs

A {\em balanced} spatial graph has an integer weight on each edge, so that the directed sum of the weights at each vertex is zero. We describe the Alexander module and polynomial for balanced spatial graphs (originally due to Kinoshita \cite{ki}), and examine their behavior under some common operations on the graph. We use the Alexander module to define the determinant and $p$-colorings of a balanced spatial graph, and provide examples. We show that the determinant of a spatial graph determines for which $p$ the graph is $p$-colorable, and that a $p$-coloring of a graph corresponds to a representation of the fundamental group of its complement into a metacyclic group $\Gamma(p,m,k)$. We finish by proving some properties of the Alexander polynomial.Comment: 14 pages, 7 figures; version 3 reorganizes the paper, shortens some of the proofs, and improves the results related to representations in metacyclic groups. This is the final version, accepted by Journal of Knot Theory and its Ramification

Polynomials associated with graph coloring and orientations

We study colorings and orientations of graphs in two related contexts. Firstly, we generalize Stanley's chromatic symmetric function using the k-balanced colorings of Pretzel to create a new graph invariant. We show that in fact this invariant is a quasisymmetric function which has a positive expansion in the fundamental basis. We also define a graph invariant generalizing the chromatic polynomial for which we prove some theorems analogous to well-known theorems about the chromatic polynomial. Secondly, we examine graphs and graph colorings in the context of the combinatorial Hopf algebras of Aguiar, Bergeron and Sottile. By doing so, we are able to obtain a new formula for the antipode of a Hopf algebra on graphs previously studied by Schmitt. We also obtain new interpretations of evaluations of the Tutte polynomial

Tutte's dichromate for signed graphs

We introduce the ``trivariate Tutte polynomial" of a signed graph as an invariant of signed graphs up to vertex switching that contains among its evaluations the number of proper colorings and the number of nowhere-zero flows. In this, it parallels the Tutte polynomial of a graph, which contains the chromatic polynomial and flow polynomial as specializations. The number of nowhere-zero tensions (for signed graphs they are not simply related to proper colorings as they are for graphs) is given in terms of evaluations of the trivariate Tutte polynomial at two distinct points. Interestingly, the bivariate dichromatic polynomial of a biased graph, shown by Zaslavsky to share many similar properties with the Tutte polynomial of a graph, does not in general yield the number of nowhere-zero flows of a signed graph. Therefore the ``dichromate" for signed graphs (our trivariate Tutte polynomial) differs from the dichromatic polynomial (the rank-size generating function). The trivariate Tutte polynomial of a signed graph can be extended to an invariant of ordered pairs of matroids on a common ground set -- for a signed graph, the cycle matroid of its underlying graph and its frame matroid form the relevant pair of matroids. This invariant is the canonically defined Tutte polynomial of matroid pairs on a common ground set in the sense of a recent paper of Krajewski, Moffatt and Tanasa, and was first studied by Welsh and Kayibi as a four-variable linking polynomial of a matroid pair on a common ground set.Comment: 53 pp. 9 figure

Aperiodic colorings and tilings of Coxeter groups

We construct a limit aperiodic coloring of hyperbolic groups. Also we construct limit strongly aperiodic strictly balanced tilings of the Davis complex for all Coxeter groups