arXiv++ Combinatorics

We provide counter-examples to Mulmuley's strong saturation conjecture (strong SH) for the Kronecker coefficients. This conjecture was proposed in the setting of Geometric Complexity Theory to show that deciding whether or not a Kronecker coefficient is zero can be done in polynomial time. We also provide a short proof of the #P-hardness of computing the Kronecker coefficients. Both results rely on the connections between the Kronecker coefficients and another family of structural constants in the representation theory of the symmetric groups: Murnaghan's reduced Kronecker coefficients. An appendix by Mulmuley introduces a relaxed form of the saturation hypothesis SH, still strong enough for the aims of Geometric Complexity Theory.

In this paper we present a selfcontained analysis and description of the novel {\it ab initio} folding algorithm {\sf cross}, which generates the minimum free energy (mfe), 3-noncrossing, $σ$-canonical RNA structure. Here an RNA structure is 3-noncrossing if it does not contain more than three mutually crossing arcs and $σ$-canonical, if each of its stacks has size greater or equal than $σ$. Our notion of mfe-structure is based on a specific concept of pseudoknots and respective loop-based energy parameters. The algorithm decomposes into three parts: the first is the inductive construction of motifs and shadows, the second is the generation of the skeleta-trees rooted in irreducible shadows and the third is the saturation of skeleta via context dependent dynamic programming routines.

Let $T$ be the subgroup of diagonal matrices in the group SL(n). The aim of this paper is to find all finite-dimensional simple rational SL(n)-modules $V$ with the following property: for each point $v\in V$ the closure $\bar{Tv}$ of its $T$-orbit is a normal affine variety. Moreover, for any SL(n)-module without this property a $T$-orbit with non-normal closure is constructed. The proof is purely combinatorial: it deals with the set of weights of simple SL(n)-modules. The saturation property is checked for each subset in the set of weights.

We consider two {seemingly} different definitions of infinite words which contain {the} utmost number of palindromes. We show that these two definitions coincide. {The keynote of the proof is a meticulous inspection of properties of complete return words and the application of some basic graph theory.} In fact, we provide another proof of the result announced in \cite{Zamboni}.

We prove that if the spectral radius of a graph G of order n is larger than the spectral radius of the r-partite Turan graph of the same order, then G contains various supergraphs of the complete graph of order r+1. In particular G contains a complete r-partite graph of size log n with one edge added to the first part. These results complete a project of Erdos from 1963. We also give corresponding stability results.

An integer feasibility problem is a fundamental problem in many areas, such as operations research, number theory, and statistics. To study a family of systems with no nonnegative integer solution, we focus on a commutative semigroup generated by a finite set of vectors in $\Z^d$ and its saturation. In this paper we present an algorithm to compute an explicit description for the set of holes which is the difference of a semi-group $Q$ generated by the vectors and its saturation. We apply our procedure to compute an infinite family of holes for the semi-group of the $3\times 4\times 6$ transportation problem. Furthermore, we give an upper bound for the entries of the holes when the set of holes is finite. Finally, we present an algorithm to find all $Q$-minimal saturation points of $Q$.

Different commutative semigroups may have a common saturation. We consider distinguishing semigroups with a common saturation based on their ``sparsity''. We propose to qualitatively describe sparsity of a semigroup by considering which faces of the corresponding rational polyhedral cone have saturation points. For a commutative semigroup we give a necessary and sufficient condition for determining which faces have saturation points. We also show that we can construct a commutative semigroup with arbitrary consistent patterns of faces with saturation points.

Does a given system of linear equations with nonnegative constraints have an integer solution? This is a fundamental question in many areas. In statistics this problem arises in data security problems for contingency table data and also is closely related to non-squarefree elements of Markov bases for sampling contingency tables with given marginals. To study a family of systems with no integer solution, we focus on a commutative semigroup generated by a finite subset of $\Z^d$ and its saturation. An element in the difference of the semigroup and its saturation is called a ``hole''. We show the necessary and sufficient conditions for the finiteness of the set of holes. Also we define fundamental holes and saturation points of a commutative semigroup. Then, we show the simultaneous finiteness of the set of holes, the set of non-saturation points, and the set of generators for saturation points. We apply our results to some three- and four-way contingency tables. Then we will discuss the time complexities of our algorithms.

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.