10
$\begingroup$

The irreducible decomposition of the tensor product of two irreducible representations of GL(n) is described by the Littlewood-Richardson rule. This same rule also governs the decomposition of the product of two Schur polynomials into a linear combination of Schur polynomials. In both cases, we label the components of the product and the decomposition with Young diagrams, or integer partitions.

We noticed that the Young diagrams in the decomposition always seem to form a lattice w.r.t. dominance order. That is, for each pair of diagrams in the decomposition, the least upper bound ("join") and the greatest lower bound ("meet") of the pair is also part of the decomposition.

For example, looking at the following decomposition (where the Young diagrams are denoted by the corresponding integer partitions): $$(2,1) \otimes (2,1)=(4,2) \oplus (4,1,1) \oplus (3,3) \oplus 2 (3,2,1) \oplus (3,1,1,1) \oplus (2,2,2) \oplus (2,2,1,1)$$ The two unordered pairs in this decomposition are: (2,2,2), (3,1,1,1); and (3,3), (4,1,1). The join and meet of the first pair are (3,1,1,1) and (2,2,1,1) respectively. For the second pair, these are (4,2) and (3,2,1). In both cases, the join and meet diagrams are parts of the decomposition. We checked it for many larger examples with extensive symbolic calculations, and the product had this lattice property in all cases.

Thus my question is: Applying the Littlewood-Richardson rule to a pair of Young diagrams, does the set of Young diagrams appearing in the result (with nonzero multiplicity) always form a lattice wrt dominance order?

$\endgroup$
2
  • 1
    $\begingroup$ Possibly this follows from one of the polytopal models of the LR coefficients... $\endgroup$ Sep 11 at 20:47
  • $\begingroup$ Thanks, we checked some of these models, and it has some relations to some other important questions in the project of ours. $\endgroup$ Sep 13 at 20:49
4
$\begingroup$

Please excuse that I answer with a link, I only have a phone right now. http://www.findstat.org/MapsDatabase/Mp00192/

$\endgroup$
3
  • $\begingroup$ Thank you very much, this helped! The cited paper in the link (O. Azenhas, "The admissible interval for the invariant factors of a product of matrices") proves the following: Considering two fixed Young diagrams $\mu$ and $\lambda$, the Young diagrams $\nu$ with Littlewood-Richardson coefficients satisfying $c_{\mu, \nu}^{\lambda}>0$ form a sublattice wrt dominance order. This is very much related but not exactly what we asked for in the question… continued in the next comment $\endgroup$ Sep 13 at 20:45
  • 1
    $\begingroup$ Continued… Our conjecture was that if we fix two Young diagrams $\mu$ and $\nu$, then the Young diagrams $\lambda$ with Littlewood-Richardson coefficients satisfying $c_{\mu, \nu}^{\lambda}>0$ form a sublattice. Nevertheless, using some symmetries of the Littlewood-Richardson coefficients (derived from representation theory, not combinatorics), we managed to show that the two statements are equivalent. $\endgroup$ Sep 13 at 20:45
  • 1
    $\begingroup$ See also the paper by Hugh Thomas and Alex Yong concerning symmetry. $\endgroup$ Sep 14 at 5:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.