arXiv++ Combinatorics

We introduce two coproducts on mixed graphs (that is to say graphs with both oriented and unoriented edges), the first one by separation of the vertices into two parts, and the second one given by contraction and extractions of subgraphs. We show that, with the disjoint union product, this gives a double bialgebra, that is to say that the first coproduct makes it a Hopf algebra in the category of right comodules over the second coproduct. This structure implies the existence of a unique polynomial invariant on mixed graphs compatible with the product and both coproducts: we prove that it is the (strong) chromatic polynomial of Beck, Bogart and Pham.Using the action of the monoid of characters, we relate it to the weak chromatic polynomial, as well to Ehrhart polynomials and to a polynomial invariants related to linear extensions. As applications, we give an algebraic proof of the link between the values of the strong chromatic polynomial at negative values and acyclic orientations (a result due to Beck, Blado, Crawford, Jean-Louis and Young) and obtain a combinatorial description of the antipode of the Hopf algebra of mixed graphs.

Khovanov introduced a bigraded cohomology theory of links whose graded Euler characteristic is the Jones polynomial. The theory was subsequently applied to the chromatic polynomial of graph, resulting in a categorification known as the ``chromatic homology''. Much as in the Khovanov homology, the chromatic polynomial can be obtained by taking the Euler characteristic of the chromatic homology. In the present paper, we introduce a combinatorial description of enhanced states that can be applied to analysis of the homology in an explicit way by hand. Using the new combinatorial description, we show a splitting property of the chromatic homology for a certain class of graphs. Finally, as an application of the description, we compute the chromatic homology of the complete graph.

DP-coloring (or correspondence coloring) is a generalization of list coloring that has been widely studied since its introduction by Dvořák and Postle in 2015. As the analogue of the chromatic polynomial of a graph $G$, $P(G,m)$, and the list color function, $P_{\ell}(G,m)$, the DP color function of $G$, denoted by $P_{DP}(G,m)$, counts the minimum number of DP-colorings over all possible $m$-fold covers. It follows that $P_{DP}(G,m) \le P_{\ell}(G,m) \le P(G,m)$. A function $f$ is chromatic-adherent if for every graph $G$, $f(G,a) = P(G,a)$ for some $a \geq χ(G)$ implies that $f(G,m) = P(G,m)$ for all $m \geq a$. It is known that the DP color function is not chromatic-adherent, but there are only two known graphs that demonstrate this. Suppose $G$ is an $n$-vertex graph and $\mathcal{H}$ is a 3-fold cover of $G$, in this paper we associate with $\mathcal{H}$ a polynomial $f_{G, \mathcal{H}} \in \mathbb{F}_3[x_1, \ldots, x_n]$ so that the number of non-zeros of $f_{G, \mathcal{H}}$ equals the number of $\mathcal{H}$-colorings of $G$. We then use a well-known result of Alon and Füredi on the number of non-zeros of a polynomial to establish a non-trivial lower bound on $P_{DP}(G,3)$ when $2n > |E(G)|$. An easy consequence of this is that $P_{DP}(G, 3) \geq 3^{n/6}$ for every $n$-vertex planar graph $G$ of girth at least 5, improving the previously known bounds on both $P_{DP}(G, 3)$ and $P_{\ell}(G, 3)$. Finally, we use this bound to show that there are infinitely many graphs that demonstrate the non-chromatic-adherence of the DP color function.

The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.

In this article we consider certain well-known polynomials associated with graphs including the independence polynomial and the chromatic polynomial. These polynomials count certain objects in graphs: independent sets in the case of the independence polynomial and proper colourings in the case of the chromatic polynomial. They also have interpretations as partition functions in statistical physics. The algorithmic problem of (approximately) computing these types of polynomials has been studied for close to 50 years, especially using Markov chain techniques. Around eight years ago, Barvinok devised a new algorithmic approach based on Taylor's theorem for computing the permanent of certain matrices, and the approach has been applied to various graph polynomials since then. This article is intended as a gentle introduction to the approach as well as a partial survey of associated techniques and results.

We consider the bialgebra of hypergraphs, a generalization of Schmitt's Hopf algebra of graphs, and show it has a cointeracting bialgebra. So one has a double bialgebra in the sense of L. Foissy, who recently proved there is then a unique double bialgebra morphism to the double bialgebra structure on the polynomial ring ${\mathbb Q}[x]$. We show the polynomial associated to a hypergraph is the hypergraph chromatic polynomial. Moreover hypergraphs occurs in quartets: there is a dual, a complement, and a dual complement hypergraph. These correspondences are involutions and give rise to three other double bialgebras, and three more chromatic polynomials. In all we give eight quartets of bialgebras which includes recent bialgebras of M. Aguiar and F. Ardila, and by L. Foissy.

For a hypergraph ${\cal H}$, let $P({\cal H},k)$ and $P_l({\cal H},k)$ be its chromatic polynomial and list-color function respectively, and let $τ'({\cal H})$ be the least non-negative integer $q$ such that $P({\cal H},k)=P_l({\cal H},k)$ holds for all integers $k\ge q$. In this article, we show that for any $r$-uniform hypergraph ${\cal H}$ of order $n$ and size $m$ and any $k$-assignment $L$ of ${\cal H}$, where $r\ge 3$, $P({\cal H},L)-P({\cal H},k)\ge \min \{0.02k, k-(m-1)\} k^{n-r-1}\sum_{e\in E({\cal H})} \left ( k-\left |\bigcap_{v\in e}L(v)\right | \right )$ holds for $k\ge m-1\ge 4$. It follows that $τ'({\cal H})\le m-1$, improving the current best result on $τ'({\cal H})$.

We show that for any non-real algebraic number $q$ such that $|q-1|>1$ or $\Re(q)>\frac{3}{2}$ it is \textsc{\#P}-hard to compute a multiplicative (resp. additive) approximation to the absolute value (resp. argument) of the chromatic polynomial evaluated at $q$ on planar graphs. This implies \textsc{\#P}-hardness for all non-real algebraic $q$ on the family of all graphs. We moreover prove several hardness results for $q$ such that $|q-1|\leq 1$. Our hardness results are obtained by showing that a polynomial time algorithm for approximately computing the chromatic polynomial of a planar graph at non-real algebraic $q$ (satisfying some properties) leads to a polynomial time algorithm for \emph{exactly} computing it, which is known to be hard by a result of Vertigan. Many of our results extend in fact to the more general partition function of the random cluster model, a well known reparametrization of the Tutte polynomial.

Crew and Spirklt generalize Stanley's chromatic symmetric function to vertex-weighted graphs. One of the primary motivations for extending the chromatic symmetric function to vertex-weighted graphs is the existence of a deletion-contraction relation in this setting, which, as known, holds for the chromatic polynomial, but doesn't hold for the chromatic symmetric function. In this paper we find a categorification of their new invariant extending the definition of chromatic symmetric homology to vertex-weighted graphs. We prove the existence of a deletion-contraction long exact sequence for chromatic symmetric homology which lifts the deletion-contraction relation that holds for the extension of Crew and Spirklt. Moreover, the new categorification gives a useful computational tool and allow us to answer two questions left open by Chandler, Sazdanovic, Stella and Yip. In particular, we prove that, for a graph G with $n$ vertices, the maximal index with nonzero homology is not greater that $n$ - 1. Moreover, we show that the homology is non-trivial for all the indices between the minimum and the maximum with this property.

The DP-coloring is a generalization of the list coloring, introduced by Dvořák and Postle. Let $\mathcal{H}=(L,H)$ be a cover of a graph $G$ and $P_{DP}(G,\mathcal{H})$ be the number of $\mathcal{H}$-colorings of $G$. The DP color function $P_{DP}(G,m)$ of $G$, introduced by Kaul and Mudrock, is the minimum value of $P_{DP}(G,\mathcal{H})$ where the minimum is taken over all possible $m$-fold covers $\mathcal{H}$ of $G$. For the family of $n$-vertex connected graphs, one can deduce that trees maximize the DP color function, from two results of Kaul and Mudrock. In this paper we obtain tight upper bounds for the DP color function of $n$-vertex $2$-connected graphs. Another concern in this paper is the canonical labeling in a cover. It is well known that if an $m$-fold cover $\mathcal{H}$ of a graph $G$ has a canonical labeling, then $P_{DP}(G,\mathcal{H})=P(G,m)$ in which $P(G,m)$ is the chromatic polynomial of $G$. However the converse statement of this conclusion is not always true. We give examples that for some $m$ and $G$, there exists an $m$-fold cover $\mathcal{H}$ of $G$ such that $P_{DP}(G,\mathcal{H})=P(G,m)$, but $\mathcal{H}$ has no canonical labelings. We also prove that when $G$ is a unicyclic graph or a theta graph, for each $m\geq 3$, if $P_{DP}(G,\mathcal{H})=P(G,m)$, then $\mathcal{H}$ has a canonical labeling.

We present a new correspondence between acyclic orientations and coloring of a signed graph (symmetric graph). Goodall et al. introduced a bivariate chromatic polynomial $χ_G(k,l)$ that counts the number of signed colorings using colors $0,\pm1,\dots,\pm k$ along with $l-1$ symmetric colors $0_1,\dots,0_{l-1}$. We show that the evaluation of the bivariate chromatic polynomial $|χ_G(-1,2)|$ is equal to the number of acyclic orientations of the signed graph modulo the equivalence relation generated by swapping sources and sinks. We present three proofs of this fact, a proof using toric hyperplane arrangements, a proof using deletion-contraction, and a direct proof.

The chromatic polynomial of a graph $G$, denoted $P(G,m)$, is equal to the number of proper $m$-colorings of $G$ for each $m \in \mathbb{N}$. In 1990, Kostochka and Sidorenko introduced the list color function of graph $G$, denoted $P_{\ell}(G,m)$, which is a list analogue of the chromatic polynomial. The list color function threshold of $G$, denoted $τ(G)$, is the smallest $k \geq χ(G)$ such that $P_{\ell}(G,m) = P(G,m)$ whenever $m \geq k$. It is known that for every graph $G$, $τ(G)$ is finite, and in fact, $τ(G) \leq (|E(G)|-1)/\ln(1+ \sqrt{2}) + 1$. It is also known that when $G$ is a cycle or chordal graph, $G$ is enumeratively chromatic-choosable which means $τ(G) = χ(G)$. A recent paper of Kaul et al. suggests that understanding the list color function threshold of complete bipartite graphs is essential to the study of the extremal behavior of $τ$. In this paper we show that for any $n \geq 2$, $τ(K_{2,n}) \leq \lceil (n+2.05)/1.24 \rceil$ which gives an improvement on the general upper bound for $τ(G)$ when $G = K_{2,n}$. We also develop additional tools that allow us to show that $τ(K_{2,3}) = χ(K_{2,3})$ and $τ(K_{2,4}) = τ(K_{2,5}) = 3$.

Let $G=(V,E)$ be a simple graph with $n$ vertices and $m$ edges, $P(G,k)$ be the chromatic polynomial of $G$, and $P(G,L)$ be the number of $L$-colorings of $G$ for any $k$-assignment $L$. In this article, we show that when $k\ge m-1\ge 3$, $P(G,L)-P(G,k)$ is bounded below by $\left ( (k-m+1)k^{n-3}+\frac{(k-m+3)c}{3} k^{n-5}\right )\sum\limits_{uv\in E}|L(u)\setminus L(v)|$, where $c\ge \frac{(m-1)(m-3)}{8}$, and in particular, if $G$ is $K_3$-free, then $c\ge {m-2\choose 2}+2\sqrt m-3$. Consequently, $P(G,L)\ge P(G,k)$ whenever $k\ge m-1$.

For $m \geq 3$ and $n \geq 1$, the $m$-cycle book graph $B(m,n)$ consists of $n$ copies of the cycle $C_m$ with one common edge. In this paper, we prove that (a) the number of switching non-isomorphic signed $B(m,n)$ is $n+1$, and (b) the chromatic number of a signed $B(m,n)$ is either 2 or 3. We also obtain explicit formulas for the chromatic polynomials and the zero-free chromatic polynomials of switching non-isomorphic signed book graphs.

We find families of graphs $G$ and subgraphs $H$ of $G$ such that the number of edge colorings of $G$ avoiding a monochromatic coloring of $H$ is determined by lattice point counts or a Hodge structure on the cohomology of a certain toric variety. In general, this gives a class of ``anti-Ramsey theory problems'' with a geometric structure. For example, we find one for Ramsey numbers of classes of such graphs. The key observation is that our previous result expressing simplicial chromatic polynomials in terms of $h$-vectors of auxiliary simplicial complexes can be reinterpreted as one on edge colorings of graphs avoiding monochromatic colorings of specified forbidden subgraphs. Specializing to simplicial complexes arising from triangulations of polytopes (e.g. unimodular triangulations), we obtain families of graphs and forbidden subgraphs where edge colorings avoiding monochromatic colorings of the forbidden subgraphs depend on lattice point counts or Hodge structures on the cohomology of toric varieties.

Richard Stanley defined the chromatic symmetric function $X_G$ of a graph $G$ and asked whether there are non-isomorphic trees $T$ and $U$ with $X_T=X_U$. We study variants of the chromatic symmetric function for rooted graphs, where we require the root vertex to either use or avoid a specified color. We present combinatorial identities and recursions satisfied by these rooted chromatic polynomials, explain their relation to pointed chromatic functions and rooted $U$-polynomials, and prove three main theorems. First, for all non-empty connected graphs $G$, Stanley's polynomial $X_G(x_1,\ldots,x_N)$ is irreducible in $\mathbb{Q}[x_1,\ldots,x_N]$ for all large enough $N$. The same result holds for our rooted variant where the root node must avoid a specified color. We prove irreducibility by a novel combinatorial application of Eisenstein's Criterion. Second, we prove the rooted version of Stanley's Conjecture: two rooted trees are isomorphic as rooted graphs if and only if their rooted chromatic polynomials are equal. In fact, we prove that a one-variable specialization of the rooted chromatic polynomial (obtained by setting $x_0=x_1=q$, $x_2=x_3=1$, and $x_n=0$ for $n>3$) already distinguishes rooted trees. Third, we answer a question of Pawlowski by providing a combinatorial interpretation of the monomial expansion of pointed chromatic functions.

In this paper we consider the zeros of the chromatic polynomial of series-parallel graphs. Complementing a result of Sokal, showing density outside the disk $|q-1|\leq1$, we show density of these zeros in the half plane $\Re(q)>3/2$ and we show there exists an open region $U$ containing the interval $(0,32/27)$ such that $U\setminus\{1\}$ does not contain zeros of the chromatic polynomial of series-parallel graphs. We also disprove a conjecture of Sokal by showing that for each large enough integer $Δ$ there exists a series-parallel graph for which all vertices but one have degree at most $Δ$ and whose chromatic polynomial has a zero with real part exceeding $Δ$.

In this paper, we introduce the concept of the weighted (harmonic) chromatic polynomials of graphs and discuss some of its properties. We also present the notion of the weighted (harmonic) Tutte--Grothendieck polynomials of graphs and give a generalization of the recipe theorem between the harmonic Tutte--Grothendieck polynomials graphs and the harmonic Tutte polynomials of matroids. Moreover, we give some constructions of the weighted (harmonic) Tutte--Grothendieck invariants for graphs and the weighted (harmonic) Tutte invariants for matroids. Finally, we give a remark on the categorification of the harmonic chromatic polynomials of graphs and harmonic Tutte polynomials of matroids.

We find families of simplicial complexes where the simplicial chromatic polynomials defined by Cooper--de Silva--Sazdanovic \cite{CdSS} are Hilbert series of Stanley--Reisner rings of auxiliary simplicial complexes. As a result, such generalized chromatic polynomials are determined by $h$-vectors of auxiliary simplicial complexes. In addition to generalizing related results on graphs and matroids, the simplicial complexes used allow us to consider problems that are not necessarily analogues of those considered for graphs. Some examples include supports of cyclotomic polynomials, log concavity properties of a polynomial or some translate of the polynomial, and symmetry relations between a polynomial and its reciprocal polynomial. If the $h$-vectors involed have sufficiently large entries, the Hilbert series are Hilbert polynomials of some $k$-algebra. As a consequence of connections between $h$-vectors and simplicial chromatic polynomials, we also find simplicial complexes whose $h$-vectors are determined by addition-contraction relations of simplicial complexes analogous to deletion-contraction relations of graphs. The constructions used involve generalizations of relations Euler characteristics of configuration spaces and chromatic polynomials of graphs.

Motivated by a connection between the topology of (generalized) configuration spaces and chromatic polynomials, we show that generating functions of Hodge-Deligne polynomials of quasiprojective varieties and colorings of acyclic directed graphs with the complete graph $K_n$ as the underlying undirected graph. In order to do this, we combine an interpretation of Crew-Spirkl for plethysms involving chromatic symmetric polynomials using colorings of directed acyclic graphs to plethystic exponentials often appearing Hodge-Deligne polynomials of varieties. Applying this to a recent result of Florentino-Nozad-Zamora, we find a connection between $GL_n$-character varieties of finitely presented groups and colorings of these "complete" directed graphs by (signed) variables used in the Hodge-Deligne polynomials of the irreducible representations. As a consequence of the constructions used, generators of Hodge-Deligne polynomials carry over to generators of the plethystic exponentials as a power series in a way that is compatible with this graph coloring interpretation and gives interesting combinatorial information that simplifies when we consider Hodge-Deligne polynomials of birationally equivalent varieties to be equivalent. Finally, we give an application of methods used to symmetries of Hodge-Deligne polynomials of varieties and their configuration spaces and their relation to chromatic symmetric polynomials.