arxiv: v2 [math.nt] 1 Nov 2018
|
|
- Erick Fletcher
- 5 years ago
- Views:
Transcription
1 WEIGHTED SUM FORMULAS OF MULTIPLE ZETA VALUES WITH EVEN ARGUMENTS arxiv: v [mathnt] 1 Nov 018 ZHONGHUA LI AND CHEN QIN Abstract We prove a weighted sum formula of the zeta values at even arguments, a weighted sum formula of the multiple zeta values with even arguments its zeta-star analogue The weight coefficients are given by (symmetric) polynomials of the arguments These weighted sum formulas for the zeta values for the multiple zeta values were conjectured by L Guo, P Lei J Zhao 1 Introduction For a positive integer n a sequence = ( 1,, n ) of positive integers with 1 > 1, the multiple zeta value ζ() the multiple zeta-star value ζ () are defined by the following infinite series 1 ζ() = ζ( 1,, n ) = ζ () = ζ ( 1,, n ) = m 1> >m n 1 m 1 m n 1 m 1 1 mn n 1 m 1 1 mn n respectively The number n is called the depth In depth one case, both ζ() ζ () are special values of the Riemann zeta function at positive integer arguments The study of these values may be traced bac to L Euler Among other things, L Euler found the following sum formula or equivalently, 1 ζ (i, i) = ( 1)ζ(), 3, i= 1 ζ(i, i) = ζ(), 3 i= There are many generalizations variations of the sum formula, among which we mention some weighted sum formulas at even arguments In [], the following, Date: November, Mathematics Subject Classification 11M3,11B68 Key words phrases Multiple zeta values, Multiple zeta-star values, Bernoulli numbers, Weighted sum formulas The first author is supported by the National Natural Science Foundation of China (Grant No ) Shanghai Natural Science Foundation (grant no 14ZR ) 1
2 formula 1 ζ(i, i) = 3 4 ζ() was proved by using the regularized double shuffle relations of the double zeta values M E Hoffman considered the sum ζ( 1,, n ) in [7], we showed in [9] that the formulas given by M E Hoffman in [7] are consequences of the regularized double shuffle relations of the multiple zeta values Later in [3], new families of weighted sum formulas of the forms F( 1, )ζ( 1 )ζ( ), G( 1,, 3 )ζ( 1 )ζ( )ζ( 3 ) 1 + = 1 + = F( 1, )ζ( 1, ), = = G( 1,, 3 )ζ( 1,, 3 ) were given, where F(x,y) G(x,y,z) are (symmetric) polynomials with rational coefficients And in the end of[3], L Guo, P Lei JZhaoproposedthe following general conjecture Conjecture 11 ([3, Conjecture 47]) Let F(x 1,,x n ) Q[x 1,,x n ] be a symmetric polynomial of degree r Set d = deg x1 F(x 1,,x n ) Then for every positive integer n we have T F( 1,, n )ζ( 1 ) ζ( n ) = e F,l ()ζ(l)ζ( l), (11) F( 1,, n )ζ( 1,, n ) = T c F,l ()ζ(l)ζ( l), (1) where T = max{[(r+n )/],[(n 1)/]}, e F,l (x),c F,l (x) Q[x] depend only on l F, dege F,l (x) r 1 degc F,l (x) d Here as usual, for a real number x, we denote by [x] the greatest integer that not exceeding x The purpose of this paper is to give a proof of Conjecture 11 In fact, we also prove the zeta-star analogue of (1) To prove (11), as in [3], we first establish a weighted sum formula of the Bernoulli numbers In [3], L Guo, P Lei J Zhao used certain zeta functions to study the Bernoulli numbers Here we just use the generating function of the Bernoulli numbers Hence our method seems more elementary After getting the weighted sum formula of the Bernoulli numbers, we obtain the weighted sum formula (11) by using Euler s evaluation formula of the zeta values at even arguments Finally, applying the symmetric sum formulas of M E Hoffman [4], we obtain the weighted sum formula(1) its zeta-star analogue from the formula (11)
3 The paper is organizedas follows In Section, we deal with the weighted sum of the Bernoulli numbers In Section 3, we prove the weighted sum formula (11) And in Section 4, we prove the weighted sum formula (1) its zeta-star analogue Finally, in Section 5, we show that the weighted sum formulas obtained in this paper can be deduced from the regularized double shuffle relations of the multiple zeta values A weighted sum formula of Bernoulli numbers The Bernoulli numbers {B i } are defined by B i i! ti = t e t 1 i=0 It is nown that B 0 = 1, B 1 = 1 B i = 0 for odd i 3 We set f(t) = t e t t = B i (i)! ti, g(t) = t e t t = B i (i)! ti We compute the derivativesofthe even function f(t) Let D = t d dt Then using the formula i=0 h (t) = 1 t e t 1 t (e t 1), we find that for any nonnegative integer m, D m f(t) = m+1 i=0 h(t) = t e t 1 f mi (t)h(t) i (1) Here f mi (t) are polynomials determined by f 00 (t) = 1 t 1, f 01(t) = 1 the recursive formulas f m0 (t) = tf m 1,0 (t) for m 1, f m,m+1 (t) = mf m 1,m (t) for m 1, f mi (t) = tf m 1,i (t)+i(1 t)f m 1,i(t) (i 1)f m 1,i 1 (t) for 1 i m () In particular, for any integers m,i with 1 i m+1, we have f mi (t) Z[t] From (), it is easy to see that for any nonnegative integer m, we have f m0 (t) = 1 t δ m,0, f m,m+1 (t) = ( 1) m m! Lemma 1 For any integers m,i with 1 i m+1, we have degf mi (t) = m+ 1 i, the leading coefficient c mi of f mi (t) satisfies the condition ( 1) m c mi > 0 Proof We use induction on m Assume that m 1 The result for i = m + 1 followsfromf m,m+1 (t) = ( 1) m m! Nowassumetheintegerisatisfiesthecondition 1 i m, f m 1,i (t) = c m 1,i t m i +lower degree terms 3
4 with ( 1) m 1 c m 1,i > 0 Let c m0 = 1 Then we have As f mi (t) = ( ic m 1,i (i 1)c m 1,i 1 )t m+1 i +lower degree terms ( 1) m ( ic m 1,i (i 1)c m 1,i 1 ) =i( 1) m 1 c m 1,i +(i 1)( 1) m 1 c m 1,i 1 > 0, we get the result Therefore we have f m0 (t) = c m0 t δ m,0 with c m0 = 1, for any integers m,i with the condition 1 i m+1, we have with the recursive formula c m,m+1 = ( 1) m m! f mi (t) = c mi t m+1 i +lower degree terms, c mi = ic m 1,i (i 1)c m 1,i 1, (1 i m) Corollary For any nonnegative integer m, we have c m1 = ( 1) m For later use, we need the following lemma Lemma 3 For any nonnegative integer m, we have In particular, we have m+1 ( 1) i 1 f mi (t)t i 1 = 1 (3) m+1 ( 1) i 1 c mi = δ m,0 (4) Proof We proceed by induction on m to prove (3) The case of m = 0 follows from the fact f 01 (t) = 1 Now assume that m 1, using the recursive formula (), we have = m+1 ( 1) i 1 f mi (t)t i 1 = m m ( 1) i 1 f m 1,i(t)t i + ( 1) i 1 if m 1,i (t)t i 1 m m + ( 1) i if m 1,i (t)t i + ( 1) i (i 1)f m 1,i 1 (t)t i 1 +m!t m m ( 1) i 1 (f m 1,i (t)t i ) +( 1) m mf m 1,m (t)t m +m!t m = d dt m ( 1) i 1 f m 1,i (t)t i Then we get (3) from the induction assumption Finally, comparing the coefficients of t m of both sides of (3), we get (4) 4
5 Now we want to express h(t) i by D m g(t) For this purpose, we use matrix computations For any nonnegative integer m, let A m (t) be a (m +1) (m + 1) matrix defined by f 01 (t) f 11 (t) f 1 (t) A m (t) = f m1 (t) f m (t) f m,m+1 (t) Note that for m 1, we have A m (t) = ( Am 1 (t) 0 ) α m (t) ( 1) m m! ( with α m )(t) = (f m1 (t),,f mm (t)) From linear algebra, we now that the matrix A 0 is invertible with C B ( ) 1 ( ) A 0 A = 1 0 C B B 1 CA 1 B 1, provided that A B are invertible square matrices Therefore by induction on m, we find that for all nonnegative integer m, the matrices A m (t) are invertible, the inverses satisfy the recursive formula ( A m (t) 1 = A m 1 (t) 1 0 ( 1) m+1 1 m! α m(t)a m 1 (t) 1 ( 1) m 1 m! For any nonnegative integer m, set g 01 (t) A m (t) 1 g 11 (t) g 1 (t) = g m1 (t) g m (t) g m,m+1 (t) Lemma 4 Let m i be integers ), (m 1) (5) (1) For any m 0, we have g m,m+1 (t) = ( 1) m 1 m! ; () If 1 i m, we have the recursive formula g mi (t) = ( 1) m+1 1 m f mj (t)g j 1,i (t); (6) m! (3) If 1 i m+1, we have g mi (t) Q[t] with degg mi (t) m+1 i; (4) For 1 i m+1, set j=i g mi (t) = d mi t m+1 i +lower degree terms Then we have d m,m+1 = ( 1) m 1 m! for 1 i m d mi = ( 1) m+1 1 m! 5 m c mj d j 1,i (7) j=i
6 Proof The assertions in items (1) () follow from (5) To prove the item (3), we proceed by induction on m For the case of m = 0, we get the result from g 01 (t) = 1 Assume that m 1, then g m,m+1 (t) = ( 1) m 1 m! Q[t] with degree zero For 1 i j m, using the induction assumption, we may set Since we get g j 1,i (t) = d j 1,i t j i +lower degree terms Q[t] f mj (t) = c mj t m+1 j +lower degree terms Z[t], f mj (t)g j 1,i (t) = c mj d j 1,i t m+1 i +lower degree terms Q[t] Using (6), we finally get g mi (t) = ( 1) m+1 1 m c mj d j 1,i t m+1 i +lower degree terms Q[t] m! j=i The item (4) follows from the above proof Corollary 5 For any nonnegative integer m, we have d m1 = ( 1) m Proof Weuseinduction onm Ifm 1, using (7) theinduction assumption, we get d m1 = ( 1) m+1 1 m ( 1) j 1 c mj m! By (4), we have d m1 = ( 1) m+1 1 m! (δ m,0 ( 1) m c m,m+1 ), which implies the result To get h(t) i, we rewrite (1) as g(t) 1 Dg(t) 1 t 1 = A m(t) D m g(t) 1 rewrite (3) as Therefore we find h(t) h(t) = A m(t) 1 h(t) m+1 1 t 1 A m (t) t 1 = ( 1) m t m 1 g(t) Dg(t) D m g(t) 6 h(t) h(t) h(t) m+1 1 t, (8) 1 t t ( 1) m t m
7 Then for any positive integer i, we get i h(t) i = g i 1,j (t)d j 1 g(t)+ 1 ( 1)i t i (9) For the later use, we prepare a lemma Lemma 6 For a nonnegative integer m, the functions 1,g(t),Dg(t),,D m g(t) are linearly independent over the rational function field Q(t) Proof Let p(t),p 0 (t),p 1 (t),,p m (t) Q(t) satisfy p(t)+p 0 (t)g(t)+p 1 (t)dg(t)+ +p m (t)d m g(t) = 0 Using (8), we get p(t)+ 1 m t p j (t)+(p 0 (t),,p m (t))a m (t) j=0 h(t) h(t) m+1 = 0 Since e t is transcendental overq(t), we now e t 1, then h(t) is transcendental over Q(t) Hence we have p(t)+ 1 m t p j (t) = 0, (p 0 (t),,p m (t))a m (t) = 0, j=0 which implies that all p j (t) p(t) are zero functions as the matrix A m (t) is invertible From now on let n be a fixed positive integer, m 1,,m n be fixed nonnegative integers We want to compute D m1 f(t) D mn f(t) On the one h, using (1), we have with Lemma 7 We have D m1 f(t) D mn f(t) = f i (t) = i 1 + +in=i 0 i j m j +1 f 0 (t) = n m 1+ +m n+n i=0 f i (t)h(t) i, f m1i 1 (t) f mni n (t) ( ) 1 t δ m j,0, degf i (t) m 1 + +m n +n i for any nonnegative integer i Proof For integers i 1,,i n with the conditions i i n = i 0 i j m j +1, we have n deg(f m1i 1 (t) f mni n (t)) (m j +1 i j ) = m 1 + +m n +n i, which deduces that degf i (t) m 1 + +m n +n i Then using (9), we get D m1 f(t) D mn f(t) 7
8 with m 1+ +m n+n = m 1+ +m n+n = F j (t) = i f i (t) g i 1,j (t)d j 1 g(t)+ 1 ( 1)i t i +f 0 (t) F j (t)d j 1 g(t)+f 0 (t) F 0 (t) = f 0 (t)+ 1 m 1+ +m n+n i=j m 1+ +m n+n ( 1) i f i (t)t i f i (t)g i 1,j (t), (1 j m 1 + +m n +n) Lemma 8 Let j be a nonnegative integer with j m 1 + +m n +n Then (1) the function F j (t) is even; () we have F 0 (t) = 1 n ( ) 1 t δ m j,0 + 1 n ( ) 1 ( 1)n t+δ m j,0 In particular, degf 0 (t) n; (3) if j > 0, we have degf j (t) m 1 + +m n + n j Moreover, we have degf 1 (t) m 1 + +m n +n provided that n is even or m 1,,m n are not all zero Proof Since D m f(t) D m g(t) are even, we have m 1+ +m n+n F j (t)d j 1 g(t)+f 0 (t) = m 1+ +m n+n Then by Lemma 6, we now all F j (t) are even functions By the definition of f i (t), we have Using (3), we find m 1+ +m n+n i=0 m 1+ +m n+n i=0 ( 1) i f i (t)t i = n ( 1) i f i (t)t i = m j+1 i j=0 F j ( t)d j 1 g(t)+f 0 ( t) ( 1) ij f mji j (t)t ij n (f mj0(t) t) Then we get () from the fact that f m0 (t) = 1 t δ m,0 the expression of f 0 (t) Since degf i (t)g i 1,j (t) (m 1 + +m n +n i)+(i j) = m 1 + +m n +n j, we get degf j (t) m 1 + +m n +n j If we set { 1 c mi = δ m,0 if i = 0, c mi if i 0, 8
9 thenthe coefficientoft m+1 i inf mi (t) is c mi foranyintegersm,iwith the condition 0 i m+1 Since F 1 (t) = m 1+ +m n+n i 1 + +in=i 0 i j m j +1 f m1i 1 (t) f mni n (t)g i 1,1 (t), d i 1,1 = ( 1) i 1, we find the coefficient of t m1+ +mn+n 1 in F 1 (t) is which is m 1+ +m n+n = c m10 c mn0 i 1 + +in=i 0 i j m j +1 n m j+1 i j=0 c m10 c mn0 ( 1) i 1 c m1i 1 c mni n ( 1) ij c mji j, n ( c mj0 δ mj,0) by (4) Then the coefficient of t m1+ +mn+n 1 in F 1 (t) is ( ) n 1 (1 ( 1) n )δ m1,0 δ mn,0, which is zero if n is even or at least one m i is not zero Now for a positive integer j with j m m n + n, let a jl Q be the coefficient of t l in the polynomial F j (t) Then we have F j (t) = [ m 1 + +mn+n j ] If n is even or m 1,,m n are not all zero, we have Hence we have D m1 f(t) D mn f(t) = F 1 (t) = m 1+ +m n+n [ m 1 + +mn+n ] Changing the order of the summation, we have T D m1 f(t) D mn f(t) = where Since T = {[ n 1 ] [ m1+ +m n+n D j 1 g(t) = a jl t l (10) a 1l t l [ m 1 + +mn+n j ] m 1+ +m n+n l ] i=0 9 a jl t l D j 1 g(t)+f 0 (t) a jl t l D j 1 g(t)+f 0 (t), if m 1 = = m n = 0, otherwise (i) j 1 B i (i)! ti,
10 we get D m1 f(t) D mn f(t) min{t,} = =0 m 1+ +m n+n l a jl ( l) j 1 B l ( l)! t +F 0 (t) Then the coefficient of t in D m1 f(t) D mn f(t) is min{t,} m 1+ +m n+n l j 1 a jl ( l) j 1 B l ( l)!, (11) provided that n On the other h, since D m f(t) = (i) m B i (i)! ti, we find the coefficient of t in D m1 f(t) D mn f(t) is ( 1 ) m1 ( n ) mn B 1 B n ( 1 )! ( n )! (1) Finally, comparing (11) with (1), we get a weighted sum formula of the Bernoulli numbers Theorem 9 Let n, be positive integers with n Then for any nonnegative integers m 1,,m n, we have B m1 1 n mn 1 B n = min{t,} m 1+ +m n+n l ( 1 )! ( n )! a jl l)j 1 m1+ +mn j+1( B l ( l)!, (13) where T = max{[(m 1 + +m n +n )/],[(n 1)/]} a jl are determined by (10) Note that in [11, Theorem 1], A Petojević H M Srivastava had considered the case of m 1 = = m n = 0 See also [1, Theorems 1 ] In the end of this section, we list some explicit examples of n = 4 Note that some examples of n = n = 3 were given in [3] Example 10 Let be a positive integer with 4 Set = We have B1 B B 3 B 4 ( 1 )!( )!( 3 )!( 4 )! 1 B 1 B B 3 B 4 ( 1 )!( )!( 3 )!( 4 )! (4 6+3) 4 = ( +1)( +1)( +3) 3 B ()! 3 +1)( +1)( +3)(4 +3) = ( 10 B 5 ( )! 160 ( 4)!, 10 B = B ( )!, B ()!
11 3 B 1 B B 3 B 4 1 ( 1 )!( )!( 3 )!( 4 )! = ( +1)( +1)( +3)( ) B 40 ()! ( ) 96 B ( )! ( 5)(13 9) 960 Set B 1,, 3, 4 = B 1 B B 3 B 4 ( 1)!( )!( 3)!( 4)! Using the formulas 1 B 1,, 3, 4 = B1, 4, 3, 4, B 4 ( 4)! 1 B 1,, 3, 4 = B1, 1, 3, B 1,, 3, 4, 1 B 1,, 3, 4 = 3 1 B 1,, 3, B 1,, 3, 4, 1 3 B 1,, 3, 4 = 3 B1, 4, 3, 4 1 B 1,, 3, B 1,, 3, 4, one can wor out other weighted sum formulas of the Bernoulli numbers with the condition m 1 +m +m 3 +m Weighted sum formulas of zeta values at even arguments Euler s formula claims that for any positive integer, ζ() = ( 1) +1 B ()! (π) (31) Then from Theorem 9, we get the following weighted sum formula for zeta values at even arguments Theorem 31 Let n, be positive integers with n Then for any nonnegative integers m 1,,m n, we have min{t,} m1 1 n mn ζ( 1 ) ζ( n ) = ( 1) n m 1+ +m n+n l a jl l)j 1 m1+ +mn+n j 1( (l)! B l ζ(l)ζ( l), (3) where T = max{[(m 1 + +m n +n )/],[(n 1)/]} a jl are determined by (10) Finally, we obtain the weighted sum formula (11) Theorem 3 Let n, be positive integers with n Let F(x 1,,x n ) Q[x 1,,x n ] be a polynomial of degree r Then we have F( 1,, n )ζ( 1 ) ζ( n ) = min{t,} e F,l ()ζ(l)ζ( l), where T = max{[(r+n )/],[(n 1)/]}, e F,l (x) Q[x] depends only on l F, dege F,l (x) r+n l 1 11
12 Note that the polynomial F(x 1,,x n ) in Theorem 3 need not be symmetric, the upper bound for the degree of the polynomial e F,l (x) is different from that in Conjecture 11 In Conjecture 11, the upper bound for dege F,l (x) is r 1, which should be a typo See the examples below Example 33 Set = For a positive integer with 4, we = have ( +1)( +1)( +3) ζ(1 )ζ( )ζ( 3 )ζ( 4 ) = ζ() ζ()ζ( ), 4 ( +1)( +1)( +3)(4 +3) 1 ζ( 1 )ζ( )ζ( 3 )ζ( 4 ) = ζ() 960 (4 6 +3) 9( 5) ζ()ζ( )+ ζ(4)ζ( 4), ζ( 1 )ζ( )ζ( 3 )ζ( 4 ) = ( +1)( +1)( +3)( ) ζ() 190 ( ) 3( 5)(13 9) ζ()ζ( )+ ζ(4)ζ( 4), 3 16 which can deduce all other weighted sums (3) under the conditions n = 4 m 1 +m +m 3 +m 4 3 as explained in Example 10 4 Weighted sum formulas of multiple zeta values with even arguments To treat the weighted sum of the multiple zeta values with even arguments its zeta-star analogue, we recall the symmetric sum formulas of M E Hoffman [4, Theorems 1 ] For a partition Π = {P 1,P,,P i } of the set {1,,,n}, let l j = P j c(π) = i (l j 1)!, c(π) = ( 1) n i c(π) We also denote by P n the set of all partitions of the set {1,,,n} Then the symmetric sum formulas are ζ( σ(1),, σ(n) ) = (41) σ S n Π P n c(π)ζ(,π) σ S n ζ ( σ(1),, σ(n) ) = Π P n c(π)ζ(,π), (4) where = ( 1,, n ) is a sequence of positive integers with all i > 1, S n is the symmetric group of degree n for a partition Π = {P 1,,P i } P n, i ζ(,π) = ζ l l Pj 1
13 Now let = ( 1,, n ) with all i positive integers Using (41) (4), we have σ S n ζ( σ(1),, σ(n) ) = n ( 1) n i l 1 + +l i =n l 1 l i 1 i (l j 1)! ζ ( σ(1),, σ(n) ) σ S n n i = (l j 1)! l 1 + +l i =n l 1 l i 1 ζ(,π) (43) Π={P 1,,P i } Pn ζ(,π) (44) Π={P 1,,P i } Pn From now on, let,n be fixed positive integers with n, let F(x 1,,x n ) be a fixed symmetric polynomial with rational coefficients It is easy to see that F( 1,, n ) =n! σ S n ζ( σ(1),, σ(n) ) F( 1,, n )ζ( 1,, n ) =n! F( 1,, n ) σ S n ζ ( σ(1),, σ(n) ) F( 1,, n )ζ ( 1,, n ) On the other h, for a partition Π = {P 1,,P i } P n with P j = l j, we have F( 1,, n )ζ(,π) = t 1 + +t i = t j l1 =t 1 l1 + +l i n=t i F( 1,, n )ζ(t 1 ) ζ(t i ) (45) To treat the inner sum about F( 1,, n ) in the right-h side of (45), we need the following lemmas Lemma 41 For any positive integer any nonnegative integers p 1,p, we have 1 i p1 ( i) p 13
14 = ( 1) i,j 0 p 1 i+j p 1 +p ( )( j+p 1 i+j p i i+j p 1 ) Bi j +1 ( 1)j+1 p1+p i j (46) In particular, the right-h side of (46) is a polynomial of with rational coefficients of degree p 1 +p +1 Proof Let S p1,p () = 1 i p1 ( i) p let G (t 1,t ) = be the generating function We have p 1,p 0 S p1,p () tp1 1 tp p 1!p! 1 G (t 1,t ) = e it1+( i)t = (1 e( 1)(t1 t) )e t e t t1 1 Using the definition of the Bernoulli numbers, we get G (t 1,t ) = ( 1) i B i i!j!l! ( 1)j l (t 1 t ) i+j 1 t l i 0,j 1,l 0 = i,j,l 0 Finally, we obtain the expansion G (t 1,t ) = i,j,l 0 0 m i+j B i ( 1) i i!(j +1)!l! ( 1)j+1 l (t 1 t ) i+j t l ( 1) j+m ( i+j m ) B i i!(j +1)!l! ( 1)j+1 l t m 1 ti+j+l m Comparing the coefficient of tp 1 p 1!p!, we get (46) Then as a polynomial of, the degree of the right-h side of (46) is less than or equal to p 1 +p +1, the coefficient of p1+p+1 is p 1+p ( ) p 1 j p 1 j +1, which is Since 1 tp j=p 1 ( 1) j+p1 p j=0 we find the coefficient of p1+p+1 is 1 which is nonzero More generally, we have 0 ( ) ( 1) j p j 1 j +p 1 +1 p ( ) x p1 (1 x) p = ( 1) j p x j+p1, j j=0 x p1 (1 x) p dx = B(p 1 +1,p +1) = 14 p 1!p! (p 1 +p +1)!,
15 Lemma 4 Let n be integers with n 1, let p 1,,p n be nonnegative integers Then there exists a polynomial f(x) Q[x] of degree p p n +n 1, such that p1 1 pn n = f() Proof We proceed by induction on n If n = 1, we may tae f(x) = x p1 For n > 1, since p1 1 pn n = 1 + = l 1 + +l n 1 = 1 l j 1 using the induction assumption we have p1 1 pn n = 1 + = 1 lpn 1 l p1 g( 1 ) pn, n 1 pn, where g(x) Q[x] is of degree p 1 + +p n 1 +n Then the result follows from Lemma 41 Now we return to the computation of the right-h side of (45) Using Lemma 4, there exists a polynomial f t1,,t i (x 1,,x i ) Q[x 1,,x i ] of degree degf + n i, such that F( 1,, n )ζ(,π) Therefore we get where = t 1 + +t i = t j 1 f t1,,t i (t 1,,t i )ζ(t 1 ) ζ(t i ) F( 1,, n )ζ( 1,, n ) = 1 n! i (l j 1)!n(l 1,,l i ) t 1 + +t i = t j 1 F( 1,, n )ζ ( 1,, n ) = 1 n! i (l j 1)!n(l 1,,l i ) n(l 1,,l i ) = t 1 + +t i = t j 1 n ( 1) n i l 1 + +l i =n l 1 l i 1 f t1,,t i (t 1,,t i )ζ(t 1 ) ζ(t i ) n l 1 + +l i =n l 1 l i 1 f t1,,t i (t 1,,t i )ζ(t 1 ) ζ(t i ), n! i n l j! {m 1 m i, m = j}! 15
16 is the number of partitions Π = {P 1,,P i } P n with the conditions P j = l j for j = 1,,,i Applying Theorem 3, we then prove the weighted sum formula (1) its zeta-star analogue Theorem 43 Let n, be positive integers with n Let F(x 1,,x n ) Q[x 1,,x n ] be a symmetric polynomial of degree r Then we have F( 1,, n )ζ( 1,, n ) = F( 1,, n )ζ ( 1,, n ) = min{t,} min{t,} c F,l ()ζ(l)ζ( l) c F,l ()ζ(l)ζ( l), where T = max{[(r+n )/],[(n 1)/]}, c F,l (x),c F,l (x) Q[x] depend only on l F, degc F,l (x),degc F,l (x) r+n l 1 Note that in Theorem43, the upper bound for the polynomial c F,l (x) is different from that in Conjecture 11 In Conjecture 11, the upper bound for degc F,l (x) is deg x1 F(x 1,,x n ) It seems that one may obtain this upper bound but need more efforts Example 44 After getting the weighted sum formulas (3) with n = n = 3, we can obtain the weighted sum formulas of the multiple zeta values (resp the multiple zeta-star values) of depth four Here are some examples For multiple zeta values, we have ζ(1,, 3, 4 ) = ζ() 5 ζ()ζ( ), 16 ( ) ζ(1,, 3, 4 ) = 7(10 3) ζ() ζ()ζ( )+ 3( 5) ζ(4)ζ( 4), 3 16 ( ) +3 ζ(1,, 3, 4 ) = 7( ) ζ() ( 5)(3 +) ζ()ζ( )+ ζ(4)ζ( 4), 18 3 for multiple zeta-star values, we have ζ ( 1,, 3, 4 ) = (4 5)(8 0+3) ζ() ζ()ζ( ), 16 ( 1 + ) ζ ( 1,, 3, 4 ) = ( ) ζ() 190 ( 3)( ) ζ()ζ( ) ζ(4)ζ( 4), 16
17 ( ) ζ ( 1,, 3, 4 ) = ( ) ζ() ζ()ζ( ) 18 15( 4)( 5) + ζ(4)ζ( 4) 3 Here is a positive integer with 4 = = 5 Regularized double shuffle relations weighted sum formulas In this section, we briefly explain that the weighted sum formulas in Theorems 31, 3 43 can be deduced from the regularized double shuffle relations of the multiple zeta values (For the details of the regularized double shuffle relations, one can refer to [8, 1] or [9]) We get Theorem 31 hence Theorem 3 just from (13) Euler s formula (31) While (13) is an equation about the Bernoulli numbers Euler s formula can be deduced from the regularized double shuffle relations ([9]) Hence we get Theorems 31 3 from the regularized double shuffle relations We get Theorem 43 from Theorem 3 the symmetric sum formulas While the symmetric sum formulas are consequences of the harmonic shuffle products ([6, Theorem 3]) In fact, let Y = {z = 1,,} be an alphabet with noncommutative letters let Y be the set of all words generated by letters in Y, which contains the empty word 1 Y Let h 1 = Q Y be the noncommutative polynomial algebra over Q generated by Y As in [5, 10], we define two bilinear commutative products on h 1 by the rules 1 Y w = w 1 Y = w, z w 1 z l w = z (w 1 z l w )+z l (z w 1 w )+z +l (w 1 w ); 1 Y w = w 1 Y = w, z w 1 z l w = z (w 1 z l w )+z l (z w 1 w ) z +l (w 1 w ), where w,w 1,w Y,l are positive integers Let h 0 = Q1 Y + Qz 1 z n n, 1,,n 1 1 be a subalgebra of h 1, which is also a subalgebra with respect to either the product or the product Let Z : h 0 R Z : h 0 R be the Q-linear maps determined by Z(1 Y ) = Z (1 Y ) = 1 Z(z 1 z n ) = ζ( 1,, n ), Z (z 1 z n ) = ζ ( 1,, n ), wheren, 1,, n 1with 1 It is nownthat both the mapsz : (h 0, ) R Z : (h 0, ) Rarealgebrahomomorphisms Hencefromthe followinglemma, we now that the symmetric sum formulas are consequences of the harmonic shuffle products And therefore Theorem 43 is also deduced from the regularized double shuffle relations 17
18 Lemma 51 Let n be a positive integer = ( 1,, n ) be a sequence of positive integers We have z σ(1) z σ(n) =,P1 z,pi (51) σ S n Π={P 1,,P i} P n c(π)z where z,pj = z l P j l σ S n z σ(1) z σ(n) = Π={P 1,,P i} P n c(π)z,p1 z,pi, (5) Proof Tobe selfcontained, wegiveaproofhere We prove(51) one canprove (5) similarly We proceed by induction on n The case of n = 1 is obvious Now assume that (51) is proved for n Let = ( 1,, n ) = ( 1,, n+1 ) Since z n+1 n+1 z σ(1) z σ(n) = z σ(1) z σ(j 1) z n+1 z σ(j) z σ(n) σ S n σ S n + n z σ(1) z σ(j 1) z σ(j) + n+1 z σ(j+1) z σ(n) = σ S n σ S n+1 z σ(1) z σ(n+1) + n σ S n z (j) σ(1) z (j) σ(n) with (j) = ( 1,, j 1, j + n+1, j+1,, n ) = ( (j) 1,,(j) n ), using the induction assumption on (j) with j = 1,,n, we have z σ(1) z σ(n+1) =,P1 z,pi z n+1 σ S n+1 Π={P 1,,P i} P n c(π)z n Π={P 1,,P i} P n c(π)z (j),p 1 z (j),p i Because any Π P n+1 must satisfy can only satisfy one of the following two conditions: (i) there exists one P Π, such that P = { n+1 }; (ii) for any P Π, P { n+1 }, we see that the right-h side of the above equation is just Π={P 1,,P i} P n+1 c(π)z,p 1 z,p i Hence we get (51) References [1] K Dilcher, Sums of products of Bernoulli numbers, J Number Theory 60 (1996), 3-41 [] H Gangl, M Kaneo D Zagier, Double zeta values modular forms, In Automorphic Forms Zeta Functions, Proceedings of the Conference in memory of Tsuneo Araawa S Böcherer, T Ibuiyama, M Kaneo, F Sato (eds), World Scientific, New Jersey, ,
19 [3] L Guo, P Lei J Zhao, Families of weighted sum formulas for multiple zeta values, Int J Number Theory 11 (3) (015), [4] M E Hoffman, Multiple harmonic series, Pacific J Math 15 () (199), [5] M E Hoffman, The algebra of multiple harmonic series, J Algebra 194 () (1997), [6] M E Hoffman, Quasi-symmetric functions mod p multiple harmonic sums, Kyushu J Math 69 (015), [7] M E Hoffman, On multiple zeta values of even arguments, Int J Number Theory 13 (017), [8] K Ihara, M Kaneo D Zagier, Derivation double shuffle relations for multiple zeta values, Compos Math 14 () (006), [9] Z Li C Qin, Some relations deduced from regularized double shuffle relations of multiple zeta values, preprint, arxiv: [10] S Muneta, Algebraic setup of non-strict multiple zeta values, Acta Arith 136 (1) (009), 7-18 [11] A Petojević H M Srivastava, Computation of Euler s type sums of the products of Bernoulli numbers, Appl Math Lett (009), [1] G Racinet, Doubles melanges des polylogarithmes multiples aux racines de l unite, Publ Math Inst Hautes Études Sci 95 (00), School of Mathematical Sciences, Tongji University, No 139 Siping Road, Shanghai 0009, China address: zhonghua li@tongjieducn School of Mathematical Sciences, Tongji University, No 139 Siping Road, Shanghai 0009, China address: 014chen qin@tongjieducn 19
arxiv: v3 [math.nt] 9 May 2011
ON HARMONIC SUMS AND ALTERNATING EULER SUMS arxiv:02.592v3 [math.nt] 9 May 20 ZHONG-HUA LI Department of Mathematics, Tongji University, No. 239 Siping Road, Shanghai 200092, China Graduate School of Mathematical
More informationAN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE
AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials
More informationMultiple divisor functions, their algebraic structure and the relation to multiple zeta values
Multiple divisor functions, their algebraic structure and the relation to multiple zeta values Kyushu University - 13th November 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920 [math.nt] Multiple
More informationMATRIX REPRESENTATIONS FOR MULTIPLICATIVE NESTED SUMS. 1. Introduction. The harmonic sums, defined by [BK99, eq. 4, p. 1] sign (i 1 ) n 1 (N) :=
MATRIX REPRESENTATIONS FOR MULTIPLICATIVE NESTED SUMS LIN JIU AND DIANE YAHUI SHI* Abstract We study the multiplicative nested sums which are generalizations of the harmonic sums and provide a calculation
More informationOn combinatorial zeta functions
On combinatorial zeta functions Christian Kassel Institut de Recherche Mathématique Avancée CNRS - Université de Strasbourg Strasbourg, France Colloquium Potsdam 13 May 2015 Generating functions To a sequence
More informationTranscendental Numbers and Hopf Algebras
Transcendental Numbers and Hopf Algebras Michel Waldschmidt Deutsch-Französischer Diskurs, Saarland University, July 4, 2003 1 Algebraic groups (commutative, linear, over Q) Exponential polynomials Transcendence
More informationAn Euler-Type Formula for ζ(2k + 1)
An Euler-Type Formula for ζ(k + ) Michael J. Dancs and Tian-Xiao He Department of Mathematics and Computer Science Illinois Wesleyan University Bloomington, IL 670-900, USA Draft, June 30th, 004 Abstract
More informationACI-matrices all of whose completions have the same rank
ACI-matrices all of whose completions have the same rank Zejun Huang, Xingzhi Zhan Department of Mathematics East China Normal University Shanghai 200241, China Abstract We characterize the ACI-matrices
More informationarxiv: v1 [math.nt] 9 Jan 2019
NON NEAR-PRIMITIVE ROOTS PIETER MOREE AND MIN SHA Dedicated to the memory of Prof. Christopher Hooley (928 208) arxiv:90.02650v [math.nt] 9 Jan 209 Abstract. Let p be a prime. If an integer g generates
More informationLinear Ordinary Differential Equations Satisfied by Modular Forms
MM Research Preprints, 0 7 KLMM, AMSS, Academia Sinica Vol. 5, December 006 Linear Ordinary Differential Equations Satisfied by Modular Forms Xiaolong Ji Department of Foundation Courses Jiyuan Vocational
More informationp-regular functions and congruences for Bernoulli and Euler numbers
p-regular functions and congruences for Bernoulli and Euler numbers Zhi-Hong Sun( Huaiyin Normal University Huaian, Jiangsu 223001, PR China http://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers,
More informationMATH 802: ENUMERATIVE COMBINATORICS ASSIGNMENT 2
MATH 80: ENUMERATIVE COMBINATORICS ASSIGNMENT KANNAPPAN SAMPATH Facts Recall that, the Stirling number S(, n of the second ind is defined as the number of partitions of a [] into n non-empty blocs. We
More informationNew Multiple Harmonic Sum Identities
New Multiple Harmonic Sum Identities Helmut Prodinger Department of Mathematics University of Stellenbosch 760 Stellenbosch, South Africa hproding@sun.ac.za Roberto Tauraso Dipartimento di Matematica Università
More informationThe algebra of multiple divisor functions and applications to multiple zeta values
The algebra of multiple divisor functions and applications to multiple zeta values ESF Workshop: New Approaches To Multiple Zeta Values ICMAT Madrid - 30th September 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationON UNIVERSAL SUMS OF POLYGONAL NUMBERS
Sci. China Math. 58(2015), no. 7, 1367 1396. ON UNIVERSAL SUMS OF POLYGONAL NUMBERS Zhi-Wei SUN Department of Mathematics, Nanjing University Nanjing 210093, People s Republic of China zwsun@nju.edu.cn
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space
More informationarxiv: v2 [math.nt] 3 Jan 2016
A NOTE ON FINITE REAL MULTIPLE ZETA VALUES HIDEKI MURAHARA Abstract. We prove three theorems on finite real multiple zeta values: the symmetric formula, the sum formula and the height-one duality theorem.
More informationA NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.
Scientiae Mathematicae Japonicae Online, e-014, 145 15 145 A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS Masaru Nagisa Received May 19, 014 ; revised April 10, 014 Abstract. Let f be oeprator monotone
More informationSum Theorems for Multiple Zeta Values, Old and New. Michael E. Hoffman. Number Theory Talk Max-Planck-Institut für Mathematik, Bonn 29 June 2016
for Zeta, Michael E. Hoffman U. S. Naval Academy Number Theory Talk Max-Planck-Institut für Mathematik, Bonn 29 June 2016 1 2 3 4 5 6 For positive integers a 1,..., a k with a 1 > 1 we define the corresponding
More informationGeneralized Akiyama-Tanigawa Algorithm for Hypersums of Powers of Integers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol 16 (2013, Article 1332 Generalized Aiyama-Tanigawa Algorithm for Hypersums of Powers of Integers José Luis Cereceda Distrito Telefónica, Edificio Este
More informationOhno-type relation for finite multiple zeta values
Ohno-tye relation for finite multile zeta values Kojiro Oyama Abstract arxiv:1506.00833v3 [math.nt] 23 Se 2017 Ohno s relation is a well-known relation among multile zeta values. In this aer, we rove Ohno-tye
More informationSums of Products of Bernoulli Numbers*
journal of number theory 60, 234 (996) article no. 00 Sums of Products of Bernoulli Numbers* Karl Dilcher Department of Mathematics, Statistics, and Computing Science, Dalhousie University, Halifax, Nova
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationSign changes of Fourier coefficients of cusp forms supported on prime power indices
Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de
More informationOn Tornheim s double series
ACTA ARITHMETICA LXXV.2 (1996 On Tornheim s double series by James G. Huard (Buffalo, N.Y., Kenneth S. Williams (Ottawa, Ont. and Zhang Nan-Yue (Beijing 1. Introduction. We call the double infinite series
More informationAN IDENTITY FOR SUMS OF POLYLOGARITHM FUNCTIONS. Steven J. Miller 1 Department of Mathematics, Brown University, Providence, RI 02912, USA.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 2008, #A15 AN IDENTITY FOR SUMS OF POLYLOGARITHM FUNCTIONS Steven J. Miller 1 Department of Mathematics, Brown University, Providence, RI 02912,
More informationHYPERGEOMETRIC BERNOULLI POLYNOMIALS AND APPELL SEQUENCES
HYPERGEOMETRIC BERNOULLI POLYNOMIALS AND APPELL SEQUENCES ABDUL HASSEN AND HIEU D. NGUYEN Abstract. There are two analytic approaches to Bernoulli polynomials B n(x): either by way of the generating function
More informationColloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.
Colloq. Math. 145(016), no. 1, 149-155. ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS FAN GE AND ZHI-WEI SUN Abstract. For m = 3, 4,... those p m (x) = (m )x(x 1)/ + x with x Z are called generalized
More informationExplicit formulas for computing Bernoulli numbers of the second kind and Stirling numbers of the first kind
Filomat 28:2 (24), 39 327 DOI.2298/FIL4239O Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Explicit formulas for computing Bernoulli
More informationMath 554 Qualifying Exam. You may use any theorems from the textbook. Any other claims must be proved in details.
Math 554 Qualifying Exam January, 2019 You may use any theorems from the textbook. Any other claims must be proved in details. 1. Let F be a field and m and n be positive integers. Prove the following.
More informationarxiv: v1 [math-ph] 17 Nov 2008
November 008 arxiv:08.644v [math-ph] 7 Nov 008 Regularized Euler product for the zeta function and the Birch and Swinnerton-Dyer and the Beilinson conjecture Minoru Fujimoto and Kunihio Uehara Seia Science
More informationMultiple Zeta Values of Even Arguments
Michael E. Hoffman U. S. Naval Academy Seminar arithmetische Geometrie und Zahlentheorie Universität Hamburg 13 June 2012 1 2 3 4 5 6 Values The multiple zeta values (MZVs) are defined by ζ(i 1,..., i
More informationPOLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS arxiv: v1 [math.nt] 27 Dec 2018
POLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS arxiv:1812.10828v1 [math.nt] 27 Dec 2018 J. MC LAUGHLIN Abstract. Finding polynomial solutions to Pell s equation
More informationarxiv: v6 [math.nt] 12 Sep 2017
Counterexamples to the conjectured transcendence of /α) k, its closed-form summation and extensions to polygamma functions and zeta series arxiv:09.44v6 [math.nt] Sep 07 F. M. S. Lima Institute of Physics,
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationIncomplete exponential sums over finite fields and their applications to new inversive pseudorandom number generators
ACTA ARITHMETICA XCIII.4 (2000 Incomplete exponential sums over finite fields and their applications to new inversive pseudorandom number generators by Harald Niederreiter and Arne Winterhof (Wien 1. Introduction.
More information13:00 13:50 poly-euler L
4 2011 1 7 13:00 9 12:20 1 819-0395 744 ( ) ( ) ( ) 1 7 13:00 13:50 poly-euler L 14:05 14:45 15:05 15:55 Riemann 16:10 17:00 Double Eisenstein series for Γ 0 (2) 1 8 10:15 11:05 4 KZ 11:20 12:10 Multiple
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationZero estimates for polynomials inspired by Hilbert s seventh problem
Radboud University Faculty of Science Institute for Mathematics, Astrophysics and Particle Physics Zero estimates for polynomials inspired by Hilbert s seventh problem Author: Janet Flikkema s4457242 Supervisor:
More informationDilated Floor Functions and Their Commutators
Dilated Floor Functions and Their Commutators Jeff Lagarias, University of Michigan Ann Arbor, MI, USA (December 15, 2016) Einstein Workshop on Lattice Polytopes 2016 Einstein Workshop on Lattice Polytopes
More informationSection III.6. Factorization in Polynomial Rings
III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)
More informationON THE NUMBER OF PLACES OF CONVERGENCE FOR NEWTON S METHOD OVER NUMBER FIELDS
ON THE NUMBER OF PLACES OF CONVERGENCE FOR NEWTON S METHOD OVER NUMBER FIELDS XANDER FABER AND JOSÉ FELIPE VOLOCH Abstract. Let f be a polynomial of degree at least 2 with coefficients in a number field
More informationLegendre polynomials and Jacobsthal sums
Legendre olynomials and Jacobsthal sums Zhi-Hong Sun( Huaiyin Normal University( htt://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers, N the set of ositive integers, [x] the greatest integer
More informationB n (x) zn n! n=0. E n (x) zn n! n=0
UDC 517.9 Q.-M. Luo Chongqing Normal Univ., China) q-apostol EULER POLYNOMIALS AND q-alternating SUMS* q-полiноми АПОСТОЛА ЕЙЛЕРА ТА q-знакозмiннi СУМИ We establish the basic properties generating functions
More informationAlgorithmic Approach to Counting of Certain Types m-ary Partitions
Algorithmic Approach to Counting of Certain Types m-ary Partitions Valentin P. Bakoev Abstract Partitions of integers of the type m n as a sum of powers of m (the so called m-ary partitions) and their
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationTHE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany
#A95 INTEGERS 18 (2018) THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS Bernd C. Kellner Göppert Weg 5, 37077 Göttingen, Germany b@bernoulli.org Jonathan Sondow 209 West 97th Street, New Yor,
More informationTHE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER
THE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER ROBERT S COULTER Abstract Planar functions were introduced by Dembowski and Ostrom in [3] to describe affine planes possessing collineation
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationPOLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS
J. London Math. Soc. 67 (2003) 16 28 C 2003 London Mathematical Society DOI: 10.1112/S002461070200371X POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. MCLAUGHLIN
More information18.S34 linear algebra problems (2007)
18.S34 linear algebra problems (2007) Useful ideas for evaluating determinants 1. Row reduction, expanding by minors, or combinations thereof; sometimes these are useful in combination with an induction
More informationLinear maps. Matthew Macauley. Department of Mathematical Sciences Clemson University Math 8530, Spring 2017
Linear maps Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 8530, Spring 2017 M. Macauley (Clemson) Linear maps Math 8530, Spring 2017
More informationq-multiple Zeta Values I: from Double Shuffle to Regularisation
-Multiple Zeta Values I: from Double Shuffle to Regularisation Kurusch Ebrahimi-Fard β Paths to, from and in renormalisation Univ. Potsdam Institut für Mathematik 8-12 February 2016 β Joint work with J.
More informationBP -HOMOLOGY AND AN IMPLICATION FOR SYMMETRIC POLYNOMIALS. 1. Introduction and results
BP -HOMOLOGY AND AN IMPLICATION FOR SYMMETRIC POLYNOMIALS DONALD M. DAVIS Abstract. We determine the BP -module structure, mod higher filtration, of the main part of the BP -homology of elementary 2- groups.
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings
D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n
More informationa 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real
More informationDifferential Equations and Associators for Periods
Differential Equations and Associators for Periods Stephan Stieberger, MPP München Workshop on Geometry and Physics in memoriam of Ioannis Bakas November 2-25, 26 Schloß Ringberg, Tegernsee based on: St.St.,
More informationTwo Remarks on Skew Tableaux
Two Remarks on Skew Tableaux Richard P. Stanley Department of Mathematics Massachusetts Institute of Technology Cambridge, MA 02139 rstan@math.mit.edu Submitted: 2011; Accepted: 2011; Published: XX Mathematics
More information(Inv) Computing Invariant Factors Math 683L (Summer 2003)
(Inv) Computing Invariant Factors Math 683L (Summer 23) We have two big results (stated in (Can2) and (Can3)) concerning the behaviour of a single linear transformation T of a vector space V In particular,
More informationTurán s problem and Ramsey numbers for trees. Zhi-Hong Sun 1, Lin-Lin Wang 2 and Yi-Li Wu 3
Colloquium Mathematicum 139(015, no, 73-98 Turán s problem and Ramsey numbers for trees Zhi-Hong Sun 1, Lin-Lin Wang and Yi-Li Wu 3 1 School of Mathematical Sciences, Huaiyin Normal University, Huaian,
More informationA New Shuffle Convolution for Multiple Zeta Values
January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As
More informationAnalytic renormalization of multiple zeta functions Geometry and combinatorics of generalized Euler reflection formula for MZV
1 Analytic renormalization of multiple zeta functions Geometry and combinatorics of generalized Euler reflection formula for MZV Andrei Vieru Abstract The renormalization of MZV was until now carried out
More informationConvoluted Convolved Fibonacci Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004, Article 04.2.2 Convoluted Convolved Fibonacci Numbers Pieter Moree Max-Planc-Institut für Mathemati Vivatsgasse 7 D-53111 Bonn Germany moree@mpim-bonn.mpg.de
More informationMULTI-VARIABLE POLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS
MULTI-VARIABLE POLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. MC LAUGHLIN Abstract. Solving Pell s equation is of relevance in finding fundamental units in real
More informationOn Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers
A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University
More informationDISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k
DISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k RALF BUNDSCHUH AND PETER BUNDSCHUH Dedicated to Peter Shiue on the occasion of his 70th birthday Abstract. Let F 0 = 0,F 1 = 1, and F n = F n 1 +F
More informationINDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS
INDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS AHMET TEKCAN Communicated by Alexandru Zaharescu Let p 1(mod 4) be a prime number, let γ P + p Q be a quadratic irrational, let
More informationPositive entries of stable matrices
Positive entries of stable matrices Shmuel Friedland Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago Chicago, Illinois 60607-7045, USA Daniel Hershkowitz,
More informationThe Weil bounds. 1 The Statement
The Weil bounds Topics in Finite Fields Fall 013) Rutgers University Swastik Kopparty Last modified: Thursday 16 th February, 017 1 The Statement As we suggested earlier, the original form of the Weil
More informationg(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.
6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral
More informationRINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS
RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove
More informationarxiv: v1 [math.nt] 16 Jan 2018
ROOTED TREE MAPS AND THE KAWASHIMA RELATIONS FOR MULTIPLE ZETA VALUES HENRIK BACHMANN AND TATSUSHI TANAKA arxiv:1801.05381v1 [math.nt] 16 Jan 2018 Abstract. Recently, inspired by the Connes-Kreimer Hopf
More informationOn Rankin-Cohen Brackets of Eigenforms
On Rankin-Cohen Brackets of Eigenforms Dominic Lanphier and Ramin Takloo-Bighash July 2, 2003 1 Introduction Let f and g be two modular forms of weights k and l on a congruence subgroup Γ. The n th Rankin-Cohen
More informationSome Fun with Divergent Series
Some Fun with Divergent Series 1. Preliminary Results We begin by examining the (divergent) infinite series S 1 = 1 + 2 + 3 + 4 + 5 + 6 + = k=1 k S 2 = 1 2 + 2 2 + 3 2 + 4 2 + 5 2 + 6 2 + = k=1 k 2 (i)
More informationDecomposition of a recursive family of polynomials
Decomposition of a recursive family of polynomials Andrej Dujella and Ivica Gusić Abstract We describe decomposition of polynomials f n := f n,b,a defined by f 0 := B, f 1 (x := x, f n+1 (x = xf n (x af
More informationCOMMUTATIVE RINGS. Definition 3: A domain is a commutative ring R that satisfies the cancellation law for multiplication:
COMMUTATIVE RINGS Definition 1: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative
More informationThe generalized order-k Fibonacci Pell sequence by matrix methods
Journal of Computational and Applied Mathematics 09 (007) 33 45 wwwelseviercom/locate/cam The generalized order- Fibonacci Pell sequence by matrix methods Emrah Kilic Mathematics Department, TOBB University
More informationUpper Bounds for Partitions into k-th Powers Elementary Methods
Int. J. Contemp. Math. Sciences, Vol. 4, 2009, no. 9, 433-438 Upper Bounds for Partitions into -th Powers Elementary Methods Rafael Jaimczu División Matemática, Universidad Nacional de Luján Buenos Aires,
More informationGROUP ACTIONS EMMANUEL KOWALSKI
GROUP ACTIONS EMMANUEL KOWALSKI Definition 1. Let G be a group and T a set. An action of G on T is a map a: G T T, that we denote a(g, t) = g t, such that (1) For all t T, we have e G t = t. (2) For all
More informationarxiv: v1 [cs.it] 12 Jun 2016
New Permutation Trinomials From Niho Exponents over Finite Fields with Even Characteristic arxiv:606.03768v [cs.it] 2 Jun 206 Nian Li and Tor Helleseth Abstract In this paper, a class of permutation trinomials
More informationTwo Remarks on Skew Tableaux
Two Remarks on Skew Tableaux The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Stanley, Richard P. "Two
More information#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz
#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS Lindsey Reinholz Department of Mathematics and Statistics, University of British Columbia Okanagan, Kelowna, BC, Canada, V1V 1V7. reinholz@interchange.ubc.ca
More informationCIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 4, No. 4, pp. 643-660, December 2000 CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS Xuding Zhu Abstract. This paper proves that for any integer n 4 and any rational number
More informationOn Generalized Fibonacci Polynomials and Bernoulli Numbers 1
1 3 47 6 3 11 Journal of Integer Sequences, Vol 8 005), Article 0553 On Generalized Fibonacci Polynomials and Bernoulli Numbers 1 Tianping Zhang Department of Mathematics Northwest University Xi an, Shaanxi
More informationA property concerning the Hadamard powers of inverse M-matrices
Linear Algebra and its Applications 381 (2004 53 60 www.elsevier.com/locate/laa A property concerning the Hadamard powers of inverse M-matrices Shencan Chen Department of Mathematics, Fuzhou University,
More informationOn the power-free parts of consecutive integers
ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the
More informationCHAPTER V Fermat s last theorem
5.1 Introduction. CHAPTER V Fermat s last theorem We discuss elementary methods approaches to Fermat s last theorem, in which the game is we do not use complex numbers. In this chapter we use methods available
More informationDEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS. George E. Andrews and Ken Ono. February 17, Introduction and Statement of Results
DEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS George E. Andrews and Ken Ono February 7, 2000.. Introduction and Statement of Results Dedekind s eta function ηz, defined by the infinite product ηz
More informationarxiv: v1 [math.nt] 23 Jan 2019
SOME NEW q-congruences FOR TRUNCATED BASIC HYPERGEOMETRIC SERIES arxiv:1901.07962v1 [math.nt] 23 Jan 2019 VICTOR J. W. GUO AND MICHAEL J. SCHLOSSER Abstract. We provide several new q-congruences for truncated
More informationTHE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I
J Korean Math Soc 46 (009), No, pp 95 311 THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I Sung Sik Woo Abstract The purpose of this paper is to identify the group of units of finite local rings of the
More informationOn the number of real classes in the finite projective linear and unitary groups
On the number of real classes in the finite projective linear and unitary groups Elena Amparo and C. Ryan Vinroot Abstract We show that for any n and q, the number of real conjugacy classes in PGL(n, F
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationOn the second Laplacian eigenvalues of trees of odd order
Linear Algebra and its Applications 419 2006) 475 485 www.elsevier.com/locate/laa On the second Laplacian eigenvalues of trees of odd order Jia-yu Shao, Li Zhang, Xi-ying Yuan Department of Applied Mathematics,
More informationDepartment of Mathematics, Nanjing University Nanjing , People s Republic of China
Proc Amer Math Soc 1382010, no 1, 37 46 SOME CONGRUENCES FOR THE SECOND-ORDER CATALAN NUMBERS Li-Lu Zhao, Hao Pan Zhi-Wei Sun Department of Mathematics, Naning University Naning 210093, People s Republic
More informationPOINT VALUES AND NORMALIZATION OF TWO-DIRECTION MULTIWAVELETS AND THEIR DERIVATIVES
November 1, 1 POINT VALUES AND NORMALIZATION OF TWO-DIRECTION MULTIWAVELETS AND THEIR DERIVATIVES FRITZ KEINERT AND SOON-GEOL KWON,1 Abstract Two-direction multiscaling functions φ and two-direction multiwavelets
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More information