POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS

Transcription

1 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS DINUSHI MUNASINGHE Abstract. Given two standard partitions λ + = (λ + 1 λ+ s ) and λ = (λ 1 λ r ) we write λ = (λ +, λ ) and set s λ (x 1,..., x t ) := s λt (x 1,..., x t ) where λ t = (λ + 1,..., λ+ s, 0,..., 0, λ r,..., λ 1 ) has t parts. We provide two proofs that the Kostka numbers k λµ (t) in the expansion s λ (x 1,..., x t ) = µ k λµ (t)m µ (x 1,..., x t ) demonstrate polynomial behaviour, and establish the degrees and leading coefficients of these polynomials. We conclude with a discussion of two families of examples that introduce areas of possible further exploration. Contents 1. Introduction 2 2. Representations of GL n Representations Characters of GL n 4 3. Symmetric Polynomials Kostka Numbers Littlewood-Richardson Coefficients Representations and Characters 7 4. Restrictions Interlacing Partitions Branching Rules 8 5. Beyond Polynomial Representations 9 6. Weight Decompositions Some Notation Stability Kostka Numbers Littlewood-Richardson Coefficients Asymptotics The Polynomial Behaviour of Kostka Numbers Further Asymptotics 20 1

2 2 DINUSHI MUNASINGHE 12. Remarks 23 Appendix: Solving Difference Equations 24 References Introduction The Kostka numbers, which we will denote k λµ, were introduced by Carl Kostka in his 1882 work relating to symmetric functions. The Littlewood-Richardson coefficients c ν λµ were introduced by Dudley Ernest Littlewood and Archibald Read Richardson in their 1934 paper Group Characters and Algebra. These two combinatorial objects are ubiquitous, appearing in situations in combinatorics and representation theory, which we will address in this work, as well as algebraic geometry. Being such natural objects, the Kostka numbers and Littlewood-Richardson coefficients have been studied extensively. There are explicit combinatorial algorithms for computing both types of coefficients, and many well-established properties. There still exist, however, open questions and areas which remain unexplored. One area of study which contains interesting open questions relating to these coefficients is that of asymptotics, which we will explore in this work. We define the Littlewood-Richardson coefficient c ν λµ as the multiplicity of the Schur polynomial s ν (x 1,..., x t ) in the decomposition of the product of Schur polynomials s λ (x 1,..., x t )s µ (x 1,..., x t ) = c ν λµs ν (x 1,..., x t ). ν Similarly, we can define the Kostka number k λµ as the coefficient of m µ (x 1,..., x t ) in the expansion of the Schur polynomial s λ (x 1,..., x t ) as s λ (x 1,..., x t ) = µ k λµ m µ (x 1,..., x t ) where m µ (x 1,..., x t ) denotes the minimal symmetric polynomial generated by the monomial x µ. In the above formulas, the number of variables, t, may be arbitrary. However, c ν λµ and k λµ become independent of t as it becomes sufficiently large. We begin our study by extending the definition of the Schur polynomial s λ (x 1,..., x t ) to arbitrary weakly decreasing sequences of integers λ = (λ 1 λ t ) by shifting λ to λ + c t, i.e. 1 s λ (x 1,..., x t ) = (x 1... x t ) s c λ+c t(x 1,..., x t ). Given two standard partitions λ + = (λ + 1 λ + s ) and λ = (λ 1 λ r ) we write λ = (λ +, λ ) and set s λ (x 1,..., x t ) := s λt (x 1,..., x t ) where λ t = (λ + 1,..., λ + s, 0,..., 0, λ r,..., λ 1 ) has t parts. We consider the expansions (1) s λ (x 1,..., x t )s µ (x 1,..., x t ) = ν c ν λµ(t)s ν (x 1,..., x t )

3 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 3 and (2) s λ (x 1,..., x t ) = k λµ (t)m µ (x 1,..., x t ) µ where all λ, µ, and ν above are pairs λ = (λ +, λ ), µ = (µ +, µ ), and ν = (ν +, ν ). Both sums in (1) and (2) are finite. A result of Penkov and Styrkas, [PS], implies that the coefficients c ν λµ (t) stabilize for sufficiently large t. The coefficients k λµ(t), on the other hand, demonstrate polynomial behaviour. This result has been known for a while, see for example [BKLS] and the references therein. The methods used by Benkart and collaborators apply to representations of groups beyond GL n, but provide little information about the Kostka polynomials themselves. The purpose of this work is to give two proofs of the fact that k λµ (t) is a polynomial in t. The proofs given are specific to GL n, but will hopefully lead to formulas or algorithms for computing these polynomials explicitly. The first proof uses the stability of the Littlewood-Richardson coefficients, and the second uses a recurrence relation established through branching rules. We end the document with a discussion of two families of examples which will suggest further generalizations and directions of study. Conventions. Unless otherwise stated, we will be working over C, representations are finite dimensional, and N = Z 0. We denote by [k] the set of integers {1,..., k}. 2. Representations of GL n Definition 1. We define a polynomial representation of the group G = GL n to be a group homomorphism ρ : G GL(V ) = GL N where N = dim(v ) is the dimension of the representation, such that for every A = (a ij ) GL n, ρ(a) = (ρ ij (A)), where each entry ρ ij (A) is a polynomial in the entries a kl of A GL n. In this work we will refer to polynomial representations simply as representations of GL n. For a more extensive discussion, one can refer to [GW] and [FH] Representations. All finite dimensional representations of GL n are completely reducible - i.e., if ρ is a representation of GL n such that N = dim(v ) <, then there is a decomposition of V as the direct sum of irreducible representations. It is therefore natural to want to parameterize all possible non-isomorphic irreducible representations, and when given a representation, to ask how it could be decomposed as the direct sum of irreducible components. We turn our attention to the Schur-Weyl Duality, which will allow us to build all irreducible representations of GL n Schur-Weyl Duality. The Schur-Weyl Duality relates the irreducible representations of the General Linear Group, GL n, to those of the Symmetric group S k. We begin by considering the k th tensor power of V, V k, where V = C n. The General Linear group GL n acts on C n by matrix multiplication, so it acts on V k by g (v 1 v k ) = g v 1 g v k

4 4 DINUSHI MUNASINGHE for g GL n. On the other hand, S k acts on V k by permuting the terms of v 1 v k V k. That is to say, σ (v 1 v n ) = v σ 1 (1) v σ 1 (n). These actions commute, so V k is a GL n S k -module. We thus have the decomposition: V k = V λ S λ λ where the sum runs over all λ partitioning k, the S λ are the S k -modules known as Specht modules, and the V λ are GL n -modules. In particular, each V λ is a polynomial GL n -module, and is irreducible if λ has at most n parts and is the zero module otherwise. Furthermore, every irreducible polynomial GL n module is isomorphic to a module V λ for λ = (λ 1 λ n ) with λ i Z 0. Two modules V λ and V µ are isomorphic if and only if λ = µ. This gives us a concrete way of realizing the irreducible representations of GL n. We will not prove these results in this work, however proofs can be found in [GW]. Example 1. A simple example is the decomposition of V 2 : V V = Sym 2 V Alt 2 V where Sym 2 V is the submodule of V V generated by all elements of the form u v+v u for u, v V, and Alt 2 V is the submodule of V V generated by the elements of the form u v v u for u, v V. While it is clear that V V = Sym 2 V Alt 2 V as vector spaces, it is not immediately obvious that this is a decomposition into irreducible submodules. This fact can be established directly. However, it follows cleanly from the Schur-Weyl duality: S 2 has two irreducible representations indexed by the corresponding Young tableaux, so we have the decomposition into irreducibles V V = V (2) V(1,1), where S 2 acts on V (2) via the trivial representation, and on V (1,1) via the sign representation. and Now, V (2) = {x V V σ x = x, σ S 2 } V (1,1) = {x V V σ x = sgn(σ)x, σ S 2 }, but these are precisely Sym 2 V and Alt 2 V. Thus, these modules are irreducible GL n modules by the Schur-Weyl duality Characters of GL n. Definition 2. We define the character of a representation ρ of G = GL n to be the map: χ V : G C such that χ V (g) = tr(ρ(g)) for all g G.

5 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 5 Since χ V (g) = tr(g) = tr(hgh 1 ) = χ V (hgh 1 ), the character χ V is invariant under conjugation and hence is constant on the conjugacy classes of G. Since the diagonalizable matrices are dense in GL n, the values of χ V when restricted to the diagonal matrices completely determine the character χ V (since all diagonalizable matrices are, by definition, conjugate to a diagonal matrix, and characters are constant on conjugacy classes). Furthermore, since the n diagonal entries completely determine a diagonal matrix, we can consider the character χ V to actually be a map χ V : (C ) n C. When we consider the representations V λ of GL n as discussed in Section 2.1.1, it can be shown that χ Vλ (x 1,..., x n ) = s λ (x 1,..., x n ), i.e. the characters of the representations V λ of GL n are in fact the Schur polynomials s λ (x 1,..., x n ). We will discuss these polynomials in the next section. It is important to note that two representations are isomorphic if and only if their respective characters are the same. Furthermore, we have χ U V = χ U + χ V and χ U V = χ U χ V, allowing us to work with the characters when examining direct sums and tensor products of modules. 3. Symmetric Polynomials In this section we will give an overview of symmetric and Schur polynomials, following the notation of [F]. We begin our discussion of Schur polynomials by defining several combinatorial objects. Definition 3. We define a partition to be a weakly decreasing sequence of non-negative integers λ = (λ 1 λ 2 λ t ). We say that the number of parts of the partition is the largest integer t such that λ t > 0, and set t λ := λ i. Definition 4. For a given partition λ = (λ 1 λ t ) we define the Young diagram of shape λ to be a left-justified array of λ := t i=1 λ i boxes with λ i boxes in the i th row. We often identify the partitions λ and λ if their corresponding Young diagrams are the same. In other words, we identify two partitions if their strictly positive parts are the same, regardless of how many parts of size zero occur. We now consider filling these boxes, which we will also refer to as cells, with numbers. We define a filling of a Young diagram to be a numbering of the boxes using positive integers. In particular, we are interested in fillings that satisfy certain properties. i=1

6 6 DINUSHI MUNASINGHE Definition 5. We say that a filling T of a Young diagram λ is a Young tableau if the numbering is weakly increasing across the rows of λ and strictly increasing down the columns. Given a Young tableau T, we say that T has content µ = (µ 1,..., µ t ) N t if T contains µ i i s, 1 i t. For a Young tableau T of shape λ and content µ = (µ 1,..., µ t ), we denote by x T the monomial: t x T := x µ i i. We then define the Schur polynomial in t variables as: i=1 s λ (x 1,..., x t ) = T where we sum over all possible tableaux T of shape λ filled with integers from 1 to t. For ease of notation, we will denote x t := (x 1,..., x t ). While not obvious from the definition, s λ ( x t ) is a symmetric polynomial in t variables for any Young diagram of shape λ. Furthermore, letting λ vary over partitions of k having at most t parts, the Schur polynomials form a basis for the symmetric polynomials in t variables of degree k. Definition 6. Let λ = (λ 1 λ t ) be a partition of k having at most t strictly positive parts. We define m λ ( x t ) to be the minimal symmetric polynomial generated by the monomial x λ x λt t Kostka Numbers. Definition 7. We denote by k λµ (t) the number of possible Young tableaux of shape λ = (λ 1 λ t ) and content µ = (µ 1 µ t ) (adjoining parts of size zero where necessary). x T We have the relation s λ ( x t ) = µ k λµ (t)m µ ( x t ) Littlewood-Richardson Coefficients. Given two partitions λ and µ and their respective Schur polynomials s λ ( x t ) and s µ ( x t ), we can define the Littlewood-Richardson coefficients c ν λµ (t) through the expansion s λ ( x t )s µ ( x t ) = ν c ν λµ(t)s ν ( x t ). That is to say, when one multiplies two Schur polynomials s λ ( x t ) and s µ ( x t ), the product, being the product of two symmetric polynomials, is again a symmetric polynomial. Since the Schur polynomials of degree λ + µ in t variables form a basis of the vector space of symmetric polynomials of corresponding degree, we can rewrite the product as a sum of Schur polynomials, with ν running over partitions of λ + µ. The Littlewood- Richardson coefficient, c ν λµ (t) is then the coefficient of the Schur polynomial s ν( x t ) in the expansion.

7 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS Representations and Characters. The correspondence between characters of representations of GL n and symmetric polynomials allows us to translate statements from one setting to the other. For example, s λ ( x t )s µ ( x t ) = ν c ν λµ(t)s ν ( x t ) gives us V λ V µ = c ν λµ(t)v ν. Denoting h s (x 1,..., x t ) := x i1... x is 1 i 1 i s t for a given s N, we define t h λ := h λj (x 1,..., x t ) j=1 for a partition λ = (λ 1 λ t ). It can be shown that h s ( x t ) = χ V(s) = χ Sym s V. Our definition of h λ then allows us to directly obtain h λ = χ Sym λ 1 V... χ Sym λ tv. The identity h µ ( x t ) = λ k λµ s λ ( x t ) (see [F]) then gives us the result Sym µ 1 V Sym µt V = λ k λµ V λ. 4. Restrictions 4.1. Interlacing Partitions. Definition 8. For given partitions λ and µ, where λ has t parts and µ has t 1 parts, we say that µ interlaces λ, denoted µ λ, if λ 1 µ 1 λ 2 µ 2 λ t 1 µ t 1 λ t. This concept will allow us to obtain an important relation of Schur polynomials. Theorem 1. s λ ( x t ) = µ λ s µ ( x t 1 )x λ µ t

8 8 DINUSHI MUNASINGHE Proof. For a given Young tableaux T of shape λ, we let T t denote the object obtained by removing all cells with the entry t, and m T the number of cells removed (that is to say, the number of cells of T which contained the entry t). We claim that T t is a Young tableau of shape µ for some µ having r t 1 parts and is filled with the entries from [t 1]. In fact, µ interlaces λ. First, note that T t is a Young diagram because removing cells with entry t can only remove cells on the ends of rows. Furthermore, a cell with the entry t cannot lie above an entry of lower value, because that would contradict the strict decrease down columns of T. Thus, T t is a Young diagram. Given that we have a Young diagram with entries strictly increasing down columns and weakly increasing across rows, it is clear that T t is a Young tableau. To see that µ interlaces λ, we first note that since µ was obtained by removing cells from λ, µ i λ i i. Furthermore, µ i λ i+1. This follows because µ i < λ i+1 would imply that in the initial Young tableau the i th row contained a t which lay above an entry less than t in the row below, a contradiction. Thus, µ interlaces λ. For any Young tableau T of shape µ interlacing λ, we obtain a unique tableau T of shape λ by filling in λ \ µ with t s. The result is again a tableau, as λ 1 µ 1 λ 2 µ 2 λ t 1 µ t 1 λ t ensures that the t s are placed below and to the right of all lower entries. The theorem then follows immediately from the construction of the Schur polynomials as s λ ( x t ) = T 4.2. Branching Rules. We now consider how a GL t -module V λ restricts to GL t 1 GL 1. It is natural to consider the embedding of GL t 1 GL 1 GL t as matrices of the form [ ] A 0 0 c where A GL t 1 and c C = GL 1. It can be shown that for any irreducible polynomial representation ρ of GL t 1 GL 1, ρ can be written in the form V µ C m for µ a partition having s t 1 parts, and for m N, C m the C -module with c acting by multiplication by c m. Note that the module C m = C m, where C denotes the natural representation of GL 1 and C 1 denotes the dual. We will continue using the notation C m. We obtain the decomposition of V λ as a GL t 1 GL 1 -module into V λ = r µm V µ C m. (µ,m) To determine the coefficients r µm we consider the characters of the representations. Since the left hand side is simply the representation V λ, we know that the corresponding character is the Schur polynomial s λ ( x t ). On the right hand side, given our additive and x T.

9 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 9 multiplicative properties of characters, the corresponding character should be r µm s µ (x 1,..., x t 1 )x m t, giving us the equation (µ,m) s λ (x 1,..., x t ) = r µm s µ (x 1,..., x t 1 )x m t. (µ,m) On the other hand, as previously discussed, s λ (x 1,..., x t ) = µ λ s µ (x 1,..., x t 1 )x λ µ t. Since these two equations must agree, we have (µ,m) r µm s µ (x 1,..., x t 1 )x m t = µ λ Identifying coefficients and setting m = λ µ gives { 1 if µ interlaces λ r µm = 0 otherwise s µ (x 1,..., x t 1 )x λ µ t. Moving back from characters to representations, we obtain the result that as GL t 1 GL 1 -modules V λ = µ λ V µ C λ µ. 5. Beyond Polynomial Representations For a partition λ = (λ 1 λ n ), we can consider V λ to be a representation of GL t for t n by adding t n parts of size zero to λ. For λ = (λ 1 λ t ) we now define The corresponding Schur polynomial is λ + c t := (λ 1 + c,..., λ t + c). s λ+c t( x t ) = (x 1... x t ) c s λ ( x t ). This easily follows given the construction of s λ ( x t ) as s λ ( x t ) = T xt, since adjoining c cells to each row is equivalent to attaching a t c rectangle to the left of the original tableau. We can extend any filling of the original tableau of shape λ to a filling of the tableau of shape λ + c t by filling the i th row of the t c rectangle with i s. This is in fact the only way that this rectangle can be filled, since the tableau must be strictly increasing down columns. Thus, s λ+c t( x t ) = (x 1... x t ) c s λ ( x t ). We can now extend the concept of a Schur polynomial to weakly decreasing sequences of integers λ = (λ 1 λ t )

10 10 DINUSHI MUNASINGHE with λ i Z. Letting d = λ t we can use this shift to extend the definition of the Schur polynomial to the case when λ is an arbitrary sequence of weakly decreasing integers via s λ ( x t ) = s λ+d t( x t) (x 1... x t ) d. Extending m λ ( x t ) similarly, we can easily verify that s λ ( x t ) = µ k λµm µ ( x t ) continues to hold by setting k λ+c t,µ+c t = k λµ. We now extend the definition of a representation of GL n to include ρ : G GL(V ) = GL N, where for A = (a kl ) GL n ρ(a) = (ρ ij (A)) where the ρ ij are polynomials in the entries of A and the inverse of its determinant, det 1 (A). In this setting, the relation s λ (x 1,..., x n ) = µ λ s µ (x 1,..., x n 1 )x λ µ n still holds, since deta = (x 1... x n ) allows us to use our shift of representations to use the identity for partitions and shift back. Thus, we still have V λ = µ,t V µ C t Example 2. An important example to consider is GL n acting on V = C n. This corresponds to the partition λ = (1, 0,..., 0). V has standard basis e 1,..., e n, so we have { GLn GL ρ = n A A Example 3. The dual module V is also a representation. V has dual basis e 1,..., e n where e i (e j ) = δ ij for δ ij the Kronecker delta. We obtain the dual representation { ρ GLn GL : n A (A 1 ) Now, A 1 can be written as 1 deta A where A, the adjugate of A, is a matrix with entries that are polynomials in the entries of A. Thus, this representation is a matrix with entries that are polynomials in the entries of A and det 1 A. The character of the dual representation, χ V ( x n ), will be n 1 = m ( 1) ( x n ). x i i=1 Consider now the representation corresponding to the partition λ = (0, 0,..., 0, 1). Shifting this partition, we obtain the character 1 s λ ( x n ) = s (1,1,...,1,0) ( x n ) = m ( 1) ( x n ). x 1... x n

11 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 11 Thus, by comparing characters, we see that the dual representation corresponds to the partition λ = (0,..., 0, 1). 6. Weight Decompositions Let H GL n denote the subgroup of diagonal matrices. We define the H-module C µ to be the one-dimensional vector space C with H acting on C by for all v C. diag(z 1,..., z n ) v = z µ z µn v Definition 9. Let ρ : GL n GL(V ) = GL N be a representation. We refer to v V as a weight vector with weight µ = (µ 1,..., µ n ) Z n if for all z = diag(z 1,..., z n ) H. z v = z µ z µn v We define a weight space V µ V of a representation V to be the subspace of all vectors in V that are weight vectors with weight µ. One can show that every representation of GL n decomposes into the direct sum of its weight spaces V = V µ = (dim V µ )C µ. µ µ Moreover, dim V µ = dim V σ(µ) for any σ S n. Moving to the character of the irreducible representation V λ, we obtain the expansion s λ ( x n ) = µ n k λµ m µ ( x n ). n Comparing these we are able to conclude that dim V µ λ = k λµ. 7. Some Notation So far, we have only considered the Schur polynomials as polynomials in a finite number of variables. However, we can easily extend the concept to infinitely many variables by removing the restriction on the Young tableaux T to contain only integers from 1 to some finite t. Through our previous definition of the Schur polynomials, we then obtain s λ = s λ (x 1, x 2, x 3,... ) = x T. T For partitions λ, s λ (x 1,..., x t, 0, 0, 0,... ) = s λ (x 1,..., x t ) for all t N, t > 0. Notationally, we will use m λ := m λ (x 1, x 2, x 3,... ) to refer to the polynomial in infinitely many variables generated by the monomial x λ. For example, s (1) ( x t ) = x x t = m (1) ( x t )

12 12 DINUSHI MUNASINGHE becomes Similarly, s (2) ( x t ) = 1 i t s (1) = i 1 x 2 i + 1 i<j t x i = m (1). x i x j = m (2) ( x t ) + m (1,1) ( x t ) becomes s (2) = x 2 i + x i x j = m (2) + m (1,1). i 1 1 i<j This summation notation quickly becomes cumbersome, so we will simply use the symmetric polynomials m γ in expansions of Schur polynomials. For example, in three variables gives the three terms while in three variables gives which has six terms. m (1,1) ( x t ) = x i x j m (1,1) (x 1, x 2, x 3 ) = x 1 x 2 + x 1 x 3 + x 2 x 3, m (2,1) ( x t ) = x 2 i x j m (2,1) (x 1, x 2, x 3 ) = x 2 1x 2 + x 1 x x 2 2x 3 + x 2 x x 2 1x 3 + x 1 x 2 3, 8. Stability 8.1. Kostka Numbers. We begin our study of stability with the Kostka numbers. Specifically, we want to know if there a value t 0 such that for partitions λ and µ having t > t 0 parts, k λµ (t) = k λµ (t 0 ). Again, we look at characters s λ ( x t ) = µ k λµ (t)m µ ( x t ) corresponding to V λ = λ,µ k λµ V µ λ. The Kostka numbers demonstrate stability as we let t go to infinity. We recognize that for the partitions µ = µ 1 µ t, we have x µ = x µ x µt t, but as µ k = 0 for sufficiently large k, x µ k k = 1 for these k. Thus the multiplicity of the monomials x µ x µt t, namely the Kostka numbers k λµ (t) will stabilize for sufficiently large t. This stability can also be seen by looking at the Kostka numbers k λµ as the number of Young tableaux of shape λ and content µ: as the number of parts go to infinity, the number of possible tableaux stabilizes, as adding parts of size zero to both λ and µ will eventually not create any new Young tableaux of shape λ and content µ.

13 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS Littlewood-Richardson Coefficients. Having established the stability of the Kostka numbers for standard partitions we move to that of the Littlewood-Richardson coefficients, maintaining the restriction of λ, µ, and ν to be partitions. As previously discussed, for λ a partition having n strictly positive parts, we can view V λ as a GL t - module for any t n by adding t n parts of size zero to λ. The definition of the Littlewood-Richardson coefficients as the coefficients in the expansion of the product s λ ( x t )s µ ( x t ) is equivalent to V λ V µ = c ν λµv ν. However, this decomposition of the tensor product of representations of GL t depends on t. It is natural to then ask for what values of t the formula is valid. We begin by considering an example. Example 4. In terms of the bases of symmetric polynomials given by Schur polynomials, we have s (2) s (2) = ν c ν (2)(2)s ν where we sum over partitions of 4. In terms of the corresponding representations, this becomes V (2) V (2) = c ν (2)(2)V ν. The partitions of 4 are (4), (3, 1), (2, 2), (2, 1, 1) and (1, 1, 1, 1). However, (1, 1, 1, 1), having 4 parts, does not correspond to a valid irreducible representation of GL 3. This can be seen by moving to the corresponding characters. Considering the Schur polynomials in an indeterminate number of variables we have: so that s (2) (x 1,..., x t ) = x x 2 t + x 1 x x t 1 x t = m (2) + m (1,1), s (2) s (2) = x 4 i + 2 x 3 i x j + 3 x 2 i x 2 j + 4 x 2 i x j x k + 6 x i x j x k x l = m (4) + 2m (3,1) + 3m (2,2) + 4m (2,1,1) + 6m (1,1,1,1). However, if we let n = 3, the final sum, x i x j x k x l = m (1,1,1,1) disappears, since there are no collections of four distinct indices. We now find the corresponding Littlewood- Richardson coefficients. Corresponding to the partitions of 4, we have the Schur functions: s (4) = x 4 i + x 3 i x j + x 2 i x 2 j + x 2 i x j x k + x i x j x k x l = m (4) + m (3,1) + m (2,2) + m (2,1,1) + m (1,1,1,1), s (3,1) = x 3 i x j + x 2 i x 2 j + 2 x 2 i x j x k + 3 x i x j x k x l = m (3,1) + m (2,2) + 2m (2,1,1) + 3m (1,1,1,1), s (2,2) = x 2 i x 2 j + x 2 i x j x k + 2 x i x j x k x l = m (2,2) + m (2,1,1) + 2m (1,1,1,1), and s (2,1,1) = x 2 i x j x k + 3 x i x j x k x l = m (2,1,1) + 3m (1,1,1,1) s (1,1,1,1) = x i x j x k x l = m (1,1,1,1).

14 14 DINUSHI MUNASINGHE We see that s (2) s (2) = x 4 i + 2 x 3 i x j + 3 x 2 i x 2 j + 4 x 2 i x j x k + 6 x i x j x k x l = m (4) + 2m (3,1) + 3m (2,2) + 4m (2,1,1) + 6m (1,1,1,1) = s (4) + s (3,1) + s (2,2). Thus, we have the Littlewood-Richardson coefficients: c (4) (2)(2) = 1, c(3,1) (2)(2) = 1, c(2,2) (2)(2) = 1, c(2,1,1) (2)(2) = 0, c(1,1,1,1) ((2)(2) = 0. We now examine the general situation for partitions having only non-negative parts. For clarity, we denote by c ν λµ (t) the Littlewood-Richardson coefficient for partitions having t parts. To facilitate an inductive argument, we will use the lexicographic order on partitions: we say that λ µ if there exists i such that λ i > µ i where λ j = µ j for all j < i. Theorem 2. For any partitions λ = (λ 1 λ t ), µ = (µ 1 µ t ), and ν = (ν 1 ν t ) there exists a positive integer t 0 such that for t t 0, c ν λµ (t) = cν λµ (t 0). That is to say, when increasing the number of variables in the Schur polynomials, or equivalently, the number of parts in the corresponding partitions, the Littlewood- Richardson coefficients stabilize. We will henceforth reserve c ν λµ for this stable asymptotic value. Proof. We claim that there exists t 0 N such that for t > t 0, c ν λµ (t) = cν λµ (t 0). This can be seen by looking at s λ ( x t )s µ ( x t ) = c ν λµ(t)s ν ( x t ). As t, we know that the Kostka numbers k λµ (t) stabilize for standard partitions. Using the expansion of the Schur polynomials as s λ ( x t ) = τ k λτ (t)m τ ( x t ) we obtain ( τ k λτ (t)m τ ( x t ))( τ k µτ (t)m τ ( x t )) = ν c ν λµ(t) τ k ντ (t)m τ ( x t ). Since the Kostka numbers stabilize, the left hand side of the equation stabilizes. We use an inductive argument based on the lexicographic order for the right hand side. We begin by comparing the highest terms in the expansion s λ ( x t )s µ ( x t ) = ν c ν λµ(t)s ν ( x t ). Since and similarly s λ ( x t ) = m λ ( x t ) + τ λ k λτ m τ ( x t ), s µ ( x t ) = m µ ( x t ) + τ µ k µτ m τ ( x t ),

15 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 15 the highest term on the left hand side is x λ+µ. On the other hand, the highest term on the right hand side is c λ+µ λµ xλ+µ. This shows us that c λ+µ λµ (t) = 1 proving stability for the term of highest lexicographic order in the expansion. We now assume that stability holds for any ν 0 ν. We begin with the expansion of the sums as ( k λτ m τ ( x t ))( τ τ We can rearrange these sums as ( τ k µτ m τ ( x t )) = ν c ν λµ(t)s ν ( x t ). k λτ m τ ( x t ))( τ k µτ m τ ( x t )) ν ν 0 c ν λµ(t)s ν ( x t ) = c ν 0 λµ (t)s ν 0 ( x t ) + ν ν 0 c ν λµ(t)s ν ( x t ). We now compare coefficients in front of the terms x ν 0 on both sides, using the expansion ( τ k λτ m τ ( x t ))( τ k µτ m τ ( x)) ν ν 0 c ν λµ τ k ντ m τ ( x t ) = c ν0 λµ (t)s ν 0 ( x t )+ ν ν 0 c ν λµ(t)s ν ( x t ). On the left hand side, this coefficient is a combination of stable coefficients, hence is itself stable. The coefficient on the right hand side is c ν 0 λµ (t), establishing the result. 9. Asymptotics We now begin our study of sequences of the form λ = (λ +, λ ). We construct these sequences by taking two partitions λ + = (λ + 1 λ + r ) and (λ = λ 1 λ s ), joining them together after negating and reversing the order of the parts of λ to obtain λ t = (λ λ + r 0 0 λ s λ 1 ). Throughout our discussion, we assume that the total number of parts, or terms, in λ, including parts of size 0, is t. When we discuss asymptotic behaviour, we will be allowing t to grow large by inserting parts of size zero. We will denote by s λ ( x t ) := s λt ( x t ) = s (λ + 1,...,λ+ r,0,...,0, λ s,..., λ 1 )( x t) the Schur polynomial corresponding to the partition λ. For example, We now compute another example. s (1, 1) ( x t ) = m (1, 1) ( x t ) + (t 1). Example 5. We note that s ( 1) = m ( 1), s (1, 2) = m (1, 2) + m (1, 1, 1) + (t 1)m ( 1), and s (1, 1, 1) = m (1, 1, 1) + (t 2)m ( 1). Then s ( 1) s (1, 1) = m ( 1) (m (1, 1) + (t 1)) = m (1, 2) + m ( 1) + 2(t 1)m ( 1) + 2m (1, 1, 1) = s (1, 2) + s (1, 1, 1) + s ( 1).

16 16 DINUSHI MUNASINGHE As a corollary to Theorem 2.3 in [PS], we obtain that for given partitions λ = (λ +, 0) and µ = (0, µ ) s (λ+, )s (,µ ) = ν c ν (λ +, )(,µ )s ν where ν = (ν +, ν ) and for r = λ + ν + = µ ν, c ν (λ +, )(,µ ) = c λ + ν+ γc µ ν γ. Firstly, we note that c (λ +,µ ) (λ +,0)(0,µ ) = 1, since ν = (λ +, µ ) gives λ + ν + = 0 which implies that the only summand is the one corresponding to γ =, for which c λ + λ + = c µ µ = 1. Secondly, for any ν = (ν +, ν ) (λ +, µ ), ν + λ + or ν µ implies that c ν (λ +, )(,µ ) = 0. We then have γ =r s (λ+, )s (,µ ) = s (λ+,µ ) + ν c ν (λ +, )(,µ )s ν. Having established that the generalized Littlewood-Richardson coefficients c ν (λ +, )(,µ ) can be written as a combination of Littlewood-Richardson coefficients for standard partitions, we are able to infer their stability. 1 In the next section, we will use this new stability to deduce the polynomial behaviour of the Kostka numbers. 10. The Polynomial Behaviour of Kostka Numbers In this section, we will prove that k λµ (t) is a polynomial in t, where λ = (λ +, λ ) and µ = (µ +, µ ). Furthermore, as an integer valued polynomial, k λµ (t) can be written as a polynomial in the binomial basis for integer valued polynomials, ( ) t + i { i 0} i in addition to the usual basis of polynomials {t i i 0}. Our first proof of the polynomial behaviour of Kostka numbers will rely on the results from [PS]. We begin by proving a lemma. Lemma 1. Let p( x t ) and q( x t ) be symmetric Laurent polynomials in t variables with coefficients that are polynomials in t. Then the product p( x t )q( x t ) also has coefficients that are polynomials in t. Proof. We say that p( x t ) involves at most k variables if, when expanded as a sum of symmetric polynomials m γ, i.e. p( x t ) = r γ m γ ( x t ), each γ has at most k parts. We say that q( x t ) involves s variables and induct on the total k + s. The base case is clear, as if k + s = 0, we simply have the product 1 1 = 1. 1 No formula for general c ν λµ can be derived directly from [PS], but these coefficients likely also stabilize. We will not, however, address this question here.

17 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 17 We now assume that the statement holds for all p ( x t ) involving k variables and q ( x t ) involving s variables such that k +s < k +s. On one hand, as the product of symmetric polynomials, we have p( x t )q( x t ) = a γ (t)m γ ( x t ), γ where a γ (t) is some function. On the other hand, by sorting by the powers of x t, we write p( x t ) = p i ( x t 1 )x i, q( x t ) = q j ( x t 1 )x j i j where each p i ( x t 1 ) and each q j ( x t 1 ) is a symmetric Laurent polynomial in x 1,..., x t 1. Since the inductive assumption applies for any pair p i, q j with (i, j) (0, 0), we have So, (3) p( x t )q( x t ) = ( i p i( x t 1 )x i t)( j q j( x t 1 )x j t) = p 0 ( x t 1 )q 0 ( x t 1 ) + (i,j) (0,0) p i( x t 1 )q j ( x t 1 )x i+j t = p 0 ( x t 1 )q 0 ( x t 1 ) + d ( β a β,d(t 1)m β ( x t 1 ))x d t. a γ (t)m γ ( x t ) = p 0 ( x t 1 )q 0 ( x t 1 ) + ( γ d β a β,d (t 1)m β ( x t 1 ))x d t. If γ = (γ 1,..., γ t ), say γ t 0, then d ( β a β,d(t 1)m β ( x t 1 )x d t contributes to x γ t, so a γ (t) = a γ,γt (t 1) for γ = (γ 1,..., γ t 1 ), hence is a polynomial in t by the inductive hypothesis. If γ =, comparing coefficients of x, i.e. comparing constant coefficients on either side of (3) we obtain a (t) = a (t 1) + a (t) a (t) a (t 1) = a (t), giving a difference equation whose solution is a polynomial in t, see Appendix. This gives us that a (t) is also a polynomial, and hence that the entire product p( x t )q( x t ) has polynomial coefficients, as desired. Theorem 3. k λµ (t) is a polynomial in t. Proof. We begin by noting that we extend the lexicographic order to an order between pairs µ = (µ +, µ ) and ν = (ν +, ν ) by saying that µ ν if µ + ν + and µ ν. We will establish the polynomial behaviour using the stability of the Littlewood- Richardson coefficients and induction on the above order. For the base case, s ( x t ) = 1 has coefficients that are polynomials in t, namely, all are the zero polynomial except for k = 1. We now assume that s ν ( x t ) is polynomial - meaning it has coefficients that are polynomials in t - for all ν ν = (ν +, ν ). Consider s (ν+, )( x t )s (,ν )( x t ) = c ν λµs ν ( x t ). On the right hand side, we have that ν = (ν +, ν ) is the largest element. therefore rearrange the equation to obtain s (ν+, )( x t )s (,ν )( x t ) ν ν c ν λµs ν ( x t ) = s ν ( x t ). We can

18 18 DINUSHI MUNASINGHE By Lemma 1 and the inductive hypothesis, all Schur polynomials on the left hand side of the equation are polynomial, as is the product s ν+ ( x t )s ν ( x t ). Moreover, the Littlewood-Richardson coefficients are stable. Therefore, s ν ( x t ) is also polynomial, establishing the result. Neither Theorem 3 nor its proof actually provide much information about the polynomial k λµ (t). Approaching the problem through branching rules allows us to determine both the degree and leading coefficient of the Kostka polynomial k λmu (t). Theorem 4. The degree of k λµ (t) is d = λ + µ + = λ µ. Furthermore, the leading coefficient of k λµ (t) is 1 d! k λ + µ + k λ µ, where µ + is obtained from µ + by adjoining λ + µ + single cells to the corresponding Young diagram, that is to say, µ + = (µ +, 1,..., 1), (and similarly for µ ). Proof. In order to prove this result, we must first establish a recurrence relation for k λµ (t). We will do this using the branching rules as discussed in Section 4.2. Recall that we have the decomposition V λ = V ν C λ ν ν λ which corresponds to the relation of characters s λt+1 ( x t+1 ) = s νt ( x t )x λ ν ν t λ t+1 t+1. Expanding the Schur polynomials in terms of the Kostka numbers gives k λµ (t + 1)m µ ( x t+1 ) = k νµ (t)m µ ( x t ))x λ ν t+1. µ We now compare coefficients of the terms ν t λ t+1 ( x µ t+1 = x µ x µ t+1 t+1 on either side of the above equation. To simplify our induction, we look at the terms where µ t+1 = 0, that is to say, we are really comparing coefficients for terms of the form This gives us k λµ (t + 1) = x µ x µt t. µ ν t λ t+1, λ = ν We note that λ t λ t+1. Denoting a t = k λµ (t), we have k λµ (t + 1) = k λµ (t) + so a t+1 = a t + (4) a t+1 a t = k νµ (t). ν t λ t+1, λ = ν,ν λ ν t λ t+1, λ = µ,ν λ ν t λ t+1, λ = ν,ν λ k νµ (t) k νµ (t) k νµ (t).

19 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 19 We will now induct on d = λ + µ + to prove that k λµ (t) is of degree d with leading coefficient 1 d! k λ + µ + k λ µ. For the base case, we assume λ + = µ +. We note that the right hand side of (4) is then zero, as for any ν such that ν t λ t+1 where ν λ, ν + < λ + = µ + k νµ (t) = 0. Thus, a t+1 a t = 0, so a t is a constant. To determine this constant, we note that λ + = µ + and λ = µ, so by looking at the corresponding Young diagrams with the appropriate shifts, since the positive and negative portions of the Young diagram are forced to be filled independently, we obtain k λµ (t) = k λ+ µ + k λ µ, establishing the reuslt. We now assume that the result holds for ν = (ν +, ν ) such that ν + µ + < d. From (4), the right hand side is the sum of polynomials of degrees ν + µ + < d. To see that the degree of the sum is, in fact, exactly d 1, we note that sequences of the form ν = (ν +, ν ) obtained by removing one cell each from suitable locations of λ + and λ, i.e. at the end of a row that does not conflict with the weakly decreasing lengths of the rows, will interlace λ, and will satisfy ν + = λ + 1. Each of the sequences of this form will give a Kostka polynomial k νµ (t) of degree d 1 and positive leading coefficient, so no cancellation will occur. Thus, the degree of the right hand side of (4) is exactly d 1, so Theorem A implies that the degree of k λµ (t) is d. The leading coefficient of a t = k λµ (t) (in the expansion in the binomial basis) will be the sum of all leading coefficients on the right hand side of (4) such that λ + ν + = 1. In other words, it is equal to the sum (5) λ + ν + =1 where C ν denotes the leading coefficient of the Kostka polynomial k νµ (t). By the inductive hypothesis, we have C ν = k ν+ µ + k ν µ, which combined with (5) implies that the leading coefficient of k λµ (t) equals (6) k ν+ µ + k ν µ = ( k ν+ µ + )( k ν µ ) λ + ν + = λ ν =1 C ν λ + ν + =1 λ ν =1 To compute the sums on the right hand side of (6), notice that for standard partitions τ and η, with the definition of the Kostka number k τη as the number of possible Young tableaux of shape τ and content η = (η 1,..., η t ), (7) k τη = τ k τ η where τ runs over all Young diagrams obtained from τ by removing one cell, and η = η (0,..., 0, 1) (assuming that η t > 0). This follows because, for each Young tableau of shape τ and content η, removing a cell containing the entry t creates a new Young tableau (following much the same argument as in Section 3.1), and given the collection of all possible Young tableaux obtained by the removal of a single cell containing the entry t, we can reconstruct a unique parent Young tableau.

20 20 DINUSHI MUNASINGHE Rewriting (7) as k τη = τ τ =1 and combining this with (5) and (6), we conclude that the leading coefficient of k λµ (t) in the binomial basis is k λ+ µ + k λ µ. k τ η 11. Further Asymptotics After proving that the Kostka numbers do exhibit polynomial behaviour, a natural next step is to try to determine what these polynomials actually are. Given partitions λ = (λ +, λ ) and µ = (µ +, µ ), is it possible to determine the Kostka polynomial k λµ (t)? In section 10 we were able to determine the degree and leading coefficient of k λµ (t), however, at this time no general formula for determining k λµ (t) explicitly is known. We can, however, establish formulas for two simple cases. Theorem 5. ( ) t + s 2 k (s, s), (t) = s First Proof. This statement follows from the fact that k (s, s), (t) = k (2s,s t 2 ),s t where k (2s,s t 2 ),s t denotes the regular Kostka number obtained by simply counting the number of Young tableaux of shape (2s, s t 2 ) and content s t. In the first row of (s, s) + s t, we have no choice but to fill the first s spots with 1 s. We then have an arbitrary choice with repetition for s elements out of 2,..., t for the remaining s spots in the first row. These choices completely determine the tableau, as the t 2 s block can then only be filled in one way. Thus, by the formula for choosing s elements with repetition out of t 1 possible choices, we have that ( ) ( ) (t 1) + (s 1) t + s 2 k (s, s), (t) = = s s as desired. From this formula, we can see that k (s, s), (t) is a polynomial in t for fixed s of degree s and leading coefficient 1, as expected from Theorem 4. s! Second Proof. We can also obtain this result from branching rules and induction. Since and s 1 k (s, s) (t + 1) = k (s, s) (t) + k (j, j) (t), s 1 k (s+1, (s+1)) (t + 1) = k (s+1, (s+1)) (t) + k (s, s) (t) + k (j, j) (t), j=0 j=0

21 we obtain Defining POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 21 k (s+1, (s+1)) (t + 1) = k (s+1, (s+1)) (t) + k (s, s) (t + 1). p(t, s) := k (s, s) (t) we thus obtain the recurrence relation with boundary conditions p(t + 1, s + 1) = p(t, s + 1) + p(t + 1, s) p(t, 0) = 1 p(2, s) = 1 as p(2, s) = k (s, s) (2) = k (2s,0)(s,s) = 1. We claim that p(t, s) = ( t+s 2 s ). Clearly, ( ) t 2 = 1 = p(t, 0), 0 and ( ) ( ) 2 + s 2 s = = 1 = p(2, s). s s We now induct on t + s, assuming that the statement holds for all t and s such that t + s < t + s. By the recurrence relation, p(t, s) = p(t 1, s) + p(t, s 1) which, by the inductive hypothesis, is ( ) ( ) t 1 + s 2 t + s 1 2 p(t, s) = + s s 1 ( ) ( ) t + s 3 t + s 3 p(t, s) = +. s s 1 Using the relation ( ) ( n+1 r+1 = n ( r+1) + n r), we obtain ( ) t + s 2 p(t, s) =, s the desired result. We now look at λ = (1 s, 1 s ) and µ =. To begin our discussion, we introduce the notion of a Dyck path: Definition 10. A Dyck path is a path of steps of length 1 in the (x, y) plane from the point (0, 0) to (s, s), where each step goes either directly up or to the right and does not cross the line x = y. The number of Dyck paths from (0, 0) to (s, s) is known to be the s th Catalan number, (see [W]). C s = 1 s + 1 ( ) 2s s

22 22 DINUSHI MUNASINGHE Theorem 6. k (1 s, 1 s ), (t) = ( ) t ( ) t (2i + 1) C i. t s t s i i 0 Proof. To determine k (1 s, 1 s ), (t), we will look at k (2 s,1 t 2s ),1 t(t). Column one of (1s, 1 s )+ 1 t = (2 s, 1 t 2s ) has t s spots, and column two has s. Choosing the elements in the first column completely determines the Young tableau, as the second column will then be forced to be filled in increasing order. In total, there are ( t t s) ways of choosing the first column. However, not all of these choices will allow for a valid Young tableau. We must therefore subtract from the total number of possibilities the number of fillings that are not valid tableaux. Let a i denote the number in row i + 1 in the first column. Thus each filling directly corresponds to a (t s)-tuple (a 0,..., a t s 1 ). We note that a i < 2(i + 1) for 1 i s is a necessary and sufficient condition for the corresponding filling to be a Young tableau. Thus, from the total number of choices for the first column, we must subtract all (t s)-tuples which contradict the above condition. It is clear that there are ( t 1 t s) ways to fill the first column with a0 > 1, i.e. with a contradiction in the first row. Thus we begin by subtracting ( ) ( t 1 t s from the total t t s). ( In general, we claim that there are C t (2i+1) ) i t s i possible fillings that do not contradict a j < 2j + 2 for 0 j i 1, but contradict for the first time at a i, in the i + 1 st row. Firstly, there are C i ways to construct a valid filling for the first i rows. We establish this by filling the i 2 rectangle with the numbers 1,..., 2i in order. For a placement in the left of the two columns, we add a step to the right to our Dyck path, and for a placement in the right column we assign a vertical step. The condition a j < 2j + 2 corresponds to the condition that the Dyck path does not cross the line x = y. Thus, for every valid filling of the aforementioned rectangle, we have a corresponding Dyck path and vice versa, so the number of valid i 2 rectangular tableaux is C i. To introduce a contradiction at the i + 1 st row, i.e. at a i, we must fill the remaining t s i spots with choices from the t (2i + 1) elements which would give the desired contradiction. Subtracting all possible invalid fillings by running over the t s rows, we obtain the result: k (1 s, 1 s ), (t) = ( ) t ( ) t (2i + 1) C i. t s t s i i 0 We can also prove a simpler formula for this Kostka polynomial. Theorem 7. Proof. By branching rules, We define ( ) t + 1 k (1 s, 1 s ) (t) = s ( ) t 2. s 1 k (1 s, 1 s ) (t + 1) = k (1 s, 1 s ) (t) + k (1 s 1, 1 s 1 ) (t). q(t, s) := k (1 s, 1 s ) (t),

23 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 23 so that the branching rule and our argument above gives us the recurrence relation with boundary conditions q(t + 1, s) = q(t, s) + q(t, s 1) q(t, 0) = 1 q(2s, s) = C s. We note that the variables are constrained by s 0 and t 2s. Now, by another straightforward inductive argument, we show that ( ) ( ) t + 1 t q(t, s) = 2. s s 1 It is clear that the base cases are satisfied, as ( ) t + 1 q(t, 0) = 1 = 0 and ( ) ( ) 2s + 1 2s q(2s, s) = 2 = s s 1 q(2s, s) = (2s)! (2s)! s!s! (s 1)!(s + 1)! ( ) t 2 1 ( ) ( ) 2s 2s s s 1 = (s + 1)(2s)! s(2s)! s!(s + 1)! q(2s, s) = (2s)! s!(s + 1)! = C s. Now, assuming that the statement holds for all t and s such that t + s < t + s, we use the recurrence relation to obtain ( ) ( ) t t 1 q(t, s) = q(t 1, s) + q(t 1, s 1) = 2 + s s 1 ( ) ( ) t + 1 t q(t, s) = 2 s s 1 as desired. 12. Remarks ( ) t 2 s 1 ( ) t 1 s 2 The Kostka numbers k (s, s) (t) and k (1 s, 1 s ) (t) discussed above are examples of asymptotic behaviour involving two variables, a more general situation than that discussed in the majority of this project, which only involved the variable t. We notice that k (s, s) (t) is a polynomial in t for fixed s, and is a polynomial in s for fixed t. Furthermore, it can be expressed by a single binomial coefficient. The Kostka number k (1 s, 1 s ) (t) on the other hand, while a polynomial in t when s is fixed, is only a polynomial in s for fixed t s. It is, however, still a combination of only two binomial coefficients. A very general problem to study would be to examine Kostka functions p(s 1,..., s k, t 1,..., t l ) = k (λ s 1 1,...,λ s k k )(µ t 1 1,...,µ t l l ), where λ = (λ 1,..., λ k ) and µ = (µ 1,..., µ l ) are weakly decreasing sequences of integers, with the hope that p can be expressed as a finite combination of multinomial coefficients.

24 24 DINUSHI MUNASINGHE Appendix: Solving Difference Equations We record a statement used repeatedly in the text. Theorem A. Let p(t) = d k=0 ( ) t + k α k, k and let a t be a sequence such that a t+1 at = p(t) t 0. Then d+1 ( ) t + k a t = C + (α k 1 α k ) k k=0 where α d+1 = 0 and C is some constant. In particular, a t is a polynomial in t of degree p d + 1 and leading coefficient d where d = deg(p) and p d+1 d is the leading coefficient of p(t). Proof. We first note that if this difference equation has a solution it is unique up to a constant. This is easily seen because if k=1 b t+1 b t = a t+1 a t, then b t+1 a t+1 = b t a t t so b t a t = C is constant. Consider d+1 ( ) t + k d ( ) ( ) t + k + 1 t + k b t = (α k 1 α k ) = α k ( ). k k + 1 k Then k=0 b t+1 b t = d k=0 α k( ( ) ( t+k+2 k+1 t+k+1 ) k ) αk ( ( ) ( t+k+1 k+1 t+k ) k ) = d k=0 α k( ( ) ( t+k+1 k+1 + t+k+1 ) ( k t+k+1 ) ( k t+k+1 ) ( k+1 + t+k ) k ) = d k=0 α ) k = p(t). ( t+k k References [BKLS] G. Benkart, S.-J. Kang, H. Lee, D.-U. Shin, The polynomial behavior of weight multiplicities for classical simple Lie algebras and classical affine Kac-Moody algebras, in Contemp. Math., 248. [F] W. Fulton, Young Tableaux With Applications to Representation Theory and Geometry. Cambridge University Press, [FH] W. Fulton and J. Harris, Representation Theory A First Course. Springer, [GW] R. Goodman and N.R. Wallach, Representations and Invariants of the Classical Groups. Cambridge University Press, [PS] I. Penkov and K. Styrkas, Tensor Representations of Classical Locally Finite Lie Algebras, Developments and Trends in Infinite-Dimensional Lie Theory, [W]