tailieunhanh - Báo cáo toán học: "Double crystals of binary and integral matrices"

Tuyển tập các báo cáo nghiên cứu khoa học về toán học trên tạp chí toán học quốc tế đề tài: Double crystals of binary and integral matrices. | Double crystals of binary and integral matrices Marc A. A. van Leeuwen Université de Poitiers Departement de Mathematiques BP 30179 86962 Futuroscope Chasseneuil Cedex France http maavl Submitted May 16 2006 Accepted Oct 2 2006 Published Oct 12 2006 Mathematics Subject Classifications 05E10 05E15 Abstract We introduce a set of operations that we call crystal operations on matrices with entries either in 0 1 or in N. There are horizontal and vertical forms of these operations which commute with each other and they give rise to two different structures of a crystal graph of type A on these sets of 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 in one direction correspond to crystal operations applied to tableaux while the operations in the other direction correspond to individual moves occurring during a jeu de taquin slide. For the dual RSK correspondence or its variant the Burge correspondence a matrix M can be transformed by horizontal respectively vertical crystal operations into each of the matrices encoding the tableaux of the pair associated to M and the inverse of this decomposition can be computed using crystal operations too. This decomposition can also be interpreted as computing Robinson s correspondence as well as the Robinson-Schensted correspondence for pictures. Crystal operations shed new light on the method of growth diagrams for describing the RSK and related correspondences organising the crystal operations in a particular way to determine the decomposition of matrices one finds growth diagrams as a method of computation and their local rules can be deduced from the definition of crystal operations. The Schutzenberger involution and its relation to the other correspondences arise naturally in this context. Finally we define a