arXiv++ Combinatorics

J. Makowsky and B. Zilber (2004) showed that many variations of graph colorings, called CP-colorings in the sequel, give rise to graph polynomials. This is true in particular for harmonious colorings, convex colorings, mcc_t-colorings, and rainbow colorings, and many more. N. Linial (1986) showed that the chromatic polynomial $χ(G;X)$ is #P-hard to evaluate for all but three values X=0,1,2, where evaluation is in P. This dichotomy includes evaluation at real or complex values, and has the further property that the set of points for which evaluation is in P is finite. We investigate how the complexity of evaluating univariate graph polynomials that arise from CP-colorings varies for different evaluation points. We show that for some CP-colorings (harmonious, convex) the complexity of evaluation follows a similar pattern to the chromatic polynomial. However, in other cases (proper edge colorings, mcc_t-colorings, H-free colorings) we could only obtain a dichotomy for evaluations at non-negative integer points. We also discuss some CP-colorings where we only have very partial results.

We establish a connection between root multiplicities for Borcherds-Kac-Moody algebras and graph coloring. We show that the generalized chromatic polynomial of the graph associated to a given Borcherds algebra can be used to give a closed formula for certain root multiplicities. Using this connection we give a second interpretation, namely that the root multiplicity of a given root coincides with the number of acyclic orientations with a unique sink of a certain graph (depending on the root). Finally, using the combinatorics of Lyndon words we construct a basis for the root spaces corresponding to these roots and determine the Hilbert series in the case when all simple roots are imaginary. As an application we give a Lie theoretic proof of Stanley's reciprocity theorem of chromatic polynomials.

A {\em chromatic root} is a root of the chromatic polynomial of a graph. While the real chromatic roots have been extensively studied and well understood, little is known about the {\em real parts} of chromatic roots. It is not difficult to see that the largest real chromatic root of a graph with $n$ vertices is $n-1$, and indeed, it is known that the largest real chromatic root of a graph is at most the tree-width of the graph. Analogous to these facts, it was conjectured in [8] that the real parts of chromatic roots are also bounded above by both $n-1$ and the tree-width of the graph. In this article we show that for all $k\geq 2$ there exist infinitely many graphs $G$ with tree-width $k$ such that $G$ has non-real chromatic roots $z$ with $\Re(z)>k$. We also discuss the weaker conjecture and prove it for graphs $G$ with $χ(G)\geq n-3$.

The $σ$-polynomial is given by $σ(G,x) = \sum_{i=χ(G)}^{n} a_{i}(G)\, x^{i}$, where $a_{i}(G)$ is the number of partitions of the vertices of $G$ into $i$ nonempty independent sets. These polynomials are closely related to chromatic polynomials, as the chromatic polynomial of $G$ is given by $\sum_{i=χ(G)}^{n} a_{i}(G)\, x(x-1) \cdots (x-(i-1))$. It is known that the closure of the real roots of chromatic polynomials is precisely $\{0,~1\} \bigcup [32/27,\infty)$, with $(-\infty,0)$, $(0,1)$ and $(1,32/27)$ being maximal zero-free intervals for roots of chromatic polynomials. We ask here whether such maximal zero-free intervals exist for $σ$-polynomials, and show that the only such interval is $[0,\infty)$ -- that is, the closure of the real roots of $σ$-polynomials is $(-\infty,0]$.

If $G$ is a $k$-chromatic graph of order $n$ then it is known that the chromatic polynomial of $G$, $π(G,x)$, is at most $x(x-1)\cdots (x-(k-1))x^{n-k} = (x)_{\downarrow k}x^{n-k}$ for every $x\in \mathbb{N}$. We improve here this bound by showing that \[ π(G,x) \leq (x)_{\downarrow k} (x-1)^{Δ(G)-k+1} x^{n-1-Δ(G)}\] for every $x\in \mathbb{N},$ where $Δ(G)$ is the maximum degree of $G$. Secondly, we show that if $G$ is a connected $k$-chromatic graph of order $n$ where $k\geq 4$ then $π(G,x)$ is at most $(x)_{\downarrow k}(x-1)^{n-k}$ for every real $x\geq n-2+\left( {n \choose 2} -{k \choose 2}-n+k \right)^2$ (it had been previously conjectured that this inequality holds for all $x \geq k$). Finally, we provide an upper bound on the moduli of the chromatic roots that is an improvment over known bounds for dense graphs.

We use a polynomial decomposition result by Stapledon to show that the numerator polynomial of the Ehrhart series of an open polytope is the difference of two symmetric polynomials with nonnegative integer coefficients. We obtain a related decomposition for order polytopes and for the numerator polynomial of the corresponding series for chromatic polynomials. The nonnegativity of the coefficients in such decompositions provide inequalities satisfied by the coefficients of chromatic polynomials for any simple graph.

In this paper, we present some properties on chromatic polynomials of hypergraphs which do not hold for chromatic polynomials of graphs. We first show that chromatic polynomials of hypergraphs have all integers as their zeros and contain dense real zeros in the set of real numbers. We then prove that for any multigraph $G=(V,E)$, the number of totally cyclic orientations of $G$ is equal to the value of $|P(H,-1)|$, where $P(H,λ)$ is the chromatic polynomial of a hypergraph $H$ which is constructed from $G$. Finally we show that the multiplicity of root "$0$" of $P(H,λ)$ may be at least $2$ for some connected hypergraphs $H$, and the multiplicity of root "$1$" of $P(H,λ)$ may be $1$ for some connected and separable hypergraphs $H$ and may be $2$ for some connected and non-separable hypergraphs $H$.

Let $M=(E,\mathcal B)$ be an $\mathbb F_q$-linear matroid; denote by ${\mathcal B}$ the family of its bases, $s(M;α)=\sum_{B\in\mathcal B}\prod_{e \in B} α_e$, where ${α_e\in \mathbb F_q}$. According to the Kontsevich conjecture stated in 1997, the number of nonzero values of $s(M;α)$ is a polynomial with respect to $q$ for all matroids. This conjecture was disproved by P. Brosnan and P. Belkale. In this paper we express the characteristic polynomial of the dual matroid $M^\perp$ in terms of the "correct" Kontsevich formula (for $\mathbb F_q$-linear matroids). This representation generalizes the formula for a flow polynomial of a graph which was obtained by us earlier (and with the help of another technique). In addition, generalizing the correlation (announced by us earlier) that connects flow and chromatic polynomials, we define the characteristic polynomial of $M^\perp$ in two ways, namely, in terms of characteristic polynomials of $M/A$ and $M|_A$, respectively, $A\subseteq E$. The latter expressions are close to convolution-multiplication formulas established by V. Reiner and J. P. S. Kung.

This note exhibits graphs whose chromatic polynomials have the Beraha number $B_{10} = (5 + \sqrt{5})/2$ as a root. It was previously known that no other non-integer Beraha number is a chromatic root, and so these examples complete the determination of precisely which Beraha numbers can be chromatic roots.

Many combinatorial Hopf algebras $H$ in the literature are the functorial image of a linearized Hopf monoid $\bf H$. That is, $H={\mathcal K} ({\bf H})$ or $H=\overline{\mathcal K} ({\bf H})$. Unlike the functor $\overline{\mathcal K}$, the functor ${\mathcal K}$ applied to ${\bf H}$ may not preserve the antipode of ${\bf H}$. In this case, one needs to consider the larger Hopf monoid ${\bf L}\times{\bf H}$ to get $H={\mathcal K} ({\bf H})=\overline{\mathcal K}({\bf L}\times{\bf H})$ and study the antipode in ${\bf L}\times{\bf H}$. One of the main results in this paper provides a cancelation free and multiplicity free formula for the antipode of ${\bf L}\times{\bf H}$. From this formula we obtain a new antipode formula for $H$. We also explore the case when ${\bf H}$ is commutative and cocommutative. In this situation we get new antipode formulas that despite of not being cancelation free, can be used to obtain one for $\overline{\mathcal K}({\bf H})$ in some cases. We recover as well many of the well-known cancelation free formulas in the literature. One of our formulas for computing the antipode in ${\bf H}$ involves acyclic orientations of hypergraphs as the central tool. In this vein, we obtain polynomials analogous to the chromatic polynomial of a graph, and also identities parallel to Stanley's (-1)-color theorem. One of our examples introduces a {\it chromatic} polynomial for permutations which counts increasing sequences of the permutation satisfying a pattern. We also study the statistic obtained after evaluating such polynomial at $-1$. Finally, we sketch $q$ deformations and geometric interpretations of our results. This last part will appear in a sequel paper in joint work with J. Machacek.

Chromatic polynomials have been studied extensively, giving us results such as the Fundamental Reduction Theorem and closed formulas for the chromatic polynomials of common classes of graphs. Though, none of those extend to the context of fractional colorings. We thus present closed formulas for the "fractional" chromatic polynomial - a function that counts the number of distinct $b$-fold $λ$-colorings on a given graph - of complete graphs, trees and forests, as well as a generalized form of the Fundamental Reduction Theorem.

Let G be a graph with vertex set {1,...,n}. A spanning forest F of G is increasing if the sequence of labels on any path starting at the minimum vertex of a tree of F form an increasing sequence. Hallam and Sagan showed that the generating function ISF(G,t) for increasing spanning forests of G has all nonpositive integral roots. Furthermore they proved that, up to a change of sign, this polynomial equals the chromatic polynomial of G precisely when 1,...,n is a perfect elimination order for G. We give new, purely combinatorial proofs of these results which permit us to generalize them in several ways. For example, we are able to bound the coefficients of ISF(G,t) using broken circuits. We are also able to extend these results to simplicial complexes using the new notion of a cage-free complex. A generalization to labeled multigraphs is also given. We end by exploring spanning forests where the increasing condition is replaced by having the label sequences avoid the patterns 231, 312, and 321.

We follow the example of Tutte in his construction of the dichromate of a graph (that is, the Tutte polynomial) as a unification of the chromatic polynomial and the flow polynomial in order to construct a new polynomial invariant of maps (graphs embedded in orientable surfaces). We call this the surface Tutte polynomial. The surface Tutte polynomial of a map contains the Las Vergnas polynomial, Bollobás-Riordan polynomial and Kruskhal polynomial as specializations. By construction, the surface Tutte polynomial includes among its evaluations the number of local tensions and local flows taking values in any given finite group. Other evaluations include the number of quasi-forests.

The Tutte polynomial is a fundamental invariant of graphs. In this article, we define and study a generalization of the Tutte polynomial for directed graphs, that we name B-polynomial. The B-polynomial has three variables, but when specialized to the case of graphs (that is, digraphs where arcs come in pairs with opposite directions), one of the variables becomes redundant and the B-polynomial is equivalent to the Tutte polynomial. We explore various properties, expansions, specializations, and generalizations of the B-polynomial, and try to answer the following questions: 1. what properties of the digraph can be detected from its B-polynomial (acyclicity, length of paths, number of strongly connected components, etc.)? 2. which of the marvelous properties of the Tutte polynomial carry over to the directed graph setting? The B-polynomial generalizes the strict chromatic polynomial of mixed graphs introduced by Beck, Bogart and Pham. We also consider a quasisymmetric function version of the B-polynomial which simultaneously generalizes the Tutte symmetric function of Stanley and the quasisymmetric chromatic function of Shareshian and Wachs.

A \emph{chromatic root} is a root of the chromatic polynomial of a graph. Any chromatic root is an algebraic integer. Much is known about the location of chromatic roots in the real and complex numbers, but rather less about their properties as algebraic numbers. This question was the subject of a seminar at the Isaac Newton Institute in late 2008. The purpose of this paper is to report on the seminar and subsequent developments. We conjecture that, for every algebraic integer $α$, there is a natural number $n$ such that $α+n$ is a chromatic root. This is proved for quadratic integers, an extension to cubic integers has been found by Adam Bohn. The idea is to consider certain special classes of graphs for which the chromatic polynomial is a product of linear factors and one "interesting" factor of larger degree. We also report computational results on the Galois groups of irreducible factors of the chromatic polynomial for some special graphs. Finally, extensions to the Tutte polynomial are mentioned briefly.

We study a family of polynomials associated with ascent-descent statistics on labeled rooted plane k-ary trees introduced by Gessel, from a rook-theoretic perspective. We generalize the excedance statistic on permutations to maximal nonattacking rook placements on certain rectangular boards by decomposing them into boards of staircase shape. We then relate the number of maximal nonattacking rook placements on certain skew boards to the number of regions in extended Linial arrangements by establishing a relation between the factorial polynomial of those boards to the characteristic polynomial of extended Linial arrangements. Furthermore, we give a combinatorial interpretation of the number of bounded regions in extended Linial arrangements in the setting of labeled rooted plane k-ary trees. Finally, using the work of Goldman-Joichi-White, we identify graphs whose chromatic polynomials equal the characteristic polynomials of extended Linial arrangements upto a straightforward normalization.

We explore several generalizations of Whitney's theorem -- a classical formula for the chromatic polynomial of a graph. Following Stanley, we replace the chromatic polynomial by the chromatic symmetric function. Following Dohmen and Trinks, we exclude not all but only an (arbitrarily selected) set of broken circuits, or even weigh these broken circuits with weight monomials instead of excluding them. Following Crew and Spirkl, we put weights on the vertices of the graph. Following Gebhard and Sagan, we lift the chromatic symmetric function to noncommuting variables. In addition, we replace the graph by an "ambigraph", an apparently new concept that includes both hypergraphs and multigraphs as particular cases. We show that Whitney's formula endures all these generalizations, and a fairly simple sign-reversing involution can be used to prove it in each setting. Furthermore, if we restrict ourselves to the chromatic polynomial, then the graph can be replaced by a matroid. We discuss an application to transitive digraphs (i.e., posets), and reprove an alternating-sum identity by Dahlberg and van Willigenburg.

The chromatic functor of a simple graph is a functorization of the chromatic polynomial. M. Yoshinaga showed in \cite{Yoshinaga2015} that two finite graphs have isomorphic chromatic functors if and only if they have the same chromatic polynomial. The key ingredient in the proof is the use of stable partitions of graphs. The latter is shown to be closely related to chromatic functors. In this note, we further investigate some interesting properties of chromatic functors associated to simple graphs using stable partitions. Our first result is the determination of the group of natural automorphisms of the chromatic functor, which is in general a larger group than the automorphism group of the graph. The second result is that the composition of the chromatic functor associated to a finite graph restricted to the category $\mathrm{FI}$ of finite sets and injections with the free functor into the category of complex vector spaces yields a consistent sequence of representations of symmetric groups which is representation stable in the sense of Church-Farb \cite{Church2013}.

Given a minor-closed class of graphs $\mathcal{G}$, what is the infimum of the non-trivial roots of the chromatic polynomial of $G \in \mathcal{G}$? When $\mathcal{G}$ is the class of all graphs, the answer is known to be $32/27$. We answer this question exactly for three minor-closed classes of graphs. Furthermore, we conjecture precisely when the value is larger than $32/27$.

In this note we study a certain graph polynomial arising from a special recursion. This recursion is a member of a family of four recursions where the other three recursions belong to the chromatic polynomial, the modified matching polynomial, and the adjoint polynomial, respectively. The four polynomials share many common properties, for instance all of them are of exponential type, i. e., they satisfy the identity $$\sum_{S\subseteq V(G)}f(G[S],x)f(G[V\setminus S],y)=f(G,x+y)$$ for every graph $G$. It turns out that the new graph polynomial is a specialization of the Tutte polynomial.