Complete homogeneous symmetric polynomial

Complete homogeneous symmetric polynomial

In mathematics, specifically in algebraic combinatorics and commutative algebra, the complete homogeneous symmetric polynomials are a specific kind of symmetric polynomials. Every symmetric polynomial can be expressed as a polynomial expression in complete homogeneous symmetric polynomials.

Contents

Definition

The complete homogeneous symmetric polynomial of degree k in n variables X1, ..., Xn, written hk for k = 0, 1, 2, ..., is the sum of all monomials of total degree k in the variables. Formally,

 h_k (X_1, X_2, \dots,X_n) = \sum_{1 \leq i_1 \leq i_2 \leq \cdots \leq i_k \leq n} X_{i_1} X_{i_2} \cdots X_{i_k}.

The first few of these polynomials are

 h_0 (X_1, X_2, \dots,X_n) = 1,
 h_1 (X_1, X_2, \dots,X_n) = \sum_{1 \leq j \leq n} X_j,
 h_2 (X_1, X_2, \dots,X_n) = \sum_{1 \leq j \leq k \leq n} X_j X_k,
 h_3 (X_1, X_2, \dots,X_n) = \sum_{1 \leq j \leq k \leq l \leq n} X_j X_k X_l.

Thus, for each nonnegative integer k, there exists exactly one complete homogeneous symmetric polynomial of degree k in n variables.

The polynomial ring formed by taking all integral linear combinations of products of the complete homogeneous symmetric polynomials is a commutative ring.

Examples

The following lists the n basic (as explained below) complete homogeneous symmetric polynomials for the first three positive values of n.

For n = 1:

h_1(X_1) = X_1\,.

For n = 2:

\begin{align}
 h_1(X_1,X_2)&= X_1 + X_2\\
 h_2(X_1,X_2)&= X_1^2 + X_1X_2 + X_2^2.
\end{align}

For n = 3:

\begin{align}
 h_1(X_1,X_2,X_3) &= X_1 + X_2 + X_3\\
 h_2(X_1,X_2,X_3) &= X_1^2 + X_2^2 + X_3^2 + X_1X_2 + X_1X_3 + X_2X_3\\
 h_3(X_1,X_2,X_3) &= X_1^3+X_2^3+X_3^3 + X_1^2X_2+X_1^2X_3+X_2^2X_1+X_2^2X_3+X_3^2X_1+X_3^2X_2 + X_1X_2X_3.
\end{align}

Properties

The complete homogeneous symmetric polynomials are characterized by the following identity of formal power series in t:

\sum_{k=0}^\infty h_k(X_1,\ldots,X_n)t^k = \prod_{i=1}^n\sum_{j=0}^\infty(X_it)^j = \prod_{i=1}^n\frac1{1-X_it}

(this is called the generating function, or generating series, for the complete homogeneous symmetric polynomials). Here each fraction in the final expression is the usual way to represent the formal geometric series that is a factor in the middle expression. The identity can be justified by considering how the product of those geometric series is formed: each term of the product is obtained by multiplying one term chosen from each geometric series, and every monomial in the variables Xi is obtained for exactly one such choice of terms, and comes multiplied by a power of t equal to the degree of the monomial.

There is a fundamental relation between the elementary symmetric polynomials and the complete homogeneous ones:

\sum_{i=0}^m(-1)^ie_i(X_1,\ldots,X_n)h_{m-i}(X_1,\ldots,X_n)=0,

which is valid for all m > 0, and any number of variables n. The easiest way to see that it holds is from an identity of formal power series in t for the elementary symmetric polynomials, analogous to the one given above for the complete homogeneous ones:

\sum_{k=0}^\infty e_k(X_1,\ldots,X_n)(-t)^k = \prod_{i=1}^n(1-X_it)

(this is actually an identity of polynomials in t, because after en(X1,…Xn) the elementary symmetric polynomials become zero). Multiplying this by the generating function for the complete homogeneous symmetric polynomials, one obtains the constant series 1, and the relation between the elementary and complete homogeneous polynomials follows from comparing coefficients of tm. A somewhat more direct way to understand that relation, is to consider the contributions in the summation involving a fixed monomial Xα of degree m. For any subset S of the variables appearing with nonzero exponent in the monomial, there is a contribution involving the product XS of those variables as term from es(X1,…,Xn), where s = #S, and the monomial Xα / XS from hms(X1,…,Xn); this contribution has coefficient (−1)s. The relation then follows from the fact that

\sum_{s=0}^l{l\choose s}(-1)^s=(1-1)^l=0\quad\mbox{for }l>0,

by the binomial formula, where l ≤ m denotes the number of distinct variables occurring (with nonzero exponent) in Xα. Since e0(X1, …, Xn) and h0(X1, …, Xn) are both equal to 1, one can isolate from the relation either the first or the last terms of the summation. The former gives a sequence of equations

\begin{align}
 h_1(X_1,\ldots,X_n)&=e_1(X_1,\ldots,X_n),\\
 h_2(X_1,\ldots,X_n)&=h_1(X_1,\ldots,X_n)e_1(X_1,\ldots,X_n)-e_2(X_1,\ldots,X_n),\\
 h_3(X_1,\ldots,X_n)&=h_2(X_1,\ldots,X_n)e_1(X_1,\ldots,X_n)-h_1(X_1,\ldots,X_n)e_2(X_1,\ldots,X_n)+e_3(X_1,\ldots,X_n),\\
\end{align}

and so on, that allows to recursively express the successive complete homogeneous symmetric polynomials in terms of the elementary symmetric polynomials; the latter gives a set of equations

\begin{align}
 e_1(X_1,\ldots,X_n)&=h_1(X_1,\ldots,X_n),\\
 e_2(X_1,\ldots,X_n)&=h_1(X_1,\ldots,X_n)e_1(X_1,\ldots,X_n)-h_2(X_1,\ldots,X_n),\\
 e_3(X_1,\ldots,X_n)&=h_1(X_1,\ldots,X_n)e_2(X_1,\ldots,X_n)-h_2(X_1,\ldots,X_n)e_1(X_1,\ldots,X_n)+h_3(X_1,\ldots,X_n),\\
\end{align}

and so forth, that allows doing the inverse. The first n elementary and complete homogeneous symmetric polynomials play perfectly similar roles in these relations, even though the former polynomials then become zero, whereas the latter do not. This phenomenon can be understood in the setting of the ring of symmetric functions. It has a ring automorphism that interchanges the sequences of the n elementary and first n complete homogeneous symmetric functions.

The set of complete homogeneous symmetric polynomials of degree 1 to n in n variables generates the ring of symmetric polynomials in n variables. More specifically, the ring of symmetric polynomials with integer coefficients equals the integral polynomial ring \mathbf Z[h_1(X_1,\ldots,X_n),\ldots,h_n(X_1,\ldots,X_n)]. This can be formulated by saying that  h_1(X_1,\ldots,X_n),\ldots,h_n(X_1,\ldots,X_n) form an algebraic basis of the ring of symmetric polynomials in X1, … Xn with integral coefficients (as is also true for the elementary symmetric polynomials). The same is true with the ring Z of integers replaced by any other commutative ring. These statements follow from analogous statements for the elementary symmetric polynomials, due to the indicated possibility of expressing either kind of symmetric polynomials in terms of the other kind.

See also

References

  • Macdonald, I.G. (1979), Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs. Oxford: Clarendon Press.
  • Macdonald, I.G. (1995), Symmetric Functions and Hall Polynomials, second ed. Oxford: Clarendon Press. ISBN 0-19-850450-0 (paperback, 1998).
  • Richard P. Stanley (1999), Enumerative Combinatorics, Vol. 2. Camridge: Cambridge University Press. ISBN 0-521-56069-1

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Symmetric polynomial — This article is about individual symmetric polynomials. For the ring of symmetric polynomials, see ring of symmetric functions. In mathematics, a symmetric polynomial is a polynomial P(X1, X2, …, Xn) in n variables, such that if any of the… …   Wikipedia

  • Power sum symmetric polynomial — In mathematics, specifically in commutative algebra, the power sum symmetric polynomials are a type of basic building block for symmetric polynomials, in the sense that every symmetric polynomial with rational coefficients can be expressed as a… …   Wikipedia

  • Elementary symmetric polynomial — In mathematics, specifically in commutative algebra, the elementary symmetric polynomials are one type of basic building block for symmetric polynomials, in the sense that any symmetric polynomial P can be expressed as a polynomial in elementary… …   Wikipedia

  • Schur polynomial — In mathematics, Schur polynomials, named after Issai Schur, are certain symmetric polynomials in n variables with integral coefficients. The elementary symmetric polynomials and the complete homogeneous symmetric polynomials are special cases of… …   Wikipedia

  • Homogeneous coordinate ring — In algebraic geometry, the homogeneous coordinate ring R of an algebraic variety V given as a subvariety of projective space of a given dimension N is by definition the quotient ring R = K[X0, X1, X2, ..., XN]/I where I is the homogeneous ideal… …   Wikipedia

  • Newton's identities — In mathematics, Newton s identities, also known as the Newton–Girard formulae, give relations between two types of symmetric polynomials, namely between power sums and elementary symmetric polynomials. Evaluated at the roots of a monic polynomial …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …   Wikipedia

  • Quadratic form — In mathematics, a quadratic form is a homogeneous polynomial of degree two in a number of variables. For example, is a quadratic form in the variables x and y. Quadratic forms occupy a central place in various branches of mathematics, including… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”