Schur Polynomial - Definition

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):

 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]

Since they are alternating, they are all divisible by the Vandermonde determinant:

 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).

The Schur polynomials are defined as the ratio:

 s_{(d_1, d_2, \dots, d_n)} (x_1, x_2, \dots, x_n) =
\frac{ a_{(d_1+n-1, d_2+n-2, \dots, d_n+0)} (x_1, x_2, \dots, x_n)}
{a_{(n-1, n-2, \dots, 0)} (x_1, x_2, \dots, x_n) }.

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:

    It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.”
    Jane Adams (20th century)

    The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.
    Ralph Waldo Emerson (1803–1882)

    Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.
    Nadine Gordimer (b. 1923)