arXiv++ Combinatorics

We give a bijective proof of the Aztec diamond theorem, stating that there are $2^{n(n+1)/2}$ domino tilings of the Aztec diamond of order $n$. The proof in fact establishes a similar result for non-intersecting families of $n+1$ Schröder paths, with horizontal, diagonal or vertical steps, linking the grid points of two adjacent sides of an $n\times n$ square grid; these families are well known to be in bijection with tilings of the Aztec diamond. Our bijection is produced by an invertible "combing" algorithm, operating on families of paths without non-intersection condition, but instead with the requirement that any vertical steps come at the end of a path, and which are clearly $2^{n(n+1)/2}$ in number; it transforms them into non-intersecting families.

In this note we observe that a bijection related to Littelmann's root operators (for type $A_1$) transparently explains the well known enumeration by length of walks on $\N$ (left factors of Dyck paths), as well as some other enumerative coincidences. We indicate a relation with bijective solutions of Bertrand's ballot problem: those can be mechanically transformed into bijective proofs of the mentioned enumeration formula.

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.

We discuss several well known results about Schur functions that can be proved using cancellations in alternating summations; notably we shall discuss the Pieri and Murnaghan-Nakayama rules, the Jacobi-Trudi identity and its dual (Von N{ä}gelsbach-Kostka) identity, their proofs using the correspondence with lattice paths of Gessel and Viennot, and finally the Littlewood-Richardson rule. Our our goal is to show that the mentioned statements are closely related, and can be proved using variations of the same basic technique. We also want to emphasise the central part that is played by matrices over $\{0,1\}$ and over $\N$; we show that the Littlewood-Richardson rule as generalised by Zelevinsky has elegant formulations using either type of matrix, and that in both cases it can be obtained by two successive reductions from a large signed enumeration of such matrices, where the sign depends only on the row and column sums of the matrix.

The RSK correspondence generalises the Robinson-Schensted correspondence by replacing permutation matrices by matrices with entries in ${\bf N}$, and standard Young tableaux by semistandard ones. For $r>0$, the Robinson-Schensted correspondence can be trivially extended, using the $r$-quotient map, to one between coloured permutations and pairs of standard $r$-ribbon tableaux built on a fixed $r$-core (the Stanton-White correspondence). This correspondence can also be generalised to arbitrary matrices with entries in ${\bf N}^r$ and pairs of semistandard $r$-ribbon tableaux built on a fixed $r$-core; the generalisation is derived from the RSK correspondence, again using the $r$-quotient map. Shimozono and White recently defined a more interesting generalisation of the Robinson-Schensted correspondence to coloured permutations and standard $r$-ribbon tableaux, one that (unlike the Stanton-White correspondence) respects the spin statistic (total height of ribbons) on standard $r$-ribbon tableaux, relating it directly to the colours of the coloured permutation. We define a construction establishing a bijective correspondence between general matrices with entries in ${\bf N}^r$ and pairs of semistandard $r$-ribbon tableaux built on a fixed $r$-core, which respects the spin statistic on those tableaux in a similar manner, relating it directly to the matrix entries. We also define a similar generalisation of the asymmetric RSK correspondence, in which case the matrix entries are taken from $\{0,1\}^r$.

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 domino tableaux to ordinary tableaux of a related shape (the correspondence involves 2-quotients) with the property that Yamanouchi domino tableaux correspond precisely to Littlewood-Richardson tableaux; (3) a correspondence between Yamanouchi domino tableaux of shape $λ$ and weight $μ$ and Yamanouchi domino tableaux of shape $μ'$ and weight $λ$, where $μ'$ is $μ$ scaled by a factor 2. The property at the heart of the structure so defined is that operations (1) and (2) commute with the coplactic operations (implicitly) defined by Carre and Leclerc. (1) elucidates their bijection analogous to that of Robinson (a.k.a. the Robinson-Schensted correspondence), while the operation of moving chains in domino tableaux underlying (2) is very similar to jeu de taquin.

An introduction is given to the Littlewood-Richardson rule, and various combinatorial constructions related to it. We present a proof based on tableau switching, dual equivalence, and coplactic operations. We conclude with a section relating these fairly modern techniques to earlier work on the Littlewood-Richardson rule.

The conjugacy classes of nilpotent $n\times n$ matrices can be parametrised by partitions $λ$ of $n$, and for a nilpotent $η$ in the class parametrised by $λ$, the variety $F_η$ of $η$-stable flags has its irreducible components parametrised by the standard Young tableaux of shape $λ$. We indicate how several algorithmic constructions defined for Young tableaux have significance in this context, thus extending Steinberg's result that the relative position of flags generically chosen in the irreducible components of $F_η$ parametrised by tableaux $P$ and $Q$, is the permutation associated to $(P,Q)$ under the Robinson-Schensted correspondence. Other constructions for which we give interpretations are Schützenberger's involution of the set of Young tableaux, jeu de taquin (leading also to an interpretation of Littlewood-Richardson coefficients), and the transpose Robinson-Schensted correspondence (defined using column insertion). In each case we use a doubly indexed family of partitions, defined in terms of the flag (or pair of flags) determined by a point chosen in the variety under consideration. We show that for generic choices, the family satisfies certain combinatorial relations, whence the family describes the computation of the algorithmic operation being interpreted, as we described in a previous publication.