arXiv++ Combinatorics

By using level one polynomial representations of affine Hecke algebras of type $A$, we obtain a $(q,t)$-analogue of the chromatic symmetric functions of unit interval graphs which generalizes Syu Kato's formula for the chromatic symmetric functions of unit interval graphs. We show that at $q=1$, the $(q,t)$-chromatic symmetric functions essentially reduce to the chromatic quasisymmetric functions defined by Shareshian-Wachs, which in particular gives an algebraic proof of Kato's formula. We also give an explicit formula of the $(q,t)$-chromatic symmetric functions at $q=\infty$, which leads to a probability theoretic interpretation of $e$-expansion coefficients of chromatic quasisymmetric functions used in our proof of the Stanley-Stembridge conjecture. Moreover, we observe that the $(q,t)$-chromatic symmetric functions are multiplicative with respect to certain deformed multiplication on the ring of symmetric functions. We give a simple description of such multiplication in terms of the affine Hecke algebras of type $A$. We also obtain a recipe to produce $(q,t)$-chromatic symmetric functions from chromatic quasisymmetric functions, which actually makes sense for any oriented graphs.

Let $\mathfrak b_n(\mathbb F_q)$ denote the Lie algebra of upper triangular $n \times n$ matrices over $\mathbb F_q$, and let $\mathfrak u_n(\mathbb F_q)$ be the subalgebra of strictly upper triangular matrices. For every $\mathfrak b_n(\mathbb F_q)$-stable ideal $\mathfrak a \subseteq \mathfrak u_n(\mathbb F_q)$ and partition $μ$ of $n$, we give an explicit formula for the number of elements in $\mathfrak a$ of Jordan type $μ$. Up to a power of $q$, the number of points is given by the Hall scalar product of a modified Hall-Littlewood function indexed by $μ$ and a chromatic quasisymmetric function associated to $\mathfrak a$. In the special case $\mathfrak a = \mathfrak u_Λ(\mathbb F_q)$, the nilradical of the standard parabolic subalgebra of $\mathfrak{gl}_n(\mathbb F_q)$ corresponding to a composition $Λ$ of $n$, our formula specializes to a result of Karp and Thomas: up to a polynomial in $q$, the number of elements in $\mathfrak u_Λ(\mathbb F_q)$ of Jordan type $μ$ equals the coefficient of $\mathbf x^Λ$ in the specialization of the dual Macdonald symmetric function $\mathrm Q_{μ'}(\mathbf x; q^{-1}, t)$ at $t = 0$. We give a new and shorter proof using a parabolic version of Borodin's division algorithm. We present four applications: (1) a formula for the number of points on a nilpotent Hessenberg variety; (2) a derivation of Kirillov's recurrence for counting nilpotent matrices of fixed Jordan type; (3) a formula for the number of $X \in \mathfrak u_Λ(\mathbb F_q)$ with $X^2 = 0$, yielding a new proof of the Kirillov-Melnikov-Ekhad-Zeilberger formula via two-row Macdonald polynomials; (4) a formula for the number of double cosets $\mathsf U_1 \backslash \mathsf{GL}_n(\mathbb F_q) / \mathsf U_2$, where $\mathsf U_1$ and $\mathsf U_2$ are unipotent subgroups from $\mathfrak b_n(\mathbb F_q)$-stable ideals.

A fundamental result by L. Solomon in algebraic combinatorics and representation theory states that Mackey formulas for products of characters of a symmetric group, or equivalently the computation of tensor products of representations thereof, can be lifted to the corresponding Solomon's descent algebra, a subalgebra of the group algebra with a very rich structure. Motivated by the structure of the product formula in these algebras and by other results and ideas in the field, we introduce and investigate in the present article a two dimensional analogue of descent algebras based on packed integer matrices that inherits most of their fundamental properties. One of the various bialgebra structures we introduce on packed integer matrices identifies with a bialgebra recently introduced by J. Diehl and L. Schmitz to define a two dimensional generalisation of Chen's iterated integrals signatures.

Crystal skeletons were introduced by Maas-Gariépy in 2023 by contracting quasi-crystal components in a crystal graph. On the representation theoretic level, crystal skeletons model the expansion of Schur functions into Gessel's quasisymmetric functions. Motivated by questions of Schur positivity, we provide a combinatorial description of crystal skeletons, and prove many new properties, including a conjecture by Maas-Gariépy that crystal skeletons generalize dual equivalence graphs. We then present a new axiomatic approach to crystal skeletons. We give three versions of the axioms based on $GL_n$-branching, $S_n$-branching, and local axioms in analogy to the local Stembridge axioms for crystals based on novel commutation relations.

In arXiv:2301.02177, Crew, Pechenik, and Spirkl defined the Kromatic symmetric function $\overline{X}_G$ as a $K$-analogue of Stanley's chromatic symmetric function $X_G$, and one question they asked was how $\overline{X}_G$ expands in their $\overline{p}_λ$ basis, which they defined as a $K$-analogue of the classic power sum basis $p_λ.$ In arXiv:2408.01395, we gave a formula that partially answered this question but did not explain the combinatorial significance of the coefficients. Here, we give combinatorial descriptions for the $\overline{p}$-coefficients of $\overline{X}_G$ and $ω(\overline{X}_G)$, lifting the $p$-expansion of $X_G$ in terms of acyclic orientations that was given by Bernardi and Nadeau in arXiv:1904.01262. We also propose an alternative $K$-analogue $\overline{p}'$ of the $p$-basis that gives slightly cleaner expansion formulas. Our expansions are based on Lyndon heaps, introduced by Lalonde (1995), which are representatives for certain equivalence classes of acyclic orientations on clan graphs of $G$. Additionally, we show that knowing $\overline{X}_G$ is equivalent to knowing the multiset of independence polynomials of induced subgraphs of $G$, which gives shorter proofs of all our results from arXiv:2403.15929 that $\overline{X}_G$ can be used to determine the number of copies in $G$ of certain induced subgraphs. We also give power sum expansions for the Kromatic quasisymmetric function $\overline{X}_G(q)$ defined by Marberg in arXiv:2312.16474 in the case where $G$ is the incomparability graph of a unit interval order.

As shown in our paper [JCTA 177 (2021), Paper No. 105305], the chromatic quasi-symmetric function of Shareshian-Wachs can be lifted to ${\bf WQSym}$, the algebra of quasi-symmetric functions in noncommuting variables. We investigate here its behaviour with respect to classical transformations of alphabets and propose a noncommutative analogue of Macdonald polynomials compatible with a noncommutative version of the Haglund-Wilson formula. We also introduce a multi-$t$ version of these noncommutative analogues. For rectangular partitions, their commutative images at $q=0$ appear to coincide with the multi-$t$ Hall-Littlewood functions introduced in [Lett. Math. Phys. 35 (1995), 359]. This leads us to conjecture that for rectangular partitions, multi-$t$ Macdonald polynomials are obtained as equivariant traces of certain Yang-Baxter elements of Hecke algebras. We also conjecture that all (ordinary) Macdonald polynomials can be obtained in this way. We conclude with some remarks relating various aspects of quasi-symmetric chromatic functions to calculations in Hecke algebras. In particular, we show that all modular relations are given by the product formula of the Kazhdan-Lusztig basis.

For an integer partition $ λ$ of $n$ and an $n \times n$ matrix $A$, consider the expansion of the immanant $\text{Imm}^λ(A)$ as a sum indexed by permutations $σ$ of order $n$, with coefficients given by the irreducible characters $χ^λ(\text{ctype}(σ))$ of the symmetric group $S_{n}$, for the cycle type $\text{ctype}(σ) \vdash n$ of $σ$. Skandera et al. have introduced combinatorial interpretations of a generalization of immanants given by replacing the coefficient $χ^λ(\text{ctype}(σ))$ with preimages with respect to the Frobenius morphism of elements among the distinguished bases of the algebra $\textsf{Sym}$ of symmetric functions. Since $ \textsf{Sym}$ is contained in the algebra $\textsf{QSym}$ of quasisymmetric functions, this leads us to further generalize immanants with the use of quasisymmetric functions. Since bases of $ \textsf{QSym}$ are indexed by integer compositions, we make use of cycle compositions in place of cycle types to define the family of quasi-immanants introduced in this paper. This is achieved through the use of the quasisymmetric power sum bases due to Ballantine et al., and we prove a combinatorial formula for the coefficients arising in an analogue, given by a special case of quasi-immanants associated with quasisymmetric Schur functions, of second immanants.

Let $α$ range over the set of compositions. Dual immaculate quasisymmetric functions $\mathfrak{S}_α^*$, introduced by Berg, Bergeron, Saliola, Serrano, and Zabrocki, provide a quasisymmetric analogue of Schur functions. They also constructed an indecomposable $0$-Hecke module $\mathcal{V}_α$ whose image under the quasisymmetric characteristic is $\mathfrak{S}_α^*$. In this paper, we prove that $\mathcal{V}_α$ admits a distinguished filtration with respect to the basis of Young quasisymmetric Schur functions. This result offers a novel representation-theoretic interpretation of the positive expansion of $\mathfrak{S}_α^*$ in the basis of Young quasisymmetric Schur functions. A key tool in our proof is Mason's analogue of the Robinson-Schensted-Knuth algorithm, for which we establish a version of Green's theorem. As an unexpected byproduct of our investigation, we construct an indecomposable $0$-Hecke module $\mathbf{Y}_α$ whose image under the quasisymmetric characteristic is the Young quasisymmetric Schur function $\hat{\mathscr{S}}_α$. Further properties of this module are also investigated. And, by applying a suitable automorphism twist to this module, we obtain an indecomposable $0$-Hecke module whose image under the quasisymmetric characteristic is the quasisymmetric Schur function $\mathscr{S}_α$.

We introduce a superspace analogue of combinatorial Hopf algebras (Aguiar-Bergeron-Sottile, 2006), and show that the Hopf superalgebra of quasi-symmetric (resp. symmetric) functions in superspace (Fishel-Lapointe-Pinto, 2019) is a terminal object in the category of all (resp. cocommutative) combinatorial Hopf superalgebras. We also introduce a superspace analogue of chromatic symmetric functions of graphs (Stanley, 1995) using the chromatic Hopf superalgebra of two-colored graphs.

The quasisymmetric functions, $QSym$, are generalized for a finite alphabet $A$ by the colored quasisymmetric functions, $QSym_A$, in partially commutative variables. Their dual, $NSym_A$, generalizes the noncommutative symmetric functions, $NSym$, through a relationship with a Hopf algebra of trees. We define an algebra $Sym_A$, contained within $QSym_A$, that is isomorphic to the symmetric functions, $Sym$, when $A$ is an alphabet of size one. We show that $Sym_A$ is a Hopf algebra and define its graded dual, $PSym_A$, which is the commutative image of $NSym_A$ and also generalizes $Sym$. The seven algebras listed here can be placed in a commutative diagram connected by Hopf morphisms. In addition to defining generalizations of the classic bases of the symmetric functions to $Sym_A$ and $PSym_A$, we describe multiplication, comultiplication, and the antipode in terms of a basis for both algebras. We conclude by defining a pair of dual bases that generalize the Schur functions and listing open questions.

We investigate the problem of when a chromatic quasisymmetric function (CQF) $X_G(x;q)$ of a graph $G$ is in fact symmetric. We first prove the remarkable fact that if a product of two quasisymmetric functions $f$ and $g$ in countably infinitely many variables is symmetric, then in fact $f$ and $g$ must be symmetric. This allows the problem to be reduced to the case of connected graphs. We then show that any labeled graph having more than one source or sink has a nonsymmetric CQF. As a corollary, we find that all trees other than a directed path have a nonsymmetric CQF. We also show that a family of graphs we call ''mixed mountain graphs'' always have symmetric CQF.

Associated to any unit interval graph, Syu Kato introduced a variety which gives (via the geometric Satake correspondence) a graded $GL_m$ representation whose character is the chromatic quasisymmetric polynomial of the graph. In this short note, we reprove Kato's result by analyzing the fixed points of his varieties.

The fundamental quasisymmetric functions in superspace are a generalization of the fundamental quasisymmetric functions involving anticommuting variables. We obtain the action of the product, coproduct, and antipode on the fundamental quasisymmetric functions in superspace. We also extend to superspace the well known expansion of the Schur functions in terms of fundamental quasisymmetric functions.

We give a counting formula in terms of modified Hall-Littlewood polynomials and the chromatic quasisymmetric function for the number of points on an arbitrary Hessenberg variety over a finite field. As a consequence, we express the Poincaré polynomials of complex Hessenberg varieties in terms of a Hall scalar product involving the symmetric functions above. We use these results to give a new proof of a combinatorial formula for the modified Hall-Littlewood polynomials.

In this paper, we show that for a non-trivial quasi-symmetric $2$-design $\mathcal{D}$ with two block intersection numbers $x=0$ and $2\leq y\leq10$, if $G\leq \mathrm{Aut}(\mathcal{D})$ is flag-transitive and point-primitive, then $G$ is either of affine type or almost simple type. Moreover, we prove that the socle of $G$ cannot be an alternating group. If the socle of $G$ is a sporadic group, then $\mathcal{D}$ and $G$ must be one of the following: $\mathcal{D}$ is a $2$-$(12,6,5)$ design with block intersection numbers $0,3$ and $G=\mathrm{M}_{11}$, or $\mathcal{D}$ is a $2$-$(22,6,5)$ design with block intersection numbers $0,2$ and $G=\mathrm{M}_{22}$ or $\mathrm{M}_{22}:2$.

We develop a quasisymmetric analogue of the theory of Schubert cycles, building off of our previous work on a quasisymmetric analogue of Schubert polynomials and divided differences. Our constructions result in a natural geometric interpretation for the ring of quasisymmetric coinvariants.

We give a probabilistic interpretation of the coefficients of the elementary symmetric function expansion of the chromatic quasisymmetric function for any unit interval graph. As a corollary, we prove the Stanley--Stembridge conjecture.

Weak Bruhat interval modules of the $0$-Hecke algebra in type $A$ provide a uniform approach to studying modules associated with noteworthy families of quasisymmetric functions. Recently this kind of modules were generalized from type $A$ to all Coxeter types. In this paper, we give an equivalent description, in a type-independent manner, when two left weak Bruhat intervals in a Coxeter group are descent-preserving isomorphic. As an application, we classify all left weak Bruhat interval modules of $0$-Hecke algebras up to isomorphism, and thereby answer an open question and resolve in the affirmative a conjecture of Jung, Kim, Lee, and Oh. Additionally, for finite Coxeter groups we show that the set of minimum (or maximum) elements of all left weak Bruhat intervals in each descent-preserving isomorphism class forms an interval under the right weak Bruhat order.

If we consider previously introduced extensions of Stanley's chromatic symmetric function $X_{G}(x_1, x_2, \ldots)$ for a graph $G$ to elements in the algebra $\textsf{QSym}$ of quasisymmetric functions and in the algebra $\textsf{NCSym}$ of symmetric functions in noncommuting variables, this motivates our introduction of a lifting of $X_{G}$ to the dual of $\textsf{QSym}$, i.e., the algebra $\textsf{NSym}$ of noncommutative symmetric functions, as opposed to $\textsf{NCSym}$. For an unlabelled directed graph $D$, our extension of chromatic symmetric functions provides an element $\text{X}_{D}$ in $\textsf{NSym}$, in contrast to the analogue $Y_{G} \in \textsf{NCSym}$ of $X_{G}$ due to Gebhard and Sagan. Letting $G$ denote the undirected graph underlying $D$, our construction is such that the commutative image of $\text{X}_{D}$ is $ X_{G}$. This projection property is achieved by lifting Stanley's power sum expansion for chromatic symmetric functions, with the use of the $Ψ$-basis of $\textsf{NSym}$, so that the orderings of the entries of the indexing compositions are determined by the directed edges of $D$. We then construct generating sets for $\textsf{NSym}$ consisting of expressions of the form $\text{X}_{D}$, building on the work of Cho and van Willigenburg on chromatic generating sets for $\textsf{Sym}$.

In this paper, we study the maximal chains of lattices which generalizes both the weak order and the Tamari lattice: certain lattices of maximal tubings. A maximal tubing poset $\mathfrak{L}(G)$ is defined for any graph $G$, but for the graphs we consider in this paper, the poset is a lattice. Just as the weak order is an orientation of the $1$-skeleton of the permutahedron and the Tamari of the associahedron, each tubing lattice is an orientation of the $1$-skeleton of a graph associahedron. The partial order on $\mathfrak{L}(G)$ is given by a projection from $\mathfrak{S}_n$ to $\mathfrak{L}(G)$. In particular, when the graph is the complete graph, the graph associahedron is the the permutahedron, and when it is the path graph, it is the Stasheff associahedron. Our main results are for lollipop graphs, graphs that ``interpolate'' between the path and the complete graphs. For lollipop graphs, the lattices consist of permutations which satisfy a generalization of $312$-avoiding. The maximum length chains correspond to partially shiftable tableaux under the Edelman-Greene's Coxeter-Knuth bijection. We also consider functions defined analogously to Stanley's symmetric function for the maximum length chains and find their expansion in terms of Young quasisymmetric Schur functions.