arXiv++ Combinatorics

In this article, fully packed loop configurations of hexagonal shape (HFPLs) are defined. They generalize triangular fully packed loop configurations. To encode the boundary conditions of an HFPL, a sextuple $(\mathsf{l}_\mathsf{T},\mathsf{t},\mathsf{r}_\mathsf{T};\mathsf{r}_\mathsf{B},\mathsf{b},\mathsf{l}_\mathsf{B})$ of $01$-words is assigned to it. In the first main result of this article, necessary conditions for the boundary $(\mathsf{l}_\mathsf{T},\mathsf{t},\mathsf{r}_\mathsf{T};\mathsf{r}_\mathsf{B},\mathsf{b},\mathsf{l}_\mathsf{B})$ of an HFPL are stated. For instance, the inequality $d(\mathsf{r}_\mathsf{B})+d(\mathsf{b})+d(\mathsf{l}_\mathsf{B})\geq d(\mathsf{l}_\mathsf{T})+d(\mathsf{t})+d(\mathsf{r}_\mathsf{T})+\vert\mathsf{l}_\mathsf{T}\vert_1\vert\mathsf{t}\vert_0+\vert\mathsf{t}\vert_1 \vert\mathsf{r}_\mathsf{T}\vert_0+\vert\mathsf{r}_\mathsf{B}\vert_0\vert\mathsf{l}_\mathsf{B}\vert_1$ has to be fulfilled, where $\vert\cdot\vert_i$ denotes the number of occurrences of $i$ for $i=0,1$ and $d(\cdot)$ denotes the number of inversions. The other main contribution of this article is the enumeration of HFPLs with boundary $(\mathsf{l}_\mathsf{T},\mathsf{t},\mathsf{r}_\mathsf{T};\mathsf{r}_\mathsf{B},\mathsf{b},\mathsf{l}_\mathsf{B})$ such that $d(\mathsf{r}_\mathsf{B})+d(\mathsf{b})+d(\mathsf{l}_\mathsf{B})-d(\mathsf{l}_\mathsf{T})-d(\mathsf{t})-d(\mathsf{r}_\mathsf{T})-\vert\mathsf{l}_\mathsf{T}\vert_1\vert\mathsf{t}\vert_0- \vert\mathsf{t}\vert_1\vert\mathsf{r}_\mathsf{T}\vert_0-\vert\mathsf{r}_\mathsf{B}\vert_0\vert\mathsf{l}_\mathsf{B}\vert_1=0,1$. To be more precise, in the first case they are enumerated by Littlewood-Richardson coefficients and in the second case their number is expressed in terms of Littlewood-Richardson coefficients.

The Kronecker coefficients are the structural constants for the tensor categories of representations of the symmetric groups; namely, given three partitions $λ, μ, τ$ of $n$, the multiplicity of $λ$ in $μ\otimes τ$ is called the Kronecker coefficient $g^λ_{μ, τ}$. When the first part of each of the partitions is taken to be very large (the remaining parts being fixed), the values of the appropriate Kronecker coefficients stabilize; the stable value is called the reduced (or stable) Kronecker coefficient. These coefficients also generalize the Littlewood-Richardson coefficients, and have been studied quite extensively. In this paper, we show that reduced Kronecker coefficients appear naturally as structure constants of the Deligne categories $\underline{Rep}(S_t)$. This allows us to interpret various properties of the reduced Kronecker coefficients as categorical properties of the categories $\underline{Rep}(S_t)$.

Jack polynomials generalize several classical families of symmetric polynomials, including Schur polynomials, and are further generalized by Macdonald polynomials. In 1989, Richard Stanley conjectured that if the Littlewood-Richardson coefficient for a triple of Schur polynomials is 1, then the corresponding coefficient for Jack polynomials can be expressed as a product of weighted hooks of the Young diagrams associated to the partitions indexing the coefficient. We prove a special case of this conjecture in which the partitions indexing the Littlewood-Richardson coefficient have at most 3 parts. We also show that this result extends to Macdonald polynomials.

A driving question in (quantum) cohomology of flag varieties is to find non-recursive, positive combinatorial formulas for expressing the product of two classes in a particularly nice basis, called the Schubert basis. Bertram, Ciocan-Fontanine and Fulton provided a way to compute quantum products of Schubert classes in the Grassmannian of k-planes in complex n-space by doing classical multiplication and then applying a combinatorial rim hook rule which yields the quantum parameter. In this paper, we provide a generalization of this rim hook rule to the setting in which there is also an action of the complex torus. Combining this result with Knutson and Tao's puzzle rule then gives an effective algorithm for computing all equivariant quantum Littlewood-Richardson coefficients. Interestingly, this rule requires a specialization of torus weights modulo n, suggesting a direct connection to the Peterson isomorphism relating quantum and affine Schubert calculus.

In this short note, we draw attention to a relation between two Horn polytopes which is proved in [Chenciner-Jiménez Pérez] as the result on the one side of a deep combinatorial result in [Fomin,Fulton, Li,Poon], on the other side of a simple computation involving complex structures. This suggested an inequality between Littlewood-Richardson coefficients which we prove using the symmetric characterization of these coefficients given in [Carré,Leclerc].

Littlewood Richardson coefficients are structure constants appearing in the representation theory of the general linear groups ($GL_n$). The main results of this paper are: 1. A strongly polynomial randomized approximation scheme for certain Littlewood-Richardson coefficients. 2. A proof of approximate log-concavity of certain Littlewood-Richardson coefficients.

We continue our development of a new basis for the algebra of non-commutative symmetric functions. This basis is analogous to the Schur basis for the algebra of symmetric functions, and it shares many of its wonderful properties. For instance, in this article we describe non-commutative versions of the Littlewood-Richardson rule and the Murnaghan-Nakayama rule. A surprising relation develops among non-commutative Littlewood-Richardson coefficients, which has implications to the commutative case. Finally, we interpret these new coefficients geometrically as the number of integer points inside a certain polytope.

Macdonald superpolynomials provide a remarkably rich generalization of the usual Macdonald polynomials. The starting point of this work is the observation of a previously unnoticed stability property of the Macdonald superpolynomials when the fermionic sector m is sufficiently large: their decomposition in the monomial basis is then independent of m. These stable superpolynomials are readily mapped into bisymmetric polynomials, an operation that spoils the ring structure but drastically simplifies the associated vector space. Our main result is a factorization of the (stable) bisymmetric Macdonald polynomials, called double Macdonald polynomials and indexed by pairs of partitions, into a product of Macdonald polynomials (albeit subject to non-trivial plethystic transformations). As an off-shoot, we note that, after multiplication by a t-Vandermonde determinant, this provides explicit formulas for a large class of Macdonald polynomials with prescribed symmetry. The factorization of the double Macdonald polynomials leads immediately to the generalization of basically every elementary properties of the Macdonald polynomials to the double case (norm, kernel, duality, positivity, etc). When lifted back to superspace, this validates various previously formulated conjectures in the stable regime. The q,t-Kostka coefficients associated to the double Macdonald polynomials are shown to be q,t-analogs of the dimensions of the irreducible representations of the hyperoctahedral group B_n. Moreover, a Nabla operator on the double Macdonald polynomials is defined and its action on a certain bisymmetric Schur function can be interpreted as the Frobenius series of a bigraded module of dimension (2n+1)^n, a formula again characteristic of the Coxeter group of type B_n. Finally, as a side result, we obtain a simple identity involving products of four Littlewood-Richardson coefficients.

The saturation theorem of [Knutson-Tao '99] concerns the nonvanishing of Littlewood-Richardson coefficients. In combination with work of [Klyachko '98], it implies [Horn '62]'s conjecture about eigenvalues of sums of Hermitian matrices. This eigenvalue problem has a generalization [Friedland '00] to majorized sums of Hermitian matrices. We further illustrate the common features between these two eigenvalue problems and their connection to Schubert calculus of Grassmannians. Our main result gives a Schubert calculus interpretation of Friedland's problem, via equivariant cohomology of Grassmannians. In particular, we prove a saturation theorem for this setting. Our arguments employ the aformentioned work together with [Thomas-Yong '12].

We develop structural insights into the Littlewood-Richardson graph, whose number of vertices equals the Littlewood-Richardson coefficient c(λ,μ,ν) for given partitions λ, μ, and ν. This graph was first introduced by Bürgisser and Ikenmeyer in arXiv:1204.2484, where its connectedness was proved. Our insights are useful for the design of algorithms for computing the Littlewood-Richardson coefficient: We design an algorithm for the exact computation of c(λ,μ,ν) with running time O(c(λ,μ,ν)^2 poly(n)), where λ, μ, and ν are partitions of length at most n. Moreover, we introduce an algorithm for deciding whether c(λ,μ,ν) >= t whose running time is O(t^2 poly(n)). Even the existence of a polynomial-time algorithm for deciding whether c(λ,μ,ν) >= 2 is a nontrivial new result on its own. Our insights also lead to the proof of a conjecture by King, Tollu, and Toumazet posed in 2004, stating that c(λ,μ,ν) = 2 implies c(Mλ,Mμ,Mν) = M + 1 for all M. Here, the stretching of partitions is defined componentwise.

Fully Packed Loop configurations in a triangle (TFPLs) first appeared in the study of ordinary Fully Packed Loop configurations (FPLs) on the square grid where they were used to show that the number of FPLs with a given link pattern that has m nested arches is a polynomial function in m. It soon turned out that TFPLs possess a number of other nice properties. For instance, they can be seen as a generalized model of Littlewood-Richardson coefficients. We start our article by introducing oriented versions of TFPLs; their main advantage in comparison with ordinary TFPLs is that they involve only local constraints. Three main contributions are provided. Firstly, we show that the number of ordinary TFPLs can be extracted from a weighted enumeration of oriented TFPLs and thus it suffices to consider the latter. Secondly, we decompose oriented TFPLs into two matchings and use a classical bijection to obtain two families of nonintersecting lattice paths (path tangles). This point of view turns out to be extremely useful for giving easy proofs of previously known conditions on the boundary of TFPLs necessary for them to exist. One example is the inequality d(u)+d(v)<=d(w) where u,v,w are 01-words that encode the boundary conditions of ordinary TFPLs and d(u) is the number of cells in the Ferrers diagram associated with u. In the third part we consider TFPLs with d(w)- d(u)-d(v)=0,1; in the first case their numbers are given by Littlewood-Richardson coefficients, but also in the second case we provide formulas that are in terms of Littlewood-Richardson coefficients. The proofs of these formulas are of a purely combinatorial nature.

We consider the example from invariant theory concerning the conjugation action of the general linear group on several copies of the $n \times n$ matrices, and examine a symmetric function which stably describes the Hilbert series for the invariant ring with respect to the multigradation by degree. The terms of this Hilbert series may be described as a sum of squares of Littlewood-Richardson coefficients. A "principal specialization" of the gradation is then related to the Hilbert series of the $\K$-invariant subring in the $\GL_n$-harmonic polynomials, where $\K$ denotes a block diagonal embedding of a product of general linear groups. We also consider other specializations of this Hilbert series.

Starting with Knutson and Tao's hive model (in J. Amer. Math. Soc., 1999) we characterize the Littlewood-Richardson coefficient $c_{λ,μ}^ν$ of given partitions $λ,μ,ν\in N^n$ as the number of capacity achieving hive flows on the honeycomb graph. Based on this, we design a polynomial time algorithm for deciding $c_{λ,μ}^ν>0$. This algorithm is easy to state and takes $O(n^3 \log ν_1)$ arithmetic operations and comparisons. We further show that the capacity achieving hive flows can be seen as the vertices of a connected graph, which leads to new structural insights into Littlewood-Richardson coefficients.

In this paper we give a combinatorial characterization of tight fusion frame (TFF) sequences using Littlewood-Richardson skew tableaux. The equal rank case has been solved recently by Casazza, Fickus, Mixon, Wang, and Zhou. Our characterization does not have this limitation. We also develop some methods for generating TFF sequences. The basic technique is a majorization principle for TFF sequences combined with spatial and Naimark dualities. We use these methods and our characterization to give necessary and sufficient conditions which are satisfied by the first three highest ranks. We also give a combinatorial interpretation of spatial and Naimark dualities in terms of Littlewood-Richardson coefficients. We exhibit four classes of TFF sequences which have unique maximal elements with respect to majorization partial order. Finally, we give several examples illustrating our techniques including an example of tight fusion frame which can not be constructed by the existing spectral tetris techniques. We end the paper by giving a complete list of maximal TFF sequences in dimensions less than ten.

In this work we continue our study of Fully Packed Loop (FPL) configurations in a triangle. These are certain subgraphs on a triangular subset of the square lattice, which first arose in the study of the usual FPL configurations on a square grid. We show that, in a special case, the enumeration of these FPLs in a triangle is given by Littlewood-Richardson coefficients. The proof consists of a bijection with Knutson-Tao puzzles.

We give an iterative method to realize general Jack functions from Jack functions of rectangular shapes. We first show some cases of Stanley's conjecture on positivity of the Littlewood-Richardson coefficients, and then use this method to give a new realization of Jack functions. We also show in general that vectors of products of Jack vertex operators form a basis of symmetric functions. In particular this gives a new proof of linear independence for the rectangular and marked rectangular Jack vertex operators. Thirdly a generalized Frobenius formula for Jack functions was given and was used to give new evaluation of Dyson integrals and even powers of Vandermonde determinant.

We use a new method to study the Laplace-Beltrami type operator on the Fock space of symmetric functions, and as an example of our explicit computation we show that the Jack symmetric functions are the only family of eigenvectors of the differential operator. As applications of this explicit method we find a combinatorial formula for Jack symmetric functions and the Littlewood-Richardson coefficients in the Jack case. As further applications, we obtain a new determinantal formula for Jack symmetric functions. We also obtained a generalized raising operator formula for Jack symmetric functions, and a formula for the explicit action of Virasoro operators. Special cases of our formulas imply Mimachi-Yamada's result on Jack symmetric functions of rectangular shapes, as well as the explicit formula for Jack functions of two rows or two columns.

In this paper we explicitly compute all Littlewood-Richardson coefficients for semisimple or Kac-Moody groups G, that is, the structure coefficients of the cohomology algebra H^*(G/P), where P is a parabolic subgroup of G. These coefficients are of importance in enumerative geometry, algebraic combinatorics and representation theory. Our formula for the Littlewood-Richardson coefficients is given in terms of the Cartan matrix and the Weyl group of G. However, if some off-diagonal entries of the Cartan matrix are 0 or -1, the formula may contain negative summands. On the other hand, if the Cartan matrix satisfies $a_{ij}a_{ji}\ge 4$ for all $i,j$, then each summand in our formula is nonnegative that implies nonnegativity of all Littlewood-Richardson coefficients. We extend this and other results to the structure coefficients of the T-equivariant cohomology of flag varieties G/P and Bott-Samelson varieties Gamma_\ii(G).

It is known that the Schur expansion of a skew Schur function runs over the interval of partitions, equipped with dominance order, defined by the least and the most dominant Littlewood-Richardson filling of the skew shape. We characterise skew Schur functions (and therefore the product of two Schur functions) which are multiplicity-free and the resulting Schur expansion runs over the whole interval of partitions, i.e. skew Schur functions having Littlewood-Richardson coefficients always equal to $1$ over the full interval.

For an affine algebra of nonexceptional type in the large rank we show the fermionic formula depends only on the attachment of the node 0 of the Dynkin diagram to the rest, and the fermionic formula of not type A can be expressed as a sum of that of type A with Littlewood-Richardson coefficients. Combining this result with math.CO/9901037 and arXiv:1002.3715 we settle the X=M conjecture under the large rank hypothesis.