arXiv++ Combinatorics

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.

The solution of Shareshian-Wachs conjecture by Brosnan-Chow linked together the cohomology of regular semisimple Hessenberg varieties and graded chromatic symmetric functions on unit interval graphs. On the other hand, it is known that unicellular LLT polynomials have similar properties to graded chromatic symmetric functions. In this paper, we link together the unicellular LLT polynomials and twin of regular semisimple Hessenberg varieties introduced by Ayzenberg-Buchstaber. We prove their palindromicity from topological viewpoint. We also show that modules of a symmetric group generated by faces of a permutohedron are related to a shifted unicellular LLT polynomial and observe the $e$-positivity of shifted unicellular LLT polynomials, which is established by Alexandersson-Sulzgruber in general, for path graphs and complete graphs through the cohomology of the twins.

Gasharov introduced the combinatorial objects known as $P$-arrays to prove $s$-positivity for the chromatic symmetric functions of incomparability graphs of (3+1)-free posets. We define a crystal, a directed colored graph with some additional axioms, on the set of $P$-arrays. The components of the crystal have $s$-positive characters, thereby refining the $s$-positivity theorems of Gasharov, as well as Shareshian and Wachs. The crystal hints at a possible generalization of the Robinson-Schensted correspondence applied to $P$-arrays.

The main result of this paper is the introduction of marked graphs and the marked graph polynomials ($M$-polynomial) associated with them. These polynomials can be defined via a deletion-contraction operation. These polynomials are a generalization of the $W$-polynomial introduced by Noble and Welsh and a specialization of the $\mathbf{V}$-polynomial introduced by Ellis-Monaghan and Moffatt. In addition, we describe an important specialization of the $M$-polynomial which we call the $D$-polynomial. Furthermore, we give an efficient algorithm for computing the chromatic symmetric function of a graph in the \emph{star-basis} of symmetric functions. As an application of these tools, we prove that proper trees of diameter at most 5 can be reconstructed from its chromatic symmetric function.

In 1993, Stanley and Stembridge conjectured that a chromatic symmetric function of any $(3+1)$-free poset is $e$-positive. Guay-Paquet reduced the conjecture to $(3+1)$- and $(2+2)$-free posets which are also called natural unit interval orders. Shareshian and Wachs defined chromatic quasisymmetric functions, generalizing chromatic symmetric functions, and conjectured that a chromatic quasisymmetric function of any natural unit interval order is $e$-positive and $e$-unimodal. For a given natural interval order, there is a corresponding partition $λ$ and we denote the chromatic quasisymmetric function by $X_λ$. The first author introduced local linear relations for chromatic quasisymmetric functions. In this paper, we prove a powerful generalization of the above-mentioned local linear relations, called a rectangular lemma, which also generalizes the result of Huh,Nam and Yoo. Such a lemma can be applied to describe explicit formulas for $e$-positivity of a chromatic symmetric function $X_λ$ where $λ$ is contained in a rectangle. We also suggest some conjectural formulas for $e$-positivity when $λ$ is not contained in a rectangle by applying the rectangular lemma.

A famous conjecture of Stanley states that his chromatic symmetric function distinguishes trees. As a quasisymmetric analogue, we conjecture that the chromatic quasisymmetric function of Shareshian and Wachs and of Ellzey distinguishes directed trees. This latter conjecture would be implied by an affirmative answer to a question of Hasebe and Tsujie about the $P$-partition enumerator distinguishing posets whose Hasse diagrams are trees. They proved the case of rooted trees and our results include a generalization of their result.

Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize the chromatic polynomial and are related to Hessenberg varieties and diagonal harmonics. Motivated by the Stanley--Stembridge conjecture, we show that the allowable coloring weights for indifference graphs of Dyck paths are the lattice points of a permutahedron $\mathcal{P}_λ$, and we give a formula for the dominant weight $λ$. Furthermore, we conjecture that such chromatic symmetric functions are Lorentzian, a property introduced by Brändén and Huh as a bridge between discrete convex analysis and concavity properties in combinatorics, and we prove this conjecture for abelian Dyck paths. We extend our results on the Newton polytope to incomparability graphs of (3+1)-free posets, and we give a number of conjectures and results stemming from our work, including results on the complexity of computing the coefficients and relations with the $ζ$ map from diagonal harmonics.

One of the major outstanding conjectures in the study of chromatic symmetric functions (CSF's) states that trees are uniquely determined by their CSF's. Though verified on graphs of order up to twenty-nine, this result has been proved only for certain subclasses of trees. Using the definition of the CSF that emerges via the Frobenius character map applied to $\mathbb{C}[S_n]$, we offer new algebraic proofs of several results about the CSF's of trees. Additionally, we prove that a "parent function" of the CSF defined in the group ring of $S_n$ can uniquely determine trees, providing further support for Stanley's conjecture.

We study the chromatic quasisymmetric class function of a linearized combinatorial Hopf monoid. Given a linearized combinatorial Hopf monoid $H$, and an $H$-structure $h$ on a set $N$, there are proper colorings of $h$, generalizing graph colorings and poset partitions. We show that the automorphism group of $h$ acts on the set of proper colorings. The chromatic quasisymmetric class function enumerates the fixed points of this action, weighting each coloring with a monomial. For the Hopf monoid of graphs this invariant generalizes Stanley's chromatic symmetric function and specializes to the orbital chromatic polynomial of Cameron and Kayibi. We also introduce the flag quasisymmetric class function of a balanced relative simplicial complex equipped with a group action. We show that, under certain conditions, the chromatic quasisymmetric class function of $h$ is the flag quasisymmetric class function of a balanced relative simplicial complex that we call the coloring complex of $h$. We use this result to deduce various inequalities for the associated orbital polynomial invariants. We apply these results to several examples related to enumerating graph colorings, poset partitions, generic functions on matroids or generalized permutohedra, and others.

We investigate the $e$-positivity and Schur positivity of the chromatic symmetric functions of some spider graphs with three legs. We obtain the positivity classification of all broom graphs and that of most double broom graphs. The methods involve extracting particular $e$-coefficients of the chromatic symmetric function of these graphs with the aid of Orellana and Scott's triple-deletion property, and using the combinatorial formula of Schur coefficients by examining certain special rim hook tabloids. We also propose some conjectures on the $e$-positivity and Schur positivity of trees.

This paper describes how many known graph polynomials arise from the coefficients of chromatic symmetric function expansions in different bases, and studies a new polynomial arising by expanding over a basis given by chromatic symmetric functions of trees.

We prove that two horizontal-strip LLT polynomials are equal if the associated weighted graphs defined by the author in a previous paper are isomorphic. This provides a sufficient condition for equality of horizontal-strip LLT polynomials and yields a well-defined LLT polynomial indexed by a weighted graph. We use this to prove some new relations between LLT polynomials and we explore a connection with extended chromatic symmetric functions.

We discover new linear relations between the chromatic symmetric functions of certain sequences of graphs and apply these relations to find new families of e-positive unit interval graphs. Motivated by the results of Gebhard and Sagan, we revisit their ideas and reinterpret their equivalence relation in terms of a new quotient algebra of NCSym. We investigate the projection of the chromatic symmetric function $Y_G$ in noncommuting variables in this quotient algebra, which defines $y_{G : v}$, the chromatic symmetric function of a graph G centred at a vertex v. We then apply our methods to $y_{G :v}$ and find new families of unit interval graphs that are (e)-positive, a stronger condition than classical e-positivity, thus confirming new cases of the (3+1)-free conjecture of Stanley and Stembridge. In our study of $y_{G : v}$, we also describe methods of constructing new e-positive graphs from given $(e)$-positive graphs and classify the (e)-positivity of trees and cut vertices. We moreover construct a related quotient algebra of NCQSym to prove theorems relating the coefficients of $y_{G : v}$ to acyclic orientations of graphs, including a noncommutative refinement of Stanley's sink theorem.

Plethysm is a fundamental operation in symmetric function theory, derived directly from its connection with representation theory. However, it does not admit a simple combinatorial interpretation, and finding coefficients of Schur function plethysms is a major open question. In this paper, we introduce a graph-theoretic interpretation for any plethysm based on the chromatic symmetric function. We use this interpretation to give simple proofs of new and previously known plethystic identities, as well as chromatic symmetric function identities.

For a tree $T$, consider its smallest subtree $T^{\circ}$ containing all vertices of degree at least $3$. Then the remaining edges of $T$ lie on disjoint paths each with one endpoint on $T^{\circ}$. We show that the chromatic symmetric function of $T$ determines the size of $T^{\circ}$, and the multiset of the lengths of these incident paths. In particular, this generalizes a proof of Martin, Morin, and Wagner that the chromatic symmetric function distinguishes spiders.

The chromatic symmetric function (CSF) of Dyck paths of Stanley and its Shareshian-Wachs $q$-analogue have important connections to Hessenberg varieties, diagonal harmonics and LLT polynomials. In the, so called, abelian case they are also curiously related to placements of non-attacking rooks by results of Stanley-Stembridge (1993) and Guay-Paquet (2013). For the $q$-analogue, these results have been generalized by Abreu-Nigro (2020) and Guay-Paquet (private communication), using $q$-hit numbers. Among our main results is a new proof of Guay-Paquet's elegant identity expressing the $q$-CSFs in a CSF basis with $q$-hit coefficients. We further show its equivalence to the Abreu-Nigro identity expanding the $q$-CSF in the elementary symmetric functions. In the course of our work we establish that the $q$-hit numbers in these expansions differ from the originally assumed Garsia-Remmel $q$-hit numbers by certain powers of $q$. We prove new identities for these $q$-hit numbers, and establish connections between the three different variants.

For a graph $G$, its Tutte symmetric function $XB_G$ generalizes both the Tutte polynomial $T_G$ and the chromatic symmetric function $X_G$. We may also consider $XB$ as a map from the $t$-extended Hopf algebra $\mathbb{G}[t]$ of labelled graphs to symmetric functions. We show that the kernel of $XB$ is generated by vertex-relabellings and a finite set of modular relations, in the same style as a recent analogous result by Penaguiao on the chromatic symmetric function $X$. In particular, we find one such relation that generalizes the well-known triangular modular relation of Orellana and Scott, and build upon this to give a modular relation of the Tutte symmetric function for any two-edge-connected graph that generalizes the $n$-cycle relation of Dahlberg and van Willigenburg. Additionally, we give a structural characterization of all local modular relations of the chromatic and Tutte symmetric functions, and prove that there is no single local modification that preserves either function on simple graphs. We also give an expansion relating $XB_G$ to $X_{G/S}$ as $S$ ranges over all subsets of $E(G)$, use this to extend results on the chromatic symmetric function to the Tutte symmetric function, and show that analogous formulas hold for a Tutte quasisymmetric function on digraphs.

Stanley introduced the chromatic symmetric function of a simple graph, which is a generalization of a chromatic polynomial. This is expressed in terms of the integer points of the complements of the corresponding graphic arrangement. Stanley proved a combinatorial reciprocity theorem for chromatic functions. This is considered as an Ehrhart-type reciprocity theorem for the graphic arrangement. We introduce the chromatic signed-symmetric function of a signed graph, an analogue of the chromatic symmetric function, by the integer points of the complements of the corresponding signed-graphic arrangement and prove a generalization of Stanley's reciprocity theorem. Stanley has conjectured that the chromatic symmetric function distinguishes trees. This conjecture is also generalized for signed trees. We verify the conjecture for certain classes of signed paths.

We present an LLT-type formula for a general power of the nabla operator applied to the Cauchy product for the modified Macdonald polynomials, and use it to deduce a new proof of the generalized shuffle theorem describing $\nabla^k e_n$, and the Elias-Hogancamp formula for $(\nabla^k p_1^n,e_n)$ as corollaries. We give a direct proof of the theorem by verifying that the LLT expansion satisfies the defining properties of $\nabla^k$, such as triangularity in the dominance order, as well as a geometric proof based on a method for counting bundles on $\mathbb{P}^1$ due to the second author. These formulas are related to an affine paving of the type A unramified affine Springer fiber studied by Goresky, Kottwitz, and MacPherson, and also to Stanley's chromatic symmetric functions.

The chromatic symmetric function (CSF) of Dyck paths of Stanley and its Shareshian-Wachs $q$-analogue have important connections to Hessenberg varieties, diagonal harmonics, and LLT polynomials. In the case of, so-called, abelian Dyck paths they are also curiously related to placements of non-attacking rooks by results of Stanley-Stembridge (1993) and Guay-Paquet (2013). For the $q$-analogue, these results have been generalized by Abreu-Nigro (2020) and Guay-Paquet (private communication), using $q$-hit numbers, which are a variant of the ones introduced by Garsia and Remmel. Among our main results is a new proof of Guay-Paquet's elegant identity expressing the $q$-CSFs in a CSF basis with $q$-hit coefficients. We further show its equivalence to the Abreu-Nigro identity expanding the $q$-CSF in the elementary symmetric functions. This is the FPSAC extended abstract version. The full version is at ArXiv: 2104.07599.