← RoseCode

ROSECODE 552

Kostka Numbers 2

sinan · Math ·

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)