arXiv++ Combinatorics

We give the first two-dimensional pictorial presentation of Berele's correspondence \cite{Berele}, an analogue of the Robinson-Schensted (R-S) correspondence \cite{Robinson, Schensted} for the symplectic group $Sp(2n, \Cpx )$. From the standpoint of representation theory, the R-S correspondence combinatorially describes the irreducible decomposition of the tensor powers of the natural representation of $GL(n,\Cpx)$. Berele's insertion algorithm gives the bijection that describes the irreducible decomposition of the tensor powers of the natural representation of $Sp(2n, \Cpx)$. Two-dimensional pictorial presentations of the R-S correspondence via local rules (first given by S. Fomin \cite{Fomin,FominGen}) and its many variants have proven very useful in understanding their properties and creating new generalizations. We hope our new presentation will be similarly useful.

The purpose of this paper is to give an explicit description of the irreducible decomposition of the multigraded S_n-module of coinvariants of S_n x S_n. Many of the results presented can be extended to analogous questions for other finite reflection group.

We determine the maximal gap between the optimal values of an integer program and its linear programming relaxation, where the matrix and cost function are fixed but the right hand side is unspecified. Our formula involves irreducible decomposition of monomial ideals. The gap can be computed in polynomial time when the dimension is fixed.