Notes For Lecture On 18 November 6
Notes For Lecture On 18 November 6
Symmetric polynomials
Peter J. Cameron
Autumn 2013
1
and so must have the same coefficient. Thus, the dimension of the space
of homogeneous symmetric polynomials of degree r is pn (r), the number of
partitions of r with at most n parts.
There are three especially important symmetric polynomials:
(a) The elementary symmetric polynomial er , which is the sum of all the
monomials consisting
of products of r distinct indeterminates. Note
n
that there are monomials in the sum.
r
(b) The complete symmetric polynomial hr , which
is the sum of all the
n+r−1
monomials of degree r. There are terms in the sum: the
r
proof of this is given in the Appendix to these notes.
X n
(c) The power sum polynomial pr , which is simply xri .
i=1
2
variable in a polynomial is t in this section.) The coefficient of tn−r in a
polynomial of degree n is (−1)r er (a1 , . . . , an ), where a1 , . . . , an are the roots.
This is because the polynomial can be written as
(t − a1 )(t − a2 ) · · · (t − an ),
and the term in tn−r is formed by choosing t from n − r of the factors and
−ai from the remaining r.
Said otherwise, and putting xi = −1/ai , this says that the generating
function for the elementary symmetric polynomials is
n
X n
Y
r
E(t) = er (x1 , . . . , xn )t = (1 + xi t),
r=0 i=1
We also take P (t) to be the generating function for the power sum polyno-
mials, with a shift:
X
P (t) = pr (x1 , . . . , xn )tr−1 .
r≥1
d d
H(t) = P (t)H(t), E(t) = P (−t)E(t).
dt dt
3
5.3 Functions indexed by partitions
We extend the definitions of symmetric polynomials as follows. Let λ =
(a1 , a2 , . . .) be a partition of r, a non-decreasing sequence of integers with
sum r. Then, if z denotes one of the symbols e, h or p, we define zλ to be the
product of zai over all the parts ai of λ; this is again a symmetric polynomial
of degree r. For example, if n = 3 and λ is the partition (2, 1) of 3, we have
eλ = (x1 x2 + x1 x3 + x2 x3 )(x1 + x2 + x3 ),
pλ = (x21 + x22 + x23 )(x1 + x2 + x3 ),
hλ = eλ + pλ .
We also define the basic polynomial mλ to be the sum of all monomials with
exponents a1 , a2 , . . .. In the above case,
4
Proof We can describe any such n-tuple in the following way. Take a line
of n + r − 1 boxes. Then choose n − 1 boxes, and place barriers in these
boxes. Let
as required.