arXiv++ Combinatorics

We define the grove polynomials, a set-valued extension of forest polynomials. We show that they are $K$-theoretically dual to the quasisymmetric Schubert cells which pave the quasisymmetric flag variety, in the same way that Grothendieck polynomials are dual to Schubert cells in the complete flag variety. As a consequence, the finite truncations of the multi-fundamental quasisymmetric functions of Lam-Pylyavskyy acquire a geometric interpretation as $K$-theoretic representatives of quasisymmetric Schubert cells.

We generalize well-known bijections between alternative tableaux and permutations to bijections between rhombic alternative tableaux (RAT) and assemblées of permutations. We show how these various bijections are connected. As a consequence, we find a refined enumeration formula for RAT. One of our bijections carries many statistics from RAT to assemblées; notably, it sends the number of free cells to the number of crossings, which answers a question of Mandelshtam and Viennot. We also find an $r!$-to-$1$ map from marked Laguerre histories to assemblées, answering a question of Corteel and Nunge.

We introduce the class of bilateral parking procedures on the integer line. While cars try to park in the nearest available spot to their right in the classical case, we consider more general parking rules that allow cars to use the nearest available spot to their left. We show that for a natural subclass of local procedures, the number of corresponding parking functions of length $r$ is always equal to $(r+1)^{r-1}$. The setting can be extended to probabilistic procedures, in which the decision to park left or right is random. We finally describe how bilateral procedures can naturally be encoded by certain labeled binary forests, whose combinatorics shed light on several results from the literature.

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.

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 an elementary approach utilizing only the divided difference formalism for obtaining expansions of Schubert polynomials that are manifestly nonnegative, by studying solutions to the equation $\sum Y_i\partial_i=\mathrm{id}$ on polynomials with no constant term. This in particular recovers the pipe dream and slide polynomial expansions. We also show that slide polynomials satisfy an analogue of the divided difference formalisms for Schubert polynomials and forest polynomials, which gives a simple method for extracting the coefficients of slide polynomials in the slide polynomial decomposition of an arbitrary polynomial.

We develop a quasisymmetric analogue of the combinatorial theory of Schubert polynomials and the associated divided difference operators. Our counterparts are "forest polynomials", and a new family of linear operators, whose theory of compositions is governed by forests and the "Thompson monoid". Our approach extends naturally to $m$-colored quasisymmetric functions. We then give several applications of our theory to fundamental quasisymmetric functions, the study of quasisymmetric coinvariant rings and their associated harmonics, and positivity results for various expansions. In particular we resolve a conjecture of Aval-Bergeron-Li regarding quasisymmetric harmonics.

We introduce a simple bijection between Tamari intervals and the blossoming trees (Poulalhon and Schaeffer, 2006) encoding planar triangulations, using a new meandering representation of such trees. Its specializations to the families of synchronized, Kreweras, new/modern, and infinitely modern intervals give a combinatorial proof of the counting formula for each family. Compared to (Bernardi and Bonichon, 2009), our bijection behaves well with the duality of Tamari intervals, enabling also the counting of self-dual intervals.

We provide a combinatorial interpretation of the symmetric function $\left.Θ_{e_k}Θ_{e_l}\nabla e_{n-k-l}\right|_{t=0}$ in terms of segmented Smirnov words. The motivation for this work is the study of a diagonal coinvariant ring with one set of commuting and two sets of anti-commuting variables, whose Frobenius characteristic is conjectured to be the symmetric function in question. Furthermore, this function is related to the Delta conjectures. Our work is a step towards a unified formulation of the two versions, as we prove a unified Delta theorem at $t=0$.

We study a basis of the polynomial ring that we call forest polynomials. This family of polynomials is indexed by a combinatorial structure called indexed forests and permits several definitions, one of which involves flagged P-partitions. As such, these polynomials have a positive expansion in the basis of slide polynomials. By a novel insertion procedure that may be viewed as a generalization of the Sylvester correspondence we establish that Schubert polynomials decompose positively in terms of forest polynomials. Our insertion procedure involves a correspondence on words which allows us to show that forest polynomials multiply positively. We proceed to show that forest polynomials are a particularly convenient basis in regards to studying the quotient of the polynomial ring modulo the ideal of positive degree quasisymmetric polynomials. This aspect allows us to give a manifestly nonnegative integral description for the Schubert class expansion of the cohomology class of the permutahedral variety in terms of a parking procedure. We study the associated combinatorics in depth and introduce a multivariate extension of mixed Eulerian numbers.

The Wiener index of a finite graph G is the sum over all pairs (p, q) of vertices of G of the distance between p and q. When P is a finite poset, we define its Wiener index as the Wiener index of the graph of its Hasse diagram. In this paper, we find exact expressions for the Wiener indices of the distributive lattices of order ideals in minuscule posets. For infinite families of such posets, we also provide results on the asymptotic distribution of the distance between two random order ideals.

Stanley's theory of $(P,ω)$-partitions is a standard tool in combinatorics. It can be extended to allow for the presence of a restriction, that is a given maximal value for partitions at each vertex of the poset, as was shown by Assaf and Bergeron. Here we present a variation on their approach, which applies more generally. The enumerative side of the theory is more naturally expressed in terms of back stable quasisymmetric functions. We study the space of such functions, following the work of Lam, Lee and Shimozono on back stable symmetric functions. As applications we describe a new basis for the ring of polynomials that we call forest polynomials. Additionally we give a signed multiplicity-free expansion for any monomial expressed in the basis of slide polynomials.

Remixed Eulerian numbers are a polynomial $q$-deformation of Postnikov's mixed Eulerian numbers. They arose naturally in previous work by the authors concerning the permutahedral variety and subsume well-known families of polynomials such as $q$-binomial coefficients and Garsia--Remmel's $q$-hit numbers. We study their combinatorics in more depth. As polynomials in $q$, they are shown to be symmetric and unimodal. By interpreting them as computing success probabilities in a simple probabilistic process we arrive at a combinatorial interpretation involving weighted trees. By decomposing the permutahedron into certain combinatorial cubes, we obtain a second combinatorial interpretation. At $q=1$, the former recovers Postnikov's interpretation whereas the latter recovers Liu's interpretation, both of which were obtained via methods different from ours.

We establish Guay-Paquet's unpublished linear relation between certain chromatic symmetric functions by relating his algebra on paths to the $q$-Klyachko algebra. The coefficients in this relations are $q$-hit polynomials, and they come up naturally in our setup as connected remixed Eulerian numbers, in contrast to the computational approach of Colmenarejo-Morales-Panova. As Guay-Paquet's algebra is a down-up algebra, we are able to harness algebraic results in the context of the latter and establish results of a combinatorial flavour. In particular we resolve a conjecture of Colmenarejo-Morales-Panova on chromatic symmetric functions. This concerns the abelian case of the Stanley-Stembridge conjecture, which we briefly survey.

The dual braid monoid was introduced by Bessis in his work on complex reflection arrangements. The goal of this work is to show that Koszul duality provides a nice interplay between the dual braid monoid and the cluster complex introduced by Fomin and Zelevinsky. Firstly, we prove koszulity of the dual braid monoid algebra, by building explicitly the minimal free resolution of the ground field. This is done explicitly using some chains complexes defined in terms of the positive part of the cluster complex. Secondly, we derive various properties of the quadratic dual algebra. We show that it is naturally graded by the noncrossing partition lattice. We get an explicit basis, naturally indexed by positive faces of the cluster complex. Moreover, we find the structure constants via a geometric rule in terms of the cluster fan. Eventually, we realize this dual algebra as a quotient of a Nichols algebra. This latter fact makes a connection with results of Zhang, who used the same algebra to compute the homology of Milnor fibers of reflection arrangements.

There is a striking similarity between Macdonald's reduced word formula and the image of the Schubert class in the cohomology ring of the permutahedral variety $\mathrm{Perm}_n$ as computed by Klyachko. Toward understanding this better, we undertake an in-depth study of a $q$-deformation of the $\mathbb{S}_n$-invariant part of the rational cohomology ring of $\mathrm{Perm}_n$, which we call the $q$-Klyachko algebra. We uncover intimate links between expansions in the basis of squarefree monomials in this algebra and various notions in algebraic combinatorics, thereby connecting seemingly unrelated results by finding a common ground to study them. Our main results are as follows. 1) A $q$-analog of divided symmetrization ($q$-DS) using Yang-Baxter elements in the Hecke algebra. It is a linear form that picks up coefficients in the squarefree basis. 2) A relation between $q$-DS and the ideal of quasisymmetric polynomials involving work of Aval--Bergeron--Bergeron. 3) A family of polynomials in $q$ with nonnegative integral coefficients that specialize to Postnikov's mixed Eulerian numbers when $q=1$. We refer to these new polynomials as remixed Eulerian numbers. For $q>0$, their normalized versions occur as probabilities in the internal diffusion limited aggregation (IDLA) stochastic process. 4) A lift of Macdonald's reduced word identity in the $q$-Klyachko algebra. 5) The Schubert expansion of the Chow class of the standard split Deligne--Lusztig variety in type $A$, when $q$ is a prime power.

We define a new disordered asymmetric simple exclusion process (ASEP) with two species of particles, first-class particles labelled $\bullet$ and second-class particles labelled ${\scriptstyle \Box}$, on a two-dimensional toroidal lattice. The dynamics is controlled by particles labelled $\bullet$, which only move horizontally, with forward and backward hopping rates $p_i$ and $q_i$ respectively if the $\bullet$ is on row $i$. The motion of particles labelled ${\scriptstyle \Box}$ depends on the relative position of these with respect to $\bullet$'s, and can be both horizontal and vertical. We show that the stationary weight of any configuration is proportional to a monomial in the $p_i$'s and $q_i$'s. Our process projects to the disordered ASEP on a ring, and so explains combinatorially the stationary distribution of the latter first derived by Evans (Europhysics Letters, 1996). We compute the partition function, as well as densities and currents of $\bullet$'s and ${\scriptstyle \Box}$'s in the stationary state. We observe a novel mechanism we call the Scott Russell phenomenon: the current of ${\scriptstyle \Box}$'s in the vertical direction is the same as that of $\bullet$'s in the horizontal direction.

We study the Schur polynomial expansion of a family of symmetric polynomials related to the refined enumeration of alternating sign matrices with respect to their inversion number, complementary inversion number and the position of the unique $1$ in the top row. We prove that the expansion can be expressed as a sum over totally symmetric plane partitions and we are also able to determine the coefficients. This establishes a new connection between alternating sign matrices and a class of plane partitions, thereby complementing the fact that alternating sign matrices are equinumerous with totally symmetric self-complementary plane partitions as well as with descending plane partitions. As a by-product we obtain an interesting map from totally symmetric plane partitions to Dyck paths. The proof is based on a new, quite general antisymmetrizer-to-determinant formula.

We compute the expansion of the cohomology class of the permutahedral variety in the basis of Schubert classes. The resulting structure constants $a_w$ are expressed as a sum of \emph{normalized} mixed Eulerian numbers indexed naturally by reduced words of $w$. The description implies that the $a_w$ are positive for all permutations $w\in S_n$ of length $n-1$, thereby answering a question of Harada, Horiguchi, Masuda and Park. We use the same expression to establish the invariance of $a_w$ under taking inverses and conjugation by the longest word, and subsequently establish an intriguing cyclic sum rule for the numbers. We then move toward a deeper combinatorial understanding for the $a_w$ by exploiting in addition the relation to Postnikov's divided symmetrization. Finally, we are able to give a combinatorial interpretation for $a_w$ when $w$ is vexillary, in terms of certain tableau descents. It is based in part on a relation between the numbers $a_w$ and principal specializations of Schubert polynomials. Along the way, we prove results and raise questions of independent interest about the combinatorics of permutations, Schubert polynomials and related objects. We also sketch how to extend our approach to other Lie types, highlighting in particular an identity of Klyachko.

Motivated by a question in Schubert calculus, we study the interplay of quasisymmetric polynomials with the divided symmetrization operator, which was introduced by Postnikov in the context of volume polynomials of permutahedra. Divided symmetrization is a linear form which acts on the space of polynomials in $n$ indeterminates of degree $n-1$. We first show that divided symmetrization applied to a quasisymmetric polynomial in $m$ indeterminates can be easily determined. Several examples with a strong combinatorial flavor are given. Then, we prove that the divided symmetrization of any polynomial can be naturally computed with respect to a direct sum decomposition due to Aval-Bergeron-Bergeron involving the ideal generated by positive degree quasisymmetric polynomials in $n$ indeterminates.