Jack Polynomial
The Jack polynomials are a family of multivariate orthogonal polynomials dependent on a positive parameter
. Orthogonality
of the Jack polynomials is proved in Macdonald (1995, p. 383). The Jack polynomials
have a rich history, and special cases of
have been studied
more extensively than others (Dumitriu et al. 2004). The following table summarizes
some of these special cases.
| special polynomial | |
| quaternion zonal polynomial | |
| 1 | Schur polynomial |
| 2 | zonal polynomial |
Jack (1969-1970) originally defined the polynomials that eventually became associated with his name while attempting to evaluate an integral connected with the noncentral
Wishart distribution (James 1960, Hua 1963,
Dumitriu et al. 2004). Jack noted that the case
were the
Schur polynomials, and conjectured that
were the
zonal polynomials. The question of finding a combinatorial interpretation for the
polynomials was raised by Foulkes (1974), and subsequently answered by Knop and Sahi
(1997). Later authors then generalized many known properties of the Schur and zonal
polynomials to Jack polynomials (Stanley 1989, Macdonald 1995). Jack polynomials
are especially useful in the theory of random matrices
(Dumitriu et al. 2004).
The Jack polynomials generalize the monomial scalar functions
, which is orthogonal over the unit
circle
in the complex plane with weight
function unity
. The interval for the
-multivariate Jack
polynomials
can therefore be thought of as an
-dimensional torus (Dumitriu et al. 2004).
The Jack polynomials have several equivalent definitions (up to certain normalization constraints), and three common normalizations ("C," "J," and
"P"). The "J" normalization makes the coefficient of the lowest-order
monomial
equal to exactly
, while the "P" normalization is monic.
Letting
denote
,
the first few Jack "J" polynomials are given by
|
(1)
| |||
|
(2)
| |||
|
(3)
| |||
|
(4)
| |||
|
(5)
| |||
|
(6)
|
(Dumitriu et al. 2004).
Let
be
a partition, then the Jack polynomials
can
be defined as the functions that are orthogonal with respect to the inner
product
|
(7)
|
where
is the Kronecker
delta and
,
with
the number of occurrences of
in
(Macdonald
1995, Dumitriu et al. 2004).
The Jack polynomial
is the only homogeneous
polynomial eigenfunction of the Laplace-Beltrami-type operator
|
(8)
|
with eigenvalue
having highest-order
term corresponding to
(Muirhead 1982, Dumitriu 2004). Here,
|
(9)
|
and
is a partition of
and
is the number
of variables.
10^39