arXiv++ Combinatorics

We give a spectral realization of the Robinson-Schensted-Knuth (RSK) correspondence in terms of the representation theory of the symmetric group $S_n$ and the degenerate affine Hecke algebra (AHA) $H_n$. We view RSK, which builds a pair of standard Young tableaux from a permutation, as a special case of rectification, also known as Jeu de Taquin, which turns skew tableaux into straight ones. In this framing, the initial permutation corresponds to a skew tableau of staircase shape. To interpret this in terms of representation theory, take permutations to label weight vectors in a generic $H_n$-module $V(a_1, \ldots , a_n)$, which is isomorphic to $\mathbb{C}[S_n]$ as an $S_n$-module. Writing permutations as staircases amounts to placing these weight vectors inside the regular representation of a larger symmetric group containing $S_n$; more geometrically, we push $S_n$ to the right toward infinity so its Jucys-Murphy (JM) elements have enough room to represent the external translations of $H_n$. Then, rectification corresponds to squeezing out this extra room from the left, leaving only $S_n$ and its regular JM elements as the limit of the external translations. By expressing slides via sequences of exchanges of consecutive values inside the tableau, we can model rectification by an operator acting on the regular representation. This lets us explicitly write down the change of basis between $H_n$-weight vectors and $S_n$-weight vectors, where the latter are eigenvectors of the JM elements in $S_n$ acting both on the left and on the right, and hence labeled by pairs of standard tableaux. The resulting correspondence between the labels of the weight vectors is exactly RSK.

In this note, we explicitly compute the probability that a given cell in a random standard Young tableau of the shifted staircase shape $(2n-1, 2n-3, \ldots, 3,1)$ contains the maximal label. We also show that the asymptotic distribution of the cell containing the maximal label is governed by the quarter-circle law. The bijection between the tableaux and thereduced decompositions of the longest element of the group $B_n$ of the signed permutations yields the probability distribution of the first (and any) letter of the random reduced decompositions. We also show the results of some computational experiments on the random sorting networks of $B_n$.

We construct and analyze several new families of permutons arising from random processes involving the Demazure product on the symmetric group. First, we consider Demazure products associated to random pipe dreams, generalizing the Grothendieck permutons introduced by Morales, Panova, Petrov, and Yeliussizov by replacing staircase shapes with arbitrary order-convex shapes. Using the totally asymmetric simple exclusion process (TASEP) with geometric jumps, we prove precise scaling limit and fluctuation results for the associated height functions, showing that these models belong to the Kardar--Parisi--Zhang (KPZ) universality class. We then consider permutons obtained by applying deterministic sequences of bubble-sort operators to random initial permutations. We again provide precise descriptions of the limiting permutons. In a special case, we deduce the exact forms of the standard bubble-sort permutons, the supports of which were computed by DiFranco. A crucial tool in our analysis is a formulation, due to Chan and Pflueger, of the Demazure product as matrix multiplication in the min-plus tropical semiring. This allows us to define a Demazure product on the set of permutons. We discuss further applications of this product. For instance, we show that the number of inversions of the Demazure product of two independent uniformly random permutations of size $n$ is $\binom{n}{2}(1-o(1))$.

We revisit factorizations of classical characters under various specializations, some old and some new. We first show that all characters of classical families of groups twisted by odd powers of an even primitive root of unity factorize into products of characters of smaller groups. Motivated by conjectures of Wagh and Prasad (Manuscr. Math. 2020), we then observe that certain specializations of Schur polynomials factor into products of two characters of other groups. We next show, via a detour through hook Schur polynomials, that certain Schur polynomials indexed by staircase shapes factorize into linear pieces. Lastly, we consider classical and universal characters specialized at roots of unity. One of our results, in parallel with Schur polynomials, is that universal characters take values only in $\{0, \pm 1, \pm 2\}$ at roots of unity.

The celebrated Cauchy identity expresses the product of terms $(1 - x_i y_j)^{-1}$ for $(i,j)$ indexing entries of a rectangular $m\times n$-matrix as a sum over partitions $λ$ of products of Schur polynomials: $s_λ(x)s_λ(y)$. Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a $\mathfrak{gl}_m$-$\mathfrak{gl}_n$-bi-module. We generalize the Cauchy decomposition by replacing rectangular matrices with arbitrary staircase-shaped matrices equipped with the left and right actions of the Borel upper-triangular subalgebras. For any given staircase shape $\mathsf{Y}$ we describe left and right "standard" filtrations on the symmetric algebra of the space of shape $\mathsf{Y}$ matrices. We show that the subquotients of these filtrations are tensor products of Demazure and opposite van der Kallen modules over the Borel subalgebras. On the level of characters, we derive three distinct expansions for the product $(1 - x_i y_j)^{-1}$ for $(i,j) \in \mathsf{Y}$. The first two expansions are sums of products of key polynomials $κ_λ(x)$ and (opposite) Demazure atoms $a^μ(y)$. The third expansion is an alternating sum of products of key polynomials $κ_λ(x)\,κ^μ(y)$.

We obtain a new presentation for Specht modules whose conjugate shapes have strictly decreasing parts by introducing a linear operator on the space generated by column tabloids. The generators of the presentation are column tabloids and the relations form a proper subset of the Garnir relations of Fulton. The results in this paper extend earlier results of the authors and Stanley on Specht modules of staircase shape.

This paper establishes universal formulas describing the global asymptotics of two distinct discrete versions of $β$-ensembles in the high, low and fixed temperature regimes. Our results affirmatively answer a question posed by the second author and Śniady. We first introduce a special class of Jack measures on Young diagrams of arbitrary size, called the ``Jack--Thoma measures'', and prove the LLN and CLT in the three aforementioned limit regimes. In each case, we provide explicit formulas for polynomial observables of the limit shape and Gaussian fluctuations around the limit shape. These formulas have surprising positivity properties and are expressed as sums of weighted lattice paths. Second, we show that the previous formulas are universal: they also describe the limit shape and Gaussian fluctuations for the model of random Young diagrams of a fixed size derived from Jack characters with the approximate factorization property. Finally, in stark contrast with continuous $β$-ensembles, we show that the limit shapes at high and low temperatures of our random Young diagrams are one-sided infinite staircase shapes. For the Jack--Plancherel measure, we describe this shape explicitly by relating its local minima with the zeroes of Bessel functions.

In this paper, we study two different subposets of the $ν$-Tamari lattice: one in which all elements have maximal in-degree and one in which all elements have maximal out-degree. The maximal in-degree and maximal out-degree of a $ν$-Dyck path turns out to be the size of the maximal staircase shape path that fits weakly above $ν$. For $m$-Dyck paths of height $n$, we further show that the maximal out-degree poset is poset isomorphic to the $ν$-Tamari lattice of $(m-1)$-Dyck paths of height $n$, and the maximal in-degree poset is poset isomorphic to the $(m-1)$-Dyck paths of height $n$ together with a greedy order. We show these two isomorphisms and give some properties on $ν$-Tamari lattices along the way.

We present a bijection between the set of standard Young tableaux of staircase minus rectangle shape, and the set of marked shifted standard Young tableaux of a certain shifted shape. Numerically, this result is due to DeWitt (2012). Combined with other known bijections this gives a bijective proof of the product formula for the number of standard Young tableaux of staircase minus rectangle shape. This resolves an open problem by Morales, Pak and Panova (2019), and allows for efficient random sampling. Other applications include a bijection for semistandard Young tableaux, and a bijective proof of Stembridge's symmetry of LR-coefficients of the staircase shape. We also extend these results to set-valued standard Young tableaux in the combinatorics of K-theory, leading to new proofs of results by Lewis and Marberg (2019) and Abney-McPeek, An and Ng (2020).

The Schur polynomials $s_λ$ are essential in understanding the representation theory of the general linear group. They also describe the cohomology ring of the Grassmannians. For $ρ= (n, n-1, \dots, 1)$ a staircase shape and $μ\subseteq ρ$ a subpartition, the Stembridge equality states that $s_{ρ/μ} = s_{ρ/μ^T}$. This equality provides information about the symmetry of the cohomology ring. The stable Grothendieck polynomials $G_λ$, and the dual stable Grothendieck polynomials $g_λ$, developed by Buch, Lam, and Pylyavskyy, are variants of the Schur polynomials and describe the $K$-theory of the Grassmannians. Using the Hopf algebra structure of the ring of symmetric functions and a generalized Littlewood-Richardson rule, we prove that $G_{ρ/μ} = G_{ρ/μ^T}$ and $g_{ρ/μ} = g_{ρ/μ^T}$, the analogues of the Stembridge equality for the skew stable and skew dual stable Grothendieck polynomials.

We study Naruse-Newton coefficients, which are obtained from expanding descent polynomials in a Newton basis introduced by Jiradilok and McConville. These coefficients $C_0, C_1, \ldots$ form an integer sequence associated to each finite set of positive integers. For fixed nonnegative integers $a<b$, we examine the set $R_{a, b}$ of all ratios $\frac{C_a}{C_b}$ over finite sets of positive integers. We characterize finite sets for which $\frac{C_a}{C_b}$ is minimized and provide a construction to prove $R_{a, b}$ is unbounded above. We use this construction to obtain results on the closure of $R_{a, b}$. We also examine properties of Naruse-Newton coefficients associated with doubleton sets, such as unimodality and log-concavity. Finally, we find an explicit formula for all ratios $\frac{C_a}{C_b}$ of Naruse-Newton coefficients associated with ribbons of staircase shape.

We use intermediate symplectic characters to give a proof and variations of Hopkins' conjecture, now proved by Hopkins and Lai, on the number of shifted plane partitions of shifted double staircase shape with bounded entries. In fact, we prove some character identities involving intermediate symplectic characters, and find generating functions for such shifted plane partitions. The key ingredients of the proof are a bialternant formula for intermediate symplectic characters, which interpolates between those for Schur functions and symplectic characters, and the Ishikawa-Wakayama minor-summation formula.

We give a product formula for the number of shifted plane partitions of shifted double staircase shape with bounded entries. This is the first new example of a family of shapes with a plane partition product formula in many years. The proof is based on the theory of lozenge tilings; specifically, we apply the "free boundary" Kuo condensation due to Ciucu.

The notion of a barely set-valued semistandard Young tableau was introduced by Reiner, Tenner and Yong in their study of the probability distribution of edges in the Young lattice of partitions. Given a partition $λ$ and a positive integer $k$, let ${\mathrm{BSSYT}}(λ,k)$ (respectively, ${\mathrm{SYT}}(λ,k)$) denote the set of barely set-valued semistandard Young tableaux (respectively, ordinary semistandard Young tableaux) of shape $λ$ with entries in row $i$ not exceeding $k+i$. In the case when $λ$ is a rectangular staircase partition $δ_d(b^a)$, Reiner, Tenner and Yong conjectured that $|{\mathrm{BSSYT}}(λ,k)|= \frac{kab(d-1)}{(a+b)} |{\mathrm{SYT}}(λ,k)|$. In this paper, we establish a connection between barely set-valued tableaux and reverse plane partitions with designated corners. We show that for any shape $λ$, the expected jaggedness of a subshape of $λ$ under the weak probability distribution can be expressed as $\frac{2|{\mathrm{BSSYT}}(λ,k)|} {k|{\mathrm{SYT}}(λ,k)|}$. On the other hand, when $λ$ is a balanced shape with $r$ rows and $c$ columns, Chan, Haddadan, Hopkins and Moci proved that the expected jaggedness of a subshape in $λ$ under the weak distribution equals $2rc/(r+c)$. Hence, for a balanced shape $λ$ with $r$ rows and $c$ columns, we establish the relation that $|{\mathrm{BSSYT}}(λ,k)|=\frac{krc}{(r+c)}|{\mathrm{SYT}}(λ,k)|$. Since a rectangular staircase shape $δ_d(b^a)$ is a balanced shape, we confirm the conjecture of Reiner, Tenner and Yong.

We study shifted standard Young tableaux (SYT). The limiting surface of uniformly random shifted SYT of staircase shape is determined, with the integers in the SYT as heights. This implies via properties of the Edelman-Greene bijection results about random 132-avoiding sorting networks, including limit shapes for trajectories and intermediate permutations. Moreover, the expected number of adjacencies in SYT is considered. It is shown that on average each row and each column of a shifted SYT of staircase shape contains precisely one adjacency.

Using equivariant cohomology theory, Naruse obtained a hook length formula for the number of standard Young tableaux of skew shape $λ/μ$. Morales, Pak and Panova found two $q$-analogues of Naruse's formula respectively by counting semistandard Young tableaux of shape $λ/μ$ and reverse plane partitions of shape $λ/μ$. When $λ$ and $μ$ are both staircase shape partitions, Morales, Pak and Panova conjectured that the generating function of reverse plane partitions of shape $λ/ μ$ can be expressed as a determinant whose entries are related to $q$-analogues of the Euler numbers. The objective of this paper is to prove this conjecture.

Recently, Naruse discovered a hook length formula for the number of standard Young tableaux of a skew shape. Morales, Pak and Panova found two $q$-analogs of Naruse's hook length formula over semistandard Young tableaux (SSYTs) and reverse plane partitions (RPPs). As an application of their formula, they expressed certain $q$-Euler numbers, which are generating functions for SSYTs and RPPs of a zigzag border strip, in terms of weighted Dyck paths. They found a determinantal formula for the generating function for SSYTs of a skew staircase shape and proposed two conjectures related to RPPs of the same shape. One conjecture is a determinantal formula for the number of \emph{pleasant diagrams} in terms of Schröder paths and the other conjecture is a determinantal formula for the generating function for RPPs of a skew staircase shape in terms of $q$-Euler numbers. In this paper, we show that the results of Morales, Pak and Panova on the $q$-Euler numbers can be derived from previously known results due to Prodinger by manipulating continued fractions. These $q$-Euler numbers are naturally expressed as generating functions for alternating permutations with certain statistics involving \emph{maj}. It has been proved by Huber and Yee that these $q$-Euler numbers are generating functions for alternating permutations with certain statistics involving \emph{inv}. By modifying Foata's bijection we construct a bijection on alternating permutations which sends the statistics involving \emph{maj} to the statistic involving \emph{inv}. We also prove the aforementioned two conjectures of Morales, Pak and Panova.

We initiate a study of the representation of the symmetric group on the multilinear component of an $n$-ary generalization of the free Lie algebra, which we call a free LAnKe. Our central result is that the representation of the symmetric group $S_{2n-1}$ on the multilinear component of the free LAnKe with $2n-1$ generators is given by an irreducible representation whose dimension is the $n$th Catalan number. This leads to a more general result on eigenspaces of a certain linear operator, which has additional consequences. We also obtain a new presentation of Specht modules of staircase shape as a consequence of our central result.

Recent progress on flow polytopes indicates many interesting families with product formulas for their volume. These product formulas are all proved using analytic techniques. Our work breaks from this pattern. We define a family of closely related flow polytopes $\mathcal{F}_{(λ, {\bf a})}$ for each partition shape $λ$ and netflow vector ${\bf a}\in \mathbb{Z}^n_{> 0}$. In each such family, we prove that there is a polytope (the limiting one in a sense) which is a product of scaled simplices, explaining their product volumes. We also show that the combinatorial type of all polytopes in a fixed family $\mathcal{F}_{(λ, {\bf a})}$ is the same. When $λ$ is a staircase shape and ${\bf a}$ is the all ones vector the latter result specializes to a theorem of the first author with Morales and Rhoades, which shows that the combinatorial type of the Tesler polytope is a product of simplices.

The involution Stanley symmetric functions $\hat{F}_y$ are the stable limits of the analogues of Schubert polynomials for the orbits of the orthogonal group in the flag variety. These symmetric functions are also generating functions for involution words, and are indexed by the involutions in the symmetric group. By construction each $\hat{F}_y$ is a sum of Stanley symmetric functions and therefore Schur positive. We prove the stronger fact that these power series are Schur $P$-positive. We give an algorithm to efficiently compute the decomposition of $\hat{F}_y$ into Schur $P$-summands, and prove that this decomposition is triangular with respect to the dominance order on partitions. As an application, we derive pattern avoidance conditions which characterize the involution Stanley symmetric functions which are equal to Schur $P$-functions. We deduce as a corollary that the involution Stanley symmetric function of the reverse permutation is a Schur $P$-function indexed by a shifted staircase shape. These results lead to alternate proofs of theorems of Ardila-Serrano and DeWitt on skew Schur functions which are Schur $P$-functions. We also prove new Pfaffian formulas for certain related involution Schubert polynomials.