arXiv++ Combinatorics

The bead model is a random point field on $\mathbb{Z}\times\mathbb{R}$ which can be viewed as a scaling limit of dimer model. We prove that, in the scaling limit, the normalized height function of a uniformly chosen random bead configuration lies in an arbitrarily small neighborhood of a surface $h_0$ that maximizes some functional which we call as entropy. We also prove that the limit shape $h_0$ is a scaling limit of the limit shapes of a properly chosen sequence of dimer models. There is a map from bead configurations to standard tableaux of a (skew) Young diagram, and the map preserves uniform measures, and our results of the bead model yield the existence of the limit shape of a random standard Young tableau.

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 and pairs of tableaux. We also exhibit formulas to count both the number of each type of tableaux with given evaluations (that is, containing a given number of each symbol). Observing that for any natural number $n$, the $n$-th Bell number is given by the number of standard tableaux containing $n$ symbols, we restrict the previous formulas to standard words and extract a formula for the Bell numbers. Finally, we present a `hook length formula' that gives the number of standard tableaux of a given shape and deduce some consequences.

We construct and investigate Specht modules $\mathcal{S}^λ$ for cyclotomic quiver Hecke algebras in type $C^{(1)}_\ell$ and $C_\infty$, which are labelled by multipartitions $λ$. It is shown that in type $C_\infty$, the Specht module $\mathcal{S}^λ$ has a homogeneous basis indexed by standard tableaux of shape $λ$, which yields a graded character formula and good properties with the exact functors $E_i^Λ$ and $F_i^Λ$. For type $C^{(1)}_\ell$, we propose a conjecture.

Inspired by Yakoubov's 2015 investigation of pattern avoiding linear extensions of the posets called combs, we study pattern avoiding linear extensions of rectangular posets. These linear extensions are closely related to standard tableaux. For positive integers $s$ and $t$ we consider two natural rectangular partial orders on $\{1,2,\ldots,s t\}$, which we call the NE rectangular order and the EN rectangular order. First we enumerate linear extensions of both rectangular orders avoiding most sets of patterns of length three. Then we use both a generating tree and a bijection to show that the linear extensions of the EN rectangular order which avoid 1243 are counted by the Fuss-Catalan numbers. Next we use the transfer matrix method to enumerate linear extensions of the EN rectangular order which avoid 2143. Finally, we open an investigation of the distribution of the inversion number on pattern avoiding linear extensions.

Lusztig's theory of PBW bases gives a way to realize the infinity crystal for any simple complex Lie algebra where the underlying set consists of Kostant partitions. In fact, there are many different such realizations, one for each reduced expression for the longest element of the Weyl group. There is an algorithm to calculate the actions of the crystal operators, but it can be quite complicated. For ADE types, we give conditions on the reduced expression which ensure that the corresponding crystal operators are given by simple combinatorial bracketing rules. We then give at least one reduced expression satisfying our conditions in every type except $E_8$, and discuss the resulting combinatorics. Finally, we describe the relationship with more standard tableaux combinatorics in types A and D.

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)$.

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.

We introduce the notion of "type" of a tableau, that allows us to define new families of tableaux including both balanced and standard Young tableaux. We use these new objects to describe the set of reduced decompositions of any permutation. We then generalize the work of Fomin \emph{et al.} by giving, among other things, a new proof of the fact that balanced and standard tableaux are equinumerous, and by exhibiting many new families of tableaux having similar combinatorial properties to those of balanced tableaux.

The nonelliptic $\mathsf{A_2}$-webs with $k$ "$+$"s on the top boundary and $3n-2k$ "$-$"s on the bottom boundary combinatorially model the space $\mathsf{Hom}_{\mathfrak{sl}_3}(\mathsf{V}^{\otimes (3n-2k)}, \mathsf{V}^{\otimes k})$ of $\mathfrak{sl}_3$-module maps on tensor powers of the natural $3$-dimensional $\mathfrak{sl}_3$-module $\mathsf{V}$, and they have connections with the combinatorics of Springer varieties. Petersen, Pylyavskyy, and Rhodes showed that the set of such $\mathsf{A_2}$-webs and the set of semistandard tableaux of shape $(3^n)$ and type $\{1^2,\dots,k^2,k+1,\dots, 3n-k\}$ have the same cardinalities. In this work, we use the $\sf{m}$-diagrams introduced by Tymoczko and the Robinson-Schensted correspondence to construct an explicit bijection, different from the one given by Russell, between these two sets. In establishing our result, we show that the pair of standard tableaux constructed using the notion of path depth is the same as the pair constructed from applying the Robinson-Schensted correspondence to a $3\,2\,1$-avoiding permutation. We also obtain a bijection between such pairs of standard tableaux and Westbury's $\mathsf{A_2}$ flow diagrams.

We study graded dimension formulas for finite quiver Hecke algebras $R^{Λ_0}(β)$ of type $A^{(2)}_{2\ell}$ and $D^{(2)}_{\ell+1}$ using combinatorics of Young walls. We introduce the notion of standard tableaux for proper Young walls and show that the standard tableaux form a graded poset with lattice structure. We next investigate Laurent polynomials associated with proper Young walls and their standard tableaux arising from the Fock space representations consisting of proper Young walls. Then we prove the graded dimension formulas described in terms of the Laurent polynomials. When evaluating at $q=1$, the graded dimension formulas recover the dimension formulas for $R^{Λ_0}(β)$ described in terms of standard tableaux of strict partitions.

A poset on a certain class of partitions known as k-shapes was recently introduced to provide a combinatorial rule for the expansion of a (k-1)-Schur functions into k-Schur functions at t=1. The main ingredient in this construction was a bijection, which we call the weak bijection, that associates to a k-tableau a pair made out of a (k-1)-tableau and a path in the poset of k-shapes. We define here a concept of charge on k-tableaux (which conjecturally gives a combinatorial interpretation for the expansion coefficients of Hall-Littlewood polynomials into k-Schur functions), and show that it is compatible in the standard case with the weak bijection. In particular, we obtain that the usual charge of a standard tableau of size n is equal to the sum of the charges of its corresponding paths in the poset of k-shapes, for k=2,3...n.

The descent set of an oscillating (or up-down) tableau is introduced. This descent set plays the same role in the representation theory of the symplectic groups as the descent set of a standard tableau plays in the representation theory of the general linear groups. In particular, we show that the descent set is preserved by Sundaram's correspondence. This gives a direct combinatorial interpretation of the branching rules for the defining representations of the symplectic groups; equivalently, for the Frobenius character of the action of a symmetric group on an isotypic subspace in a tensor power of the defining representation of a symplectic group.

We introduce edge labeled Young tableaux. Our main results provide a corresponding analogue of [Schützenberger '77]'s theory of jeu de taquin. These are applied to the equivariant Schubert calculus of Grassmannians. Reinterpreting, we present new (semi)standard tableaux to study factorial Schur polynomials, after [Biedenharn-Louck '89], [Macdonald '92] and [Goulden-Greene '94] and others. Consequently, we obtain new combinatorial rules for the Schubert structure coefficients, complementing work of [Molev-Sagan '99], [Knutson-Tao '03], [Molev '08] and [Kreiman '09]. We also describe a conjectural generalization of one of our rules to the equivariant K-theory of Grassmannians, extending work of [Thomas-Yong '07]. This conjecture concretely realizes the "positivity" known to exist by [Anderson-Griffeth-Miller '08]. It provides an alternative to the conjectural rule of Knutson-Vakil reported in [Coskun-Vakil '06].

We consider a desingularization Gamma of a Richardson variety X_w^v=X_w \cap X^v in the flag variety Fl(n)=GL(n)/B, obtained as a fibre of a projection from a certain Bott-Samelson variety Z. We then construct a basis of the homogeneous coordinate ring of Gamma inside Z, indexed by combinatorial objects which we call w_0-standard tableaux.

In this paper, we study pattern matching in the set F_{n,k} of fillings of the k x n rectangle with the integers 1,...,kn such that the elements in any column increase from bottom to top. Let P be a column strict tableau of shape 2^k. We say that a filling F in F_{n,k} has P-match starting at i if the elements of F in columns i and i+1 have the same relative order as the elements of P. We compute the generating functions for the distribution of P-matches and nonoverlapping P-matches for various classes of standard tableaux of shape 2^k. We say that a filling F in F_{n,k} is P-alternating if there are P-matches of F starting at all odd positions but there are no P-matches of F starting at even positions. We also compute the generating functions for P-alternating elements of F_{n,k} for various classes of standard tableaux of shape 2^k.

We consider a new kind of straight and shifted plane partitions/Young tableaux --- ones whose diagrams are no longer of partition shape, but rather Young diagrams with boxes erased from their upper right ends. We find formulas for the number of standard tableaux in certain cases, namely a shifted staircase without the box in its upper right corner, i.e. truncated by a box, a rectangle truncated by a staircase and a rectangle truncated by a square minus a box. The proofs involve finding the generating function of the corresponding plane partitions using interpretations and formulas for sums of restricted Schur functions and their specializations. The number of standard tableaux is then found as a certain limit of this function.

We construct a large class of examples of the cyclic sieving phenomenon by expoiting the representation theory of semi-simple Lie algebras. Let $M$ be a finite dimensional representation of a semi-simple Lie algebra and let $B$ be the associated Kashiwara crystal. For $r\ge 0$, the triple $(X,c,P)$ which exhibits the cyclic sieving phenomenon is constructed as follows: the set $X$ is the set of isolated vertices in the crystal $\otimes^rB$; the map $c\colon X\rightarrow X$ is a generalisation of promotion acting on standard tableaux of rectangular shape and the polynomial $P$ is the fake degree of the Frobenius character of a representation of $\mathfrak{S}_r$ related to the natural action of $\mathfrak{S}_r$ on the subspace of invariant tensors in $\otimes^rM$. Taking $M$ to be the defining representation of $\mathrm{SL}(n)$ gives the cyclic sieving phenomenon for rectangular tableaux.

We give an extension of the classical Schensted correspondence to the case of ribbon tableaux, where ribbons are allowed to be of different sizes. This is done by extending Fomin's growth diagram approach of the classical correspondence between permutations and pairs of standard tableaux of the same shape, in particular by allowing signs in the enumeration. As an application we give a combinatorial proof for the column sums of the character table of the symmetric group.

Let $u$ be a nilpotent endomorphism of a finite dimensional $\mathbb{C}$-vector space. The set ${\mathcal F}_u$ of $u$-stable complete flags is a projective algebraic variety called a Springer fiber. Its irreducible components are parameterized by a set of standard tableaux. We provide three characterizations of the singular components of ${\mathcal F}_u$ in the case $u^2=0$. First, we give the combinatorial description of standard tableaux corresponding to singular components. Second, we prove that a component is singular if and only if its Poincaré polynomial is not palindromic. Third, we show that a component is singular when it has too many intersections of codimension one with other components. Finally, relying on the second criterion, we infer that, for $u$ general, whenever ${\mathcal F}_u$ has a singular component, it admits a component whose Poincaré polynomial is not palindromic. This work relies on a previous criterion of singularity for components of ${\mathcal F}_u$ in the case $u^2=0$ by the first author and on the description of the $B$-orbit decomposition of orbital varieties of nilpotent order two by the second author.

We study random partitions $λ=(λ_1,λ_2,...,λ_d)$ of $n$ whose length is not bigger than a fixed number $d$. Suppose a random partition $λ$ is distributed according to the Jack measure, which is a deformation of the Plancherel measure with a positive parameter $α>0$. We prove that for all $α>0$, in the limit as $n \to \infty$, the joint distribution of scaled $λ_1,..., λ_d$ converges to the joint distribution of some random variables from a traceless Gaussian $β$-ensemble with $β=2/α$. We also give a short proof of Regev's asymptotic theorem for the sum of $β$-powers of $f^λ$, the number of standard tableaux of shape $λ$.