arxiv: v1 [math.ra] 28 Nov 2015

Transcription

1 arxiv: v1 [mathra] 28 Nov 2015 On Symmetric Polynomials Ryan Golden Ilwoo Cho September Abstract In this paper we study structure theorems of algebras of symmetric functions Based on a certain relation on elementary symmetric polynomials generating such algebras we consider perturbation in the algebras In particular we underst generators of the algebras as perturbations From such perturbations define injective maps on generators which induce algebra-monomorphisms (or embeddings on the algebras They provide inductive structure theorems on algebras of symmetric polynomials As application we give a computer algorithm written in JAVA v 8 for finding quantities from elementary symmetric polynomials Symmetric Functions Elementary Symmetric Polynomials Symmetric Subalgebras Perturbations 05A19 30E50 37E99 44A60 1 Introduction In this paper we study structure theorems of algebras generated by symmetric polynomials with commutative multi-variables By establishing certain recurrence relations on symmetric polynomials we prove our structure theorems As application we consider how to construct a degree-(n + 1 single-variable polynomial f t0 (z from a given degree-npolynomial f(z by adding a zero t 0 we provide a computer algorithm written in the computer language JAVA version 8; for finding quantities obtained from elementary symmetric polynomials Throughout this paper fix n N with additional condition: n > 1 let x 1 x n be arbitrary commutative variables (or indeterminants for n N Then one can have an algebra (11 A x1x n = C[{x 1 x n ] Saint Ambrose Univ Dept of Math 518 W Locust St Davenport Iowa USA This paper is one of the results in the undergraduate research program of St Ambrose University Department of Mathematics Statistics The second-named author thans the first-named author for his hard wors endless passion 1

2 consisting of all n-variable polynomials in x 1 x n We call A x1x n of (11 the n-variable polynomial algebra ie if f A x1x n then it is expressed by f = f(x 1 x n = t 0 + j=1 (r 1r j {1n j t (r1r j ( jπ i=1 x r i with t 0 t (r1r j C for N Let X be a finite set The symmetric group S X on X is a group under the usual functional composition consisting of all bijective maps called permutations on X If X = {1 n then we denote S X simply by S n for n N Definition 11 An element f of A x1x n of (11 is said to be symmetric if f(x 1 x 2 x n = f ( x σ(1 x σ(2 x σ(n for all σ S n where S n is the symmetric group on {1 n Define now the subset S x1x n of A x1x n by (12 S x1x n = {f A x1x n : f is symmetric We call S x1x n the symmetric subalgebra of A x1x n It is not difficult to chec that (13 f 1 f 2 S x1x n = f 1 +f 2 S x1x n (14 f S x1x n t C = tf S x1x n hence the subset S x1x n of (12 forms a well-defined vector subspace of A x1x n over C by (13 (14 Moreover one has (15 f 1 f 2 S x1x n = f 1 f 2 S x1x n wheref 1 f 2 meanstheusualfunctionalmultiplicationoff 1 f 2 ina x1x n Since f 1 (f 2 f 3 = (f 1 f 2 f 3 S x1x n f 1 (f 2 +f 3 = f 1 f 2 +f 1 f 3 S x1x n (f 1 +f 2 f 3 = f 1 f 3 +f 2 f 3 S x1x n by (15 whenever f 1 f 2 f 3 S x1x n the subspace S x1x n indeed forms a well-determined subalgebra of A x1x n Let s define the following functions (16 2

3 ε (x 1 x n = i 1<i 2<<i {1n ( Π l=1 x i l in A x1x n for all = 1 n Then they are symmetric in A x1x n ie ε 1 (x 1 x n = n j=1 x j ε 2 (x 1 x n = x i1 x i2 i 1<i 2 {1n ε 3 (x 1 x n = x i1 x i2 x i3 ε n (x 1 x n = n Π j=1 x j are elements of S x1x n i 1<i 2<i 3 {1n Definition 12 We call such polynomials ε (x 1 x n of (16 the -th elementary symmetric polynomials of S x1x n for all = 1 n ε 1n Notation 11 In the rest of this paper we denote ε (x 1 x n simply by for all = 1 n Also for convenience define ε 1n 0 = 1 ε 1n n+i = 0 as constant functions in S x1x n for all i N Whenever we want to emphasize the variables of ε 1n precisely we denote them by ε x1xn for = 1 n The following proposition is well-nown under its name: Fundamental Theorem of Symmetric Functions Proposition 11 (See [3] Let S x1x n be the symmetric subalgebra (12 of the n-variable polynomial algebra A x1x n of (11 Then (17 [ ] Alg S x1x n = C {ε 1n 1 ε 1n 2 ε 1n n where Alg = means being algebra-isomorphic where ε 1n are the elementary symmetric polynomials in the sense of (16 for all = 1 n The above structure theorem (17 shows that all symmetric functions in A x1x n are generated by the elementary symmetric polynomials {ε 1n n =1 of (16 For more about symmetric functions related studies in mathematics see eg [2] [3] cited papers therein 3

4 2 A Certain Relation on S x1 x n In this section we establish a recurrence relation on the elementary symmetric polynomials {ε 1n n =1 generating the symmetric subalgebra S x 1x n of the n-variable polynomial algebra A x1x n As in Notation 11 for any {1 n ε 1n = ε (x 1 x n So if we write ε i1it for i j {1 n j = 1 t with t n in N then it means (21 { ε i1it ε (x = i1 x it if t 0 if > t Moreover nonzero new elementary symmetric polynomials ε i1it 1 ε i1it t areunderstoodasthesymmetricfunctionsgeneratings xi1 x it ina xi1 x it For example if we write ε 1n 1 for = 1 n 1 then they are the elementary symmetric polynomials generating S x1x n 1 in A x1x n 1 ; if we write ε t 1 then it is a single-variable function x t in A xt = C[x t ] Theorem 21 Let ε 1n be the elementary symmetric polynomials generating the symmetric subalgebra S x1x n Then (22 ε 1n = ε 1n 1 + ε 1n 1 1 ε n 1 where the summs the factors of the right-h side of (22 are in the sense of (21 Proof: Assume first that = 1 Then ε 1n 1 = ( n j=1 x n 1 j = j=1 x j = ε 1n ε n 1 = ε 1n ε 1n 1 0 ε n 1 + x n by Notation 11 (21 So if = 1 then the relation (22 holds Suppose now that = n Then( ε 1n n = Π n n 1 x j = 0+ Π x j (x n j=1 j=1 = ε 1n 1 n + ε 1n 1 n 1 ε n 1 4

5 by Notation 11 (21 Thus if = n then the relation (22 holds Now tae {2 n 1 define a set Define also a set similarly T 1n = {(i 1 i {1 n : i 1 < i 2 < < i T 1n 1 = {(j 1 j {1 n 1 : j 1 < < j T 1n 1 1 = {(l 1 l 1 {1 n 1 1 : l 1 < < l 1 By the very construction two sets T 1n 1 subsets of T 1n for all = 2 3 n 1 Depending on the above sets construct T 1n 1 1 { Π X 1n = x i l : (i 1 i T 1n l=1 are understood as { Π X 1n 1 = x i l : (i 1 i T 1n 1 l=1 { 1 X 1n 1 1 = Π x i l : (i 1 i 1 T 1n 1 l=1 1 respectively Now let s define ie Y 1n 1 1 = {( 1 Π x i l l=1 Y 1n 1 1 x n : 1 Π x i l X 1n 1 l=1 1 = X 1n 1 1 x n where Xx = {yx : y X Notice that if = 2 n 1 then (23 X 1n = X 1n 1 Y 1n 1 1 5

6 set-theoretically by the very definitions where means the disjoint union Observe now that whenever = 2 n 1 we( have ε 1n Π = ε (x 1 x n = by (23 = = = (x i1 x i X 1n (x i1 x i X 1n 1 Y 1n 1 1 (x i1 x i X 1n 1 + (x i1 x i X 1n 1 = ε 1n 1 + ( Π l=1 x i l ( Π l=1 x i l (x i1 x i 1 x n Y 1n 1 1 ( Π l=1 x i l (x i1 x i 1 x n X 1n ε 1n 1 1 ε n 1 l=1 x i l (( 1 Π i l l=1 (x n ( 1 Π x i l (x n l=1 Therefore the relations (22 hold for all = 2 n 1 So the relations (22 hold for all = 1 2 n The above relation (22 shows the relations between the generators QED 1 ε 1n n of S x1x n {ε 1n those {ε 1n 1 1 ε 1n 1 n 1 of S x1x n 1 {ε n 1 of S x n = A xn of Also it shows that all generators of S x1x n are induced by the generators S x1x n 1 S xn by (21 Motivated by (22 one can obtain the following generalized result Theorem 22 Let {ε 1n n =1 be the elementary symmetric polynomials generating the symmetric subalgebra S x1x n Then for any fixed i 0 {1 n we have (24 6

7 ε 1n 1i0 1 i0+1n = ε + ε 1i0 1i0+1n 1 ε i0 1 for all = 1 2 n where ε i1im l are in the sense of (21 Proof: The proof of (24 is similarly done by that of (23 by replacing n to i 0 QED So one can realize that the generators of symmetric subalgebra S x1x n are induced by the generators of by (24 S x1x i0 1x i0 +1n S xi0 = C[x i0 = ε i0 1 ] Example 21 Suppose we have the symmetric subalgebra S x1x 2x 3x 4 whose generators are the elementary symmetric polynomials ε 14 j for j = 1 4 ie ε = x 1 +x 2 +x 3 +x 4 ε = x 1 x 2 +x 1 x 3 +x 1 x 4 +x 2 x 3 +x 2 x 4 +x 3 x 4 ε = x 1 x 2 x 3 +x 1 x 3 x 4 +x 2 x 3 x 4 ε = x 1 x 2 x 3 x 4 in S x1x 2x 3x 4 Then ε = ε ε ε 4 1 = ε123 ε = ε ε ε ε 4 1 Similarly one has ε = ε ε ε 4 1 ε = ε ε ε 4 1 = ε ε 4 1 etc ε = ε ε ε 3 1 = ε ε 3 1 ε = ε ε ε 3 1 ε = ε ε ε 3 1 ε = ε ε ε 3 1 = ε ε 3 1 Acnowledgment Before submitting this paper the authors realized that the relation (22 was already nown in psychology; psychological tests (eg see [1] According to [1] Dr Fischer proved the relation (22 in his boo Einführung in die Theorie Psychologischer Tests However we could not find the sources including the boo containing Fischer s proof So we provided our own proofs of (22 (24 above 7

8 3 Perturbations on S Shifts on S x1 x n In this section we define the collection S of all symmetric subalgebras of finitelymany commutative variables And construct certain perturbation processes on S by understing each f of S x1x n S as multiplication from S y1y to S x1x ny 1y in S under additional axiomatization (See Section 31 Also we consider a shifting process on a fixed symmetric subalgebra S x1x n S by reformulating indexes of generators of S x1x n in Section 32 In Section 33 we apply our perturbation of Section 31 shifting process of Section 32 to the inductive construction processes of S 31 Perturbation on S Let S be the collection of symmetric subalgebras S x1x n in commutative variables {x 1 x n for all n N Let s fix n 0 N tae S x1x n0 in S Definition 31 Define now perturbations of S x1x n0 on S by (311 f : h S y1y n fh S x1x n0 y 1y n in S for f S x1x n0 for all S y1y n S with identification: if is non-empty then (311 in S = {x 1 x n0 {y 1 y n S x1x n0 y 1y n = S ({x1x n0 \ ({y 1y n\ Since every symmetric subalgebra is generated by elementary symmetric polynomials the perturbations (311 of S x1x n0 on S is characterized on generators ie (312 ε x1xn 0 : ε y1yn l S y1y n ε x1xn 0 ε y1yn l S x1x n0 y 1y n in S satisfying the identification; (311 Now let S y = C[y] = A y in S assume that y x j for j = 1 n 0 Consider the perturbation of S x1x n0 on S acting on S y ie ε x1xn 0 : ε y 1 = y εx1xn 0 ε y 1 Proposition 31 The perturbations of S x1x n0 on S is a well-defined categorial functor on S Proof: The proof is from the very definition (311 with identification (311 with help of (312 QED 8

9 32 Shifts on S x1 x n Let S x1x n S be a symmetric subalgebra Define a shift U on S x1x n by a linear multiplicative transformation on S x1x n satisfying (321 U : ε 1n ε 1n 1 on S x1x n for all = 1 n with additional axiomatization; (321 ( U = U (1 = 0 ε 1n 0 maing all constant functions of C in S x1x n be zero ie U (C = 0 for all C C in S x1x n Definition 32 The morphism U on S x1x n of (321 is called the shift on S x1x n More generally ( the shift U on S x1x n satisfies U t 0 + t=0 Π j=1 ε1n i j (322 = under (321 where t i1i C (i 1i {1n t i1i t=0 t i1i (i 1i {1n Π j=1 ε1n i j 1 Proposition 32 The shift U of (321 satisfying (322 is a well-defined algebra-homomorphism on S x1x n for all S x1x n S Proof: Let U be the shift (311 on S x1x n S satisfying (311 By the very construction the morphism U is a linear transformation which is multiplicative So it is automatically an algebra-homomorphism Clearly by the linearity one has U (t 1 f 1 +t 2 f 2 = t 1 U (f 1 +t 2 U (f 2 for all t 1 t 2 C f 1 f 2 S x1x n Also by (( the multiplicativity of U U ε 1n m1 ( 1 ε 1n ml (( l = U ε 1n m1 (( 1 U ε 1n ml l = ( = ( ( U ε 1n m1 ( 1 (U ε 1n 1 1 m1 ( ε 1n ε 1n l ml ml l by (322 for all 1 l = 0 1 n (with (321 for all m 1 m l N for all l N So for any f 1 f 2 S x1x n we have 9

10 U (f 1 f 2 = U (f 1 U (f 2 in S x1x n ie the morphism U is indeed an algebra-homomorphismon S x1x n QED 33 From S x1 x n to S x1 x ny in S Now let s fix n 0 N the symmetric subalgebra S x1x n0 in S Also fix a symmetric subalgebra S y = C[y] = A y in S where y x j for all j = 1 n 0 Let E x1x n0 = {ε x1xn 0 n0 =1 be the generator set of S x1x n0 If we underst generators of E x1x n0 as the perturbations (311 on S then they act (331 ε x1xn 0 (ε y 1 = εx1xn 0 ε y 1 S x 1x n0 y on S y for all = 0 1 n 0 with identity: ε x1xn 0 0 = 1 On the perturbations E x1x n0 of (331 consider (332 U ( ε x1xn 0 x = ε 1x n0 1 for all = 1 n 0 where U is the shift on S x1x n0 of (321 satisfying (321 Define now a morphism α : E x1x n0 S x1x n0 y by a function satisfying (333 α ( ε x1xn 0 x = ε 1x n0 +U ( ε x1xn 0 ε y 1 Theorem 33 The function α of (333 is a well-defined injective function from E x1x n0 into S x1x n0 y Furthermore this function α of (333 is injective from the generator set E x1x n0 of S x1x n0 intothe generator set E x1x n0 y of S x1x n0 y In particular one has (334 E x1x n0 y = α ( E x1x n0 {ε x 1x n0 n 0 ε y 1 Proof: Bytheverydefinition(333thefunctionαhasitsdomainE x1x n0 whose range is contained in S x1x n0 y It is not difficult to chec that α is injective Indeed whenever 1 2 in {1 n 0 α ( ε x1xn 0 1 = ε x1xn 0 1 +ε x1xn ε y 1 ε x1xn 0 2 +ε x1xn 0 2 ε y 1 = α( ε x1xn

11 in S x1x n0 y by (16 Again by (333 the range α ( E x1x n0 of this map α is contained in the generator set E x1x n0 y of S x1x n0 y Indeed the symmetric subalgebra S x1x n0 y is generated by the elementary symmetric polynomials ε x1xn 0 y l for l = 1 2 n 0 +1 satisfying = ε l (x 1 x n0 y ε x1xn 0 y l = ε x1xn 0 l +ε x1xn 0 l 1 ε y 1 = ε x1xn 0 l +U ( ε x1xn 0 l by (22 for all l = 1 2 n 0 Therefore ε y 1 = α( ε x1xn 0 l E x1x n0 y = α ( x E x1x n0 {ε 1x n0 y n 0+1 = ε x1xn 0 n 0 ε y 1 QED The above theorem with the relation (334 illustrates the embedding property of the generator set E x1x n0 of S x1x n0 into the generator set E x1x n0 y of S x1x n0 y Define now a linear multiplicative morphism Φ : S x1x n0 S x1x n0 y by (335 Φ ( t 0 + j=1 t i1i (i 1i {1n 0 = t 0 + Π l=1 εx1xn0 i l j=1 t i1i (i 1i {1n 0 Π α( ε x1xn0 i l=1 l for all N where t 0 t i1i C The above linear multiplicative morphism Φ of(335 is well-defined because the function α of(333 is well-defined it preservesthe generatorse x1x n0 injectively by (334 into E x1x n0 y of S x1x n0 y Corollary 34 The symmetric subalgebra S x1x n0 is algebra-monomorphic to the symmetric subalgebra S x1x n0 y for fixed variables x 1 x n0 ie (336 S x1x n0 Alg S x1x n0 y where Alg means being embedded in Proof: By the algebra-monomorphism Φ of (335 S x1x n0 is algebramonomorphic to S x1x n0 y equivalently S x1x n0 is naturally embedded in S x1x n0 y QED More precise to (336 we obtain the following structure theorem 11

12 Theorem 35 Let Φ be the algebra-monomorphism (or the embedding (335 of S x1x n0 into S x1x n0 y Then (337 S x1x n0 y Alg = Φ ( S x1x n0 C [ {ε x 1x n0 n 0 ε y 1 ] where C[X] mean the algebras generated by sets X means the (purealgebraic direct product on algebras Proof: Note that S x1x n0 y = C [ ] E x1x n0 y by (17 = C [ α ( x E x1x n0 {ε 1x n0 n 0 ε y 1 ] by (334 = C [ C [ α ( ] [ x E x1x n0 C ε 1x n0 n 0 ε y ]] 1 by construction = C [ Φ ( ] [ x S x1x n0 C ε 1x n0 n 0 ε y ] 1 by (335 = Φ ( [ x S x1x n0 C ε 1x n0 n 0 ε y 1] since Φ is an embedding Therefore the isomorphism theorem (337 is obtained QED By (337 (24 we obtain the following theorem too Theorem 36 Let n N let S x1x n+1 be the symmetric algebra in {x 1 x n x n+1 Then (338 S x1x n+1 Alg = Φ ( S x1x j 1x j+1x n+1 C [ ε x 1x j 1x j+1x n where Φ is in the sense of (335 n ] ε xj 1 Proof: The proof of the structure theorem (338 is done by that of (337 in terms of (24 QED We finish this section with the following example Example 31 Let S x1x 2x 3 be the symmetric subalgebra in {x 1 x 2 x 3 with its generator set where ε x1x2x3 ε x1x2x3 E x1x 2x 3 = {ε x1x2x3 1 ε x1x2x3 2 ε x1x2x3 3 1 = x 1 +x 2 +x 3 2 = x 1 x 2 +x 1 x 3 +x 2 x 3 ε x1x2x3 3 = x 1 x 2 x 3 For the injective map α of (333 we have 12

13 α(ε x1x2x3 1 = ε x1x2x3 1 +ε x1x2x3 0 ε y 1 = εx1x2x3y 1 α(ε x1x2x3 2 = ε x1x2x3 2 +ε x1x2x3 1 ε y 1 = εx1x2x3y 2 α(ε x1x2x3 3 = ε x1x2x3 3 +ε x1x2x3 2 ε y 1 = εx1x2x3y 3 inducing α(e x1x 2x 3 {ε x1x2x3y 4 = x 1 x 2 x 3 y = E x1x 2x 3y So S x1x 2x 3y = C[α(E x1x 2x 3 {x 1 x 2 x 3 y] = Φ(S x1x 2x 3 C[x 1 x 2 x 3 y] 4 Applications In this section we consider applications of (337 based on (22 41 Zeroes of Single-Variable Polynomials Let f(z be a degree-n single-variable C-polynomial ie f A z = C[z] By the fundamental theorem of algebra f(z has its zeroes λ 1 λ n (without considering multiplicities ie For convenience let Then (411 f(z = n Π j=1 (z λ j x j = λ j for j = 1 n f(z = Π n (z +x j = n j=1 =0 εx1xn z n in A z where ε x1xn 0 = 1 (412 ε x1xn = ε (x 1 x n = ( 1 ε (λ 1 λ n = ( 1 ε λ1λn 13

14 for = 1 n Now suppose f(z is arbitrarily given (without nowing zeroes of f(z in A z Thenonecanconstructthe polynomialf λn+1 (zwhosezeroesarethezeroes of f(z λ n+1 in C Proposition 41 Let f(z be a degree-n polynomial n =0 t z n in A z let λ n+1 C Then there exists a polynomial f λn+1 (z = n+1 =0 s z (n+1 A z whose zeroes are the zeroes of f(z λ n+1 in C In particular s 0 = 1 s = t t 1 λ n+1 for all = 1 n with additional identity: t 1 = 0 in C s n+1 = t n λ n+1 Proof: Assume f(z is a degree-n polynomial in A z λ n+1 C are arbitrarily fixed suppose f(z = n =0 t z n in A z By the fundamental theorem of algebra f(z has its n-zeroes λ 1 λ n (without considering the multiplicities If we let x j = λ j in C for j = 1 n then (413 f(z = n =0 t z n with t = ε x1xn by (411 satisfying (412 So one can construct (414 ε x1xnxn+1 0 = 1 ε x1xnxn+1 = α(ε x1xn for = 1 n where α is in the sense of (333 ε x1xnxn+1 n+1 = ε x1xn n x n+1 = x 1 x 2 x n x n+1 by (334 ( by (337 for x n+1 = λ n+1 in C Then by (413 the quantities (414 are (415 s 0 = 1 s = α(t = t +t 1 x n+1 for = 1 n s n+1 = t n x n+1 where x n+1 = λ n+1 In other words one can construct the degree-(n + 1 polynomial 14

15 f λn+1 (z = n+1 =0 s z (n+1 whose constant term s 0 coefficients s j satisfy (415 in A z such that the zeroes of f λn+1 (z are the zeroes of f(z a given C-quantity λ n+1 QED The above proposition is illustrated in the following example Example 41 Let f(z = z 4 2z 2 +z +3 in A z let i C One can let t 0 = 1 t 1 = 2 t 2 = 0 t 3 = 1 t 4 = 3 in C Then for the fixed C-quantity i we have s 0 = 1 s 1 = t 1 + t 0 i = 2+i s 2 = t 2 +t 1 i = 0+( 2i = 2i s 3 = t 3 +t 2 i = 1+0i = 1 s 4 = t 4 +t 3 i = 3+i s 5 = t 4 i = 3i in C inducing a new degree-4 polynomial f i (z f i (z = 5 =0 s z 5 = z 5 +( 2+iz 4 2iz 3 +z 2 +i z + 3i in A z Then this new degree-4 polynomial z 5 +( 2+iz 4 2iz 3 +z 2 +iz + 3i has its zeroes i all zeroes of f(z The above proposition allows us to construct a degree-(n + 1 polynomial f λ (z whose zeroes are the zeroes of f(z λ even though we do not now the zeroes of a fixed degree-n polynomial f(z 42 JAVA Algorithm for C-Quantities from Elementary Symmetric Polynomials In this section as an application of (337 (22 we establish a computer algorithm for finding quantities from elementary symmetric polynomials This computer algorithm is constructed by the program language JAVA version 8 JAVA (v8 Program: Computing C-quantities from Elementary Symmetric Polynomials import javautilscanner; public class ComplexRecursiveAlgo { public static void main(string[] args { Scanner in = new Scanner(Systemin; //Prompt for number of generators n 15

16 Systemoutprint( Enter number of generating variables: ; int n = innextint(; Systemoutprintln(; //Prompt for the n nown generators vector X Systemoutprint( Enter the values of the n generators as a white space separating list: ; long[][] X = new long[n][2]; for(int i=0; i <n; i++{ X[i][0] = innextint(; X[i][1] = innextint(; Systemoutprintln(; //Recursively solve for the values of the elementary symmetric functions store in 2D array long[][][] epsilon = new long[n][][]; for(int i=0; i <n; i++ epsilon[i] = new long[i+1][2]; epsilon[0][0] = X[0]; for(int i=1; i <n; i++{ for(int =0; <epsilon[i]length; ++{ if(-1 <0 epsilon[i][] = add(epsilon[i-1][] X[i]; //Since epsilon[i-1][] = 1 for <0 else if( >i-1 epsilon[i][] = multiply(epsilon[i-1][-1]x[i]; //Since epsilon[i-1][] = 0 for >i-1 else epsilon[i][] = add(epsilon[i-1][] multiply(epsilon[i-1][-1]x[i]; //Provide values of epsilon to user Systemoutprint( Enter the values of n for the desired iteration: ; int N = innextint( - 1; int K = innextint( - 1; Systemoutprintln(; Systemoutprintln( epsilon[ + (N+1 + ][ + (K+1 + ] = ( + epsilon[n][k][0] + + epsilon[n][k][1] + ; public static long[] add(long[] z1 long[] z2{ long[] w = new long[2]; w[0] = z1[0] + z2[0]; w[1] = z1[1] + z2[1]; return w; public static long[] multiply(long[] z1 long[] z2{ long[] w = new long[2]; w[0] = z1[0]*z2[0] - z1[1]*z2[1]; 16

17 w[1] = z1[0]*z2[1] + z1[1]*z2[0]; return w; return w; References [1] Baer F B Harwell M R Computing Elementary Symmetric Functions Their Derivatives: A Didactic Appl Psycho Measurement Vol 20 no 2 ( [2] David F N Kendall M G Heliotrope B Symmetric Functions Allied Tables (1966 Cambridge Univ Press [3] Zhou J Introductions to Symmetric Polynomials Symmetric Functions Avialable at jzhou (2003 Lecture Note Mr Ryan Golden is an undergraduate at Saint Ambrose University He has wored under Dr Ilwoo Cho for the past two years attributes his decision to pursue a PhD in applied math largely to this partnership His particular interests include dynamical systems theory stochastic processes statistical learning theory PhD Ilwoo Cho has been a faculty member of the department of mathematics statistics at Saint Ambrose University since 2005 His research interests include free probability operator algebra theory combinatorics groupoid dynamical systems Ryan Golden 536 Carlsbad Tr Roselle IL USA goldenryanm@sauedu Ilwoo Cho Dept of Mathematics Saint Ambrose University 518 w Locust St Davenport IA USA choilwoo@sauedu 17