arXiv++ Combinatorics

The superspace ring $Ω_n$ is a rank $n$ polynomial ring tensor a rank $n$ exterior algebra. Using an extension of the Vandermonde determinant to $Ω_n$, the authors previously defined a family of doubly graded quotients $\mathbb{W}_{n,k}$ of $Ω_n$ which carry an action of the symmetric group $\mathfrak{S}_n$ and satisfy a bigraded version of Poincaré Duality. In this paper, we examine the duality modules $\mathbb{W}_{n,k}$ in greater detail. We describe a monomial basis of $\mathbb{W}_{n,k}$ and give combinatorial formulas for its bigraded Hilbert and Frobenius series. These formulas involve new combinatorial objects called {\em ordered superpartitions}. These are ordered set partitions $(B_1 \mid \cdots \mid B_k)$ of $\{1,\dots,n\}$ in which the non-minimal elements of any block $B_i$ may be barred or unbarred.

The goal of this paper is to show that valuation theory and Hopf theory are compatible on the class of generalized permutahedra. We prove that the Hopf structure $\mathbf{GP}^+$ on these polyhedra descends, modulo the inclusion-exclusion relations, to an indicator Hopf monoid $\mathbb{I}(\mathbf{GP}^+)$ of generalized permutahedra that is isomorphic to the Hopf monoid of weighted ordered set partitions. This quotient Hopf monoid $\mathbb{I}(\mathbf{GP}^+)$ is cofree. It is the terminal object in the category of Hopf monoids with polynomial characters; this partially explains the ubiquity of generalized permutahedra in the theory of Hopf monoids. This Hopf theoretic framework offers a simple, unified explanation for many new and old valuations on generalized permutahedra and their subfamilies. Examples include, for matroids: the Chern-Schwartz-MacPherson cycles, Eur's volume polynomial, the Kazhdan-Lusztig polynomial, the motivic zeta function, and the Derksen-Fink invariant; for posets: the order polynomial, Poincaré polynomial, and poset Tutte polynomial; for generalized permutahedra: the universal Tutte character and the corresponding class in the Chow ring of the permutahedral variety. We obtain several algebraic and combinatorial corollaries; for example: the existence of the valuative character group of $\mathbf{GP}^+$, and the indecomposability of a nestohedron into smaller nestohedra.

In this paper, we consider ordered set partitions obtained by imposing conditions on the size of the lists, and such that the first $r$ elements are in distinct blocks, respectively. We introduce a generalization of the Lah numbers. For this new combinatorial sequence we derive its exponential generating function, some recurrence relations, and combinatorial identities. We prove and present results using combinatorial arguments, generating functions, the symbolic method and Riordan arrays. For some specific cases we provide a combinatorial interpretation for the inverse matrix of the generalized Lah numbers by means of two families of posets.

Let $k \leq n$ be nonnegative integers and let $λ$ be a partition of $k$. S. Griffin recently introduced a quotient $R_{n,λ}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which simultaneously generalizes the Delta Conjecture coinvariant rings of Haglund-Rhoades-Shimozono and the cohomology rings of Springer fibers studied by Tanisaki and Garsia-Procesi. We describe the space $V_{n,λ}$ of harmonics attached to $R_{n,λ}$ and produce a harmonic basis of $R_{n,λ}$ indexed by certain ordered set partitions $\mathcal{OP}_{n,λ}$. The combinatorics of this basis is governed by a new extension of the {\em Lehmer code} of a permutation to $\mathcal{OP}_{n, λ}$.

We introduce a family of ideals $I_{n,λ,s}$ in $\mathbb{Q}[x_1,\dots,x_n]$ for $λ$ a partition of $k\leq n$ and an integer $s \geq \ell(λ)$. This family contains both the Tanisaki ideals $I_λ$ and the ideals $I_{n,k}$ of Haglund-Rhoades-Shimozono as special cases. We study the corresponding quotient rings $R_{n,λ,s}$ as symmetric group modules. When $n=k$ and $s$ is arbitrary, we recover the Garsia-Procesi modules, and when $λ=(1^k)$ and $s=k$, we recover the generalized coinvariant algebras of Haglund-Rhoades-Shimozono. We give a monomial basis for $R_{n,λ,s}$, unifying the monomial bases studied by Garsia-Procesi and Haglund-Rhoades-Shimozono, and realize the $S_n$-module structure of $R_{n,λ,s}$ in terms of an action on $(n,λ,s)$-ordered set partitions. We also prove formulas for the Hilbert series and graded Frobenius characteristic of $R_{n,λ,s}$. We then connect our work with Eisenbud-Saltman rank varieties using results of Weyman. As an application of our work, we give a monomial basis, Hilbert series formula, and graded Frobenius characteristic formula for the coordinate ring of the scheme-theoretic intersection of a rank variety with diagonal matrices.

In this paper, we give a cancellation-free antipode formula for the matroid-minor Hopf algebra. We then explore applications of this formula. For example, the cancellation-free formula expresses the antipode of uniform matroids as a sum over certain ordered set partitions. We also prove that all matroids over any hyperfield (in the sense of Baker and Bowler) have cancellation-free antipode formulas; furthermore, the cancellations in the antipode are independent of the hyperfield structure and only depend on the underlying matroid.

The distribution of certain Mahonian statistic (called $\mathrm{BAST}$) introduced by Babson and Steingrímsson over the set of permutations that avoid vincular pattern $1\underline{32}$, is shown bijectively to match the distribution of major index over the same set. This new layer of equidistribution is then applied to give alternative interpretations of two related $q$-Stirling numbers of the second kind, studied by Carlitz and Gould. Moreover, extensions to an Euler-Mahonian statistic over ordered set partitions, and to statistics over ordered multiset partitions present themselves naturally. The latter of which is shown to be related to the recently proven Delta Conjecture. During the course, a refined relation between $\mathrm{BAST}$ and its reverse complement $\mathrm{STAT}$ is derived as well.

We give a combinatorial formula for the Ehrhart $h^*$-vector of the hypersimplex. In particular, we show that $h^{*}_{d}(Δ_{k,n})$ is the number of hypersimplicial decorated ordered set partitions of type $(k,n)$ with winding number $d$, thereby proving a conjecture of Nick Early. We do this by proving a more general conjecture of Nick Early on the Ehrhart $h^*$-vector of a generic cross-section of a hypercube.

A set partition of $[n] := \{1, 2, \dots, n \}$ is called {\em $r$-Stirling} if the numbers $1, 2, \dots, r$ belong to distinct blocks. Haglund, Rhoades, and Shimozono constructed graded ring $R_{n,k}$ depending on two positive integers $k \leq n$ whose algebraic properties are governed by the combinatorics of ordered set partitions of $[n]$ with $k$ blocks. We introduce a variant $R_{n,k}^{(r)}$ of this quotient for ordered $r$-Stirling partitions which depends on three integers $r \leq k \leq n$. We describe the standard monomial basis of $R_{n,k}^{(r)}$ and use the combinatorial notion of the {\em coinversion code} of an ordered set partition to reprove and generalize some results of Haglund et.\ al.\ in a more direct way. Furthermore, we introduce a variety $X_{n,k}^{(r)}$ of line arrangements whose cohomology is presented as the integral form of $R_{n,k}^{(r)}$, generalizing results of Pawlowski and Rhoades.

An ordered set partition of $\{1,2,\ldots,n\}$ is a partition with an ordering on the parts. Let $\mathcal{OP}_{n,k}$ be the set of ordered set partitions of $[n]$ with $k$ blocks. Godbole, Goyt, Herdan and Pudwell defined $\mathcal{OP}_{n,k}(σ)$ to be the set of ordered set partitions in $\mathcal{OP}_{n,k}$ avoiding a permutation pattern $σ$ and obtained the formula for $|\mathcal{OP}_{n,k}(σ)|$ when the pattern $σ$ is of length $2$. Later, Chen, Dai and Zhou found a formula algebraically for $|\mathcal{OP}_{n,k}(σ)|$ when the pattern $σ$ is of length $3$. In this paper, we define a new pattern avoidance for the set $\mathcal{OP}_{n,k}$, called $\mathcal{WOP}_{n,k}(σ)$, which includes the questions proposed by Godbole, Goyt, Herdan and Pudwell. We obtain formulas for $|\mathcal{WOP}_{n,k}(σ)|$ combinatorially for any $σ$ of length $ 3$. We also define 3 kinds of descent statistics on ordered set partitions and study the distribution of the descent statistics on $\mathcal{WOP}_{n,k}(σ)$ for $σ$ of length $3$.

We define spreadability systems as a generalization of exchangeability systems in order to unify various notions of independence and cumulants known in noncommutative probability. In particular, our theory covers monotone independence and monotone cumulants which do not satisfy exchangeability. To this end we study generalized zeta and Möbius functions in the context of the incidence algebra of the semilattice of ordered set partitions and prove an appropriate variant of Faa di Bruno's theorem. With the aid of this machinery we show that our cumulants cover most of the previously known cumulants. Due to noncommutativity of independence the behaviour of these cumulants with respect to independent random variables is more complicated than in the exchangeable case and the appearance of Goldberg coefficients exhibits the role of the Campbell-Baker-Hausdorff series in this context. In a final section we exhibit an interpretation of the Campbell-Baker-Hausdorff series as a sum of cumulants in a particular spreadability system, thus providing a new derivation of the Goldberg coefficients.

We formulate conjectures giving combinatorial interpretations of the Ehrhart $h^*$-vector, for hypersimplices, for dilated simplices and for generic cross-sections of cubes, in terms of certain decorated ordered set partitions. All were formulated and checked computationally during our graduate study at Penn State.

We construct an action of the Hecke algebra $H_n(q)$ on a quotient of the polynomial ring $F[x_1, \dots, x_n]$, where $F = \mathbb{Q}(q)$. The dimension of our quotient ring is the number of $k$-block ordered set partitions of $\{1, 2, \dots, n \}$. This gives a quantum analog of a construction of Haglund-Rhoades-Shimozono and interpolates between their result at $q = 1$ and work of Huang-Rhoades at $q = 0$.

Fix an integer partition lambda that has no more than n parts. Let beta be a weakly increasing n-tuple with entries from {1,..,n}. The flagged Schur function indexed by lambda and beta is a polynomial generating function in x_1, .., x_n for certain semistandard tableaux of shape lambda. Let pi be an n-permutation. The type A Demazure character (key polynomial, Demazure polynomial) indexed by lambda and pi is another such polynomial generating function. Reiner and Shimozono and then Postnikov and Stanley studied coincidences between these two families of polynomials. Here their results are sharpened by the specification of unique representatives for the equivalence classes of indexes for both families of polynomials, extended by the consideration of more general beta, and deepened by proving that the polynomial coincidences also hold at the level of the underlying tableau sets. Let R be the set of lengths of columns in the shape of lambda that are less than n. Ordered set partitions of {1,..,n} with block sizes determined by R, called R-permutations, are used to describe the minimal length representatives for the parabolic quotient of the nth symmetric group specified by the set {1,..,n-1}\R. The notion of 312-avoidance is generalized from n-permutations to these set partitions. The R-parabolic Catalan number is defined to be the number of these. Every flagged Schur function arises as a Demazure polynomial. Those Demazure polynomials are precisely indexed by the R-312-avoiding R-permutations. Hence the number of flagged Schur functions that are distinct as polynomials is shown to be the R-parabolic Catalan number. The projecting and lifting processes that relate the notions of 312-avoidance and of R-312-avoidance are described with maps developed for other purposes.

Let $r$ be a positive integer and let $G_n$ be the reflection group of $n \times n$ monomial matrices whose entries are $r^{th}$ complex roots of unity and let $k \leq n$. We define and study two new graded quotients $R_{n,k}$ and $S_{n,k}$ of the polynomial ring $\mathbb{C}[x_1, \dots, x_n]$ in $n$ variables. When $k = n$, both of these quotients coincide with the classical coinvariant algebra attached to $G_n$. The algebraic properties of our quotients are governed by the combinatorial properties of $k$-dimensional faces in the Coxeter complex attached to $G_n$ (in the case of $R_{n,k}$) and $r$-colored ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks (in the case of $S_{n,k}$). Our work generalizes a construction of Haglund, Rhoades, and Shimozono from the symmetric group $\mathfrak{S}_n$ to the more general wreath products $G_n$.

In this paper, we give a cancellation-free antipode formula (for uniform matroids) for the restriction-contraction matroid Hopf algebra, using the technique of splitting and merging via a sign-reversing involution. The cancellation-free formula expresses the antipode of uniform matroids as a sum over certain ordered set partitions.

Let the symmetric group $\mathfrak{S}_n$ act on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The coinvariant algebra is the graded $\mathfrak{S}_n$-module $R_n := {\mathbb{Q}[\mathbf{x}_n]} / {I_n}$, where $I_n$ is the ideal in $\mathbb{Q}[\mathbf{x}_n]$ generated by invariant polynomials with vanishing constant term. Haglund, Rhoades, and Shimozono introduced a new quotient $R_{n,k}$ of the polynomial ring $\mathbb{Q}[\mathbf{x}_n]$ depending on two positive integers $k \leq n$ which reduces to the classical coinvariant algebra of the symmetric group $\mathfrak{S}_n$ when $k = n$. The quotient $R_{n,k}$ carries the structure of a graded $\mathfrak{S}_n$-module; Haglund et. al. determine its graded isomorphism type and relate it to the Delta Conjecture in the theory of Macdonald polynomials. We introduce and study a related quotient $S_{n,k}$ of $\mathbb{F}[\mathbf{x}_n]$ which carries a graded action of the 0-Hecke algebra $H_n(0)$, where $\mathbb{F}$ is an arbitrary field. We prove 0-Hecke analogs of the results of Haglund, Rhoades, and Shimozono. In the classical case $k = n$, we recover earlier results of Huang concerning the 0-Hecke action on the coinvariant algebra.

The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant polynomials with vanishing constant term. The quotient $R_n = \frac{\mathbb{Q}[\mathbf{x}_n]}{I_n}$ is called the coinvariant algebra. The coinvariant algebra $R_n$ has received a great deal of study in algebraic and geometric combinatorics. We introduce a generalization $I_{n,k} \subseteq \mathbb{Q}[\mathbf{x}_n]$ of the ideal $I_n$ indexed by two positive integers $k \leq n$. The corresponding quotient $R_{n,k} := \frac{\mathbb{Q}[\mathbf{x}_n]}{I_{n,k}}$ carries a graded action of $\mathfrak{S}_n$ and specializes to $R_n$ when $k = n$. We generalize many of the nice properties of $R_n$ to $R_{n,k}$. In particular, we describe the Hilbert series of $R_{n,k}$, give extensions of the Artin and Garsia-Stanton monomial bases of $R_n$ to $R_{n,k}$, determine the reduced Gröbner basis for $I_{n,k}$ with respect to the lexicographic monomial order, and describe the graded Frobenius series of $R_{n,k}$. Just as the combinatorics of $R_n$ are controlled by permutations in $\mathfrak{S}_n$, we will show that the combinatorics of $R_{n,k}$ are controlled by ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks. The {\em Delta Conjecture} of Haglund, Remmel, and Wilson is a generalization of the Shuffle Conjecture in the theory of diagonal coinvariants. We will show that the graded Frobenius series of $R_{n,k}$ is (up to a minor twist) the $t = 0$ specialization of the combinatorial side of the Delta Conjecture. It remains an open problem to give a bigraded $\mathfrak{S}_n$-module $V_{n,k}$ whose Frobenius image is even conjecturally equal to any of the expressions in the Delta Conjecture; our module $R_{n,k}$ solves this problem in the specialization $t = 0$.

The Delta Conjecture of Haglund, Remmel, and Wilson is a recent generalization of the Shuffle Conjecture in the field of diagonal harmonics. In this paper we give evidence for the Delta Conjecture by proving a pair of conjectures of Wilson and Haglund-Remmel-Wilson which give equidistribution results for statistics related to inversion count and major index on objects related to ordered set partitions. Our results generalize the famous result of MacMahon that major index and inversion number share the same distribution on permutations.

We generalize previous definitions of Tesler matrices to allow negative matrix entries and negative hook sums. Our main result is an algebraic interpretation of a certain weighted sum over these matrices, which we call the Tesler function. Our interpretation uses a new class of symmetric function specializations which are defined by their values on Macdonald polynomials. As a result of this interpretation, we obtain a Tesler function expression for the Hall inner product $\langle Δ_f e_n, p_{1^{n}}\rangle$, where $Δ_f$ is the delta operator introduced by Bergeron, Garsia, Haiman, and Tesler. We also provide simple formulas for various special cases of Tesler functions which involve $q,t$-binomial coefficients, ordered set partitions, and parking functions. These formulas prove two cases of the recent Delta Conjecture posed by Haglund, Remmel, and the author.