Definition
Schur polynomials correspond to integer partitions. Given a partition
(where each dj is a non-negative integer), the following functions are alternating polynomials (in other words they change sign under any transposition of the variables):
Since they are alternating, they are all divisible by the Vandermonde determinant:
The Schur polynomials are defined as the ratio:
This is a symmetric function because the numerator and denominator are both alternating, and a polynomial since all alternating polynomials are divisible by the Vandermonde determinant.
Read more about this topic: Schur Polynomial
Famous quotes containing the word definition:
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animalsjust as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possessafter many mysterieswhat one loves.”
—François, Duc De La Rochefoucauld (16131680)
![a_{(d_1+n-1, d_2+n-2, \dots, d_n)} (x_1, x_2, \dots, x_n) =
\det \left[ \begin{matrix} x_1^{d_1+n-1} & x_2^{d_1+n-1} & \dots & x_n^{d_1+n-1} \\
x_1^{d_2+n-2} & x_2^{d_2+n-2} & \dots & x_n^{d_2+n-2} \\
\vdots & \vdots & \ddots & \vdots \\
x_1^{d_n} & x_2^{d_n} & \dots & x_n^{d_n} \end{matrix} \right]](http://upload.wikimedia.org/math/4/7/e/47e4a457247875f8003eae366459d5c1.png)
![a_{(n-1, n-2, \dots, 0)} (x_1, x_2, \dots, x_n) = \det \left[ \begin{matrix} x_1^{n-1} & x_2^{n-1} & \dots & x_n^{n-1} \\
x_1^{n-2} & x_2^{n-2} & \dots & x_n^{n-2} \\
\vdots & \vdots & \ddots & \vdots \\
1 & 1 & \dots & 1 \end{matrix} \right] = \prod_{1 \leq j < k \leq n} (x_j-x_k).](http://upload.wikimedia.org/math/f/6/0/f60590baa165de2197c288f77fbd9e82.png)
