Based on Schützenberger's evacuation and a modification of jeu de taquin, we give a bijective proof of an identity connecting the generating function of reverse semistandard Young tableaux with bounded entries with the generating function of all semistandard Young tableaux. This solves Exercise 7.102 b of Richard Stanley's book `Enumerative Combinatorics 2'.
We give three algorithms to construct a semistandard tableau of given shape and weight, where the weight is a composition which is not necessarily a partition. With respect to a natural partial order on the set of semistandard tableaux, we show that the set of semistandard tableaux of given shape and weight has a unique greatest element and a unique least element. Two of our algorithms give each of these elements.
We give a new cyclic sieving phenomenon for semistandard Young tableaux $SSYT(λ,μ)$ of shape $λ=(m,n^b)$ and content $μ$, a $(b+2)$-tuple. We prove that $(SSYT(λ,μ),\langle \partial^{b+2} \rangle, f(q))$ exhibits the cyclic sieving phenomenon, where $\partial$ is the jeu de taquin promotion operator and $f(q)$ is a modified Kostka-Foulkes polynomial $\widetilde{K}_{λ,μ}(q)$, up to a power of $q$.
An inverted semistandard Young tableau is a row-standard tableau along with a collection of inversion pairs that quantify how far the tableau is from being column semistandard. Such a tableau with precisely $k$ inversion pairs is said to be a $k$-inverted semistandard Young tableau. Building upon earlier work by Fresse and the author, this paper develops generating functions for the numbers of $k$-inverted semistandard Young tableau of various shapes $λ$ and contents $μ$. An easily-calculable generating function is given for the number of $k$-inverted semistandard Young tableau that "standardi…
In 1976, King defined certain tableaux model, called King tableaux in this paper, counting weight multiplicities of irreducible representation of the symplectic group $Sp(2m)$ for a given dominant weight. Since Kashiwara defined crystals, it is an open problem to provide a crystal structure on King tableaux. In this paper, we present crystal structures on King tableaux and semistandard oscillating tableaux. The semistandard oscillating tableaux naturally appear as $Q$-tableaux in the symplectic version of RSK algorithms. As an application, we discuss Littlewood-Richardson coefficients for $Sp(…
We present several equinumerous results between generalized oscillating tableaux and semistandard tableaux and give a representation-theoretical proof to them. As one of the key ingredients of the proof, we provide Pieri rules for the symplectic and orthogonal groups.
A tableau inversion is a pair of entries from the same column of a row-standard tableau that lack the relative ordering necessary to make the tableau column-standard. An $i$-inverted Young tableau is a row-standard tableau with precisely $i$ inversion pairs, and may be interpreted as a generalization of (column-standard) Young tableau. Inverted Young tableau that lack repeated entries were introduced by Fresse to calculate the Betti numbers of Springer fibers in Type A, and were later developed as combinatorial objects in their own right by Beagley and Drube. This paper generalizes earlier not…
The Schur function indexed by a partition lambda with at most n parts is the sum of the weight monomials for the Young tableaux of shape lambda. Let pi be an n-permutation. We give two descriptions of the tableaux that contribute their monomials to the key polynomial indexed by pi and lambda. (These polynomials are the characters of the Demazure modules for GL(n).) The "atom" indexed by pi is the sum of weight monomials of the tableaux whose right keys are the "key" tableau for pi. Schur functions and key polynomials can be decomposed into sums of atoms. We also describe the tableaux that cont…
Quasi-Yamanouchi tableaux are a subset of semistandard Young tableaux and refine standard Young tableaux. They are closely tied to the descent set of standard Young tableaux and were introduced by Assaf and Searles to tighten Gessel's fundamental quasisymmetric expansion of Schur functions. The descent set and descent statistic of standard Young tableaux repeatedly prove themselves useful to consider, and as a result, quasi-Yamanouchi tableaux make appearances in many ways outside of their original purpose. Some examples, which we present in this paper, include the Schur expansion of Jack poly…
Let $δ=(δ_1,\ldots,δ_n)$ be a string of letters $h$ and $v$. We define a Young tableau to be $δ$-semistandard if the entries are weakly increasing along rows and columns, and the entries $i$ form a horizontal strip if $δ_i=h$ and a vertical strip if $δ_i=v$. We define $δ$-promotion on such tableaux via a modified jeu-de-taquin. The first main result is that $δ$-promotion has period $n$ on rectangular $δ$-semistandard tableaux, generalizing the results of Haiman and Rhoades for standard and semistandard tableaux. The second main result states that the set of rectangular $δ$-semistandard tableau…
In this paper, we study a new cyclic sieving phenomenon on the set $\mathsf{SST}_n(λ)$ of semistandard Young tableaux with the cyclic action $\mathsf{c}$ arising from its $U_q(\mathfrak{sl}_n)$-crystal structure. We prove that if $λ$ is a Young diagram with $\ell(λ) < n$ and $\gcd( n, |λ| )=1$, then the triple $\left( \mathsf{SST}_n(λ), \mathsf{C}, q^{- κ(λ)} s_λ(1,q, \ldots, q^{n-1}) \right) $ exhibits the cyclic sieving phenomenon, where $\mathsf{C}$ is the cyclic group generated by $\mathsf{c}$. We further investigate a connection between $\mathsf{c}$ and the promotion $\mathsf{pr}$ and sho…
Crystal basis theory for the queer Lie superalgebra was developed by Grantcharov et al. and it was shown that semistandard decomposition tableaux admit the structure of crystals for the queer Lie superalgebra or simply $\mathfrak{q}$-crystal structure. In this paper, we explore the $\mathfrak{q}$-crystal structure of primed tableaux (semistandard marked shifted tableaux) and that of signed unimodal factorizations of reduced words of type $B$. We give the explicit odd Kashiwara operators on primed tableaux and the forms of the highest and lowest weight vectors. We also give the explicit algorit…
The right key of a semistandard Young tableau is a tool used to find Demazure characters for $sl_n(\mathbb{C})$. This thesis gives methods to obtain the right and left keys by inspection of the semistandard Young tableau. Given a partition $λ$ and a Weyl group element $w$, there is a semistandard Young tableau $Y_λ(w)$ of shape $λ$ that corresponds to $w$. The Demazure character for $λ$ and $w$ is known to be the sum of the weights of all tableaux whose right key is dominated by $Y_λ(w)$. The set of all such tableaux is denoted $\mathcal{D}_λ(w)$. Exploiting the method mentioned above for obta…
The sl_3 spider is a diagrammatic category used to study the representation theory of the quantum group U_q(sl_3). The morphisms in this category are generated by a basis of non-elliptic webs. Khovanov- Kuperberg observed that non-elliptic webs are indexed by semistandard Young tableaux. They establish this bijection via a recursive growth algorithm. Recently, Tymoczko gave a simple version of this bijection in the case that the tableaux are standard and used it to study rotation and joins of webs. We build on Tymoczko's bijection to give a simple and explicit algorithm for constructing all no…
We prove K-theoretic and shifted K-theoretic analogues of the bijection of Stanton and White between domino tableaux and pairs of semistandard tableaux. As a result, we obtain product formulas for pairs of stable Grothendieck polynomials and pairs of K-theoretic Q-Schur functions.
Set-valued tableaux play an important role in combinatorial $K$-theory. Separately, semistandard skyline fillings are a combinatorial model for Demazure atoms and key polynomials. We unify these two concepts by defining a set-valued extension of semistandard skyline fillings and then give analogues of results of J. Haglund, K. Luoto, S. Mason, and S. van Willigenberg. Additionally, we give a bijection between set-valued semistandard Young tableaux and C. Lenart's Schur expansion of the Grothendieck polynomial $G_λ$, using the uncrowding operator of V. Reiner, B. Tenner, and A. Yong.
A prism tableau is a set of reverse semistandard tableaux, each positioned within an ambient grid. Prism tableaux were introduced to provide a formula for the Schubert polynomials of A. Lascoux and M.P. Schützenberger. This formula directly generalizes the well known expression for Schur polynomials as a sum over semistandard tableaux. Alternating sign matrix varieties generalize the matrix Schubert varieties of W. Fulton. We use prism tableaux to give a formula for the multidegree of an alternating sign matrix variety.
We introduce a generalization of semistandard composition tableaux called permuted composition tableaux. These tableaux are intimately related to permuted basement semistandard augmented fillings studied by Haglund, Mason and Remmel. Our primary motivation for studying permuted composition tableaux is to enumerate all possible ordered pairs of permutations $(σ_1,σ_2)$ that can be obtained by standardizing the entries in two adjacent columns of an arbitrary composition tableau. We refer to such pairs as compatible pairs. To study compatible pairs in depth, we define a $0$-Hecke action on permut…
We define crystal operators on semistandard shifted tableaux, giving a new proof that Schur $P$-functions are Schur positive. We define a queer crystal operator to construct a connected queer crystal on semistandard shifted tableaux of a given shape, providing a new proof that products of Schur $P$-functions are Schur $P$-positive. We also give a rectification map from shifted tableaux to Young tableaux that commutes with the crystal operators and provides a dual algorithm to shifted insertion.
We give a combinatorial proof of the skew Kostka analogue of the K-saturation theorem. More precisely, for any positive integer k, we give an explicit injection from the set of skew semistandard Young tableaux with skew shape kλ/kμ and type kν to the set of skew semistandard Young tableaux of shape λ/μ and type ν. Based on this method, we pose some natural conjectural refinements on related problems.
By considering the specialisation $s_λ(1,q,q^2,...,q^{n-1})$ of the Schur function, Stanley was able to describe a formula for the number of semistandard Young tableaux of shape $λ$ in terms of two properties of the boxes in the diagram for $λ$. Using specialisations of symplectic and orthogonal Schur functions, we derive corresponding formulae, first given by El Samra and King, for the number of semistandard symplectic and orthogonal $λ$-tableaux.
We define a number of new combinatorial operations on skew semistandard domino tableaux, which together with constructions introduced earlier by C. Carre and B. Leclerc, define an elegant structure on the set of these tableaux, that closely parallels the structure defined in [math.CO/9908099] for ordinary skew semistandard tableaux, that is related to the Littlewood-Richardson rule. These operations are: (1) a bijection between semistandard domino tableaux and certain pairs of ordinary tableaux of the same weight that together fill the same shape; (2) a weight preserving transformation of domi…
Quasi-Yamanouchi tableaux connect the two most studied types of tableaux. They are a subset of semistandard Young tableaux that are also a refinement on standard Young tableaux, and they can be used to improve the fundamental quasisymmetric expansion of Schur polynomials. We prove a product formula for enumerating certain quasi-Yamanouchi tableaux and provide strong evidence that no product formula exists in general for other shapes. Along the way, we also prove some nice properties of their distribution and symmetry.
We explain how genomic tableaux [Pechenik-Yong '15] are a semistandard complement to increasing tableaux [Thomas-Yong '09]. From this perspective, one inherits genomic versions of jeu de taquin, Knuth equivalence, infusion and Bender-Knuth involutions, as well as Schur functions from (shifted) semistandard Young tableaux theory. These are applied to obtain new Littlewood-Richardson rules for K-theory Schubert calculus of Grassmannians (after [Buch '02]) and maximal orthogonal Grassmannians (after [Clifford-Thomas-Yong '14], [Buch-Ravikumar '12]). For the unsolved case of Lagrangian Grassmannia…
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 $|{…
We introduce a new combinatorial object, semistandard increasing decomposition tableau and study its relation to a semistandard decomposition tableau introduced by Kraśkiewicz and developed by Lam and Serrano. We also introduce generalized Littlewood--Richardson coefficients for products of Schur's symmetric functions and give combinatorial descriptions in terms of tableau words. The insertion algorithms play central roles for proofs. A new description of shifted Littlewood--Richardson coefficients is given in terms of semistandard increasing decomposition tableaux. We show that a "big" Schur …
We prove that the number of oscillating tableaux of length $n$ with at most $k$ columns, starting at $\emptyset$ and ending at the one-column shape $(1^m)$, is equal to the number of standard Young tableaux of size~$n$ with $m$ columns of odd length, all columns of length at most $2k$. This refines a conjecture of Burrill, which it thereby establishes. We prove as well a "Knuth-type" extension stating a similar equi-enumeration result between generalised oscillating tableaux and semistandard tableaux.
Motivated by the study of polytopes formed as the convex hull of permutation matrices and alternating sign matrices, we define several new families of polytopes as convex hulls of sign matrices, which are certain {0,1,-1}-matrices in bijection with semistandard Young tableaux. We investigate various properties of these polytopes, including their inequality descriptions, vertices, facets, and face lattices, as well as connections to alternating sign matrix polytopes and transportation polytopes.
Lascoux polynomials are $K$-theoretic analogues of the key polynomials. They both have combinatorial formulas involving tableaux: reverse set-valued tableaux ($\mathsf{RSVT}$) rule for Lascoux polynomials and reverse semistandard Young tableaux ($\mathsf{RSSYT}$) rule for key polynomials. Furthermore, key polynomials have a simple algorithmic model in terms of Kohnert diagrams, which are in bijection with $\mathsf{RSSYT}$. Ross and Yong introduced $K$-Kohnert diagrams, which are analogues of Kohnert diagrams. They conjectured a $K$-Kohnert diagram rule for Lascoux polynomials. We establish thi…
We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are…
We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are…
Pipe dreams and bumpless pipe dreams for vexillary permutations are each known to be in bijection with certain semistandard tableaux via maps due to Lenart and Weigandt, respectively. Recently, Gao and Huang have defined a bijection between the former two sets. In this note we show for vexillary permutations that the Gao-Huang bijection preserves the associated tableaux, giving a new proof of Lenart's result. Our methods extend to give a recording tableau for any bumpless pipe dream.
We introduce lecture hall tableaux, which are fillings of a skew Young diagram satisfying certain conditions. Lecture hall tableaux generalize both lecture hall partitions and anti-lecture hall compositions, and also contain reverse semistandard Young tableaux as a limit case. We show that the coefficients in the Schur expansion of multivariate little $q$-Jacobi polynomials are generating functions for lecture hall tableaux. Using a Selberg-type integral we show that moments of multivariate little $q$-Jacobi polynomials, which are equal to generating functions for lecture hall tableaux of a Yo…
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 proo…
Young tableaux are ubiquitous in various branches of mathematics. There are two counting formulas for standard Young tableaux. The first involves a determinant and goes back to Frobenius and Young, and the second is the hook formula by Frame, Robinson and Thrall. We present a generalization of the determinant formula for semistandard Young tableaux of given shape and of given content. Our counting formula -- though not a determinant -- is a generalization of the determinant formula by Frobenius and Young.
Let $s_ν\circ s_μ$ denote the plethystic product of the Schur functions $s_ν$ and $s_μ$. In this article we define an explicit polynomial representation corresponding to $s_ν\circ s_μ$ with basis indexed by certain `plethystic' semistandard tableaux. Using these representations we prove generalizations of four results on plethysms due to Bruns--Conca--Varbaro, Brion, Ikenmeyer and the authors. In particular, we give a sufficient condition for the multiplicity $\langle s_ν\circ s_μ, s_λ\rangle$ to be stable under insertion of new parts into $μ$ and $λ$. We also characterize all maximal and mini…
Let $U$ be a matrix chosen randomly, with respect to Haar measure, from the unitary group $U(d).$ We express the moments of the trace of any submatrix of $U$ as a sum over partitions whose terms count certain standard and semistandard Young tableaux. Using this combinatorial interpretation, we obtain a simple closed form for the moments of an individual entry of a random unitary matrix and use this to deduce that the entries converge in moments to standard complex Gaussian random variables. In addition, we recover a well-known theorem of E. Rains which shows that the moments of the trace of a …
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 th…
Another bijective proof of Stanley's hook-content formula for the generating function for semistandard tableaux of a given shape is given that does not involve the involution principle of Garsia and Milne. It is the result of a merge of the modified jeu de taquin idea from the author's previous bijective proof (``An involution principle-free bijective proof of Stanley's hook-content formula", Discrete Math. Theoret. Computer Science, to appear) and the Novelli-Pak-Stoyanovskii bijection (Discrete Math. Theoret. Computer Science 1 (1997), 53-67) for the hook formula for standard Young tableaux …
This paper makes a combinatorial study of the two monoids and the two types of tableaux that arise from the two possible generalizations of the Patience Sorting algorithm from permutations (or standard words) to words. For both types of tableaux, we present Robinson--Schensted--Knuth-type correspondences (that is, bijective correspondences between word arrays and certain pairs of semistandard tableaux of the same shape), generalizing two known correspondences: a bijective correspondence between standard words and certain pairs of standard tableaux, and an injective correspondence between words…
Recently Okada defined algebraically ninth variation skew Q-functions, in parallel to Macdonald's ninth variation skew Schur functions. Here we introduce a skew shifted tableaux definition of these ninth variation skew Q-functions, and prove by means of a non-intersecting lattice path model a Pfaffian outside decomposition result in the form of a ninth variation version of Hamel's Pfaffian outside decomposition identity. As corollaries to this we derive Pfaffian identities generalizing those of Josefiak-Pragacz, Nimmo, and most recently Okada. As a preamble to this we present a parallel develo…
A combinatorial expression for the coefficient of the Schur function $s_λ$ in the expansion of the plethysm $p_{n/d}^d \circ s_μ$ is given for all $d$ dividing $n$ for the cases in which $n=2$ or $λ$ is rectangular. In these cases, the coefficient $\langle p_{n/d}^d \circ s_μ, s_λ \rangle$ is shown to count, up to sign, the number of fixed points of an $\langle s_μ^n, s_λ \rangle$-element set under the $d^{\text{th}}$ power of an order-$n$ cyclic action. If $n=2$, the action is the Schützenberger involution on semistandard Young tableaux (also known as evacuation), and, if $λ$ is rectangular, …
University of Colorado Boulder(科罗拉多大学博尔德分校);University of British Columbia(不列颠哥伦比亚大学);Jagiellonian University in Kraków(克拉科夫雅盖隆大学);Arizona State University(亚利桑那州立大学)
We compute, mimicking the Lascoux-Schützenberger type A combinatorial procedure, left and right keys for a Kashiwara-Nakashima tableau in type C. These symplectic keys have a similar role as the keys for semistandard Young tableaux. More precisely, our symplectic keys give a tableau criterion for the Bruhat order on the hyperoctahedral group and cosets, and describe Demazure atoms and characters in type C. The right and the left symplectic keys are related through the Lusztig involution. A type C Schützenberger evacuation is defined to realize that involution.
In this paper we introduce and study a class of tableaux which we call permutation tableaux; these tableaux are naturally in bijection with permutations, and they are a distinguished subset of the Le-diagrams of Alex Postnikov. The structure of these tableaux is in some ways more transparent than the structure of permutations; therefore we believe that permutation tableaux will be useful in furthering the understanding of permutations. We give two bijections from permutation tableaux to permutations. The first bijection carries tableaux statistics to permutation statistics based on relative si…
Lam and Pylyavskyy introduced loop symmetric functions as a generalization of symmetric functions. They defined loop Schur functions as generating functions over semistandard tableaux with respect to a `colored weight,' and they proved a Jacobi--Trudi-style determinantal formula for these generating functions. We prove that loop Schur functions can be expressed as a ratio of `loop alternants,' extending the analogy with Schur functions. As an application, we give a new proof of the loop version of the Murnaghan--Nakayama rule.
Littlewood-Richardson (LR) coefficients $c_{μν}^λ$ may be evaluated by means of several combinatorial models, including the original LR tableaux of skew shape $λ/μ$ and weight $ν$ and the LR hives with boundary edge labels $λ$, $μ$ and $ν$. Unfortunately, neither of these reveal in any obvious way the well-known symmetry property $c_{μν}^λ=c_{νμ}^λ$. Here we introduce two maps, $ρ^{(n)}$ on LR tableaux and $σ^{(n)}$ on LR hives, that each interchange contributions to $c_{μν}^λ$ and $c_{νμ}^λ$ for any partitions $λ$, $μ$, $ν$ of lengths no greater than $n$, and then prove not only that each of …