ROSECODE 552
Kostka Numbers 2
By a partition of m, we mean an n-tuple:
p = [a1, a2, .., an] of positive integers with
a1 >= a2 >= .. >= an
and
a1 + a2 + .. + an = m
So to any partion p of m, a Ferrer's diagram consisting of m boxes is associated, arranged in n rows in such a way that ith row contains ai boxes.
Let c be another partition of m with k-tuple:
c = [b1, b2, .., bk] of positive integers with
b1 >= b2 >= .. >= bk
and
b1 + a2 + ... + bk = m
If p = [a1, a2, .., an] and c = [b1, b2, .., bk] are two arbitrary partitions of m, then by a semi-standard Young tableau of shape p and content c, we mean any distribution of the numbers 1, 2, ..,m in the boxes of the associated Ferrer’s diagram of p in such a way that
1. every row is non-decreasing;
2. every column is (strictly) increasing; and
3. for any 1 <= i <= m, the multiplicity of i in the distribution is bi.
For example if m=6: p=[3,2,1] and c=[2,2,2] (which means we have 2 of 1's, 2 of 2's and 2 of 3's, totally 6 of them).
1 1 2
2 3
3
1 1 3
2 2
3
The number of all semi-standard Young tableaux of shape p and content c is denoted by K(p,c) here and it is called the Kostka coefficient or the Kostka number.
Let p = [21,13,8,5,3]
Find the following:
K(p, c1) where c1 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]
K(p, c2) where c2 = [2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2]
K(p, c3) where c3 = [3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,2]
K(p, c4) where c4 = [4,4,4,4,4,4,4,4,4,4,4,4,2]
K(p, c5) where c5 = [5,5,5,5,5,5,5,5,5,5]
Answer format: K(p,c1),K(p,c2),K(p,c3),K(p,c4),K(p,c5)