arXiv++ Combinatorics

We develop a Hopf-algebraic theory of graph coefficients arising in the quantum Magnus expansion. At the classical level, the expansion is governed by directed trees, whereas its quantum counterpart involves loop graphs, multiple edges, and several types of edge data. We introduce a contraction Hopf algebra of mixed quivers containing these diagrams and closed under contraction. On this algebra we define a character $e$ from normalized linear-extension data, directed-tadpole factors, and a prescription for undirected edges, and let $ω$ be its convolution inverse. Our main result is a universal closed formula for the connected function $ω_c$ on every finite mixed quiver, expressed as a finite sum over ordered set partitions of the vertices. We also construct a weighted vertex-splitting Hopf structure on the unlocalized mixed-quiver algebra, with convolution $\star_V$ and canonical edge-weight character $ζ_V$, such that $ω_c=\log_{\star_V}ζ_V$. Compatibility of the two coproducts and an explicit identity between their characters explain this equality. We further prove that the two-vertex contraction identity, tadpole factorization, vanishing on disconnected graphs, and boundary data uniquely determine $ω_c$. For acyclic quivers, the formula reduces to a permutation formula with coefficients depending only on descent numbers. We derive this formula independently from the quantum Magnus expansion using operator products and Wick contractions, showing that the physical graph coefficients are governed by the convolution structure of the contraction Hopf algebra. Further consequences include a refined quantum Murua formula and orientation-sum identities related to Tutte and chromatic polynomials.

We introduce the multiorbital bivariate chromatic polynomial F_Γ(G;x,y) = \sum_{H\leq G}\frac{1}{|H|}\sum_{h\in H}P_{Γ/h}(x,y), which aggregates the orbital bivariate chromatic polynomials associated with all subgroups of a finite group acting on a graph. We derive the equivalent element-wise representation F_Γ(G;x,y) = \sum_{g\in G}c_G(g)P_{Γ/g}(x,y), where c_G(g) = \sum_{\langle g\rangle\leq H\leq G}\frac{1}{|H|}. The coefficient function depends only on the cyclic subgroup generated by the element and is constant on conjugacy classes. This yields decompositions by cyclic subgroups and conjugacy classes and an interpretation in terms of the incidence algebra of the subgroup lattice. After normalization, the coefficients define a probability distribution obtained by choosing a subgroup uniformly and then an element uniformly from that subgroup. We also establish diagonal multiplicativity for disjoint unions and a weighted cycle-index expression for edgeless graphs. A further contribution concerns the distinguishing power of the orbital bivariate chromatic polynomial. We answer a question of Dohmen and Lange-Geisler affirmatively by exhibiting two non-isomorphic graphs, P_3 and K_2 \mathbin{\dot\cup} K_1 under C_2-actions, with identical orbital bivariate chromatic polynomials. The two actions nevertheless have different multiorbital bivariate chromatic polynomials. Thus the multiorbital polynomial is not determined by the orbital bivariate polynomial, whereas the converse question remains open.

We introduce the \emph{orbital bivariate chromatic polynomial}, which counts generalized vertex colorings of a graph up to the action of a group of symmetries. More precisely, adjacent vertices must either receive distinct colors from a set of $λ$ colors or may receive the same color from a distinguished subset of $λ-μ$ colors. This new graph polynomial simultaneously generalizes the orbital chromatic polynomial due to Cameron and Kayibi (2007) and bivariate chromatic polynomial due to Dohmen, Pönitz, and Tittmann (2003). We establish fundamental structural properties and derive explicit formulas for several graph families, including complete graphs, complete bipartite graphs, paths, cycles, and wheels. In particular, several of these results are new even in the special case of the orbital chromatic polynomial. For cycles, our results generalize Moreau's necklace polynomial and lead to a new generalization and proof of Fermat's Little Theorem.

We construct simple plane triangulations whose chromatic polynomials have real roots accumulating at every noninteger Beraha number $B_\ell=4\cos^2(π/\ell)$; the integer values $0,1,2,3$ are roots of $K_4$. The construction rests on the observation that a triangulated disk with four boundary vertices acts, inside a larger triangulation, as a transfer operator lying in a commutative three-parameter algebra. Rotating such disks by a quarter turn and composing them in series moves their eigenvalue triples around this algebra in a controllable way, and for every fixed $q\in(B_{10},4)$ one can manufacture a finite disk whose two competing local eigenvalues are strictly dominated by the third -- a physical filter. Closing a grid of such disks between two poles produces a sphere triangulation, and a fused Temperley-Lieb trace identity accounts for its chromatic polynomial completely, sector by sector, with no appeal to semisimplicity at the root of unity itself -- generic semisimplicity enters only through polynomial identities continued from $δ>2$ -- and no singular higher Jones-Wenzl projectors. In the one-cap sector a Krein-type argument shows that every sweep word has exactly one expanding eigenvalue; Gram-form inertia controls every other sector uniformly in the width. At odd Beraha indices the trace coefficient of the expanding eigenvalue vanishes; at even indices two copies of that eigenvalue cancel between adjacent sectors, and a short real-variable lemma converts either situation into genuine real roots converging to the target. Indices below eleven are treated by elementary families, exact outward-rounded integer certificates, and one explicit disk at $B_{10}$ combined with Tutte's golden identity. All graphs are ordinary, simple, unweighted plane triangulations.

The theory of combinatorial Hopf algebras (CHA) is a powerful framework for studying algebraic invariants of combinatorial objects. For instance, Stanley's chromatic symmetric function and the chromatic polynomial arise naturally from the CHA of graphs. In this paper, we define a CHA of signed graphs in order to study, in the same spirit, invariants of signed graphs such as the signed chromatic polynomial. The key ingredient of our construction is a well-chosen character, from which the signed chromatic invariants are obtained. Via the antipode, we obtain new proofs of combinatorial reciprocity results for these invariants. Moreover, by deforming the character with an additional parameter, we incorporate bivariate invariants into this framework, both for classical and signed graphs. In the classical case, this technique recovers the Tutte polynomial.

Chromatic choosability is a fundamental notion in list coloring. A graph $G$ is chromatic-choosable if its chromatic number $χ(G)$ equals its list chromatic number $χ_{\ell}(G)$. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted by $P_{\ell}(G,m)$, which is the list-coloring analogue of its chromatic polynomial $P(G,m)$. A graph $G$ is enumeratively chromatic-choosable if $P_{\ell}(G,m)=P(G,m)$ for every $m \in \mathbb{N}$. In 2002, Ohba proved that for every graph $G$, there exists an $N \in \mathbb{N}$ such that $K_p \vee G$ is chromatic-choosable whenever $p \geq N$. Allred and Mudrock recently conjectured that an analogous statement holds for enumerative chromatic choosability. In this paper, we prove that $K_1 \vee G$ is enumeratively chromatic-choosable whenever $G$ is a theta graph. Our proof combines classical inequalities, the polynomial method, and ideas from DP (or correspondence) coloring.

Let $G$ be a finite bipartite graph and let $\widetilde G$ be an $M$-fold cover. We compare independent sets of $\widetilde G$ with those of the trivial cover, consisting of $M$ disjoint copies of $G$, after prescribing how many vertices are selected above each vertex of $G$. A conjecture from 2011, motivated by the Bethe approximation, asserts that the trivial cover maximizes every such count. We prove this for every feasible occupation profile whose active graph has treewidth at most two or is chordal bipartite. Equality holds exactly when the restricted cover is flat, meaning that fibre relabelings make it trivial. For $M\ge2$ and positive feasible occupations, a nonflat cover of a connected bipartite graph of treewidth at most two has a deficit of at least twice the coefficient of $p_G^{M-2}$ with every occupation reduced by one. A holonomy-dependent bound improves the factor to three for odd-order holonomy; both uniform constants are sharp. Comparison and rigidity survive finite compositions along an edge or a vertex, and quantitative bounds from one piece propagate to the whole graph, giving results beyond the two original classes. On any bipartite base, the first nonzero homogeneous defect is determined by the shortest cycles with nontrivial holonomy. At singleton occupations, our counts are numbers of DP-colorings of full covers. The dual DP color function on these classes and their finite seam compositions equals the chromatic polynomial, with equality attained precisely by canonical labelings. Dong's chromatic-polynomial inequality then yields the Dual-DP Shameful inequality on the same graph class. The main theorems have been formalized in Lean 4.

The DP color function $P_{DP}(\mathcal{H}, k)$ of a hypergraph $\mathcal{H}$ is defined as the minimum possible value of $P_{DP}(\mathcal{H}, \mathcal{F})$ taken over all $k$-fold covers $\mathcal{F}$ of $\mathcal{H}$. It serves as an extension of the classical chromatic polynomial. In this paper, we investigate the DP color function for two constructions: the join of a hypergraph with a complete graph and vertex-gluings of certain hypergraphs. Both constructions extend some results of Becker et al.

We provide in this text a new framework for a family of combinatorial Hopf algebras. We adopt for this the language of species and twisted bialgebras (also known as Hopf monoids). We define the category of combinatorial twisted bialgebras (briefly, CTBs), a class of twisted bialgebras satisfying strong combinatorial conditions of compatibilities of the product and the coproduct with the underlying combinatorial structure. The considered morphisms also have to respect the combinatorial structure, in some sense. Many classical examples fit into this framework, including Hopf algebras of graphs, rooted trees, posets, hypergraphs, symmetric functions, boolean maps, etc. Most of known combinatorial Hopf algebras can be obtained from a CTB by application of a Fock functor, or by duality. A central result is the introduction of a universal CTB denoted by $\mathbf{Exch}$, built from collections of compositions satisfying a certain exchange condition. It has a special character $ε$, such that the pair $(\mathbf{Exch},ε)$ plays a role analogous to that of quasi-symmetric functions for graded and connected Hopf algebras: it is the terminal object in the category of CTBs equipped with combinatorial characters. This leads to universal morphisms that encode important information about the combinatorial structure of coproducts. The natural order on the set of compositions on a fixed set is used to define three important sub-objects $\mathbf{Exch}\_-$, $\mathbf{Exch}\_+$ and $\mathbf{Exch}\_{+\hspace{-2mm}+}$ of $\mathbf{Exch}$. We also studies polynomial invariants associated with CTBs. It establishes a correspondence between characters and polynomial invariants. Well-known invariants such as the chromatic polynomial of graphs and the Ehrhart polynomials of posets arise naturally within this framework. We show that, for a given degree, only finitely many polynomial invariants can occur. We show that these universal polynomial invariants can be used to give cancellation-free formulas for the antipode or the Eulerian idempotent, under conditions on the CTB, and use this for an example based on rooted trees, coming from a Hopf algebra used in linguistics. Results are also obtained for families of polynomial invariants with the alternating sign condition, or satisfying a reciprocity principle. We also extend the theory to combinatorial twisted double bialgebras (briefly, CTDBs), which involve two interacting coproduct structures. These generalize previously known examples arising from graphs, posets, hypergraphs, and rooted trees. The twisted approach preserves the combinatorial richness of these structures while providing a unified algebraic framework. We show that not any CTB can be made a CTDB, leading to the introduction of the notion of quasi-cocommutativity. In particular, we show that $\mathbf{Exch}\_+$ is not a CTDB, and construct a sub-object which is, in a unique way, and maximal for the inclusion. In the cocommutative case, simplifications naturally occur, and we show that in this case, a CTB of hypergraphs plays a central role, especially two sub-objects based on connectedness systems and antichain covers. We also show that, in the cocommutative case, the universal polynomial invariants are always chromatic polynomials of hypergraphs, no matter which CTB is considered. Finally, forgetting the combinatorial underlying structure, we study the algebraic structure of $\mathrm{Exch}$, with the help of a twisted version of Loday and Ronco's rigidity theorem for infinitesimal bialgebras.

The main aim of this article is to obtain explicit formulas for the root multiplicities of a class of finite-rank symmetrizable Borcherds-Kac-Moody algebras g(A) whose real part is of type A. The Dynkin diagram of each such algebra is obtained from the disjoint union of a Dynkin diagram of type A and a finite simple graph G_im, whose vertices correspond to imaginary simple roots, by choosing one vertex in each and joining the chosen vertices by a single edge of multiplicity c>0. More generally, we consider the same construction with the type A diagram replaced by the Dynkin diagram of an arbitrary finite-rank symmetrizable Kac-Moody algebra g_re. The resulting symmetrizable Borcherds-Kac-Moody algebra g(A) has real part g_re and imaginary part represented by G_im. Our starting point is a graph-theoretic description of the quotient of the denominator products of g(A) and g_re. This quotient is a multivariate independence polynomial of G_im, with the variable corresponding to the attachment vertex weighted by normalized highest-weight characters of g_re. We prove that the coefficients of powers of this quotient factor into a generalized chromatic polynomial and a tensor-power weight multiplicity. Using this, we obtain explicit formulas for all root multiplicities with nonzero imaginary component in terms of generalized chromatic polynomials of G_im and weight multiplicities in tensor products of highest-weight modules of g_re. When G_im is chordal, these formulas specialize to finite divisor sums involving products of binomial coefficients; paths and complete graphs provide particular examples. In particular, we obtain explicit formulas for the root multiplicities of g(A) when its real part g_re is of type A.

We introduce the concepts of marked multi-colorings, marked chromatic polynomials, and marked (multivariate) independence series for hypergraphs. We show that the coefficients of the q-th power of the marked independence series of a hypergraph coincide with its marked chromatic polynomials in q, thereby generalizing a corresponding result for graphs established in Chaithra et al. 2025 (arXiv:2503.11230). These notions are then naturally extended to subspace arrangements. In particular, we prove that the number of marked multi q-colorings of a subspace arrangement is a polynomial in q. We also define the (marked) independence series for subspace arrangements and prove that the (-q)-th power of the independence series of a hyperplane arrangement has non-negative coefficients. We further investigate the coefficientwise non-negativity of the (-q)-th power of the independence series of a hypergraph. We show that all edges must have even cardinality for this non-negativity to hold, and provide a counterexample demonstrating that this condition is not sufficient.

c-Polynomials are polynomials whose (non-zero) coefficients are all equal to 1. Taking a theorem by Carlitz and Moser as a motivation, we prove a structure theorem for the factorisations of the c-polynomial $(x^n-1)/(x-1)$ into c-irreducible factors by relating c-torisations into c-polynomials to joint ordered factorisations arising from the integer n. The question of how many different joint ordered factorisations there are leads to the precise chromatic polynomial for path graphs, counting the ways of path graph colourings with $m$ colours under the condition that all colours are used. Moreover, we give similar counting formulae for joint ordered factorisations under the constraints that all factors are primes, or that all factors are square-free.

For a graph $G$ and an integer $d\geq 0$, the defective chromatic polynomial $χ_d(G;k)$ counts the $k$-colorings of $G$ in which each vertex has at most $d$ neighbors of its own color. We investigate which structural properties of $G$ are determined by the full family $\{χ_d(G;k)\}_{d\geq 0}$. We establish a contraction formula expressing $χ_d(G;k)$ as a sum of ordinary chromatic polynomials of the edge contractions of $G$. As a first application, we prove that for triangle-free graphs, the full family determines the degree sequence. For trees, we show further that the family $\{χ_d(T;k)\}_{d\geq 0}$ determines the path-subgraph counts $N(P_j,T)$ for $j=1,2,3,4$, but not for $j=5$. For each $n\geq 9$, we construct a pair of nonisomorphic trees of order $n$ that share the same defective chromatic polynomials for every $d\geq 0$.

We study the behavior of the characteristic and chromatic polynomials of certain families of graphs and their relation to homomorphism counts, focusing on polynomial dependence of the coefficients at each fixed codegree on the graph family parameter. We prove that the characteristic polynomials of strongly regular graphs with polynomial parameters form a two-level polynomial of infinite depth in the sense of Bogart and Woods. In contrast, the chromatic polynomials of Paley graphs have maximal constant depth two: their coefficient of codegree three is not eventually polynomial in the number of vertices. We also prove that both the chromatic and characteristic polynomials of every strongly polynomial graph sequence, in the sense of de La Harpe and Jaeger, have infinite depth. Finally, we investigate homomorphism counts between two strongly polynomial graph sequences. We show that infinite depth need not hold in general, but we construct target sequences for which it holds for every strongly polynomial source sequence.

The classic enumerative functions for counting colorings of a graph $G$, such as the chromatic polynomial $P(G,k)$, do so under the assumption that the given graph is labeled. In 1985, Hanlon defined and studied the chromatic polynomial for an unlabeled graph $\mathcal{G}$, $P(\mathcal{G}, k)$. Determining $P(\mathcal{G}, k)$ amounts to counting colorings under the action of automorphisms of $\mathcal{G}$. In this paper, we consider the problem of counting list colorings of unlabeled graphs. We extend Hanlon's definition to the list context and define the unlabeled list color function, $P_\ell(\mathcal{G}, k)$, of an unlabeled graph $\mathcal{G}$. In this context, we pursue a fundamental question whose analogues have driven much of the research on counting list colorings and its generalizations: For a given unlabeled graph $\mathcal{G}$, does $P_\ell(\mathcal{G}, k) = P(\mathcal{G}, k)$ when $k$ is large enough? We show the answer to this question is yes for almost all graphs, in particular, for a large class of unlabeled graphs that includes point-determining graphs (also known as twin-free graphs, irreducible graphs, and mating graphs).

Introduced by Birkhoff in 1912 to study the four-color conjecture, the chromatic polynomial has become one of the most extensively studied graph polynomials. It is closely connected to the Tutte polynomial through specialization, to the characteristic polynomial of the associated graphic matroid, and to the flow polynomial through planar duality. It has also inspired several related polynomials, including the $σ$-polynomial, the $w$-polynomial, and the $τ$-polynomial. This survey examines these relationships, illustrated in Figure 1, and reviews the main results.

Let $G$ be a simple graph with maximum degree $Δ\ge 3$, and let $P(G,k)$ denote its chromatic polynomial. For each positive integer $k$, the list-color function $P_{\ell}(G,k)$ is the minimum number of $L$-colorings of $G$ over all $k$-assignments $L$. In this paper, we prove that $P_{\ell}(G,k)=P(G,k)$ for every integer $k\ge 23.41Δ$. This gives a threshold for equality that is linear in the maximum degree and independent of the number of vertices or edges. It improves the known sufficient condition $k\ge |E(G)|-1$ for graphs with sufficiently many edges relative to their maximum degree.

For a simple graph $G$ with $n$ vertices, write its chromatic polynomial in the rising factorial basis as $$ χ_G(x)=\sum_{i=0}^{n}(-1)^{n-i}c_i(G)\langle x\rangle_i,$$ where $ \langle x\rangle_i=x(x+1)\cdots(x+i-1).$ The associated $τ$-polynomial $$ τ_G(x)=\sum_{i=0}^{n}c_i(G)x^i $$ was defined and systematically investigated by Brenti in 1992. In this paper, we prove that if the $τ$-polynomials of two vertex-disjoint simple graphs $G$ and $H$ have only real zeros, then the $τ$-polynomial of their join $G\vee H$ has only real zeros. This settles a conjecture posed by Brenti, Royle and Wagner since 1994.

A graph $H$ is $K_{r+1}$-Turán-good if, for every sufficiently large $n$, the Turán graph $T_r(n)$ maximizes the number of copies of $H$ among all $n$-vertex $K_{r+1}$-free graphs, and it is strictly $K_{r+1}$-Turán-good when this extremal graph is unique. Morrison, Nir, Norin, Rzążewski and Wesolek proved that for every graph $H$ with at least one edge, when $r\ge 300v(H)^9$, $H$ is $K_{r+1}$-Turán-good. They asked whether the above bound could be reduced to quadratic order in $v(H)$. In this paper, we answer their question affirmatively, and give a stronger result. We prove that there is an absolute constant $C>0$ such that every graph $H$ with at least one edge is strictly $K_{r+1}$-Turán-good whenever $r\ge Cv(H)$. Our proof uses a substantially different cluster method based on polymer models. Besides proving the vertex-linear Turán-good threshold, this method appears to have further applications. As one illustration, we prove that for every graph $H$ with at least one edge, the normalized chromatic polynomial $P_H(x)/x^{v(H)}$ is strictly increasing for every real $x\ge CΔ(H)$, which strengthens the previously best result where $x\ge CΔ(H)^{3/2}$. This proves a conjecture of Fadnavis.

For any graph $G$, let $P(G,k)$ and $P_{\ell}(G,k)$ denote the chromatic polynomial and the list-color function of $G$, respectively. It remains an open problem whether, for every graph $G$ and integer $k$, the equality $P(G,k)=P_{\ell}(G,k)>0$ implies that $P(G,k+1)=P_{\ell}(G,k+1)$ also holds. In this paper, we answer this question in the negative. For every integer $k\ge 3$, we construct an infinite family of graphs $G$ such that $P(G,k)=P_{\ell}(G,k)>0$ while $P(G,k+1)>P_{\ell}(G,k+1)$. Moreover, using this infinite family of graphs as attachment gadgets, we further show that any graph $H$ with $P(H,k)=P_{\ell}(H,k)>0$ can be developed into an infinite family of graphs $H'$ with $P(H',k)=P_{\ell}(H',k)>0$ and $P(H',k+1)>P_{\ell}(H',k+1)$.