arXiv++ Combinatorics

We examine combinatorial counting functions with two parameters, $n$ and $q$. For fixed $q$, these functions are (quasi-)polynomial in $n$. As $q$ varies, the degree of this polynomial is itself polynomial in $q$, as are the leading coefficients. We carefully define these two-level polynomials, lay out their basic algebraic properties, and provide a schema for showing a function is a two-level polynomial. Using the schema, we prove that a variety of counting functions arising in different areas of combinatorics are two-level polynomials. These include chromatic polynomials for many infinite families of graphs, partitions of an integer into a given number of parts, placing non-attacking chess pieces on a board, Sidon sets, and Sheffer sequences (including binomial type and Appell sequences).

In this paper we take inspiration from Weit'z algorithm for approximating the independence polynomial to provide a new algorithm for computing the coefficients of the Taylor series of the logarithm of the independence polynomial. Hereby we provide a clear connections between Barvinok's interpolation method and Weitz's algorithm. Our algorithm easily extends to other graph polynomials and partition functions and we illustrate this by applying it to the chromatic polynomial and to the graph homomorphism partition function. Our approach arguably yields a simpler and more transparent algorithm than the algorithm of Patel and the second author. As an application of our algorithmic approach we moreover derive, using the interpolation method, a deterministic $O(n(m/\varepsilon)^{7})$-time algorithm that on input of an $n$-vertex and $m$-edge graph of minimum degree at least $3$ and $\varepsilon>0$ approximately computes the number of sink-free orientations of $G$ up to a multiplicative $\exp(\varepsilon)$ factor.

A recent result of Lofano and Paolini expresses the characteristic polynomial of a real hyperplane arrangement in terms of a projection statistic on the regions of the arrangement. We use this result to give an alternative proof for Greene and Zaslavsky's interpretation for the coefficients of the chromatic polynomial of a graph and further generalize this interpretation to signed graphs. We also show that this projection statistic has a nice combinatorial interpretation in the case of the braid arrangement, which generalizes to graphical arrangements of natural unit interval graphs.

Given a graph $G$, the $k$-coloring graph $\mathcal{C}_k(G)$ is constructed by selecting proper $k$-colorings of $G$ as vertices, with an edge between two colorings if they differ in the color of exactly one vertex. The number of vertices in $\mathcal{C}_k(G)$ is the famous chromatic polynomial of $G$. Asgarli, Krehbiel, Levinson and Russell showed that for any subgraph $H$, the number of induced copies of $H$ in $\mathcal{C}_k(G)$ is a polynomial function in $k$. Hogan, Scott, Tamitegama, and Tan found a shorter proof for polynomiality of these chromatic $H$-polynomials. In this paper, we provide a method of constructing these polynomials explicitly in terms of chromatic polynomials of shadow graphs. We illustrate the practicality of our formulas by computing an explicit formula for $H$-polynomial for trees when $H=Q_d$ is an arbitrary hypercube, a task which does not seem approachable from previous methods. The coefficients of the resulting polynomials feature generalized degree sequences introduced by Crew. In the special case when $H=P_2$, the corresponding polynomial is dubbed the chromatic pairs polynomial. We present a pair of graphs $G_1$ and $G_2$ sharing the same chromatic pairs polynomial but different chromatic polynomials, disproving a conjecture raised by Asgarli, Krehbiel, Levinson and Russell.

Chromatic-choosablility is a notion of fundamental importance in list coloring. A graph is chromatic-choosable when its chromatic number is equal to its list chromatic number. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted $P_{\ell}(G,m)$, which is the list analogue of the chromatic polynomial of $G$, $P(G,m)$. It is known that for any graph $G$ there is a positive integer $k$ such that $P_{\ell}(G,m) = P(G,m)$ whenever $m \geq k$. In this paper, we study enumerative chromatic-choosability. A graph $G$ is enumeratively chromatic-choosable when $P_{\ell}(G,m) = P(G,m)$ whenever $m \in \mathbb{N}$. We completely determine the graphs of chromatic number two that are enumeratively chromatic-choosable. We construct examples of graphs that are chromatic-choosable but fail to be enumeratively-chromatic choosable, and finally, we explore a conjecture as to whether for every graph $G$, there is a $p \in \mathbb{N}$ such that the join of $G$ and $K_p$ is enumeratively chromatic-choosable. The techniques we use to prove results are diverse and include probabilistic ideas and ideas from DP (or correspondence)-coloring.

We prove that for any graph $G$ the (complex) zeros of its chromatic polynomial, $χ_G(x)$, lie inside the disk centered at $0$ of radius $4.25 Δ(G)$, where $Δ(G)$ denotes the maximum degree of $G$. This improves on a recent result of Jenssen, Patel and Regts, who proved a bound of $5.94Δ(G)$. Moreover, we show that for graphs of sufficiently large girth we can replace $4.25$ by $3.60$ and for claw-free graphs we can replace $4.25$ by $3.81$. Our proofs add some substantially novel ideas to those developed by Jenssen, Patel, and Regts, while building on them. A key novel ingredient for claw-free graphs is to use a representation of the coefficients of the chromatic polynomial in terms of the number of certain partial acyclic orientations.

Motivated by Stanley's generalization of the chromatic polynomial of a graph to the chromatic symmetric function, we introduce the characteristic polynomial of a representation of the symmetric group, or more generally, of a symmetric function. When the representation arises from geometry, the coefficients of its characteristic polynomial tend to form a log-concave sequence. To illustrate, we investigate explicit examples, including the $n$-fold products of the projective spaces, the GIT moduli spaces of points on $\mathbb{P}^1$ and Hessenberg varieties. Our main focus lies on the cohomology of the moduli space of pointed rational curves, for which we prove asymptotic formulas of its characteristic polynomial and establish asymptotic log-concavity.

After the discovery of Khovanov homology, which categorifies the Jones polynomial, an analogous categorification of the chromatic polynomial, known as chromatic homology, was introduced. Its graded Euler characteristic recovers the chromatic polynomial. In this paper, we present a spanning tree model for the chromatic complex, i.e., we describe a chain complex generated by certain spanning trees of the graph that is chain homotopy equivalent to the chromatic complex. We employ the spanning tree model over $\mathcal{A}_m:= \frac{\mathbb{Z}[x]}{<x^m>}$ algebra to answer two open questions. First, we establish the conjecture posed by Sazdanovic and Scofield regarding the homological span of chromatic homology over $\\mathcal{A}_m$ algebra, demonstrating that for any graph $G$ with $v$ vertices and $b$ blocks, the homological span is $v - b$. Additionally, we prove a conjecture of Helme-Guizon, Przytycki, and Rong concerning the existence of torsion of order dividing $m$ in chromatic homology over $\mathcal{A}_m$ algebra.

In this article, we introduce the DP color function of a hypergraph, based on the DP coloring introduced by Bernshteyn and Kostochka, which is the minimum value where the minimum is taken over all its k-fold covers. It is an extension of its chromatic polynomial. we obtain an upper bound for the DP color functions of hypergraphs when hypergraphs are connected r-uniform hypergraphs for any r greater than one. The upper bound is attained if and only if the hypergraph is a r-uniform hypertree. We also show the cases of the DP color function equal to its chromatic polynomial. These conclusions coincide with the known results of graphs.

Infinite-dimensional Lie superalgebras, particularly Borcherds-Kac-Moody (BKM) superalgebras, play a fundamental role in mathematical physics, number theory, and representation theory. In this paper, we study the root multiplicities of BKM superalgebras via their denominator identities, deriving explicit combinatorial formulas in terms of graph invariants associated with marked (quasi) Dynkin diagrams. We introduce partially commutative Lie superalgebras (PCLSAs) and provide a direct combinatorial proof of their denominator identity, where the generating set runs over the super heaps monoid. A key notation in our approach is marked multi-colorings and their associated polynomials, which generalize chromatic polynomials and offer a method for computing root multiplicities. As applications, we characterize the roots of PCLSAs and establish connections between their universal enveloping algebras and right-angled Coxeter groups, leading to explicit formulas for their Hilbert series. These results further deepen the interplay between Lie superalgebras, graph theory, and algebraic combinatorics.

We investigate a cancellation property satisfied by a connected Eulerian digraph $D$. Namely, unless $D$ is a single directed cycle, we have $\sum_{k\geq 1} (-1)^{k} f_k(D)=0$, where $f_k(D)$ is the number of partitions of Eulerian circuits of $D$ into $k$ circuits. This property is a consequence of the fact that the Martin polynomial of a digraph has no constant term. We provide an alternative proof by employing Viennot's theory of Heaps of Pieces, and in particular, a bijection between closed trails of a digraph and heaps with a unique maximal piece, which are also in bijection with unique sink orientations of the intersection graphs $G_a$ of partitions $a$ of $E(D)$ into cycles. The argument considers the partition lattice of the edge set of a digraph $D$, restricted to the join-semilattice $T(D)$ induced by elements whose blocks are connected and Eulerian. The minimal elements of $T(D)$ are exactly the partitions of $D$ into cycles, and the up-set of a minimal element $a\in T(D)$ is shown to be isomorphic to the bond lattice $L(G_a)$. Using tools developed by Whitney and Rota, we perform Möbius inversion on $T(D)$ and obtain the claimed cancellation. As a consequence of this alternative proof, we relate the Martin polynomial of a digraph directly to the chromatic polynomials of the intersection graphs of partitions of $D$ into cycles. Finally, we apply the cancellation property in order to deduce the classical Harary-Sachs Theorem for graphs of rank $2$ from a hypergraph generalization thereof, remedying a gap in a previous proof of this.

The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted $P(G,k)$, it equals the number of proper $k$-colorings of graph $G$. Enumerative analogues of the chromatic polynomial of a graph have been introduced for two well-studied generalizations of ordinary coloring, namely, list colorings: $P_{\ell}$, the list color function (1990); and DP colorings: $P_{DP}$, the DP color function (2019), and $P^*_{DP}$, the dual DP color function (2021). For any graph $G$ and $k \in \mathbb{N}$, $P_{DP}(G, k) \leq P_\ell(G,k) \leq P(G,k) \leq P_{DP}^*(G,k)$. In 2000, Dong settled a conjecture of Bartels and Welsh from 1995 known as the Shameful Conjecture by proving that for any $n$-vertex graph $G$, $P(G,k+1)/(k+1)^n \geq P(G,k)/k^n$ for all $k \in \mathbb{N}$ satisfying $k \geq n-1$. In contrast, for infinitely many positive integers $n$, Seymour (1997) gave an example of an $n$-vertex graph for which the above inequality does not hold for some $k = Θ(n/ \log n)$. In this paper, we consider analogues of Dong's result for list and DP color functions. Specifically, in contrast to the chromatic polynomial, we prove that for any $n$-vertex graph $G$, $P_{\ell}(G,k+1)/(k+1)^n \geq P_{\ell}(G,k)/k^n$ and $P_{DP}(G,k+1)/(k+1)^n \geq P_{DP}(G,k)/k^n$ for all $k \in \mathbb{N}$. For the dual DP analogue of these inequalities, we show that there is a graph $G$ and $k \in \mathbb{N}$ such that $P_{DP}^*(G,k+1)/(k+1)^n < P_{DP}^*(G,k)/k^n$, and we prove $P_{DP}^*(G,k+1)/(k+1)^n \geq P_{DP}^*(G,k)/k^n$ for all $k \in \mathbb{N}$ satisfying $k \geq n-1$ when $G$ is an $n$-vertex complete bipartite graph.

We first observe a mysterious similarity between the braid arrangement and the arrangement of all hyperplanes in a vector space over the finite field $\mathbb{F}_q$. These two arrangements are defined by the determinants of the Vandermonde and the Moore matrix, respectively. These two matrices are transformed to each other by replacing a natural number $n$ with $q^n$ ($q$-deformation). In this paper, we introduce the notion of ``$q$-deformation of graphical arrangements'' as certain subarrangements of the arrangement of all hyperplanes over $\mathbb{F}_q$. This new class of arrangements extends the relationship between the Vandermonde and Moore matrices to graphical arrangements. We show that many invariants of the ``$q$-deformation'' behave as ``$q$-deformation'' of invariants of the graphical arrangements. Such invariants include the characteristic (chromatic) polynomial, the Stirling number of the second kind, freeness, exponents, basis of logarithmic vector fields, etc.

The intersection numbers of moduli spaces of stable curves $\overline{\mathcal{M}}_{g,m}$ are well-studied and are known to have rich combinatorial structure. We introduce a natural class of these intersection numbers $ω_{G,g,m}$ indexed by finite simple graphs $G=(V,E)$. In genus zero, these numbers are closely related to several previously-studied quantities, including maximum likelihood degrees in algebraic statistics, counts of regions of certain hyperplane arrangements, and Kapranov degrees. We give two proofs of a simple closed formula $ω_{G,g,m}=(-1)^{\left\lvert V \right\rvert}χ_G(-(2g-2+m)),$ where $χ_G$ is the chromatic polynomial of $G$ -- one proof via intersection theory on moduli spaces of stable curves, and the other using the theory of hyperplane arrangements. We discuss several related questions and speculations, including new candidates for the chromatic polynomial of a directed graph.

In a recent paper by M.Kazarian and the second author, a recurrence for the Lie algebras $\mathfrak{so}(N)$ weight systems has been suggested; the recurrence allows one to construct the universal $\mathfrak{so}$ weight system. The construction is based on an extension of the $\mathfrak{so}$ weight systems to permutations. Another recent paper, by M. Kazarian, N. Kodaneva, and the first author, shows that under the substitution $C_m=xN^{m-1}, m=1,2,\dots,$ for the Casimir elements $C_m$, the leading term in $N$ of the value of the universal $\mathfrak{gl}$ weight system becomes the chromatic polynomial of the intersection graph of the chord diagram. In the present paper, we establish a similar result for the universal $\mathfrak{so}$ weight system. That is, we show that the leading term of the universal $\mathfrak{so}$ weight system also becomes the chromatic polynomial under a specific substitution.

The purpose of the present paper is to provide, for all pairs of integers $(Δ,g)$ with $\D\ge 3$ and $g\ge 3$, a positive number $C(Δ, g)$ such that chromatic polynomial $P_G(q)$ of a graph $G$ with maximum degree $Δ$ and finite girth $g$ is free of zero if $|q|\ge C(Δ, g)$. Our bounds enlarge the zero-free region in the complex plane of $P_G(q)$ in comparison to previous bounds. In particular, for small values of $\D$ our estimates yield a sensible improvement on the bounds recently obtained by Jenssen, Patel and Regts in \cite{JPR}, while they coincide with those of \cite{JPR} when $Δ\to \infty$.

The chromatic symmetric $X_G$ function is a symmetric function generalization of the chromatic polynomial of a graph, introduced by Stanley (1995). Stanley gave an expansion formula for $X_G$ in terms of the power sum symmetric functions $p_λ$ using the principle of inclusion-exclusion, and in arXiv:1904.01262, Bernardi and Nadeau gave an alternate $p$-expansion for $X_G$ in terms of acyclic orientations. In arXiv:2301.02177, Crew, Pechenik, and Spirkl defined the Kromatic symmetric function $\overline{X}_G$ as a $K$-theoretic analogue of $X_G$, constructed in the same way except that each vertex is assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. They defined a $K$-analogue $\overline{p}_λ$ of the power sum basis and computed the first few coefficients of the $\overline{p}$-expansion of $\overline{X}_G$ for some small graphs $G$. They conjectured that the $\overline{p}$-expansion always has integer coefficients and asked whether there is an explicit formula for these coefficients. In this note, we give a formula for the $\overline{p}$-expansion of $\overline{X}_G$, show two ways to compute the coefficients recursively (along with examples), and prove that the coefficients are indeed always integers. In a more recent paper arXiv:2502.21285, we use our formula from this note to give a combinatorial description of the $\overline{p}$-coefficients $[\overline{p}_λ]\overline{X}_G$ and a simple characterization of their signs in the case of unweighted graphs.

In 1980, Athreya, Pranesachar and Singhi established the chromatic polynomial of $(3 \times n)$-Latin rectangles whose entries based on a set $\{1, 2, ..., λ\}$ in which $λ\geq n$. Their proof requires Möbius inversion formula and lattice partitions. In this paper, we present a simpler proof by using the idea of mathematical induction and appropriate coloring.

DP-coloring (also called correspondence coloring) is a generalization of list coloring that was introduced by Dvořák and Postle in 2015. The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted $P(G,m)$, it equals the number of proper $m$-colorings of graph $G$. Counting function analogues of chromatic polynomials have been introduced for list colorings: $P_{\ell}$, list color functions (1990); DP colorings: $P_{DP}$, DP color functions (2019), and $P^*_{DP}$, dual DP color functions (2021). For any graph $G$ and $m \in \mathbb{N}$, $P_{DP}(G, m) \leq P_\ell(G,m) \leq P(G,m) \leq P_{DP}^*(G,m)$. In 2022 (improving on older results) Dong and Zhang showed that for any graph $G$, $P_{\ell}(G,m)=P(G,m)$ whenever $m \geq |E(G)|-1$. Consequently, the list color function of a graph is a polynomial for sufficiently large $m$. One of the most important and longstanding open questions on DP color functions asks: for every graph $G$ is there an $N \in \mathbb{N}$ and a polynomial $p(m)$ such that $P_{DP}(G,m) = p(m)$ whenever $m \geq N$? We show that the answer to the analogue of this question for dual DP color functions is no. Our proof reveals a connection between a dual DP color function and the balanced chromatic polynomial of a signed graph introduced by Zaslavsky in 1982.

In the present note we show, via the connection between chromatic polynomial and Potts model, that the Whitney Broken circuit theorem is in fact a special case of a more general identity relating the chromatic polynomial of a graph G=(V,E) to sums over forests of G associated to some partition scheme in G.