arXiv++ Combinatorics

Rado's theorem about permutahedra and dominance order on partitions reveals that each Schur polynomial is M-convex, or equivalently, it has a saturated Newton polytope and this polytope is a generalized permutahedron as well. In this paper we show that the support of each dual $k$-Schur polynomial indexed by a $k$-bounded partition coincides with that of the Schur polynomial indexed by the same partition, and hence the two polynomials share the same saturated Newton polytope. The main result is based on our recursive algorithm to generate a semistandard $k$-tableau for a given shape and $k$-weight. As consequences, we obtain the M-convexity of dual $k$-Schur polynomials, affine Stanley symmetric polynomials and cylindric skew Schur polynomials.

We initiate an in-depth study of pattern avoidance on modified ascent sequences. Our main technique consists in using Stanley's standardization to obtain a transport theorem between primitive modified ascent sequences and permutations avoiding a bivincular pattern of length three. We enumerate some patterns via bijections with other combinatorial structures such as Fishburn permutations, lattice paths and set partitions. We settle the last remaining case of a conjecture by Duncan and Steingrímsson by proving that modified ascent sequences avoiding 2321 are counted by the Bell numbers.

A LAnKe (also known as a Filippov algebra or a Lie algebra of the $n$-th kind) is a vector space equipped with a skew-symmetric $n$-linear form that satisfies the generalized Jacobi identity. Friedmann, Hanlon, Stanley and Wachs have shown that the symmetric group acts on the multilinear part of the free LAnKe on $2n-1$ generators as an irreducible representation. They announced that the multilinear component on $3n-2$ generators decomposes as a direct sum of two irreducible symmetric group representations and a proof was given recently in a subsequent paper by Friedmann, Hanlon and Wachs. In the present paper we provide a proof of the later statement. The two proofs are substantially different.

In the seminal work of Stanley, several conjectures were made on the structure of Littlewood-Richardson coefficients for the multiplication of Jack symmetric functions. Motivated by recent results of Alexandersson and the present author, we postulate that a `windowing' property holds for all such Jack L-R coefficients. Furthermore, we propose an extension of the `Factorization' property for Schur L-R due to King-Tollu-Toumazet to the Jack case. These properties provide a vast set of relations between the Jack L-R coefficients and allow for their direct computation in a certain large class of cases.

Let $H$ be a complex reductive group, with finite-dimensional representations $W$ and $U$. The module of covariants for $W$ of type $U$ is the space of all $H$-equivariant polynomial maps $\varphi: W \longrightarrow U$. In this paper, we take $H$ to be one of the classical groups $\operatorname{GL}(V)$, $\operatorname{O}(V)$, or $\operatorname{Sp}(V)$, where $W$ is a direct sum of copies of $V$ and $V^*$, and $U$ is an arbitrary rational representation (with $U$ restricted to exterior powers of $V$ in the $H= \operatorname{O}(V)$ case). Our main result gives uniform Stanley decompositions of these modules of covariants, with Stanley spaces parametrized by combinatorial objects we call jellyfish. As a corollary, we write down the Hilbert series as a finite sum of rational functions, each with a combinatorial interpretation in terms of lattice paths. Notably, these results do not rely on the module being Cohen-Macaulay. We further apply our methods to invariant rings for $\operatorname{SL}(V)$ and $\operatorname{SO}(V)$. Our proofs (for $H = \operatorname{GL}(V)$ and $\operatorname{Sp}(V)$) rely on previous work by Jackson on standard monomial theory for dual reductive pairs, since classical modules of covariants can be viewed via Howe duality as Harish-Chandra modules of unitary highest weight representations of a certain real reductive group. As a first step toward extending this program to arbitrary unitary highest weight representations (including those of the exceptional groups), we establish analogous results uniformly for the Wallach representations of type ADE.

We study representations of finite groups on Stanley--Reisner rings of simplicial complexes and on lattice points in lattice polytopes. The framework of translative group actions allows us to use the theory of proper colorings of simplicial complexes without requiring an explicit coloring to be given. We prove that the equivariant Hilbert series of a Cohen--Macaulay simplicial complex under a translative group action admits a rational expression whose numerator is a positive integer combination of irreducible characters. This implies an analogous rational expression for the equivariant Ehrhart series of a lattice polytope with a unimodular triangulation that is invariant under a translative group action. As an application, we study the equivariant Ehrhart series of alcoved polytopes in the sense of Lam and Postnikov and derive explicit results in the case of order polytopes and of Lipschitz poset polytopes.

Combining Carver's variant of the Farkas' lemma with the Flow Decomposition Theorem we show that the regions of any deformation of a graphical arrangement may be bijectively labeled with a set of weighted digraphs containing directed cycles of negative weight only. Bounded regions correspond to strongly connected digraphs. The study of the resulting labelings allows us to add the omitted details in Stanley's proof on the injectivity of the Pak-Stanley labeling of the regions of the extended Shi arrangement, to generalize the ceiling diagrams in the deleted Shi and Ish arrangements studied by Armstrong and Rhoades and to introduce a new labeling of the regions in the Fuss-Catalan arrangement. We also point out that Athanasiadis-Linusson labelings may be used to directly count regions in a class of arrangements properly containing the extended Shi arrangement and the Fuss-Catalan arrangement.

New presentations of Specht modules of symmetric groups over fields of characteristic zero have been obtained by Brauner, Friedmann, Hanlon, Stanley and Wachs. These involve generators that are column tabloids and relations that are Garnir relations with maximal number of exchanges between consecutive columns or symmetrization of Garnir relations with minimal number of exchanges between consecutive columns. In this paper, we examine Garnir relations and their symmetrization with any number of exchanges. In both cases, we provide sufficient arithmetic conditions so that the corresponding quotient is a Specht module. In particular, in the first case this yields new presentations of Specht modules if the parts of the conjugate partition that correspond to maximal number of exchanges greater than 1 are distinct. These results generalize the presentations mentioned above and offer an answer to a question of Friedmann, Hanlon and Wachs. Our approach is via representations of the general linear group.

For two subsets S and T of a given lattice L, we define a relative distributive (modular) property over L, that underlies a large family including the usual class of distributive (modular) lattices. Our proposed class will be called ST-distributive (ST-modular) lattices. In this paper, we explore elemental properties of ST-distributivity (ST-modularity) and find examples of maximal S and T to form ST-distributive lattices for some non-distributive finite lattices of small order. We also characterize the maximal pairs of subsets (S,T), subject to certain constraints, that induce ST-distributivity in the lattice family M_n,n for all natural numbers n greater than or equal to 3. Afterwards, we present an application of ST-modular to convex sets and polytopes. This application has been the first example found and the main guiding light for our new definitions. The aforementioned definitions are closely related to distributive elements of Birkhoff-Gratzer and Stanley's SS-lattices.

This paper gives a tableau formula for expanding the product of a Lascoux polynomial and a stable Grothendieck polynomial into Lascoux polynomials. Lascoux and stable Grothendieck polynomials are inhomogeneous analogues of key polynomials and Stanley symmetric functions, respectively. Our formula refines the K-theoretic Littlewood-Richardson rule of Buch and extends the key expansion of key times Schur established by Haglund, Luoto, Mason, and van Willigenburg. Our proof is combinatorial, relying heavily on a novel row insertion algorithm of Huang, Shimozono and Yu.

We give a combinatorial proof that Postnikov and Stanley's formula for dual Schubert polynomials in terms of weighted chains in Bruhat order is equivalent to a classical Cauchy identity for polynomials. This gives a natural interpretation of Huang and Pylyavskyy's recent insertion algorithms.

We initiate the study of a type $C_n$ generalization of the lattice path matroids defined by Bonin, de Mier, and Noy. These are delta matroids whose feasible sets are in bijection with lattice paths which are symmetric along the main diagonal. We describe deletion, contraction, enveloping matroids, and the homogeneous components of these delta matroids in terms of the combinatorics of symmetric lattice paths. In the second half, we study the convex geometry of the feasible polytopes of lattice path delta matroids. We show that these polytopes decompose into the feasible polytope of special lattice paths corresponding to intervals in the type $C_n$ Gale order whose related Richardson variety is a toric variety. Further, these special polytopes inherit a unimodular triangulation from Stanley's Eulerian triangulation of the hypercube. As a consequence, the volume of these polytopes is the proportion of permutations with specific ascent sets.

We apply operad theory to enumerative combinatorics in order to count the number of shuffles between series-parallel posets and chains. We work with three types of shuffles, two of them noncommutative, for example a left deck-divider shuffle $A$ between $P$ and $Q$ is a shuffle of the posets in which, on every maximal chain $m\subset A$, the minimum and maximum elements belong to $P$ and no two consecutive points of $Q$ appear consecutively on $m$. The number of left deck-divider shuffles of $P$ and $Q$ differ from the number of left deck-divider shuffles of $Q$ and $P$. The generating functions whose $n$ coefficient counts shuffles between a poset $P$ and $1<2<\cdots<n$ are called shuffle series. We explain how shuffle series are isomorphic to order series as algebras over the operad of series parallel posets. The weak and strict order polynomials are well known in the literature. At the level of generating series, with the theory of sets with a negative number of elements, we introduce a third order series and prove a theorem in the style of Stanley's Reciprocity Theorem compatible with the structure of algebras over the operad of finite posets. We conclude by describing the relationship of our work with the combinatorial properties of the operadic tensor product of free trees operads.

We study three invariants of geometrically vertex decomposable ideals: the Castelnuovo-Mumford regularity, the multiplicity, and the $a$-invariant. We show that these invariants can be computed recursively using the ideals that appear in the geometric vertex decomposition process. As an application, we prove that the $a$-invariant of a geometrically vertex decomposable ideal is non-positive. We also recover some previously known results in the literature including a formula for the regularity of the Stanley--Reisner ideal of a pure vertex decomposable simplicial complex, and proofs that some well-known families of ideals are Hilbertian. Finally, we apply our recursions to the study of toric ideals of bipartite graphs. Included among our results on this topic is a new proof for a known bound on the $a$-invariant of a toric ideal of a bipartite graph.

Stanley introduced in 1986 the order polytope and the chain polytope for a given finite poset. These polytopes contain much information about the poset and have given rise to important examples in polyhedral geometry. In 1993, Reiner introduced signed posets as natural type-B analogues of posets. We define and study signed order and chain polytopes. Our results include convex-hull and halfspace descriptions, unimodular triangulations, Ehrhart $h^*$-polynomials and their relations to signed permutation statistics, and a Gorenstein characterization of signed order and chain polytopes.

Assuming Stanley's $P$-partition conjecture holds, the regular Schur labeled skew shape posets with underlying set $\{1,2,\ldots, n\}$ are precisely the posets $P$ such that the $P$-partition generating function is symmetric and the set of linear extensions of $P$, denoted $Σ_L(P)$, is a left weak Bruhat interval in the symmetric group $\mathfrak{S}_n$. We describe the permutations in $Σ_L(P)$ in terms of reading words of standard Young tableaux when $P$ is a regular Schur labeled skew shape poset, and classify $Σ_L(P)$'s up to descent-preserving isomorphism as $P$ ranges over regular Schur labeled skew shape posets. The results obtained are then applied to classify the $0$-Hecke modules $\mathsf{M}_P$ associated with regular Schur labeled skew shape posets $P$ up to isomorphism. Then we characterize regular Schur labeled skew shape posets as the posets whose linear extensions form a dual plactic-closed subset of $\mathfrak{S}_n$. Using this characterization, we construct distinguished filtrations of $\mathsf{M}_P$ with respect to the Schur basis when $P$ is a regular Schur labeled skew shape poset. Further issues concerned with the classification and decomposition of the $0$-Hecke modules $\mathsf{M}_P$ are also discussed.

In this paper, we use the Lambert series generating function for Euler's totient function to introduce a new identity for the number of $1$'s in the partitions of $n$. A new expansion for Euler's partition function $p(n)$ is derived in this context. These surprising new results connect the famous classical totient function from multiplicative number theory to the additive theory of partitions.

A $(d-1)$-dimensional simplicial complex $Δ$ is balanced if its graph $G(Δ)$ is $d$-colorable. Klee and Novik obtained the balanced lower bound theorem for balanced normal $(d-1)$-pseudomanifolds $Δ$ with $d\geq3$ by showing that the subgraph of $G(Δ)$ induced by the vertices colored in $T$ is rigid in $\mathbb{R}^3$ for any $3$ colors $T$. We show that the same rigidity result, and thus the balanced lower bound theorem, holds for balanced minimal $(d-1)$-cycle complexes with $d \geq 3$. Motivated by the Stanley's work on a colored system of parameters for the Stanley-Reisner ring of balanced simplicial complexes, we further investigate the infinitesimal rigidity of non-generic realization of balanced, and more broadly $\bm{a}$-balanced, simplicial complexes. Among other results, we show that for $d \geq 4$, a balanced homology $(d-1)$-manifold can be realized as an infinitesimally rigid framework in $\mathbb{R}^d$ such that each vertex of color $i$ lies on the $i$th coordinate axis.

The first half of this paper is largely expository, wherein we present a systematic combinatorial approach to the theory of polynomial (semi)invariants and multilinear invariants of several vectors and covectors, for the classical groups. This culminates in a graphical description of graded linear bases. By applying well-known results of lattice path combinatorics to Weyl's fundamental theorems of classical invariant theory, we write down Stanley decompositions and Hilbert-Poincare series in terms of families of non-intersecting lattice paths, enumerated with respect to certain corners. In the second half of the paper, we revisit the (semi)invariants in the first half as a special case of a much broader phenomenon. On one hand, polynomial invariants of a group $H$ can be generalized to modules of covariants, i.e., $H$-equivariant polynomial functions between $H$-modules. On the other hand, from the perspective of Roger Howe's theory of dual pairs, these modules of covariants can be viewed as infinite-dimensional simple $(\mathfrak{g}, K)$-modules. This suggests an expanded program in which our goal is to apply combinatorial techniques involving lattice paths in order to write down Hilbert series for arbitrary unitarizable highest-weight $(\mathfrak{g},K)$-modules. As a preview of future work in this program, we present examples showing how modules of covariants -- even those which are not Cohen-Macaulay, and therefore which we would not expect to be combinatorially nice -- can be decomposed in terms of lattice paths. We also extend these methods beyond the classical groups.

We make progress towards understanding the structure of Littlewood-Richardson coefficients $g_{λ,μ}^ν$ for products of Jack symmetric functions. Building on recent results of the second author, we are able to prove new cases of a conjecture of Stanley in which certain families of these coefficients can be expressed as a product of upper or lower hook lengths for every box in each of the partitions. In particular, we prove that conjecture in the case of a rectangular union, i.e. for $g_{μ,\bar σ}^{μ\cup m^n}$ where $\bar σ$ is the complementary partition of $σ= μ\cap m^n$ in the rectangular partition $m^n$. We give a formula for these coefficients through an explicit prescription of such choices of hooks. Lastly, we conjecture an analogue of this conjecture of Stanley holds in the case of Shifted Jack functions.