arXiv++ Combinatorics

The celebrated hook-length formula gives a product formula for the number of standard Young tableaux of a straight shape. In 2014, Naruse announced a more general formula for the number of standard Young tableaux of skew shapes as a positive sum over excited diagrams of products of hook-lengths. We give an algebraic and a combinatorial proof of Naruse's formula, by using factorial Schur functions and a generalization of the Hillman--Grassl correspondence, respectively. The main new results are two different $q$-analogues of Naruse's formula: for the skew Schur functions, and for counting reverse plane partitions of skew shapes. We establish explicit bijections between these objects and families of integer arrays with certain nonzero entries, which also proves the second formula.

A permutation $τ$ in the symmetric group $S_j$ is minimally overlapping if any two consecutive occurrences of $τ$ in a permutation $σ$ can share at most one element. Bóna \cite{B} showed that the proportion of minimal overlapping patterns in $S_j$ is at least $3 -e$. Given a permutation $σ$, we let $\text{Des}(σ)$ denote the set of descents of $σ$. We study the class of permutations $σ\in S_{kn}$ whose descent set is contained in the set $\{k,2k, \ldots (n-1)k\}$. For example, up-down permutations in $S_{2n}$ are the set of permutations whose descent equal $σ$ such that $\text{Des}(σ) = \{2,4, \ldots, 2n-2\}$. There are natural analogues of the minimal overlapping permutations for such classes of permutations and we study the proportion of minimal overlapping patterns for each such class. We show that the proportion of minimal overlapping permutations in such classes approaches $1$ as $k$ goes to infinity. We also study the proportion of minimal overlapping patterns in standard Young tableaux of shape $(n^k)$.

In this paper we study an alternating sign matrix analogue of the Chan-Robbins-Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaux of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternating sign matrix polytope which includes ASM-CRY are both order and flow polytopes. Inspired by the above results, we relate three established triangulations of order and flow polytopes, namely Stanley's triangulation of order polytopes, the Postnikov-Stanley triangulation of flow polytopes and the Danilov-Karzanov-Koshevoy triangulation of flow polytopes. We show that when a graph $G$ is a planar graph, in which case the flow polytope $F_G$ is also an order polytope, Stanley's triangulation of this order polytope is one of the Danilov-Karzanov-Koshevoy triangulations of $F_G$. Moreover, for a general graph $G$ we show that the set of Danilov-Karzanov-Koshevoy triangulations of $F_G$ is a subset of the set of Postnikov-Stanley triangulations of $F_G$. We also describe explicit bijections between the combinatorial objects labeling the simplices in the above triangulations.

The Schubert polynomials lift the Schur basis of symmetric polynomials into a basis for Z[x1,x2,...]. We suggest the "prism tableau model" for these polynomials. A novel aspect of this alternative to earlier results is that it directly invokes semistandard tableaux; it does so as part of a colored tableau amalgam. In the Grassmannian case, a prism tableau with colors ignored is a semistandard Young tableau. Our arguments are developed from the Groebner geometry of matrix Schubert varieties.

For $\ell \geq 1$ and $k \geq 2$, we consider certain admissible sequences of $k-1$ lattice paths in a colored $\ell \times \ell$ square. We show that the number of such admissible sequences of lattice paths is given by the sum of squares of the number of standard Young tableaux of partitions of $\ell$ with height $\leq k$, which is also the number of $(k+1)k\cdots21$-avoiding permutations of $\{1, 2, \ldots, \ell\}$. Finally, we apply this result to the representation theory of the affine Lie algebra $\widehat{sl}(n)$ and show that this quantity gives the multiplicity of certain maximal dominant weights in the irreducible module $V(kΛ_0)$.

The main results of this paper are accessible with only basic linear algebra. Given an increasing sequence of dimensions, a flag in a vector space is an increasing sequence of subspaces with those dimensions. The set of all such flags (the flag manifold) can be projectively coordinatized using products of minors of a matrix. These products are indexed by tableaux on a Young diagram. A basis of "standard monomials" for the vector space generated by such projective coordinates over the entire flag manifold has long been known. A Schubert variety is a subset of flags specified by a permutation. Lakshmibai, Musili, and Seshadri gave a standard monomial basis for the smaller vector space generated by the projective coordinates restricted to a Schubert variety. Reiner and Shimozono made this theory more explicit by giving a straightening algorithm for the products of the minors in terms of the right key of a Young tableau. Since then, Willis introduced scanning tableaux as a more direct way to obtain right keys. This paper uses scanning tableaux to give more-direct proofs of the spanning and the linear independence of the standard monomials. In the appendix it is noted that this basis is a weight basis for the dual of a Demazure module for a Borel subgroup of GL(n). This paper contains a complete proof that the characters of these modules (the key polynomials) can be expressed as the sums of the weights for the tableaux used to index the standard monomial bases.

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 notions of tableau inversions to row-standard tableaux with repeated entries, yielding an interesting new generalization of semistandard (as opposed to merely standard) Young tableaux. We develop a closed formula for the maximum numbers of inversion pairs for a row-standard tableau with a specific shape and content, and show that the number of $i$-inverted tableaux of a given shape is invariant under permutation of content. We then enumerate $i$-inverted Young tableaux for a variety of shapes and contents, and generalize an earlier result that places $1$-inverted Young tableaux of a general shape in bijection with $0$-inverted Young tableaux of a variety of related shapes.

Let $g_{n_1,n_2}$ be the number of standard Young tableau of truncated shifted shape with $n_1$ rows and $n_2$ boxes in each row. By using of the integral method this paper derives the recurrence relations of $g_{3,n}$, $g_{n,4}$ and $g_{n,5}$ respectively. Specially, $g_{n,4}$ is the $(2n-1)$-st Pell number.

If $[λ(j)]$ is a multipartition of the positive integer $n$ (a sequence of partitions with total size $n$), and $μ$ is a partition of $n$, we study the number $K_{[λ(j)]μ}$ of sequences of semistandard Young tableaux of shape $[λ(j)]$ and total weight $μ$. We show that the numbers $K_{[λ(j)] μ}$ occur naturally as the multiplicities in certain permutation representations of wreath products. The main result is a set of conditions on $[λ(j)]$ and $μ$ which are equivalent to $K_{[λ(j)] μ} = 1$, generalizing a theorem of Berenshteĭn and Zelevinskiĭ. We also show that the questions of whether $K_{[λ(j)] μ} > 0$ or $K_{[λ(j)] μ} = 1$ can be answered in polynomial time, expanding on a result of Narayanan. Finally, we give an application to multiplicities in the degenerate Gel'fand-Graev representations of the finite general linear group, and we show that the problem of determining whether a given irreducible representation of the finite general linear group appears with nonzero multiplicity in a given degenerate Gel'fand-Graev representation, with their partition parameters as input, is $NP$-complete.

There are several combinatorial methods that can be used to produce type A Demazure characters (key polynomials). The alcove path model of Lenart and Postnikov provides a procedure that inputs a semistandard tableau $T$ and outputs a saturated chain in the Bruhat order. The final permutation in this chain determines a family of Demazure characters for which $T$ contributes its weight. Separately, the right key of $T$ introduced by Lascoux and Schützenberger also determines a family of Demazure characters for which $T$ contributes its weight. In this paper we show that the final permutation in the chain produced by the alcove model corresponds bijectively to the right key of the tableau. From this it follows that the generating sets for the Demazure characters produced by these two methods are equivalent.

Walks on Young's lattice of integer partitions encode many objects of algebraic and combinatorial interest. Chen et al. established connections between such walks and arc diagrams. We show that walks that start at $\varnothing$, end at a row shape, and only visit partitions of bounded height are in bijection with a new type of arc diagram -- open diagrams. Remarkably two subclasses of open diagrams are equinumerous with well known objects: standard Young tableaux of bounded height, and Baxter permutations. We give an explicit combinatorial bijection in the former case.

In this paper, we compute the genus of the variety of linear series of rank $r$ and degree $d$ on a general curve of genus $g$, with ramification at least $α$ and $β$ at two given points, when that variety is 1-dimensional. Our proof uses degenerations and limit linear series along with an analysis of random staircase paths in Young tableaux, and produces an explicit scheme-theoretic description of the limit linear series of fixed rank and degree on a generic chain of elliptic curves when that scheme is itself a curve.

We will look at the Catalan numbers from the {\it Rigged Configurations} point of view originated \cite{Kir} from an combinatorial analysis of the Bethe Ansatz Equations associated with the higher spin anisotropic Heisenberg models . Our strategy is to take a combinatorial interpretation of Catalan numbers $C_n$ as the number of standard Young tableaux of rectangular shape $(n^2)$, or equivalently, as the Kostka number $K_{(n^2),1^{2n}}$, as the starting point of research. We observe that the rectangular (or multidimensional) Catalan numbers $ C(m,n)$ introduced and studied by P. MacMahon \cite{Mc}, \cite{Su1}, see also \cite{Su2}, can be identified with the Kostka number $K_{(n^m),1^{mn}}$, and therefore can be treated by Rigged Configurations technique. Based on this technique we study the stretched Kostka numbers and polynomials, and give a proof of `` a strong rationality `` of the stretched Kostka polynomials. This result implies a polynomiality property of the stretched Kostka and stretched Littlewood--Richardson coefficients \cite{KT}, \cite{Ras}, \cite{Ki1}. Another application of the Rigged Configuration technique presented, is a new family of counterexamples to Okounkov's log-concavity conjecture \cite{Ok}. Finally, we apply Rigged Configurations technique to give a combinatorial prove of the unimodality of the principal specialization of the internal product of Schur functions. In fact we prove a combinatorial formula for generalized $q$-Gaussian polynomials which is a far generalization of the so-called $KOH$-identity \cite{O}, as well as it manifests the unimodality property of the $q$-Gaussian polynomials.

We consider Schubert problems with respect to flags osculating the rational normal curve. These problems are of special interest when the osculation points are all real -- in this case, for zero-dimensional Schubert problems, the solutions are "as real as possible". Recent work by Speyer has extended the theory to the moduli space $\overline{M_{0,r}}$, allowing the points to collide. These give rise to smooth covers of $\overline{M_{0,r}}(\mathbb{R})$, with structure and monodromy described by Young tableaux and jeu de taquin. In this paper, we give analogous results on one-dimensional Schubert problems over $\overline{M_{0,r}}$. Their (real) geometry turns out to be described by orbits of Schützenberger promotion and a related operation involving tableau evacuation. Over $M_{0,r}$, our results show that the real points of the solution curves are smooth. We also find a new identity involving `first-order' K-theoretic Littlewood-Richardson coefficients, for which there does not appear to be a known combinatorial proof.

We give a bijective proof that the Betti numbers of a minimal free resolution of the Stanley-Reisner ring of a cycle graph (viewed as a one-dimensional simplicial complex) are given by the number of standard Young tableaux of a given shape.

We introduce and study q-randomized Robinson-Schensted-Knuth (RSK) correspondences which interpolate between the classical (q=0) and geometric (q->1) RSK correspondences (the latter ones are sometimes also called tropical). For 0<q<1 our correspondences are randomized, i.e., the result of an insertion is a certain probability distribution on semistandard Young tableaux. Because of this randomness, we use the language of discrete time Markov dynamics on two-dimensional interlacing particle arrays (these arrays are in a natural bijection with semistandard tableaux). Our dynamics act nicely on a certain class of probability measures on arrays, namely, on q-Whittaker processes (which are t=0 versions of Macdonald processes). We present four Markov dynamics which for q=0 reduce to the classical row or column RSK correspondences applied to a random input matrix with independent geometric or Bernoulli entries. Our new two-dimensional discrete time dynamics generalize and extend several known constructions: (1) The discrete time q-TASEPs arise as one-dimensional marginals of our "column" dynamics. In a similar way, our "row" dynamics lead to discrete time q-PushTASEPs - new integrable particle systems in the Kardar-Parisi-Zhang universality class. We employ these new one-dimensional discrete time systems to establish a Fredholm determinantal formula for the two-sided continuous time q-PushASEP conjectured by Corwin-Petrov (2013). (2) In a certain Poisson-type limit (from discrete to continuous time), our two-dimensional dynamics reduce to the q-randomized column and row Robinson-Schensted correspondences introduced by O'Connell-Pei (2012) and Borodin-Petrov (2013), respectively. (3) In a scaling limit as q->1, two of our four dynamics on interlacing arrays turn into the geometric RSK correspondences associated with log-Gamma or strict-weak directed random polymers.

In this manuscript we show that two partial orders defined on the set of standard Young tableaux of shape $α$ are equivalent. In fact, we give two proofs for the equivalence of the box order and the dominance order for {tableaux}. Both are algorithmic. The first of these proofs emphasizes links to the Bruhat order for the symmetric group and the second provides a more straightforward construction of the cover relations. This work is motivated by the known result that the equivalence of the two combinatorial orders leads to a description of the geometry of the representation space of invariant subspaces of nilpotent linear operators.

We show that J_n, the Stanley-Reisner ideal of the n-cycle, has a free resolution supported on the (n-3)-dimensional simplicial associahedron A_n. This resolution is not minimal for n > 5; in this case the Betti numbers of J_n are strictly smaller than the f-vector of A_n. We show that in fact the Betti numbers of J_n are in bijection with the number of standard Young tableaux of shape (d+1, 2, 1^{n-d-3}). This complements the fact that the number of (d-1)-dimensional faces of A_n are given by the number of standard Young tableaux of (super)shape (d+1, d+1, 1^{n-d-3}); a bijective proof of this result was first provided by Stanley. An application of discrete Morse theory yields a cellular resolution of J_n that we show is minimal at the first syzygy. We furthermore exhibit a simple involution on the set of associahedron tableaux with fixed points given by the Betti tableaux, suggesting a Morse matching and in particular a poset structure on these objects.

In this paper, we present a direct bijective proof of the hook-length formula for standard immaculate tableaux, which arose in the study of non-commutative symmetric functions. Our proof is along the spirit of Novelli, Pak and Stoyanovskii's combinatorial proof of the hook-length formula for standard Young tableaux.

Kirillov-Reshetikhin crystals are colored directed graphs encoding the structure of certain finite-dimensional representations of affine Lie algebras. A tensor products of column shape Kirillov-Reshetikhin crystals has recently been realized in a uniform way, for all untwisted affine types, in terms of the quantum alcove model. We enhance this model by using it to give a uniform realization of the combinatorial $R$-matrix, i.e., the unique affine crystal isomorphism permuting factors in a tensor product of KR crystals. In other words, we are generalizing to all Lie types Schützenberger's sliding game (jeu de taquin) for Young tableaux, which realizes the combinatorial $R$-matrix in type $A$. Our construction is in terms of certain combinatorial moves, called quantum Yang-Baxter moves, which are explicitly described by reduction to the rank 2 root systems. We also show that the quantum alcove model does not depend on the choice of a sequence of alcoves joining the fundamental one to a translation of it.