arXiv++ Combinatorics

We prove a restriction of an analogue of the Robinson--Schensted--Knuth correspondence for semi-skyline augmented fillings, due to Mason, to multisets of cells of a staircase possibly truncated by a smaller staircase at the upper left end corner, or at the bottom right end corner. The restriction to be imposed on the pairs of semi-skyline augmented fillings is that the pair of shapes, rearrangements of each other, satisfies an inequality in the Bruhat order, w.r.t. the symmetric group, where one shape is bounded by the reverse of the other. For semi-standard Young tableaux the inequality means that the pair of their right keys is such that one key is bounded by the Schützenberger evacuation of the other. This bijection is then used to obtain %recover an expansion formula of the non-symmetric Cauchy kernel, over staircases or truncated staircases, in the basis of Demazure characters of type $A$, and the basis of Demazure atoms. The expansion implies Lascoux expansion formula, when specialised to staircases or truncated staircases, and make explicit, in the latter, the Young tableaux in the Demazure crystal by interpreting Demazure operators via elementary bubble sorting operators acting on weak compositions.

We study natural bases for two constructions of the irreducible representation of the symmetric group corresponding to $[n,n,n]$: the {\em reduced web} basis associated to Kuperberg's combinatorial description of the spider category; and the {\em left cell basis} for the left cell construction of Kazhdan and Lusztig. In the case of $[n,n]$, the spider category is the Temperley-Lieb category; reduced webs correspond to planar matchings, which are equivalent to left cell bases. This paper compares the images of these bases under classical maps: the {\em Robinson-Schensted algorithm} between permutations and Young tableaux and {\em Khovanov-Kuperberg's bijection} between Young tableaux and reduced webs. One main result uses Vogan's generalized $τ$-invariant to uncover a close structural relationship between the web basis and the left cell basis. Intuitively, generalized $τ$-invariants refine the data of the inversion set of a permutation. We define generalized $τ$-invariants intrinsically for Kazhdan-Lusztig left cell basis elements and for webs. We then show that the generalized $τ$-invariant is preserved by these classical maps. Thus, our result allows one to interpret Khovanov-Kuperberg's bijection as an analogue of the Robinson-Schensted correspondence. Despite all of this, our second main result proves that the reduced web and left cell bases are inequivalent; that is, these bijections are not $S_{3n}$-equivariant maps.

In O'Connell-Pei(2013) a q-weighted version of the Robinson-Schensted algorithm was introduced. In this paper we show that this algorithm has a symmetry property analogous to the well known symmetry property of the normal Robinson-Schensted algorithm. The proof uses a generalisation of the growth diagram approach introduced by Fomin(1979,1986,1994,1995). This approach, which uses "growth graphs", can also be applied to a wider class of insertion algorithms which have a branching structure, including some of the other q-weighted versions of the Robinson-Schensted algorithm which have recently been introduced by Borodin-Petrov(2013).

We prove a limit shape theorem describing the asymptotic shape of bumping routes when the Robinson-Schensted algorithm is applied to a finite sequence of independent, identically distributed random variables with the uniform distribution $U[0,1]$ on the unit interval, followed by an insertion of a deterministic number $α$. The bumping route converges after scaling, in the limit as the length of the sequence tends to infinity, to an explicit, deterministic curve depending only on $α$. This extends our previous result on the asymptotic determinism of Robinson-Schensted insertion, and answers a question posed by Moore in 2006.

We investigate products J of ideals of "row initial" minors in the polynomial ring K[X] defined by a generic m-by-n matrix. Such ideals are shown to be generated by a certain set of standard bitableaux that we call superstandard. These bitableaux form a Gröbner basis of J, and J has a linear minimal free resolution. These results are used to derive a new generating set for the Grothendieck group of finitely generated (T_m x GL_n(K))-equivariant modules over K[X]. We employ the Knuth--Robinson--Schensted correspondence and a toric deformation of the multi-Rees algebra that parameterizes the ideals J.

Kazhdan--Lusztig polynomials arise in the context of Hecke algebras associated to Coxeter groups. The computation of these polynomials is very difficult for examples of even moderate rank. In type $A$ it is known that the leading coefficient, $μ(x,w)$ of a Kazhdan--Lusztig polynomial $P_{x,w}$ is either 0 or 1 when $x$ is fully commutative and $w$ is arbitrary. In type $D$ Coxeter groups there are certain "bad" elements that make $μ$-value computation difficult. The Robinson--Schensted correspondence between the symmetric group and pairs of standard Young tableaux gives rise to a way to compute cells of Coxeter groups of type $A$. A lesser known correspondence exists for signed permutations and pairs of so-called domino tableaux, which allows us to compute cells in Coxeter groups of types $B$ and $D$. I will use this correspondence in type $D$ to compute $μ$-values involving bad elements. I will conclude by showing that $μ(x,w)$ is 0 or 1 when $x$ is fully commutative in type $D$.

We present a formula for the values of the sign representations of the complex reflection groups $G(r,p,n)$ in terms of its image under a generalized Robinson-Schensted map.

We generalize a formula obtained independently by A. Reifegerste and J. Sjöstrand for the sign of a permutation under the classical Robinson-Schensted map to a family of domino Robinson-Schensted algorithms.

We introduce a q-weighted version of the Robinson-Schensted (column insertion) algorithm which is closely connected to q-Whittaker functions (or Macdonald polynomials with t=0) and reduces to the usual Robinson-Schensted algorithm when q=0. The q-insertion algorithm is `randomised', or `quantum', in the sense that when inserting a positive integer into a tableau, the output is a distribution of weights on a particular set of tableaux which includes the output which would have been obtained via the usual column insertion algorithm. There is also a notion of recording tableau in this setting. We show that the distribution of weights of the pair of tableaux obtained when one applies the q-insertion algorithm to a random word or permutation takes a particularly simple form and is closely related to q-Whittaker functions. In the case $0\le q<1$, the q-insertion algorithm applied to a random word also provides a new framework for solving the q-TASEP interacting particle system introduced (in the language of q-bosons) by Sasamoto and Wadati (1998) and yields formulas which are equivalent to some of those recently obtained by Borodin and Corwin (2011) via a stochastic evolution on discrete Gelfand-Tsetlin patterns (or semistandard tableaux) which is coupled to the q-TASEP process. We show that the sequence of P-tableaux obtained when one applies the q-insertion algorithm to a random word defines another, quite different, evolution on semistandard tableaux which is also coupled to the q-TASEP process.

The Little map and the Edelman-Greene insertion algorithm, a generalization of the Robinson-Schensted correspondence, are both used for enumerating the reduced decompositions of an element of the symmetric group. We show the Little map factors through Edelman-Greene insertion and establish new results about each map as a consequence. In particular, we resolve some conjectures of Lam and Little.

We consider a large family of equivalence relations on permutations in Sn that generalise those discovered by Knuth in his study of the Robinson-Schensted correspondence. In our most general setting, two permutations are equivalent if one can be obtained from the other by a sequence of pattern-replacing moves of prescribed form; however, we limit our focus to patterns where two elements are transposed, subject to the constraint that a third element of a suitable type be in a suitable position. For various instances of the problem, we compute the number of equivalence classes, determine how many n-permutations are equivalent to the identity permutation, or characterise this equivalence class. Although our results feature familiar integer sequences (e.g., Catalan, Fibonacci, and Tribonacci numbers) and special classes of permutations (layered, connected, and 123-avoiding), some of the sequences that arise appear to be new.

In [F. Caselli, Involutory reflection groups and their models, J. Algebra 24 (2010), 370--393] there is constructed a uniform Gelfand model for all non-exceptional irreducible complex reflection groups which are involutory. Such model can be naturally decomposed into the direct sum of submodules indexed by $S_n$-conjugacy classes, and we present here a general result that relates the irreducible decomposition of these submodules with the projective Robinson-Schensted correspondence. This description also reflects in a very explicit way the existence of split representations for these groups.

In [F. Caselli, Involutory reflection groups and their models, J. Algebra 24 (2010), 370--393] it is constructed a uniform Gelfand model for all non-exceptional irreducible complex reflection groups which are involutory. This model can be naturally decomposed into the direct sum of submodules indexed by symmetric conjugacy classes, and in this paper we present a simple combinatorial description of the irreducible decomposition of these submodules if the group is the wreath product of a cyclic group with a symmetric group. This is attained by showing that such decomposition is compatible with the generalized Robinson-Schensted correspondence for these groups.

Let $u\in\mathrm{End}(\mathbb{C}^n)$ be nilpotent. The variety of $u$-stable complete flags is called the Springer fiber over $u$. Its irreducible components are parameterized by a set of standard Young tableaux. The Richardson (resp. Bala-Carter) components of Springer fibers correspond to the Richardson (resp. Bala-Carter) elements of the symmetric group, through Robinson-Schensted correspondence. Every Richardson component is isomorphic to a product of standard flag varieties. On the contrary, the Bala-Carter components are very susceptible to be singular. First, we characterize the singular Bala-Carter components in terms of two minimal forbidden configurations. Next, we introduce two new families of components, wider than the families of Bala-Carter components and Richardson components, and both in duality via the tableau transposition. The components in the first family are characterized by the fact that they have a dense orbit of special type under the action of the stabilizer of $u$, whereas all components in the second family are iterated fiber bundles over projective spaces.

A centrosymmetric permutation is one which is invariant under the reverse-complement operation, or equivalently one whose associated standard Young tableaux under the Robinson-Schensted algorithm are both invariant under the Schutzenberger involution. In this paper, we characterize the set of permutations avoiding 1243 and 2143 whose images under the reverse-complement mapping also avoid these patterns. We also characterize in a simple manner the corresponding Schroder paths under a bijection of Egge and Mansour. We then use these results to enumerate centrosymmetric permutations avoiding the patterns 1243 and 2143. In a similar manner, centrosymmetric involutions avoiding these same patterns are shown to be enumerated by the Pell numbers.

Combinatorial aspects of multivariate diagonal invariants of the symmetric group are studied. As a consequence it is proved the existence of a multivariate extension of the classical Robinson-Schensted correspondence. Further byproduct are a pure combinatorial algorithm to describe the irreducible decomposition of the tensor product of two irreducible representations of the symmetric group, and new symmetry results on permutation enumeration with respect to descent sets.

Using growth diagrams, we define a skew domino Schensted correspondence which is a domino analogue of the skew Robinson-Schensted correspondence due to Sagan and Stanley. The color-to-spin property of Shimozono and White is extended. As an application, we give a simple generating function for the weighted sum of skew domino tableaux, which is a generalization of Stanley's sign-imbalance formula. The generating function gives a method to calculate the generalized sign-imbalance formula. We also extend Sj{ö}strand's theorems on sign-imbalance of skew shapes.

Motivated by affine Schubert calculus, we construct a family of dual graded graphs $(Γ_s,Γ_w)$ for an arbitrary Kac-Moody algebra $\g(A)$. The graded graphs have the Weyl group $W$ of $\g(A)$ as vertex set and are labeled versions of the strong and weak orders of $W$ respectively. Using a construction of Lusztig for quivers with an admissible automorphism, we define folded insertion for a Kac-Moody algebra and obtain Sagan-Worley shifted insertion from Robinson-Schensted insertion as a special case. Drawing on work of Stembridge, we analyze the induced subgraphs of $(Γ_s,Γ_w)$ which are distributive posets.

We study combinatorial aspects of the Schubert calculus of the affine Grassmannian Gr associated with SL(n,C). Our main results are: 1) Pieri rules for the Schubert bases of H^*(Gr) and H_*(Gr), which expresses the product of a special Schubert class and an arbitrary Schubert class in terms of Schubert classes. 2) A new combinatorial definition for k-Schur functions, which represent the Schubert basis of H_*(Gr). 3) A combinatorial interpretation of the pairing between homology and cohomology of the affine Grassmannian. These results are obtained by interpreting the Schubert bases of Gr combinatorially as generating functions of objects we call strong and weak tableaux, which are respectively defined using the strong and weak orders on the affine symmetric group. We define a bijection called affine insertion, generalizing the Robinson-Schensted Knuth correspondence, which sends certain biwords to pairs of tableaux of the same shape, one strong and one weak. Affine insertion offers a duality between the weak and strong orders which does not seem to have been noticed previously. Our cohomology Pieri rule conjecturally extends to the affine flag manifold, and we give a series of related combinatorial conjectures.

We define a set of operations called crystal operations on matrices with entries either in {0,1} or in N. There are horizontal and vertical crystal operations, giving rise to two commuting structures of a crystal graph on these matrices. They provide a new perspective on many aspects of the RSK correspondence and its dual, and related constructions. Under a straightforward encoding of semistandard tableaux by matrices, the operations correspond to crystal operations on tableaux, respectively to individual moves occurring during a jeu de taquin slide. We show that the (dual) RSK correspondence and the Burge correspondence arise as decompositions: a matrix M can be transformed by crystal operations into each of the matrices encoding P and Q symbol associated to M under these correspondences, and it can be reconstructed from P and Q. These decomposition can also be interpreted as computing Robinson's correspondence, or as the Robinson-Schensted correspondence for pictures. From a particular way of applying crystal operations, the computation of these decompositions by growth diagrams can be deduced, as well as the local rules that are to be used. We show that that crystal operations leave a version of Greene's poset invariant defined for matrices unchanged, so that for such questions in the setting of matrices they can take the place of elementary Knuth transformations on words.