arXiv++ Combinatorics

We prove an $e$-positive formula for the chromatic symmetric function of proper circular arc graphs solving the $q=1$ case of a conjecture of Ellzey and of Alexandersson and Panova. In doing so, we provide a new proof of the $e$-positivity of unit interval graphs, which alongside Guay-Paquet's reduction gives a new proof of the Stanley--Stembridge conjecture. We define color matrices, which count proper colorings, and tableau matrices, whose entries are nonnegative rational numbers and ratios of elementary symmetric functions. We prove the two matrices are related by a single family of change of basis matrices, which become invertible after restricting to finitely many colors, and we show the chromatic symmetric function of proper circular arc graphs comes from taking the trace of these matrices. Using Hikita's tableaux, this gives an explicit formula for the chromatic symmetric function of a proper circular arc graph as a weighted sum over tableaux whose first and last $k$ vertices lie in the same columns.

For a polynomial $F(t) = 1 + a_1 t + a_2 t^2 +\dots + a_d t^d$ with coefficients in a $\mathbb{Q}$-algebra $\mathcal{R}$, we consider Schur-positivity of the symmetric function $Ω_F(\mathbf{x}) = \prod_{i \geq 1} F(x_i)$. Using work of Lindström and Gessel--Viennot, we give sufficient conditions for Schur-positivity in terms of directed networks. In the case when $F(t)$ is the multivariate independence polynomial of the incomparability graph $inc(P)$ of a natural unit interval order, we apply these ideas to give a new proof of Schur-positivity of the chromatic symmetric function $X_{inc(P)}(\mathbf{x})$. Additionally, we prove Schur-positivity of certain sums of chromatic symmetric functions, refining recent work of Amdeberhan--Shareshian--Stanley. In the case when $\mathcal{R} = \mathbb{Q}[z_1,z_2,\dots,z_n]$, we prove necessary and sufficient conditions for Schur-positivity in terms of symmetric function evaluations. In particular, we show for $\mathbf{u}, \mathbf{v} \in \mathbb{R}_{\geq 0}^n$, $s_λ(\mathbf{u}) \geq s_λ(\mathbf{v})$ for all partitions $λ$ if and only if $m_λ(\mathbf{u}) \geq m_λ(\mathbf{v})$ for all partitions $λ$, and these inequalities are equivalent to $\mathbf{u}$ log-majorizing $\mathbf{v}$. Using representation theory of $GL(\mathbb{C}^n)$, we prove Schur-positivity of $Ω_F(\mathbf{x})$ when $F(t) = \det(I + t\sum_{i = 1}^m z_i \mathbf{v}_i \mathbf{v}_i^*)$ for a collection of vectors $\mathbf{v}_1,\mathbf{v}_2,\dots, \mathbf{v}_m \in \mathbb{C}^n$. As an application for this result, we introduce the Kirchhoff symmetric function $K_G(\mathbf{x})$ of a loopless graph $G$ and show that it it always Schur-positive.

We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graphical algebras and defined by deletion and loopy contraction, in which the contracted edge is retained as a loop. It determines the Tutte polynomial and admits a spanning-forest expansion recording external activity componentwise. It also determines Stanley's chromatic symmetric function for every graph; the degree sequence, induced edge count profile, and independence polynomial for loopless graphs; and the clique and matching polynomials for simple graphs. Separating component size from external activity gives a refinement that is equivalent to the extended U-polynomial and the extended polychromate. The ordinary U-polynomial, Tutte's universal $V$-function, and Stanley's Tutte symmetric function are specializations of this refinement. We conjecture that L_G and U_G have the same distinguishing power on simple graphs, and verify this through eleven vertices. We exhibit five-vertex loopless multigraphs with equal U-polynomials but distinct loopy and extended U-polynomials, solving a problem of Merino and Noble. We also disprove Loebl's conjecture for chordal graphs and its restriction to split graphs, with counterexamples on eleven and fourteen vertices, respectively. For the score polytope P_G of the external bizonotopal algebra, we give a geometric realization of loopy deletion-contraction. The resulting forest-indexed geometric parking complexes partition the lattice points of P_G and are piecewise integral-affinely parametrized by boxes whose interval lengths are the component indices in the forest expansion.

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.

Splines on Weyl groups model the equivariant cohomology of regular semisimple Hessenberg varieties, and the natural group action on them encodes the monodromy action. The resulting representations are of great interest in algebraic combinatorics for their connections to Hecke algebra characters, LLT polynomials, and chromatic symmetric functions. We study the analogous construction for dihedral groups, which in general have no underlying geometry. Using purely algebraic methods, we show that these spline modules are free, construct explicit bases, and compute their Hilbert series, recovering the familiar properties of the geometric setting. We also determine the associated dihedral group representations completely. Unlike what is conjectured for the symmetric group case, these need not be permutation representations.

Determining when the chromatic symmetric function of a graph is Schur positive is a central problem in algebraic combinatorics. Elementary expansions can help answer this question, but negative coefficients obstruct a direct positivity argument. We develop methods for proving Schur positivity from signed elementary expansions and apply them to chromatic symmetric functions of clique-spiders and three-legged spiders. We first give the Schur alpha-omega lemma, which bounds Schur support. We then give four equivalent sufficient criteria for Schur positivity from a fixed composition-indexed elementary expansion. The matrix, order-ideal, negative Hall, and positive Hall formulations treat positive coefficients as capacities and negative coefficients as demands, with admissible assignments governed by dominance order. These criteria provide certificates of Schur positivity especially when elementary coefficients are negative. For the four basic families of $3$-clique-spiders with total leg length at most one, we obtain complete classifications of both $e$-positivity and Schur positivity. These classifications show how the position of a single leg edge changes positivity. Using selected clique-spider cases and a path-clique bootstrap, we prove that all spiders of the form $S(a,b,2)$ are Schur positive.

Regular semisimple Hessenberg varieties are subvarieties of flag varieties defined for any reductive group. Their cohomology carries a representation of the associated Weyl group, known as the dot action representation. In type $A$, these representations can be computed using the chromatic quasisymmetric functions of naturally labeled unit interval graphs. We prove that restricting the dot action representation of any Weyl group to a type $A$ parabolic subgroup yields a representation isomorphic to a direct sum of type $A$ dot action representations. This work is motivated by the conjecture that an analogous property holds for all parabolic subgroups. In particular, for classical Weyl groups of types $B/C$ and $D$, we use chromatic symmetric functions to provide a streamlined, combinatorial formula for the restriction to a specific maximal type $A$ parabolic subgroup. As an application, we prove a conjecture of Lesnevich regarding the representations associated with ideals of types $B$ and $C$ identified under the standard poset isomorphism. Specifically, we show that the corresponding dot action representations are isomorphic if and only if the ideals determine the same reflection sets in their respective root systems. Furthermore, we show that a Catalan number counts the total number of such ideals.

The Kromatic symmetric function (KSF) $\overline{X}_{G}$, introduced by Crew, Pechenik, and Spirkl (2026), is a $K$-theoretic analogue of the chromatic symmetric function (CSF) $X_G$. We study expansion formulas for the KSF in two different bases. First, we explore recursive ways to compute the KSF's expansion in the $K$-theoretic monomial symmetric function basis $\overline{\widetilde{m}}_λ$, generalizing formulas that were used by the second author and Samanta to show that the KSF distinguishes certain families of graphs that are not distinguished by the CSF. Second, we give new interpretations for the KSF's expansion in the $K$-theoretic power sum basis $\overline{p}_λ$, using an inclusion-exclusion approach like the one from Stanley (1995) instead of an acyclic orientation approach. Finally, we give $K$-analogues of Schmitt's and of Humpert and Martin's antipode formulas for the Hopf algebra of graphs, along with a Hopf algebra interpretation for both the $\overline{p}$-expansion and $\overline{\widetilde{m}}$-expansion of the KSF.

We introduce a combinatorial definition of chromatic symmetric functions for annular webs. We prove their symmetry by constructing a web analogue of the Shareshian--Wachs involution and show that they coincide with the symmetric functions associated to annular webs via Turaev's isomorphism. We then derive explicit formulas for their hook Schur coefficients. We also introduce web LLT functions, whose hook Schur coefficients admit positive Laurent-polynomial formulas. These formulas yield a combinatorial expression for the coefficients of the HOMFLY--PT polynomial of an annular web.

Let $T$ be a tree. Stanley asked whether the chromatic symmetric function $X_T$ determines $T$ up to isomorphism. We approach this open problem by regarding $X_T$ as a polynomial in the power-sum symmetric functions $p_1, p_2, \dots$ and studying the invariant $Φ_T = (\partial X_T/\partial p_1)|_{p_1 = 0}$. We prove that $Φ_T$ distinguishes every proper tree whose weighted skeleton, the tree obtained from $T$ by weighted contraction of all leaf edges, has distinct weights at non-leaf vertices. We prove further an equivalent formulation of Stanley's question obtained by attaching a fixed positive number of leaves to every vertex of a tree. Finally, we count spanning forests with at most $t$ edges, grouping them by the sizes of their connected components. We prove that these counts cannot distinguish all trees on $k \ge 4$ vertices unless $t \ge \lfloor k/2 \rfloor$.

Stanley's tree-isomorphism conjecture asks whether the chromatic symmetric function distinguishes nonisomorphic trees. We give a reconstruction criterion that permits repeated leaf-component orders. For a proper tree, collapse each leaf component to its center and record its order as a vertex weight. We prove that the chromatic symmetric function reconstructs the tree whenever every nonleaf vertex of this weighted core has a weight that occurs nowhere else in the core. Repetitions among core leaves are unrestricted. The proof uses only the leading star-basis partition and the coefficients immediately above it. As a consequence, the conjecture holds for an infinite class of diameter-six trees not covered by the condition that all leaf-component orders are distinct. We also give a canonical integer-partition model for arbitrary diameter-six trees and an exact cut-partition implementation intended for further work. The unrestricted diameter-six case remains open.

The classical bond lattice of a graph was used in a formula of Whitney to compute the chromatic polynomial. In this paper, we use weighted versions of the bond lattice, to introduce and study a new polynomial and a new symmetric function invariant of a graph. Examples of the new polynomial invariant include the classical Narayana polynomials (for the path graph), the tree-Eulerian polynomials (for the complete graph), and the binomial-Eulerian polynomials (for the star graph). These examples suggest an interesting connection to $h$-polynomials of general graph-associahedra. We prove that for any chordal graph, our polynomial graph invariant is $γ$-positive. Multiweighted bond posets yield a symmetric function graph invariant that is an analog of the chromatic polynomial. The highest degree homogeneous component of this symmetric function is of particular interest. The parking function symmetric function introduced by Haiman arises as an example, as do symmetric functions studied by the first author in connection with multibracketed Lie algebras and with colored exterior algebras. The $γ$-positivity result mentioned above is a specialization of an $e$-positivity result for the highest degree homogeneous component, which we prove for any chordal graph using the theory of lexicographic shellability. We conjecture that this symmetric function is Schur-log-concave, which specializes to Huh's log-concavity theorem for the chromatic polynomial.

The claw-free Schur-positivity conjecture, recorded by Stanley (1998) and credited there to Gasharov, asserts that the chromatic symmetric function of every claw-free graph is Schur-positive. We give a counterexample on 12 vertices: the line graph $G$ of the graph obtained from a 4-cycle by attaching triangles at two opposite vertices and pendant edges at the other two satisfies $[s_{(3,3,3,3)}]X_G = -64$. The coefficient follows from a short computation by hand and is also reproduced by three exact implementations. An exhaustive computation over all 216,777 connected claw-free graphs on at most 11 vertices shows that every one is Schur-positive, so 12 vertices is the minimum order of any counterexample. A complete census of the 1,728,404 connected claw-free graphs on 12 vertices finds exactly two non-Schur-positive isomorphism classes; the other has graph6 code K?`CR@`bAbRB and coefficient $[s_{(3,3,3,3)}] = -40$.

The Stanley--Gasharov conjecture asserts that the chromatic symmetric function of every claw-free graph is Schur-positive. Prajapati, and independently Matherne and Morales, found counterexamples, and the latter asked for an infinite family of counterexamples. Combining Prajapati's complete census through order~$12$ with an exact census of the $144{,}492$ previously untreated connected claw-free graphs on~$n$ vertices and~$m$ edges with $13\le n\le 21$ and $n-1\le m\le 20$, we show that their counterexample graph~$G_2$ with $12$ vertices and $21$ edges is the unique minimum counterexample under the edge-first, vertex-second order. We also construct an infinite family of connected line graphs whose chromatic symmetric functions are not Schur-positive. This yields an infinite family of counterexamples to the Stanley--Gasharov conjecture.

Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize chromatic polynomials of graphs. In 1995, Stanley introduced these symmetric functions and conjectured that they are Schur positive for claw-free graphs. We give examples of a line graphs, which are thus claw-free, whose chromatic symmetric function have a negative coefficient in its Schur expansion. We also give a counterexample to the 2018 conjecture of Monical that Schur positive chromatic symmetric functions have saturated Newton polytope when expanded in any finite number of variables. Both of these examples were found using ChatGPT-5.6 Sol Pro.

An open question asks whether the chromatic symmetric function (CSF) of a graph distinguishes non-isomorphic trees. While it is known that the CSF does not distinguish unicyclic graphs, examples of pairs of unicyclic graphs with the same CSF and girth larger than 3 were not known until very recently. This manuscript exhibits a sequence of pairs of non-isomorphic, connected, unicyclic graphs with increasing girth and which share the same CSF. This also provides the first infinite family of bipartite graphs with the same CSF. Our main technique is to apply a version of the "triple deletion" modular relation, due independently to Guay-Paquet and Orellana--Scott.

We show that the partitions that always appear with nonnegative $e$-coefficients in chromatic symmetric functions of finite graphs are precisely the hook partitions.

A long-standing question is whether chromatic symmetric functions can distinguish non-isomorphic trees. Campbell introduced chromatic noncommutative symmetric functions for digraphs, which lift chromatic symmetric functions to NSym, and asked to what extent they can distinguish non-isomorphic oriented trees. In this article, we prove that chromatic noncommutative symmetric functions can reconstruct oriented stars, oriented double stars, some oriented caterpillars, and some oriented paths.

A \emph{sprout sequence} is a sequence $\frakr=(R_0=1,R_1,R_2,\dots)$ of symmetric functions in the variables $\bmx=(x_1,x_2,\dots)$ over a field $K$ generated from a power series $F(t)=1+a_1t+a_2t^2+\cdots$ by the rule $\sum_{n\geq 0}R_nt^n = \prod_{i\geq 1} F(x_it)$. The power series $F(t)$ is called the \emph{seed} of $\frakr$. This concept originated in the work of Littlewood and Richardson (though not with the name ``sprout sequence''), and numerous examples of sprout sequences have appeared in the literature. They are related to chromatic Tutte polynomials of complete graphs and complete hypergraphs, binomial posets, upper homogeneous (upho) posets, topological genera, etc. We first develop the basic theory of sprout sequences and then look at the special case $F(t)=\sec(\sqrt{t})$. We give five characterizations of sprout sequences and consider the expansion of sprout symmetric functions in terms of well-known symmetric function bases. The Schur positivity, elementary symmetric function positivity, and complete homogeneous symmetric function positivity of $R_n$ for all $n$ are completely characterized using the Edrei-Thoma theorem from the theory of total positivity. The seed $F(t)=\sec(\sqrt{t})$ is especially interesting. The expansion of $R_n$ in the power sum or monomial basis is related to alternating permutations. The Schur function expansion is related to standard Young skew tableaux. The expansion in terms of the complete symmetric functions has nonnegative integer coefficients, but we don't know a combinatorial interpretation. Finally we give a formula for $R_n$ as a sum of chromatic symmetric functions of interval orders.

A graph is Schur-positive if its chromatic symmetric function expands non-negatively in the Schur basis. We determine a full Schur-positivity classification for complete multipartite graphs by showing that a complete multipartite graph $K_λ$ is Schur-positive if and only if either $λ_i\in \{1,2\}$ for all $i$ or $λ=(3,2^β)$ for some $β\ge 1$. These results extend earlier classifications for complete bipartite and complete tripartite graphs to full generality. Our proofs combine structural arguments ruling out most cases, with a combinatorial analysis of Schur coefficients for the remaining family $K_{(3,2^β)}$ via special rim hook $G$-tabloids. Along the way, we establish a simpler formula for Schur coefficients of incomparability graphs, which we then apply to compute the coefficients of interest in terms of non-increasing sequences.