arXiv++ Combinatorics

We recall that a parking function of length $n+1$ is said to be prime if removing any instance of 1 yields a parking function of length $n$. In this article, we study prime parking functions from multiple lenses. We derive an explicit formula for the average value of the total displacement of prime parking functions. We present a formula for the displacement-enumerator of prime parking functions that involves a sum over Łukasiewicz paths. We describe the one-to-one correspondence between parking functions and labeledŁukasiewicz paths via Dyck paths. We introduce the concept of $\ell$-forward differences and use this as a vehicle for examining ties, ascents, and descents in prime parking functions. We establish a link between Schur functions corresponding to the partition $(i,1^{n-i})$ and fundamental quasisymmetric functions indexed by prime parking function tie sets of size $n-i.$

H.Choi-D.Kim-S.J.Lee and S.J.Lee introduced a new kind of tableaux, semistandard oscillating tableaux (SSOT), around 2024 in the context of Lusztig $q$-weight multiplicities, KR crystals and King tableaux. In this paper, we study generating function of the SSOTs and its symmetry. First, we extend Gessel's and Assaf-Searles' expansion of a Schur function in terms of fundamental quasi-symmetric functions to our generating function. As a consequence, we show that it is $F$-positive. Further, we improve Sundaram's work on oscillating tableaux by proving that it is symmetric, Schur-positive, and has Saturated Newton polytope.

We construct explicit tableau-level maps between indecomposable projective modules for the type A 0-Hecke algebra that assemble into canonical split short exact sequences lifting the basic ribbon product rule in NSym via concatenation and near-concatenation. Iterating these maps yields cochain complexes indexed by generalized ribbons; we prove these complexes are acyclic in positive degrees and that their zeroth cohomology is the projective module indexed by full concatenation. We apply these complexes, together with VandeBogert's ribbon Schur module criterion, to prove Koszulness for a naturally defined internally graded algebra object built from the 0-Hecke tower. Finally, we define skew projective modules whose noncommutative Frobenius characteristics realize skewing by fundamental quasisymmetric functions on NSym.

For a set of permutations $S\subseteq S_n$, consider the quasisymmetric generating function $$Q(S): = \sum_{w\in S}F_{n, \mathrm{Des}(w)},$$ where $\mathrm{Des}(w) := \{i\mid w(i)> w(i+1)\}$ is the descent set of $w$ and $F_{n, \mathrm{Des}(w)}$ is Gessel's fundamental quasisymmetric function. A set of permutations is said to be symmetric (respectively, Schur-positive) if its quasisymmetric generating function is symmetric (respectively, Schur-positive). Given a set $Π$ of permutations, let $S_n(Π)$ denote the set of permutations in $S_n$ that avoid all patterns in $Π.$ A set $Π$ is said to be symmetrically avoided (respectively, Schur-positively avoided) if $S_n(Π)$ is symmetric (respectively, Schur-positive) for all $n.$ Marmor proved in 2025 that for $n\ge 5$, a symmetric set $S\subseteq S_n$ has size at least $n-1$ unless $S\subseteq \{12\cdots n, n\cdots 21\}$ and asked for a general classification of the possible sizes of symmetric sets not containing the monotone elements $12\cdots n $ and $n\cdots 21$. We give a complete answer to this question for $n\ge 52.$ We also give a classification of symmetric sets of size at most $n-1$, thereby showing that they are actually Schur-positive, resolving a conjecture of Marmor. Finally, we give a classification of symmetrically avoided sets of size at most $n-1$, thereby showing that they are actually Schur-positively avoided.

It is well known that the $q$-Whittaker polynomials, which are $t=0$ specializations of the Macdonald polynomials $P_λ(X;q,t)$, expand positively as the sum of Schur polynomials. Macdonald polynomials have a quasisymmetric refinement: the quasisymmetric Macdonald polynomials $G_γ(X;q,t)$, and a nonsymmetric refinement: the ASEP polynomials $f_α(X;q,t)$. We study the $t=0$ specializations of both these families of polynomials and show analogous properties: the quasisymmetric Macdonald polynomials expand positively as a sum of quasisymmetric Schur functions, $\text{QS}_γ(X)$, and the ASEP polynomials expand positively as a sum of Demazure atoms, $\mathcal{A}_α(X)$. As a corollary of the latter, we prove more generally that any permuted basement Macdonald polynomial has a positive expansion in the Demazure atoms at $t=0$. We give a description of the structure coefficients of $G_γ(X;q,0)$ and $f_α(X;q,0)$ in both cases in terms of the charge statistic on a restricted set of semistandard tableaux.

In 2020, Bloom and Sagan defined subsets of the symmetric group $\mathfrak{S}_n$ called partial shuffles, and proved a formula for the Schur expansion of the pattern quasisymmetric function associated with a partial shuffle. In their proof, they establish that any two partial shuffles of the same size are Wilf-equivalent. We give an alternative proof of this fact, using an iterative approach. We also show that Wilf-equivalence is preserved on including a decreasing pattern in partial shuffles, and we provide some enumerative results for avoidance classes whose bases consist of a partial shuffle and a decreasing permutation.

A spline is an assignment of polynomials to the vertices of a graph, where the difference of two polynomials along an edge must belong to the ideal labeling that edge. We consider a ring of splines $\mathcal{M}_{H}$ constructed on a graph whose vertices are the Weyl group $\mathfrak{W}_n$ of signed permutations, and whose edges and edge-ideals are defined using an order ideal $H$ of positive roots. These splines are a module over the polynomial ring in two ways, and a $\mathfrak{W}_n$-module by the dot action. These structures on $\mathcal{M}_{H}$ give rise to the graded left and right dot action representations of $\mathfrak{W}_n$. The left representation is the type B/C generalization of the type A dot action for regular semisimple Hessenberg varieties (and thus, chromatic quasisymmetric functions), and the right representation is the same for corresponding manifolds of isospectral matrices (and thus, unicellular LLT polynomials). This paper gives explicit module generators for the degree-one graded piece of $\mathcal{M}_{H}$ and computes the degree-one piece of the both dot action representations for all $H$ using the combinatorial data of $H$.

There is a natural bijection between standard immaculate tableaux of composition shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ set-partitions of $\{ 1, 2, \ldots, n \}$ into $k$ blocks, for the Stirling number $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ of the second kind. We introduce a family of tableaux that we refer to as \emph{lexical tableaux} that generalize immaculate tableaux in such a way that there is a bijection between standard lexical tableaux of shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left[ \begin{smallmatrix} n \\ k \end{smallmatrix} \right] $ permutations on $\{ 1, 2, \ldots, n \}$ with $k$ disjoint cycles. In addition to the entries in the first column strictly increasing, the defining characteristic of lexical tableaux is that the word $w$ formed by the consecutive labels in any row is the lexicographically smallest out of all cyclic permutations of $w$. This includes weakly increasing words, and thus, lexical tableaux provide a natural generalization of immaculate tableaux. Extending this generalization, we introduce a pair of dual bases of the Hopf algebras $\textsf{QSym}$ and $\textsf{NSym}$ defined in terms of lexical tableaux. We present two expansions of these bases, involving the monomial and fundamental bases (or, dually, the ribbon and complete homogeneous bases), using Kostka coefficient analogues and coefficients derived from standard lexical tableaux.

In 2020, Hamaker, Pawlowski, and Sagan introduced the \emph{pattern quasisymmetric functions}, which are quasisymmetric functions associated with pattern-avoidance classes of permutations, and defined via expansions in fundamental quasisymmetric functions. They determined which subsets of the symmetric group $\mathfrak{S}_3$ index pattern quasisymmetric functions that are symmetric, and showed that these symmetric pattern quasisymmetric functions are also Schur-positive. They then posed the question of when symmetry or Schur $P$-positivity occur for analogous quasisymmetric functions defined in terms of peak functions. In this work we answer this question, that is, we identify precisely which subsets of $\mathfrak{S}_3$ give a \emph{pattern-avoiding peak function} that is symmetric, and give explicit formulas for the positive expansion into the closely-related Schur $Q$-functions.

In 1995, Stanley introduced the chromatic symmetric function of a graph, which specializes to its chromatic polynomial, and which has been the focus of intense research. In 2017, Shareshian, Wachs, and Ellzey defined a refinement of this function for a directed graph, that appears to be in $QSym$, the algebra of quasisymmetric functions, which is of great interest in algebraic combinatorics. Our goal is to extend this work to signed graphs, taking into account the perspective of the hyperplane arrangement associated with a signed graph, developed by Zaslavsky. We introduce the signed chromatic quasisymmetric invariant, and obtain structural properties. As a consequence, we define and study $SQSym$, the algebra of signed quasisymmetric functions.

Several families of polynomials of combinatorial and representation theoretic interest (notably the Schur polynomials $s_λ$, Demazure characters $\mathfrak{D}_a$, and Demazure atoms $\mathfrak{A}_a$) can be defined in terms of divided difference operators. Hivert (2000) defines "fundamental analogues" of these divided difference operators, and Hivert and Hicks-Niese show in arXiv:2406.02420 that the polynomials that arise from those fundamental operators in analogous ways to the three families of polynomials above are respectively the fundamental quasisymmetric functions $F_a$ from (1984), the fundamental slides $\mathfrak{F}_a$ of Assaf and Searles from arXiv:1603.09744, and the fundamental particles $\mathfrak{P}_a$ of Searles from arXiv:1707.01172. Lascoux (2001) defines $K$-analogues of the divided difference operators, and in arXiv:1908.07364, Buciumas, Scrimshaw, and Weber show that the polynomials arising in corresponding ways from the $K$-theoretic divided difference operators are respectively the Grothendieck polynomials $\overline{s}_λ$, the combinatorial Lascoux polynomials $\overline{\mathfrak{D}}_a$ from arXiv:1611.08777, and the combinatorial Lascoux atoms $\overline{\mathfrak{A}}_a$ from arXiv:1611.08777, as conjectured by Monical in arXiv:1611.08777. We define $K$-analogues of Hivert's fundamental divided difference operators and show that the polynomials arising in the corresponding ways from our new operators are respectively the multifundamentals $\overline{F}_a$ of Lam and Pylyavskyy from arXiv:0705.2189, the fundamental glides $\overline{\mathfrak{F}}_a$ from of Pechenik and Searles from arXiv:1611.02545, and the kaons $\overline{\mathfrak{P}}_a$ of Monical, Pechenik, and Searles from arXiv:1806.03802.

In this paper we classify when (row-strict) dual immaculate functions and (row-strict) extended Schur functions, as well as their skew generalizations, are symmetric. We also classify when their natural variants, termed advanced functions, are symmetric. In every case our classification recovers classical skew Schur functions.

The equivariant cohomology ring of a regular semisimple Hessenberg variety in type A is a free module over the equivariant cohomology ring of a point. When equipped with Tymoczko's dot action, it becomes a twisted representation of the symmetric group, and the character of this representation is given by the chromatic quasisymmetric function of an indifference graph. In this note, we use divided difference operators to decompose this representation as a direct sum of sub-representations in a way that categorifies the modular relation between chromatic quasisymmetric functions.

In this work, we obtain a Hall--Littlewood expansion of the chromatic quasisymmetric function arising from a natural unit interval order and describe the coefficients in terms of linked rook placements. Applying the Carlsson--Mellit relation between chromatic quasisymmetric functions and unicellular LLT polynomials, we also obtain a combinatorial description for the coefficients of the unicellular LLT polynomials expanded in terms of the modified transformed Hall--Littlewood polynomials.

The (ordinary) representation theory of the symmetric group is fascinating and has rich connections to combinatorics, including the Frobenius correspondence to the self-dual graded Hopf algebra of symmetric functions. The $0$-Hecke algebra (of type $A$) is a deformation of the group algebra of the symmetric group, and its representation theory has an analogous correspondence to the dual graded Hopf algebras of quasisymmetric functions and noncommutative symmetric functions. Macdonald used the hook length formula for the number of standard Young tableaux of a fixed shape to determine how many irreducible representations of the symmetric group have dimensions indivisible by a prime $p$. In this paper, we study the dimensions of the projective indecomposable modules of the $0$-Hecke algebra modulo $p$; such a module is indexed by a composition and its dimension is given by a ribbon number, i.e., the cardinality of a descent class. Applying a result of Dickson on the congruence of multinomial coefficients, we count how many ribbon numbers belong to each congruence class modulo $p$. We also extend the result to other finite Coxeter groups.

The well-known descent-to-peak map $Θ_{\mathrm{QSym}}$ for the Hopf algebra of quasisymmetric functions, $\mathrm{QSym}$, and the peak algebra $Π$ were originally defined by Stembridge in 1997. We introduce their noncommutative analogues, the labelled descent-to-peak map $Θ_{\mathrm{NCQSym}}$ for the Hopf algebra of quasisymmetric functions in noncommuting variables, $\mathrm{NCQSym}$, and the peak algebra in noncommuting variables $\mathrm{NC}Π$. Then, we define the Hopf algebra of Schur $Q$-functions in noncommuting variables. We show that our generalizations possess many properties analogous to their classical counterparts. Furthermore, we show that the coefficients in the expansion of certain elements of $\mathrm{NC}Π$ in the monomial basis of $\mathrm{NCQSym}$ satisfy the generalized Dehn-Sommerville equation of Bayer and Billera. In the end, we give representation-theoretic interpretations of the descent-to-peak map for the Hopf algebras of symmetric functions and noncommutative symmetric functions.

Let $\mathcal{D}$ be a non-trivial quasi-symmetric $2$-design with two block intersection numbers $x=0$ and $2\leq y\leq10$, and suppose that $G$ is an automorphism group of $\mathcal{D}$. If $G$ is flag-transitive and point-primitive, then it is known that $G$ is either of affine type or almost simple type. In this paper, we show that the socle of $G$ cannot be a finite simple exceptional group of Lie type.

We study the Hopf monoid of convex geometries, which contains partial orders as a Hopf submonoid, and investigate the combinatorial invariants arising from canonical characters. Each invariant consists of a pair: a polynomial and a more general quasisymmetric function. We give combinatorial descriptions of the polynomial invariants and prove combinatorial reciprocity theorems for the Edelman-Jamison and Billera-Hsiao-Provan polynomials, which generalize the order and enriched order polynomials, respectively, within a unified framework. For the quasisymmetric invariants, we show that their coefficients enumerate faces of certain simplicial complexes, including subcomplexes of the Coxeter complex and a simplicial sphere structure introduced by Billera, Hsiao, and Provan. We also examine the associated $ab$- and $cd$-indices. We establish an equivalent condition for convex geometries to be supersolvable and use this result to give a geometric interpretation of the $ab$- and $cd$-index coefficients for this class of convex geometries.

We introduce a new matroid (graph) invariant, the arboricity polynomial. Given a matroid, the arboricity polynomial enumerates the number of covers of the ground set by disjoint independent sets. We establish the polynomiality of the counting function as a special case of a scheduling polynomial, i.e. both in terms of quasisymmetric functions and via Ehrhart theory of the normal fan of the matroid base polytope. We show basic properties of the polynomial and demonstrate that it is not a Tutte invariant. Namely, the arboricity polynomial does not satisfy a contraction / deletion recursion.

We introduce a definition of ``equivariant quasisymmetry'' for polynomials in two sets of variables. Using this definition we define quasisymmetric generalizations of the theory of double Schur and double Schubert polynomials that we call double fundamental polynomials and double forest polynomials, where the subset of ``noncrossing partitions'' plays the role of $S_n$. In subsequent work we will show this combinatorics is governed by a new geometric construction we call the ``quasisymmetric flag variety'' which plays the same role for equivariant quasisymmetry as the usual flag variety plays in the classical story.