ORTHOGONAL POLYNOMIALS ARISING FROM THE WREATH PRODUCTS

HIROKI AKAZAWA AND HIROSHI MIZUKAWA

Abstract. Zonal spherical functions of the (W (Bn), Sn) are expressed in terms of the Krawtchouk polynomials which are a special family of Gauss’ hypergeometric functions. Its gener- alizations are considered in this abstract. Some class of orthogonal polynomials are discussed in this abstract which are expressed in terms of (n + 1, m + 1)-hypergeometric functions. The orthogonal- ity comes from that of zonal spherical functions of certain Gelfand pairs of wreath product.

Resum´ e´. Des fonctions sph´eriqueszonales de la paire (W (Bn),Sn) de Gelfand sont exprim´eesen termes de polynˆomexde Krawtchouk qui sont une famille sp´ecialedes fonctions hyperg´eom´etriquesdes Gauss. Ses g´en´eralisationssont consid´er´eesdans cet abstrait. Une certaine classe des polynˆomexorthogonaux sont discut´eesdans cet abstrait qui sont exprim´esen termes de fonctions (n + 1, m + 1)- hyperg´eom´etriques. L’orthogonalit´evient de celle des fonctions sph´eriqueszonales de certaines paires de Gelfand de produits en couronne.

1. Introduction Askey-Wilson polynomials and q-Racah polynomials are fundamen- tal orthogonal polynomials which are described by the basic hyper- geometric functions. Roughly speaking there are two points of view of orthogonal polynomials. One is through the Riemannian symmet- ric spaces which are homogeneous spaces of Lie groups. The other is through the finite groups. In this abstract we discuss some discrete orthogonal polynomials arising from Gelfand pairs [15, 16] of wreath products. A pair of groups (G, H) is called a Gelfand pair if the induced repre- G sentation 1H ∼= C(G/H), where C(G/H) is a complex valued functions defined over G/H, is multiplicity free as a G-module. In this situation there exists a unique H-invariant element in each irreducible compo- G nent of 1H which is called the zonal spherical function. There are interesting relations between zonal spherical functions on finite groups [15] and hypergeometric functions [5]. A of

Classification number :33C45,05E35,05E05. one variable is by definition

∞ k (a1)k(a2)k (a`)k x `Fm(a1, a2, , a`; b1, b2, , bm; x) = ··· . ··· ··· (b )k(b )k (bm)k k! k 1 2 X=0 ··· In the following we recall some known results: Zonal spherical func- tions of the Gelfand pair, W (Bn), the hyperoctahedral group, and Sn, the symmetric group, are expressed in terms of the Krawtchouk poly- nomials. The Krawtchouk polynomials is a special family of Gauss’ hypergeometric polynomials [5, 6, 7, 17, 18]; F ( k, j; n; 2). 2 1 − − − Here k and j are nonnegative integers at most n. A generalization is given by the Gelfand pair (Sq Sn,Sq−1 Sn). In this case the zonal spherical functions are realizedo as followso [5, 17, 18]; q F ( k, j; n; ). 2 1 − − − q 1 − By considering another Gelfand pair, Sk and its maximal parabolic S S (1 i [r/2]), we have the Hahn polynomials [5]; v−i × i ≤ ≤ F ( i, j, v ` + j; k, v + k; 1). 3 2 − − − − − − We remark that in this case the classical hypergeometric functions of one variable still occur, since the Gelfand pairs (S S ,S S ) and q o n q−1 o n (Sk,Sv−i Si) are of “rank one”. One might expect a multivariate version of× hypergeometric functions arise naturally as zonal spherical functions for certain types of Gelfand pairs. General hypergeometric functions are known as (n + 1, m + 1)-hypergeometric functions [3, 9, 10, 12, 13, 19]; n m−n−

1

a (α ) m−n−1 (β ) n ij i=1 i aij i=1 i j=1 aji x

F (α, β; γ, X) = j=1 ij ,

(γ) aij aij ! a ∈M − −1 N0 Q Qij Q ( ij ) n,mX n ( ) which are originally due to K. Aomoto and I. M. Gelfand. HereQ we denote by X the set of variables xij (1 i n, 1 j m n 1). In this abstract we consider another≤ generalization≤ ≤ ≤ of the− Gelfand− pair (Sq Sn,Sq−1 Sn). We will see that its zonal spherical functions are realizedo by meanso of a discrete orthogonal polynomials coming from F (α, β; γ, X).

2. Main Results We denote the shifted factorial of an indeterminate x by (x) = x(x + 1)(x + 2) (x + m 1) m ··· − for m Z and ∈ >0 (x)0 = 1. Now if N is a negative integer, then we define the finite series called the (n +− 1, m + 1)-hypergeometric functions[3, 19]; n m−n−1 a − −1 £ ij (α ) £ m n (β ) n i=1 i aij j=1 j i=1 aij x

F (α, β; N,X) = j=1 ij £ − ¡ ( N) aij aij! aij ≤N Q Qi,j Q i,jX − (a )∈M − −1( ¢0) ij n,m n Q n m−n−1 for α = (α1, , αn) C , β = (β1, , βm−n−1) C . Our purpose of this··· paper is∈ to obtain the following··· orthogonality∈ relations.

Theorem 2.1. For a positive integer r, we assume that k = (k0, ..., kr−1), 0 0 0 Nr k = (k0, ..., kr−1) and ` = (`0, ..., `r−1) are elements of 0 such that r−1 r−1 0 r−1 ˜ i=0 ki = i=0 ki = i=0 `i = n. We put ` = (`1, ..., `r−1) for ij ` = (`0, `1, ..., `r−1), ξ = exp(2π√ 1/r) and Ξ˜r = (1 ξ )1≤i,j≤r−1. ThenP we haveP P − − 1 n ˜ ˜ ˜ ˜ ˜0 ˜ n F ( `, k; n; Ξr)F ( `, k ; n; Ξr) r ` , ..., `r − − − − − − ` ` n 0 −1 0+···X+ r−1=   n −1 = δkk0 . k0, ..., kr−1   Y Theorem 2.2. For a positive integer m = [r/2], we assume that k = 0 0 0 Nm+1 (k0, ..., km), k = (k0, ..., km) and ` = (`0, ..., `m) are elements of 0 such that r−1 k = r−1 k0 = r−1 ` = n. We put Θ˜ = (1 i=0 i i=0 i i=0 i r − cos(2πij/r))1≤i,j≤m. Then we have P P P (1) If r is an odd positive integer, 1 n n−`0 ˜ ˜ ˜ ˜ ˜0 ˜ n 2 F ( `, k; n; Θr)F ( `, k ; n; Θr) r `0, ..., `m − − − − − − `0+···+`m=n   X −1 −n+k n = 2 0 δ 0 . k , ..., k kk  0 m

(2) If r is an even positive integer, 1 n n−`0−`m ˜ ˜ ˜ ˜ ˜0 ˜ n 2 F( `, k; n; Θr)F ( `, k ; n; Θr) r `0, ..., `m − − − − − − `0+···+`m=n   X −1 −n+k +km n = 2 0 δ 0 . k , ..., k kk  0 m Actually these relations are obtained from orthogonality of zonal spherical functions of the Gelfand pair of finite groups. 3. Theory of Zonal Spherical Functions on Finite Groups Let G be a finite group and H be its subgroup. G Definition 3.1. If the 1H is multiplicity free, then the pair (G, H) is called a Gelfand pair. Assume from now that (G, H) is a Gelfand pair and the induced representation is decomposed as G-module; s V = 1G = V ,V = V (i = j). H i i 6∼ j 6 i=1 M It is a well known fact that s equals H G/H . We denote by gi; 1 i s the set of representatives of| the\ double| coset H G/H{. Put≤ ≤ } H \ Di = HgiH. Let Vi be an H-invariant subspace of Vi. Using the Frobenius reciprocity we have; dim V H = V , 1 = V , 1G = 1. i h i HiH h i H iG Here V,W denotes the intertwining number. Let [ ] be a G- h iG ∗|∗ invariant Hermitian scalar product on Vi. We assume that dim Vi = n. i i Now we can choose v1, , vn as an orthonormal basis of Vi and vi V H . Let (ρi ) { ···be a matrix} representation of G afforded by 1 ∈ i k` 1≤k,`≤n Vi. We denote by C(G/H) the set of functions which have constant value on each right coset, i. e., C(G/H) := f : G C; f(xh) = f(x) x G, h H . { → ∀ ∈ ∀ ∈ } It is clear that dim C(G/H) = [G : H]. Define a linear map ϕ : V C(G/H) i i −→ by ϕ (v)(g) = [v gvi ] i | 1 for g, h G and v V . Since ∈ ∈ i ϕ (gv)(k) = [gv kvi ] = [v g−1kvi ] = ϕ (v)(g−1k) = (gϕ (v))(k) i | 1 | 1 i i and ϕ 0, ϕ is an injective G-linear map. Now we obtain the following 6≡ s

C(G/H) = ϕi(Vi). i=1 M i i We define ωi ϕi(Vi) to be a function such that ωi(g) = [v1 gv1] = i ∈ | ρ11(g) for any element g G. As can be seen in the argument above we see ∈ H ϕi(Vi) = Cωi.

Definition 3.2. The functions ωi are called zonal spherical functions of Gelfand pair (G, H). We list some easy cosequences from definition of zonal spherical func- tions.

Proposition 3.3. (1) ωi(h1gh2) = ωi(g) for any g G and h1, h2 H. ∈ ∈ (2) ω (1) = 1 and ω (g−1) = ω (g) for any g G. i i i ∈ Proposition 3.4. If we write ω (D ) = ω (g ) for g D , then i k i i ∈ k s 1 D ω (D )ω (D ) = δ dim V −1. G | k| i k j k ij i k | | X=1

4. Zonal Spherical Functions of (G(r, 1, n),Sn)

Fix r Z+ and n N0 = 0, 1, 2, ... . Put ξ = exp(2π√ 1/r). Let Cn = ξ ∈ ξ denote∈ the{ n-fold direct} product of the cyclic− group h i×· · ·×h i n C = ξ . The symmetric group Sn acts on C by: h i n σ(ξ , ξ , ..., ξn) = (ξ −1 , ξ −1 , ..., ξ −1 ), (ξ , ξ , ..., ξn) C , σ Sn. 1 2 σ (1) σ (2) σ (n) 1 2 ∈ ∈ The wreath product C S is the of Cn with S o n n defined by this action [11, 15]. Let denote G(r, 1, n) = C Sn. The conjugacy classes and the irreducible representations of G(r,o 1, n) are determined by the r-tuples of partitions (ν0, . . . , νr−1) such that ν0 + + νr−1 = n. In this section we consider the pair of groups| G| = ··· | | G(r, 1, n) and its subgroup H = G(1, 1, n) = Sn. Proposition 4.1. (1) The representatives of double coset H G/H are given by \ r−1 (1, , 1, ξ, , ξ, , ξr−1, , ξr−1; e) G; ` = n , ··· ··· ··· ··· ∈ i i=0 n `0 `1 `r−1 X o weher| {ze is} a| unit{z element} | of Sn{z. } (2) n H(1, , 1, ξ, , ξ, , ξr−1, , ξr−1; e)H = n!. | ··· ··· ··· ··· | `0, `1, , `r−1 `0 `1 `r−1  ···  The| group{z } |G {zacts} on the| ring{z of polynomials} of n-variables as (ξ , ξ , , ξ ; σ)f(x , , x ) = f(ξ−1 x , ξ−1 x , , ξ−1 x ). 1 2 ··· n 1 ··· n σ(1) σ(1) σ(2) σ(2) ··· σ(n) σ(n) Nr We define the map from 0 to the set of partitions P ar as follows. ψ : Nr (k , k , , k ) (0k0 1k1 (r 1)kr−1 ) P ar. 0 3 0 1 ··· r−1 7→ ··· − ∈ Proposition 4.2. G(r,1,n) The induced representation 1Sn is decomposed as the following. G r, ,n 1 ( 1 ) = V (k0,k1,··· ,kr−1). Sn ∼ ¤ r−1 k =n i=0Mi Each V (k0,k1,··· ,kr−1) is an irreducible G(r, 1, n)-module which is realized as follows; V (k0,k1,··· ,kr−1) = Cf.

f∈Mn ψ(kM0,k1,··· ,kr−1) Here M (λ) = xλ1 xλ2 xλn ; σ S for λ = (λ , , λ ). n { σ(1) σ(2) ··· σ(n) ∈ n}  1 ··· n Since this decomposition is multiplicity free [4], we have the following proposition. Proposition 4.3. (G, H) is a Gelfand pair.

Example 4.4. We take G = G(3, 1, 4) and H = S4. Then the induced G representation 1H is decomposed as follows: 1G = V (4,0,0) V (0,4,0) V (0,0,4) V (3,1,0) V (3,0,1) H ⊕ ⊕ ⊕ ⊕ V (1,3,0) V (1,0,3) V (0,3,1) V (0,1,3) V (2,1,1) ⊕ ⊕ ⊕ ⊕ ⊕ V (1,2,1) V (1,1,2) V (2,2,0) V (2,0,2) V (0,2,2). ⊕ ⊕ ⊕ ⊕ ⊕ We write down a basis of some irreducible components. (1,1,2) C 2 2 (0,4,0) C V = xi1 xi2 xi3 ,V = x1x2x3x4. {i1,i2,i3M}⊂{1,2,3,4} (1,2,2) The S4-invariant element of V is a monomial symmetric function

m(2,2,1)(x1, x2, x3, x4).

G We define the inner product on 1H as follows 1 [αxλ βxµ] = αβδ . | λ,µ n k0,k1,... ,kr−1

Here α and β are complex numbers, ki is the number of parts of λ λ λ1 λ2 which is equal to i, and x = x1 xn . It is easy to see that this inner product is G(r, 1, n)-invariant,··· i.e., [(gf )(x) (gf )(x)] = [f (x) f (x)] 1 | 2 1 | 2 (k0,k1,··· ,kr−1) for g G(r, 1, n), f1(x), f2(x) V . We recall the mono- ∈ ∈ k0 k1 k2 mial symmetric functions for λ = (λ1, λ2, , λn) = (0 1 2 (r k ··· ··· − 1) r−1 ). Clearly the monomial symmetric functions satisfy [m (x) m (x)] = δ . λ | µ λµ Theorem 4.5. The zonal spherical functions of Gelfand pair (G, H) are

ω(k0,k1,··· ,kr−1)(ξ , ξ , , ξ ; σ) = m (ξ , ξ , . . . , ξ )/m (1, , 1) 1 2 ··· n λ 1 2 n λ ··· r−1 where λ = (0k0 1k1 2k2 (r 1)kr−1 ) and k = n. ··· − i=0 i For λ = (0k0 1k1 2k2 (r 1)kr−1 ), we defineP ··· − (k0,k1,...,kr−1) r−1 r−1 m = mλ(1, ..., 1, ξ, ..., ξ, , ξ , ..., ξ ). (`0,`1,...,`r−1) ··· `0 `1 `r−1 | {z } | {zr−1} | r−1 {z } Proposition 4.6. We assume that i=0 `i = i=0 ki = n. P P (1)

r−1 ¥ (k0,k1,··· ,kr−1) `i ija m = ξ 0≤i,j≤r−1 ij , (`0,`1,··· ,`r−1) ai , ai , , air a i=0 0 1 −1 X∈A Y  ···  where r−1 r−1 (k0,k1,··· ,kr−1) = = a = (aij) M(r, N0); aij = kj, aij = `i . A A(`0,`1,··· ,`r−1) ∈ i=0 j=0  X X (2) The generating function is given by r−1 r−1 (k0,k1,··· ,kr−1) k0 k1 kr−1 ij `i m t t t = ( ξ tj) . (`0,`1,··· ,`r−1) 0 1 ··· r−1 k k n i=0 j=0 0+···X+ r−1= Y X Example 4.7. We consider the case of r = 3 and n = 4. Put (k0, k1, k2) = (1, 1, 2) and (`0, `1, `2) = (1, 2, 1). A direct computation gives us

(1,1,2) 1 2 ω = m 2 1 (1, ξ, ξ, ξ ) (1,2,1) 12 2 1 1 1 = (2ξ3 + 3ξ4 + 2ξ5 + 3ξ6 + 2ξ7) = ξ2. 12 −4 On the other hand we have 1 1 1 1 (1,1,2) (1,2,1) = 2 , 1 1 , 1 1 , 1 1 , A (  1   1  1  1     1   1   1  1 1 , 1 1 , 2 .  1 1  1  ) Therefore we obtain       1 1 ω(1,1,2) = m(1,1,2) = (ξ6 + 2ξ5 + 2ξ7 + 2ξ4 + 2ξ6 + 2ξ3 + ξ4) (1,2,1) 12 (1,2,1) 12 1 1 = (2ξ3 + 3ξ4 + 2ξ5 + 3ξ6 + 2ξ7) = ξ2. 12 −4

Theorem 4.8. The zonal spherical functions of Gelfand pair (G(r, 1, n),Sn) have (n + 1, m + 1)-hypergeometric expressions

(k0,k1,··· ,kr−1) ω = F (( `1, , `r−1), ( k1, , kr−1); n; Ξ˜r). (`0,`1,··· ,`r−1) − ··· − − ··· − − Here Ξ˜ = (1 ξij) with ξ = exp(2π√ 1/r). r − 1≤i,j≤r−1 − 5. Zonal Spherical Functions of (D(r, n),D(1, n)) Let D = a, b; a2 = br = (ab)2 = 1 r h i be the dihedral group of order 2r. We denote by G = D(r, n) = Dr Sn. We define the subgroup H of G by o H = a S = D(1, n). h i o n ∼ We consider the pair of groups (G, H). We remark that D(1, n) ∼= W (Bn), where W (Bn) is the of type B and that D(2, n) ∼= V4 Sn, where V4 denotes by Kleinsche Vierergruppe . We define anothero subgroup K of G by K = b S = G(r, 1, n), h i o n ∼ where G(r, 1, n) is the imprimitive complex reflection group. Proposition 5.1. (1) The representatives of double coset H G/H are given by \ m (1, ..., 1, b, ..., b, . . . , bm, ..., bm; e) G; ` = n , ∈ i i=0 n `0 `1 `m X o r−1 r where |m{z= } 2| {zif }r is odd,| m{z =}2 if r is even, and e is a unit element of Sn. (2) 22n−`0 n n!, if r = 2m + 1 H(1, ..., 1, b, ..., b, . . . , bm, ..., bm; e)H = `0,··· ,`m | | 22n−`0−`m n n!, if r = 2m. ( `0,···,`m `0 `1 `m  | {z } | {z } | {z } G Proposition 5.2. The induced representation 1H is decomposed as fol- lows. G (k0,k1,...,km) 1H ∼= W . ¦ m k n i=0Mi= Each W (k0,k1,...,km) is an irreducible G-module which is realized as fol- lows; W (k0,k1,...,km) = Cf.

f∈Mn ψ(Mk0,k1,...,km) Here, in the case that r = 2m + 1,  M (λ) = x1λ1 x2λ2 xnλn ;  1 , σ S , n σ(1) σ(2) ··· σ(n) i ∈ {± } ∈ n and if r = 2m, n o

λ1 −λ1 λ2 −λ2 λkm −λkm Mn(λ) = (x + x )(x + x ) (x + x ) σ(1) σ(1) σ(2) σ(2) ··· σ(km) σ(km) n km+1λkm+1 km+2λkm+2 nλn x x x ; i 1 , σ Sn × σ(km+1) σ(km+2) ··· σ(n) ∈ {± } ∈ for λ = (λ , λ , ..., λ ), λ λ 0. o 1 2 n i ≥ i+1 ≥ By this proposition we can say that (G, H) = (D(r, n),D(1, n)) is a Gelfand pair. We define the inner product on each W (k0,...,km) as follows; n 1λ1 nλn η1µ1 ηnµn αβ [αx1 xn βx1 xn ] = n δiλi,ηiµi . ··· | ··· 2n−k0 k0,k1,...,km i=1 Y  Here α, β C,  , η 1 , and (λ , λ , ..., λ ) = (0k0 1k1 mkm ). ∈ i i ∈ {± } 1 2 n ··· It is easy to see that this inner product is G-invariant on W (k0,...,km). k0 k1 km For λ = (λ1, ..., λn) = (0 1 m ), we define the polynomial of n variables by ···

−k0 2 λ1 −λ1 λ2 −λ2 λn −λn fλ(x) = (xσ(1) + xσ(1))(xσ(2) + xσ(2)) (xσ(n) + xσ(n)). k !k ! km! ··· 0 1 σ S ··· X∈ n Note that fλ satisfies [f (x) f (x)] = δ . λ | µ λµ Let g = (as1 bt1 , ..., asn btn ; σ) G. ∈ Theorem 5.3. The zonal spherical function of the Gelfand pair (G, H) are

(k0,k1,...,km) s1 t1 s2 t2 sn tn t1 t2 tn ω (a b , a b , ..., a b ; σ) = fλ(ξ , ξ , ..., ξ )/fλ(1, ..., 1), m where λ = (0k0 1k1 2k2 mkm ) and k = n. ··· i=0 i For λ = (0k0 1k1 2k2 mkm ), we defineP ··· (k0,k1,...,km) 1 m m f = fλ(1, ..., 1, ξ, ..., ξ, , ξ , ..., ξ ). (`0,`1,...,`m) 2n−k0 ··· `0 `1 `m Proposition 5.4. | {z } | {z } | {z } m ` 2π aij f (k0,k1,...,km) = i cos ij , (`0,`1,...,`m) ai , ai , ..., aim r a i=0 0 1 0≤i,j≤m X∈A Y   Y    where m m (k0,k1,...,km) = = a = (aij ) M(m + 1, N0); aij = kj, aij = `i . A A(`0,`1,...,`m) ∈ i=0 j=0 n X X o Theorem 5.5.

(k0,k1,...,km) ω = F ( `1, ..., `m), ( k1, ..., km); n; Θ˜ r (`0,`1,...,`m) − − − − − Here Θ˜ = (1 cos(2πij/r )) .  r − 1≤i,j≤m 6. General Result In this section we consider a generalization of our main results. We remark that, in Theorem 2.1, Ξ˜ = J (ξij) . r r−1 − 1≤i,j≤r−1 ij Here Ξr = (ξ )0≤i,j≤r−1 is a table of zonal spherical functions of Gelfand pair (Z/rZ, 1) and, in Theorem 2.2, Θ˜ = J (cos 2πij/r) . r m − 1≤i,j≤m Here Θr = (cos 2πij/r)0≤i,j≤m is a table of zonal spherical functions of Gelfand pair (D , a ). r h i We assume that (G, H) is a Gelfand pair and the induced represen- G tation 1H is decomposed as follows: s−1 G 1H ∼= Vi, dim Vi = di. i=0 M Let Z(G, H) be a table of zonal spherical functions of (G, H). Then we have the Gelfand pair (G S ,H S ). We obtain next theorem. o n o n Theorem 6.1. The zonal spherical functions of Gelfand pair (G S ,H o n o Sn) have (n + 1, m + 1)-hypergeometric expressions

(k0,k1,...,ks−1) ω = F (( `1, ..., `s−1), ( k1, ..., ks−1); n; Js−1 Z˜(G, H)). (`0,`1,...,`s−1) − − − − − −

Here Js−1 is a s 1 s 1 all-one-matrix and Z˜(G, H) is a matrix which is obtained− by removing× − 0th row and 0th column of Z(G, H).

References [1] H. Akazawa and H. Mizukawa, Orthogonal polynomials arising from the wreath products of dihedral group, Preprint 2002. [2] E. Andrews, R. Askey and R. Roy , Encyclopedia of Mathe- matics and its Applications, Cambridge, 1999 [3] K. Aomoto and M. Kita Theory of Hypergeometric Functions(in Japanese), Springer Tokyo, 1994 [4] S. Ariki, T. Terasoma and H. -F. Yamada, Higher Specht polynomials, Hi- roshima Math. J. 27 (1997), no. 1, 177-188. [5] E. Bannai and T. Ito, Algebraic Combinatorics I. Association Schemes, The Benjamin/Cummings Publishing Co. CA, 1984 [6] C. Dunkl, A Krawtchouk polynomial addition theorem and wreath products of symmetric groups, Indiana Univ. Math. J. 25 (1976), no. 4, 335-358. [7] C. Dunkl, Cube group invariant and Krawtchouk polyno- mials, Math. Z. 177 (1981), no. 4, 561-57 [8] C. Dunkl and Y. Xu, Orthogonal Polynomials of Several Variables, Encyclo- pedia of and its Applications, 81. Cambridge University Press, Cambridge, 2001. [9] I. M. Gelfand, General theory of hypergeometric functions (in Russian), Dokl. Akad. Nauk SSSR 288 (1986), no. 1, 14-18. [10] I. M. Gelfand and S. I. Gelfand, Generalized hypergeometric equations (in Russian), Dokl. Akad. Nauk SSSR 288 (1986), no. 2, 279-283 [11] G. James and A. Kerber, The Representation Theory of the Symmetric Group, Encyclopedia of Mathematics and its Applications, 16, 1981. [12] M. Kita, On hypergeometric functions in several variables. II. The Wronskian of the hypergeometric functions of type (n + 1, m + 1), J. Math. Soc. Japan 45 (1993), no. 4, 645-669. [13] M. Kita and M. Ito, On the rank of the hypergeometric system E(n + 1, m + 1; α), Kyushu J. Math. 50 (1996), no. 2, 285-295. [14] H. Koelink, q-Krawtchouk polynomials as spherical functions on the Hecke algebra of type B, Trans. Amer. Math. Soc. 352 (2000), no. 10, 4789-4813. [15] I. G. Macdonald, Symmetric Functions and Hall Polynomials, 2nd. ed. , Ox- ford, 1995. [16] H. Mizukawa, Zonal spherical functions of (G(r, 1, n),Sn) and (n + 1, m + 1)- hypergeometric functions, Preprint 2002. [17] D. Stanton, Some q-Krawtchouk polynomials on Chevalley groups, Amer. J. Math. 102, 625-662 (1980), no. 4 [18] D. Stanton, Three addition theorems for some q-Krawtchouk polynomials, Geom. Dedicata 10 (1981), no. 1-4, 403-425 [19] M. Yoshida, Hypergeometric Functions, My Love. Modular Interpretations of Configuration Spaces. Aspects of Mathematics, E32. Friedr. Vieweg and Sohn, Braunschweig, 1997.

Hiroki Akazawa, Graduate School of Natural Science and Tech- nology, Okayama University, Okayama 700-8530, Japan E-mail address: [email protected] Hiroshi Mizukawa, Department of Mathematics, Okayama Univer- sity, Okayama 700-8530, Japan E-mail address: [email protected]