arXiv++ Combinatorics

We investigate the problem of computing tensor product multiplicities for complex semisimple Lie algebras. Even though computing these numbers is #P-hard in general, we show that if the rank of the Lie algebra is assumed fixed, then there is a polynomial time algorithm, based on counting the lattice points in polytopes. In fact, for Lie algebras of type A_r, there is an algorithm, based on the ellipsoid algorithm, to decide when the coefficients are nonzero in polynomial time for arbitrary rank. Our experiments show that the lattice point algorithm is superior in practice to the standard techniques for computing multiplicities when the weights have large entries but small rank. Using an implementation of this algorithm, we provide experimental evidence for conjectured generalizations of the saturation property of Littlewood--Richardson coefficients. One of these conjectures seems to be valid for types B_n, C_n, and D_n.

We give necessary and sufficient inequalities for the existence of long exact sequences of m finite abelian p-groups with fixed isomorphy types. This problem is related to some generalized Littlewood-Richardson coefficients that we define in this paper. We also show how this problem is related to eigenvalues of Hermitian matrices satisfying certain (in)equalities. When m=3, we recover the Horn type inequalities that solve the saturation conjecture for Littlewood-Richardson coefficients and Horn's conjecture.

We report about some results, interesting examples, problems and conjectures revolving around the parabolic Kostant partition functions, the parabolic Kostka polynomials and ``saturation'' properties of several generalizations of the Littlewood--Richardson numbers.

A survey of recent progress in three areas of algebraic combinatorics: (1) the Saturation Conjecture for Littlewood-Richardson coefficients, (2) the n! and (n+1)^{n-1} conjectures, and (3) longest increasing subsequences of permutations.

Given a module M over a ring R which has a grading by a semigroup Q, we present a spectral sequence that computes the local cohomology of M at any Q-graded ideal I in terms of Ext modules. This method is used to obtain finiteness results for the local cohomology of graded modules over semigroup rings; in particular we prove that for a semigroup Q whose saturation is simplicial, the Bass numbers of such local cohomology modules are finite. Conversely, if the saturation of Q is not simplicial, one can find a graded ideal I and a graded R-module M whose local cohomology at I in some degree has an infinite-dimensional socle. We introduce and exploit the combinatorially defined essential set of a semigroup.

We report about results revolving around Kostka-Foulkes and parabolic Kostka polynomials and their connections with Representation Theory and Combinatorics. It appears that the set of all parabolic Kostka polynomials forms a semigroup, which we call {\it Liskova semigroup}. We show that polynomials frequently appearing in Representation Theory and Combinatorics belong to the Liskova semigroup. Among such polynomials we study rectangular $q$-Catalan numbers; generalized exponents polynomials; principal specializations of the internal product of Schur functions; generalized $q$-Gaussian polynomials; parabolic Kostant partition function and its $q$-analog; certain generating functions on the set of transportation matrices. In each case we apply rigged configurations technique to obtain some interesting and new information about Kostka-Foulkes and parabolic Kostka polynomials, Kostant partition function, MacMahon, Gelfand-Tsetlin and Chan-Robbins polytopes. We describe certain connections between generalized saturation and Fulton's conjectures and parabolic Kostka polynomials; domino tableaux and rigged configurations. We study also some properties of $l$-restricted generalized exponents and the stable behaviour of certain Kostka-Foulkes polynomials.

In this exposition we give a simple and complete treatment of A. Knutson and T. Tao's recent proof (http://front.math.ucdavis.edu/math.RT/9807160) of the saturation conjecture, which asserts that the Littlewood-Richardson semigroup is saturated. The main tool is Knutson and Tao's hive model for Berenstein-Zelevinsky polytopes. In an appendix of W. Fulton it is shown that the hive model is equivalent to the original Littlewood-Richardson rule.

We introduce the honeycomb model of BZ polytopes, which calculate Littlewood-Richardson coefficients, the tensor product rule for GL(n). Our main result is the existence of a particularly well-behaved honeycomb with given boundary conditions (choice of triple of representations to be tensored together). This honeycomb is necessarily integral, which proves the "saturation conjecture", extending results of Klyachko to give a complete answer to which L-R coefficients are positive. This in turn has as a consequence Horn's conjecture from 1962 characterizing the spectrum of the sum of two Hermitian matrices.