Combinatorics of Necklaces and Hermite Reciprocity

Size: px
Start display at page:

Download "Combinatorics of Necklaces and Hermite Reciprocity"

Transcription

1 Joural of Algebraic Combiatorics 10 (1999), c 1999 Kluwer Acaemic Publishers. Maufacture i The Netherlas. Combiatorics of Necklaces a Hermite Reciprocity A. ELASHVILI alela@rmi.acet.ge M. JIBLADZE jib@rmi.acet.ge D. PATARAIA ito@rmi.acet.ge A. Razmaze Mathematical Istitute of the Georgia Acaemy of Scieces, M. Alexize St. 1, Tbilisi , Republic of Georgia Receive December 5, 1996; Revise March 26, 1998 Abstract. Combiatorial proof of a explicit formula for imesios of spaces of semi-ivariats of regular represetatios of fiite cyclic groups is obtaie. Usig bicolore ecklaces, a certai reciprocity law followig from this formula is also erive combiatorially. Keywors: partitio, ecklace, semi-ivariat, reciprocity Itrouctio The classical Hermite Reciprocity Law asserts the isomorphism S m S (k 2 ) = S S m (k 2 ) of symmetric powers of represetatios of the Lie group SL 2 (k) actig staarly o k 2, for a characteristic zero fiel k (see [6], Remark 12 by Popov i Appeix 3 of the Russia traslatio). I particular, the space of egree m polyomial ivariats of the irreucible ( + 1)-imesioal represetatio is equiimesioal with the space of egree ivariats of the irreucible (m + 1)-imesioal represetatio. Recetly i [3] there was obtaie a explicit formula for the imesio a 0 (, m) of the space of egree m homogeeous polyomial ivariats of the regular represetatio of the th orer cyclic group. This formula implies that a 0 (, m) = a 0 (m, ). I the preset paper, we give a combiatorial explaatio of a certai geeralizatio of this fact (see below), which we also call Hermite reciprocity. Relatioship with combiatorics stems from the observatio that, as show i [3], the umber a 0 (, m) coicies with the umber of solutios of the system 1 j=0 jλ j 0 (mo ); 1 λ i = m. (1) i=0 The first author is partially supporte by the INTAS Grat # The seco a thir authors are supporte by the ISF Grat MXH200 a by the INTAS Grat #

2 174 ELASHVILI, JIBLADZE AND PATARAIA Clearly this is the same as the total umber of partitios of multiples of ito o more tha m parts ot exceeig 1. Applyig combiatorial argumets oe ca obtai a formula for the umber a k (, m) of solutios of a eve more geeral system 1 j=0 jλ j k (mo ); 1 λ i = m (2) i=0 where k is ay oegative iteger. As a ki of illustratio let us reprouce the first few values of a k (, m) (compute usig the MAPLE package): (1) a 0 (, m), for 1, m 10: (2) a 1 (, m), for 1, m 10: Derivatio of a k (, m), give below, is aalogous to a proof for the a 0 (, m) commuicate to us by G. Arews. The expressio obtaie has all the avatages of a explicit formula, i particular it immeiately implies the equality a k (, m) = a k (m, ), which too

3 COMBINATORICS OF NECKLACES AND HERMITE RECIPROCITY 175 may be calle Hermite reciprocity. But the proof oes ot explai i ay way the reaso of this reciprocity. I the seco part of the paper we give oe of the possible explaatios for the equality. Namely: to ay solutio of (1) we assig a ecklace, i.e., a circular arragemet, cosistig of + m beas, of them black a m white, together with a chose orietatio a a basepoit somewhere betwee two ajacet beas. Thereafter, the equality a k (, m) = a k (m, ) turs out to follow from the existece of a ivolutio o the set of such ecklaces, actig by choosig opposite orietatio a swappig black a white. We must ote that i a private coversatio with the first author, N. Alo commuicate a proof ivolvig ecklaces, of a 0 (, m) = a 0 (m, ), whe a m are coprime. I the preset paper this iea has bee extee to the more geeral settig. The authors woul like to express their gratitue to Alo, Arews a Staley for valuable iformatio a iterest to the paper. They are grateful to the referee for careful reaig of the paper a fiig of several misprits i importat formulae. Everywhere i the sequel, for ay itegers, m, k,... their greatest commo ivisor will be eote by (, m, k,...); for > 0, we eote by (k) the resiue of k moulo, i.e., the umber etermie by 0 (k) <, (k) k(mo ). 1. Explicit formula Let us start with a purely formal expressio for a k (, m). Therefore recall that p(n, M, s), for ay itegers N, M, s, eotes the umber of partitios of s ito o more tha M parts, each ot exceeig N. The geeratig fuctio for these umbers, G(N, M; t) = s p(n, M, s)t s is the Gauss polyomial (see e.g., [1], 3.2). The, oe obviously has a k (, m) = j p( 1, m, j +k). (3) We shall also ee the efiitio of Ramauja sums (see e.g., [4], 17.6; for applicatios i umber theory see [5]). For ay a k, the Ramauja sum c (k) is the sum of kth powers of all primitive th roots of 1. I particular, c (0) = ϕ() (the Euler fuctio), c (1) = µ() (the Möbius fuctio). It is kow (a easily see usig Möbius iversio) that c (k) = (,k) ( ) µ. Also ote that this last equality obviously implies c (k) = c ((, k)), i particular, c ( k) = c (k). We the have the followig:

4 176 ELASHVILI, JIBLADZE AND PATARAIA Theorem 1 For ay itegers k,, m, ( ) a k (, m) = 1 / + m/ c (k) ; (4) + m / i particular a k (, m) = a k (m, ). (,m) Proof: By (3), a k (, m) equals the sum of coefficiets of G( 1, m; t) at those powers of t which are cogruet to k moulo. Now i geeral, give ay polyomial f (t) = f ν t ν, oe has f ν = 1 ζ k f (ζ ), ν k (mo ) ζ =1 the sum o the right ruig over all th roots of 1. This fact easily follows from the equality { if ν ζ ν = 0 otherwise. ζ =1 So i our case a k (, m) = 1 ζ k G( 1, m; ζ). ζ =1 Values of Gauss polyomials at roots of 1 are kow; see e.g., [7], Chapter 3, Exercise 45(b). I particular, for ay ζ = 1 which is a primitive th root of 1, for some, oe has ( ) m/ +/ 1 if m G( 1, m; ζ) = m/ 0 otherwise. Hece ( ) a k (, m) = 1 m/ + / 1 ζ k, m/ or(ζ )= m where or(ζ ) meas orer of the elemet ζ i the group of roots of 1. Now ζ has orer iff ζ is a primitive root of orer. Hece ( ) a k (, m) = 1 m/ + / 1 c ( k) m/ (,m) = 1 ( m+ 1 )! c (k)( 1)! m! (,m)

5 COMBINATORICS OF NECKLACES AND HERMITE RECIPROCITY 177 = 1 = 1 (,m) (,m) = 1 m + c (k) m+! m+! m! ( ) m/ + / c (k) m + / (,m) ( ) m/ + / c (k), / a the theorem follows. Remark Note that the formula obtaie implies, ue to the metioe properties of Ramauja sums, that there are may equalities betwee a k (, m) for fixe, m a various k. Namely, oe has a k (, m) = a (k,,m) (, m). For the sequel, let us fix two positive itegers, m a eote (, m) by. 2. Combiatorial proof of reciprocity I this sectio, we are goig to give aother, purely combiatorial proof of the equality a k (, m) = a k (m, ). Cosier the set { } 1,m = (λ 0,...,λ 1 ) N iλ i 0a λ i = m. We efie a actio of the cyclic group C = Z/Z of orer o,m by settig, for r Z/Z a λ = (λ 0,...,λ 1 ),m, rλ=(λ r,λ r+1,...,λ 1,λ 0,...,λ r 1 ). For ay λ,m, eote by t(λ) the miimal positive iteger with (t(λ)1)λ = λ, i.e., the umber of elemets i the orbit of λ uer the actio of C (1 is the elemet of Z/Z ={0,1,..., 1}). Deote /t(λ), i.e., orer of the stabilizer of λ uer this actio, by s(λ). Let,m be the quotiet,m /C a eote by π,m the quotiet map π,m :,m,m. Take ay α,m a λ π 1,m i=0 1 (α). Note that #(π,m(α)) = t(λ). Sice s(λ) oes ot epe o the choice of the iverse image of α, we may eote by s(α) the umber s(λ) for ay λ π 1,m (α).

6 178 ELASHVILI, JIBLADZE AND PATARAIA Let K,m be the mappig from,m to C etermie by K,m (λ 0,...,λ 1 )=(0 λ 0 +1 λ 1 + +( 1) λ 1 ). The it is clear that a k (, m) equals #(K 1,m (k)), for ay k C. Propositio 1 For ay r C,λ = (λ 0,...,λ 1 ),m oe has K,m (rλ) = K,m (λ) + r (m). Proof: The case r = 0 is obvious. For r = 1, oe has K,m (1 (λ 0,...,λ 1 )) = K,m (λ 1,λ 0,...,λ 2 ) = (0 λ 1 +1 λ 0 + +( 1)λ 2 ) For 1 < r <, oe has = (0 λ λ 1 + +( 2)λ 2 + ( 1)λ 1 + (λ 0 + +λ 2 ( 1)λ 1 )) = K,m (λ) + (λ 0 + +λ 2 +λ 1 λ 1 ) = K,m (λ) + 1 (m). K,m (rλ) = K,m (1...(1 λ)...)) = K }{{},m (λ) + (m) + +(m) }{{} r times r times = K,m (λ) + r (m) Deote by p the atural projectio from C to C ; for r Z/Z ={0,..., 1}, p (r)=(r). Sice ivies, this is clearly a group homomorphism. Defie ow the mappig K,m :,m C by assigig to α,m the elemet p (K,m(λ)) C, where λ is ay elemet of π,m 1 (α). Sice ivies m, by Propositio 1 the elemet p (K,m(λ)) oes ot epe o the choice of λ. So oe obtais a commutative iagram,m π,m K,m C p (5),m K,m C.

7 COMBINATORICS OF NECKLACES AND HERMITE RECIPROCITY 179 Propositio 2 Let α,m a K,m (α) = r C. The for ay r (p ) 1 (r) there are exactly /s(α) elemets i π,m 1 (α),m which are mappe to r by K,m. Proof: Cosier ay λ π,m 1 (α). By commutativity of (5), clearly p K,m(λ) = r. By Propositio 1, oe has K,m ((l 1)λ) = K,m (λ) + l (m) for ay l. Those l for which K,m ((l 1)λ) = K,m (λ), are precisely those for which l (m) = 0i Z/Z. Sice (, m) =, those l must be ivisible by /. So the miimal ozero l with K,m ((l 1)λ) = K,m (λ) is /. Hece for ay istict l 1, l 2 from the iterval [0; /[ oe has K,m ((l 1 1)λ) K,m ((l 2 1)λ). This implies, firstly, that t(λ) is ivisible by /, i.e., t(λ)/ = /s(λ) is iteger, a secoly, sice the iverse image of r uer p has / elemets, that whe l rus over the iterval [0; /], the K,m ((l 1)λ) will become each elemet of the iverse image of r uer p exactly oce. This meas that, for each r (p ) 1 (r), the umber of those 0 l < with K,m ((l 1)λ) = r equals. Hece the umber of those λ from π 1,m (α) with K,m(λ) = r equals /s(α). Cosier ow the set W+m, whose elemets are circular arragemets ( ecklaces ) of + m beas, of them black a m white. There has to be fixe orietatio of the circle, as well as a basepoit locate somewhere betwee two ajacet beas. Let ϒ+m be the subset of W +m cosistig of those arragemets for which the first bea alog the orietatio after the basepoit is black. Let us efie a actio of C o ϒ+m as follows: for β ϒ +m a r C, rβ will be the same arragemet as β but with the basepoit shifte couterorietatiowise exactly by the amout eee for the umber of passe black beas to become r. Deote ϒ+m /C by ϒ +m ;so ϒ +m is the set of arragemets as above, without ay basepoit, a cosiere up to rotatio. The atural projectio from ϒ+m to ϒ +m will be eote by π +m. For β ϒ+m, we eote by t(β) the miimal positive iteger with (t(β) 1)β = β. Clearly t(β) = t(rβ) for ay β ϒ+m a r C. The umber /t(β) will be eote by s(β). For ay γ ϒ +m, the umber s(β), for β (π +m ) 1 (γ ) oes ot epe o the choice of β; we will eote this umber by s(γ ). Let us costruct a map g+m : ϒ +m C. Take β ϒ+m a suppose that umbers of black beas i β, coute orietatiowise from the basepoit, are 1, r 2,...,r (by efiitio the first bea is black). The oe efies g+m (β) to be the elemet (1 + r 2 + +r ) (1+2+ +) of C. Now costruct the map g +m : ϒ +m C. Give ay γ ϒ +m, choose a basepoit o it somewhere betwee two ajacet beas. Suppose the umbers of the black beas coute orietatiowise w. r. t. this basepoit are r 1,...,r. Cosier the umber r 1 + +r. If oe woul choose a ifferet basepoit, each of the r i woul chage to r i i such a way

8 180 ELASHVILI, JIBLADZE AND PATARAIA that (r i r i ) +m woul be the same for all i; eote this resiue by. The (r 1 + +r ) +m =(r 1 + +r ) +m + a p +m ((r 1 + +r ) +m ) = p +m ((r 1 + +r ) +m)+ p +m ( ) = p +m ((r 1 + +r ) +m). So we may efie g +m = (r 1 + +r ) (1+ +). It is clear that the iagram ϒ +m g +m C π +m p ϒ +m g +m C commutes. Let us ow costruct a map w :,m ϒ +m. For λ = (λ 0,...,λ 1 ),m choose a orietatio a a basepoit o a circle; start movig from the basepoit orietatiowise a put the first black bea. The put ext λ 1 white beas a the ext black oe; agai put λ 2 white beas a the ext black oe a so o. O the ( 1)-th step, whe we will put λ 0 white beas there will be + m beas arrage the ext oe will be the black bea we starte with. So oe obtais a elemet of ϒ +m which we efie to be w(λ 0,...,λ 1 ). It is easy to see that w is a bijectio compatible with the actio of C. Moreover oe has the followig propositio. Propositio 3 The iagram,m w ϒ +m K,m g +m Z/Z commutes. Proof: Take (λ 0,...,λ 1 ),m. The i w(λ 0,...,λ 1 ), umbers of black beas coute from the basepoit orietatiowise will be 1, λ 1 +2,λ 2 +λ 1 +3,...,λ 1 + +λ 1 +.

9 COMBINATORICS OF NECKLACES AND HERMITE RECIPROCITY 181 Hece g +m (w(λ 0,...,λ 1 )) = = (1 + (λ 1 + 2) + (λ 2 + λ 1 + 3) + +(λ 1 + +λ 1 +)) (1 + +) = (( 1)λ 1 + ( 2)λ 2 + +λ 1 ) = (0 λ 0 + +( 1)λ 1 ) = K,m (λ 0,...,λ 1 ). Sice the bijectio w commutes with the actio of C, it iuces a bijectio w :,m ϒ +m, a moreover by Propositio 3 there is a commutative iagram,m π,m,m K,m w ϒ + m g +m π + m w ϒ + m g +m K,m (*) C p C Propositio 4 For ay r C, # ( K 1,m (r)) = γ ( g +m) 1 (p (r)) s(γ ). Proof: This is obvious from Propositio 2 a commutativity of (*). Let us ow costruct the map x : ϒ +m ϒ m +m as follows: for γ ϒ +m, efie the elemet x(γ ) ϒ +m m by reversig the orietatio a chagig black beas by white oes a vice versa.

10 182 ELASHVILI, JIBLADZE AND PATARAIA Propositio 5 The iagram ϒ +m x ϒ m +m commutes. g +m g m +m Z/Z Proof: Take ay γ ϒ +m a choose i it a basepoit betwee some ajacet beas. Choose the same basepoit i x(γ ). Suppose that i γ the umbers of black beas are b 1,...,b a those of white oes are c 1,...,c m. Sice each bea is either white or black, i.e., b 1 + +b +c 1 + +c m =1+ +(+m), c 1 + +c m =1+ +(+m) (b 1 + +b ). (6) Numbers of black beas i x(γ ) w.r.t. the ew orietatio will be + m + 1 c 1,...,+ m+1 c m. Hece g m +m (x(γ )) = ( + m + 1 c m+1 c m ) (1+ +m) = (m(+m+1) c 1 c m ) (1+ +m) = (c 1 + +c m ) (1+ +m) ( m) = (b 1 + +b ) (1+ +(+m)) (1 + +m) (by (6)) ( ) (+m)( + m + 1) m(m + 1) = (b 1 + +b ) ( = (b 1 + +b ) m(+m+1)+ (+1) ) 2 ( ) (+1) = (b 1 + +b ) ( m) 2 = (b 1 + +b ) (1+ +) = g+m (γ ). We have reache the goal of this sectio. Proof of a k (, m) = a k (m, ): Take ay C a m C m with ( ) = (m ) = k. By Propositio 4, # ( K 1,m ( ) ) = γ ϒ +m g +m (γ )= s(γ ).

11 COMBINATORICS OF NECKLACES AND HERMITE RECIPROCITY 183 Hece usig the isomorphism x : ϒ +m ϒ +m m oe obtais # ( K 1,m ( ) ) = It follows that = γ ϒ +m g +m (γ )= γ ϒ +m g +m m (x(γ ))= s(γ ) = γ ϒ +m g +m (γ )= s(x(γ )) = s(x(γ )) δ ϒ m +m g m +m (δ)= s(δ) = #( K 1 m, (m ) ). a k (, m) = # ( K 1,m ( ) ) = # ( K 1 m, (m ) ) = a k (m, ). 3. Aother proof of the formula Our ext task will be to obtai aother erivatio of the formula 4, a k (, m) = 1 + m +m! c (k)! m!, of a more combiatorial ature. Cosier the actio of C +m o the set W+m, uer which r C +m acts by shiftig the basepoit by r beas couterorietatiowise. Let W+m (k), for k C, be the subset of W+m cosistig of those elemets with ( ) r i i = k, i=1 i=1 where r 1,...,r are umbers of black beas coute orietatiowise from the basepoit. Propositio 6 W+m. The subset W +m (k) W +m is ivariat uer the actio of C +m o Proof: Take r C +m, a let γ be a elemet of W+m (k), umbers of black beas of γ beig r 1,...,r. The the umbers of black beas i rγ W+m will be r ε 1( +m)+r 1, r ε 2 ( + m) + r 2,...,r ε (+m)+r, where each ε i is 0 or 1 epeig o whether r i + r < + m or ot (i other wors, umbers of those beas ot passe by the basepoit will grow by r, while of those passe by r ( + m)). Hece the sum of umbers of black beas will become r ε i ( + m) + r i = r ( + m) i=1 ε i + i=1 r i. i=1

12 184 ELASHVILI, JIBLADZE AND PATARAIA So sice both a +m are ivisible by, the sum of umbers of black beas will remai the same moulo. Deote W+m (k)/c +m by W +m (k). Clearly W +m (k) ={γ ϒ +m g +m (γ ) = k}. The iverse image i W+m (k) of each γ W +m +m (k) has elemets, sice the patter s(γ ) of the arragemet γ is perioic with perio +m +m a there are possibilities to choose s(γ ) s(γ ) the basepoit. Hece # ( W +m (k)) = + m s(γ ). γ ϒ +m g +m m (γ )=k Comparig this with the formula from Propositio 4, # ( K 1,m ( ) ) = γ ϒ +m g +m (γ )=k s(γ ), oe coclues # ( K,m 1 ( ) ) = + m #( W +m (k)). (7) Let us calculate #(W+m (k)). Propositio 7 # ( W+m (k)) = 1 c (k) ( +m ). Proof: Cosier the polyomial P(x, t) = x (+1) 2 k (t + x)(t + x 2 ) (t +x +m ). After expaig P(x, t) a collectig the terms, the coefficiet at the moomial t m x l will be the umber of represetatios of t m x l = x (+1) 2 k t m x r 1 x r2 x r, where 0 < r 1 < < r +m with ( + 1) 2 k + j r j = l. Rewrite the last equality as r j j ( + 1) 2 k = l ( + 1);

13 COMBINATORICS OF NECKLACES AND HERMITE RECIPROCITY 185 sice ivies ( + 1), it is clear that the sum of these coefficiets at t m x l over all l with l will equal the umber of those sequeces 0 < r 1 < <r +m with ( r j j ) ( + 1) = k. 2 Assigig to such a sequece a arragemet from W+m with r 1,...,r as umbers of black beas, shows that the sum of these coefficiets equals #(W+m (k)). Let ζ = e 2πi (or ay other primitive th root of 1). Sice for ay iteger l oe has { if l ζ lj = 0 otherwise, j=1 it follows that #(W +m (k)) equals the coefficiet at t m of the polyomial P(t) = 1 P(ζ j, t). j=1 Cosier ow the polyomials P(ζ j, t) separately. Sice, oe has ζ j (+1) 2 = { 1 if is o or both a j 1 if is eve a j is o, i.e., ζ j (+1) 2 = ( 1) ( 1)j. Hece are eve, P(ζ j, t) = ( 1) ( 1)j ζ jk (t +ζ j )(t + ζ 2 j ) (t +ζ (+m)j ). Deotig t by s, oe obtais P(ζ j, t) = ( 1) ( 1)j ζ jk ( 1) +m( (s ζ j ) (s ζ (+m)(, j) (,j) j)) = ( 1) ( 1)j ++m ζ jk( s )(+m)(, j) (,j) 1. Now collect together the terms of P(t) = 1 P(ζ j, t) whose j s have the same gc with. Oe obtais P(t) = ( 1)+m ( s 1 ) (+m) ( j,)= ( 1) ( 1)j ζ jk.

14 186 ELASHVILI, JIBLADZE AND PATARAIA The sig term i the last sum is ( 1) ( 1)j = = { 1 if is eve a both a j are o, 1 otherwise, { 1 if is eve a both a = ( j, ) are o, 1 otherwise, = ( 1) ( 1) /. Hece P(t) = ( 1)+m = ( 1)+m = ( 1)+m ( 1) ( 1) ( 1) ( 1) ( 1) ( 1) So the coefficiet at t m i P(t) will be # ( W +m (k)) = ( 1)+m = ( 1) (s 1) (+m) ( j,)= ζ jk (s 1) (+m) c ( k) c ( k)(( 1) t 1) (+m). ( 1) ( 1) ( 1) c ( k) c ( k)( 1) m ( 1) ( ) +m ( +m ). Sice, the sig term i that last sum is ( 1) = ( 1). Hece # ( W+m (k)) = 1 c (k) ( +m ) (we have use the eviet equality c ( k) = c (k)). Remark A similar argumet for erivig a 0 (, m) has bee commuicate to us by Alo a Staley: for the role playe by our P(x, t), they use the fuctio (1 tx) 1 (1 tx 2 ) 1 (1 tx 1 ) 1.

15 COMBINATORICS OF NECKLACES AND HERMITE RECIPROCITY 187 We have reache the esire formula: iee, from (7) a a k (, m) = #(K,m 1 (k)) oe immeiately obtais a k (, m) = 1 + m c (k) ( +m ). 4. Some Fial Remarks Geeratig fuctios for a 0 (, m) metioe i [3] ca be easily geeralize: for ay iteger k oe has a,m=0 ζ k (s + t) a k (, m)x y m = 1,m=1 =1 c (k) log(1 x y ) a k (, m) s m t = ζ(s +t +1),m=1 ( +m 1)! s m t,! m! where ζ k (x) = k x (i particular ζ 0 (x) = ζ(x) is the Riema zeta fuctio). Let us ote also a relatioship of a k (, m) to free Lie algebras. Cosier a free Lie algebra Lie(x, y) o two geerators x, y over a characteristic zero fiel. The Th. 2(b) i [2], Ch. II, Sectio 3, o. 3 immeiately implies that for ay, m, a 1 (, m) = im(lie(x, y),m ), where (),m eotes the homogeeous compoet of biegree i x a m i y. We coul ot fi a explicit correspoece betwee geerators of the above Lie algebra a our ecklace iterpretatio of a 1 (, m). This coectio looks eve more iterestig i view of the fact that i a sese, all the a k may be reuce to a 1. Propositio 8 For ay, m, a k, a k (, m) = a 1 (/, m/ ). Proof: (,m,k) Oe calculates irectly: (,m,k) a 1 (/, m/ ) = (,m,k) = (,m) 1 / + m/ 1 + m (,k) (/,m/ ) µ(/ ) ( +m µ( ) ) ( ) +m

16 188 ELASHVILI, JIBLADZE AND PATARAIA = 1 + m (,m) c (k) ( +m ) = a k (, m). We o ot kow a combiatorial explaatio of this fact, either. Refereces 1. G.E. Arews, The theory of partitios, Ecyclopeia of Mathematics a Its Applicatios, G.-C. Rota, (E.), Aiso-Wesley, Reaig, MA, 1976, Vol N. Bourbaki, Groupes et algébres e Lie, Herma, Paris, A. Elashvili a M. Jiblaze, Hermite Reciprocity for regular represetatios of cyclic groups, Iag Mathem., N.S., 9(2), 1998, Higher Trasceetal Fuctios, Batema Mauscript Project, A. Erélyi (ir.), McGraw-Hill, New York, S. Ramauja, O certai trigoometrical sums a their applicatios i the theory of umbers, Tras. Camb. Phil. Soc., XXII(13) (1918), T. A. Spriger, Ivariat theory, Lecture Notes i Math., Vol. 585, Spriger-Verlag, Berli a New York, R. Staley, Eumerative Combiatorics, Vol. I, Wasworth & Brooks/Cole, Moterey, CA, 1986.

6.451 Principles of Digital Communication II Wednesday, March 9, 2005 MIT, Spring 2005 Handout #12. Problem Set 5 Solutions

6.451 Principles of Digital Communication II Wednesday, March 9, 2005 MIT, Spring 2005 Handout #12. Problem Set 5 Solutions 6.51 Priciples of Digital Commuicatio II Weesay, March 9, 2005 MIT, Sprig 2005 Haout #12 Problem Set 5 Solutios Problem 5.1 (Eucliea ivisio algorithm). (a) For the set F[x] of polyomials over ay fiel F,

More information

arxiv: v4 [math.co] 5 May 2011

arxiv: v4 [math.co] 5 May 2011 A PROBLEM OF ENUMERATION OF TWO-COLOR BRACELETS WITH SEVERAL VARIATIONS arxiv:07101370v4 [mathco] 5 May 011 VLADIMIR SHEVELEV Abstract We cosier the problem of eumeratio of icogruet two-color bracelets

More information

1 = 2 d x. n x n (mod d) d n

1 = 2 d x. n x n (mod d) d n HW2, Problem 3*: Use Dirichlet hyperbola metho to show that τ 2 + = 3 log + O. This ote presets the ifferet ieas suggeste by the stuets Daiel Klocker, Jürge Steiiger, Stefaia Ebli a Valerie Roiter for

More information

Math 155 (Lecture 3)

Math 155 (Lecture 3) Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,

More information

k=1 s k (x) (3) and that the corresponding infinite series may also converge; moreover, if it converges, then it defines a function S through its sum

k=1 s k (x) (3) and that the corresponding infinite series may also converge; moreover, if it converges, then it defines a function S through its sum 0. L Hôpital s rule You alreay kow from Lecture 0 that ay sequece {s k } iuces a sequece of fiite sums {S } through S = s k, a that if s k 0 as k the {S } may coverge to the it k= S = s s s 3 s 4 = s k.

More information

THE NUMBER OF IRREDUCIBLE POLYNOMIALS AND LYNDON WORDS WITH GIVEN TRACE

THE NUMBER OF IRREDUCIBLE POLYNOMIALS AND LYNDON WORDS WITH GIVEN TRACE SIM J. DISCRETE MTH. Vol. 14, No. 2, pp. 240 245 c 2001 Society for Iustrial a pplie Mathematics THE NUMBER OF IRREDUCIBLE POLYNOMILS ND LYNDON WORDS WITH GIVEN TRCE F. RUSKEY, C. R. MIERS, ND J. SWD bstract.

More information

Course : Algebraic Combinatorics

Course : Algebraic Combinatorics Course 18.312: Algebraic Combiatorics Lecture Notes # 18-19 Addedum by Gregg Musier March 18th - 20th, 2009 The followig material ca be foud i a umber of sources, icludig Sectios 7.3 7.5, 7.7, 7.10 7.11,

More information

GENERALIZED HARMONIC NUMBER IDENTITIES AND A RELATED MATRIX REPRESENTATION

GENERALIZED HARMONIC NUMBER IDENTITIES AND A RELATED MATRIX REPRESENTATION J Korea Math Soc 44 (2007), No 2, pp 487 498 GENERALIZED HARMONIC NUMBER IDENTITIES AND A RELATED MATRIX REPRESENTATION Gi-Sag Cheo ad Moawwad E A El-Miawy Reprited from the Joural of the Korea Mathematical

More information

Math 216A Notes, Week 3

Math 216A Notes, Week 3 Math 26A Notes Week 3 Scrie: Parker Williams Disclaimer: These otes are ot early as polishe (a quite possily ot early as correct as a pulishe paper. Please use them at your ow risk.. Posets a Möius iversio

More information

On triangular billiards

On triangular billiards O triagular billiars Abstract We prove a cojecture of Keyo a Smillie cocerig the oexistece of acute ratioal-agle triagles with the lattice property. MSC-iex: 58F99, 11N25 Keywors: Polygoal billiars, Veech

More information

A q-analogue of some binomial coefficient identities of Y. Sun

A q-analogue of some binomial coefficient identities of Y. Sun A -aalogue of some biomial coefficiet idetities of Y. Su arxiv:008.469v2 [math.co] 5 Apr 20 Victor J. W. Guo ad Da-Mei Yag 2 Departmet of Mathematics, East Chia Normal Uiversity Shaghai 200062, People

More information

(k) x n. n! tk = x a. (i) x p p! ti ) ( q 0. i 0. k A (i) n p

(k) x n. n! tk = x a. (i) x p p! ti ) ( q 0. i 0. k A (i) n p Math 880 Bigraded Classes & Stirlig Cycle Numbers Fall 206 Bigraded classes. Followig Flajolet-Sedgewic Ch. III, we defie a bigraded class A to be a set of combiatorial objects a A with two measures of

More information

Prime labeling of generalized Petersen graph

Prime labeling of generalized Petersen graph Iteratioal Joural of Mathematics a Soft Computig Vol.5, No.1 (015), 65-71. ISSN Prit : 49-338 Prime labelig of geeralize Peterse graph ISSN Olie: 319-515 U. M. Prajapati 1, S. J. Gajjar 1 Departmet of

More information

Sequences of Definite Integrals, Factorials and Double Factorials

Sequences of Definite Integrals, Factorials and Double Factorials 47 6 Joural of Iteger Sequeces, Vol. 8 (5), Article 5.4.6 Sequeces of Defiite Itegrals, Factorials ad Double Factorials Thierry Daa-Picard Departmet of Applied Mathematics Jerusalem College of Techology

More information

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity

More information

The structure of Fourier series

The structure of Fourier series The structure of Fourier series Valery P Dmitriyev Lomoosov Uiversity, Russia Date: February 3, 2011) Fourier series is costructe basig o the iea to moel the elemetary oscillatio 1, +1) by the expoetial

More information

A generalization of the Leibniz rule for derivatives

A generalization of the Leibniz rule for derivatives A geeralizatio of the Leibiz rule for erivatives R. DYBOWSKI School of Computig, Uiversity of East Loo, Docklas Campus, Loo E16 RD e-mail: ybowski@uel.ac.uk I will shamelessly tell you what my bottom lie

More information

Enumerative & Asymptotic Combinatorics

Enumerative & Asymptotic Combinatorics C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,

More information

REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS

REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]

More information

ALGEBRA HW 7 CLAY SHONKWILER

ALGEBRA HW 7 CLAY SHONKWILER ALGEBRA HW 7 CLAY SHONKWILER Prove, or isprove a salvage: If K is a fiel, a f(x) K[x] has o roots, the K[x]/(f(x)) is a fiel. Couter-example: Cosier the fiel K = Q a the polyomial f(x) = x 4 + 3x 2 + 2.

More information

Week 5-6: The Binomial Coefficients

Week 5-6: The Binomial Coefficients Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers

More information

Bertrand s Postulate

Bertrand s Postulate Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a

More information

Lecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) =

Lecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) = COMPSCI 230: Discrete Mathematics for Computer Sciece April 8, 2019 Lecturer: Debmalya Paigrahi Lecture 22 Scribe: Kevi Su 1 Overview I this lecture, we begi studyig the fudametals of coutig discrete objects.

More information

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014. Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the

More information

Weighted Gcd-Sum Functions

Weighted Gcd-Sum Functions 1 3 47 6 3 11 Joural of Iteger Sequeces, Vol. 14 (011), Article 11.7.7 Weighte Gc-Sum Fuctios László Tóth 1 Departmet of Mathematics Uiversity of Pécs Ifjúság u. 6 764 Pécs Hugary a Istitute of Mathematics,

More information

AP Calculus BC Review Chapter 12 (Sequences and Series), Part Two. n n th derivative of f at x = 5 is given by = x = approximates ( 6)

AP Calculus BC Review Chapter 12 (Sequences and Series), Part Two. n n th derivative of f at x = 5 is given by = x = approximates ( 6) AP Calculus BC Review Chapter (Sequeces a Series), Part Two Thigs to Kow a Be Able to Do Uersta the meaig of a power series cetere at either or a arbitrary a Uersta raii a itervals of covergece, a kow

More information

Bijective Proofs of Gould s and Rothe s Identities

Bijective Proofs of Gould s and Rothe s Identities ESI The Erwi Schrödiger Iteratioal Boltzmagasse 9 Istitute for Mathematical Physics A-1090 Wie, Austria Bijective Proofs of Gould s ad Rothe s Idetities Victor J. W. Guo Viea, Preprit ESI 2072 (2008 November

More information

The r-generalized Fibonacci Numbers and Polynomial Coefficients

The r-generalized Fibonacci Numbers and Polynomial Coefficients It. J. Cotemp. Math. Scieces, Vol. 3, 2008, o. 24, 1157-1163 The r-geeralized Fiboacci Numbers ad Polyomial Coefficiets Matthias Schork Camillo-Sitte-Weg 25 60488 Frakfurt, Germay mschork@member.ams.org,

More information

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163

More information

Math 2784 (or 2794W) University of Connecticut

Math 2784 (or 2794W) University of Connecticut ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really

More information

Generating Functions for Laguerre Type Polynomials. Group Theoretic method

Generating Functions for Laguerre Type Polynomials. Group Theoretic method It. Joural of Math. Aalysis, Vol. 4, 2010, o. 48, 257-266 Geeratig Fuctios for Laguerre Type Polyomials α of Two Variables L ( xy, ) by Usig Group Theoretic method Ajay K. Shula* ad Sriata K. Meher** *Departmet

More information

1 of 7 7/16/2009 6:06 AM Virtual Laboratories > 6. Radom Samples > 1 2 3 4 5 6 7 6. Order Statistics Defiitios Suppose agai that we have a basic radom experimet, ad that X is a real-valued radom variable

More information

An enumeration of flags in finite vector spaces

An enumeration of flags in finite vector spaces A eumeratio of flags i fiite vector spaces C Rya Viroot Departmet of Mathematics College of William ad Mary P O Box 8795 Williamsburg VA 23187 viroot@mathwmedu Submitted: Feb 2 2012; Accepted: Ju 27 2012;

More information

The Arakawa-Kaneko Zeta Function

The Arakawa-Kaneko Zeta Function The Arakawa-Kaeko Zeta Fuctio Marc-Atoie Coppo ad Berard Cadelpergher Nice Sophia Atipolis Uiversity Laboratoire Jea Alexadre Dieudoé Parc Valrose F-0608 Nice Cedex 2 FRANCE Marc-Atoie.COPPO@uice.fr Berard.CANDELPERGHER@uice.fr

More information

Harmonic Number Identities Via Euler s Transform

Harmonic Number Identities Via Euler s Transform 1 2 3 47 6 23 11 Joural of Iteger Sequeces, Vol. 12 2009), Article 09.6.1 Harmoic Number Idetities Via Euler s Trasform Khristo N. Boyadzhiev Departmet of Mathematics Ohio Norther Uiversity Ada, Ohio 45810

More information

Sparsification using Regular and Weighted. Graphs

Sparsification using Regular and Weighted. Graphs Sparsificatio usig Regular a Weighte 1 Graphs Aly El Gamal ECE Departmet a Cooriate Sciece Laboratory Uiversity of Illiois at Urbaa-Champaig Abstract We review the state of the art results o spectral approximatio

More information

Analytic Number Theory Solutions

Analytic Number Theory Solutions Aalytic Number Theory Solutios Sea Li Corell Uiversity sl6@corell.eu Ja. 03 Itrouctio This ocumet is a work-i-progress solutio maual for Tom Apostol s Itrouctio to Aalytic Number Theory. The solutios were

More information

New method for evaluating integrals involving orthogonal polynomials: Laguerre polynomial and Bessel function example

New method for evaluating integrals involving orthogonal polynomials: Laguerre polynomial and Bessel function example New metho for evaluatig itegrals ivolvig orthogoal polyomials: Laguerre polyomial a Bessel fuctio eample A. D. Alhaiari Shura Coucil, Riyah, Saui Arabia AND Physics Departmet, Kig Fah Uiversity of Petroleum

More information

1 Generating functions for balls in boxes

1 Generating functions for balls in boxes Math 566 Fall 05 Some otes o geeratig fuctios Give a sequece a 0, a, a,..., a,..., a geeratig fuctio some way of represetig the sequece as a fuctio. There are may ways to do this, with the most commo ways

More information

Algorithms in The Real World Fall 2002 Homework Assignment 2 Solutions

Algorithms in The Real World Fall 2002 Homework Assignment 2 Solutions Algorithms i The Real Worl Fall 00 Homewor Assigmet Solutios Problem. Suppose that a bipartite graph with oes o the left a oes o the right is costructe by coectig each oe o the left to raomly-selecte oes

More information

arxiv: v1 [math.co] 23 Mar 2016

arxiv: v1 [math.co] 23 Mar 2016 The umber of direct-sum decompositios of a fiite vector space arxiv:603.0769v [math.co] 23 Mar 206 David Ellerma Uiversity of Califoria at Riverside August 3, 208 Abstract The theory of q-aalogs develops

More information

subcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016

subcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016 subcaptiofot+=small,labelformat=pares,labelsep=space,skip=6pt,list=0,hypcap=0 subcaptio ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, /6/06. Self-cojugate Partitios Recall that, give a partitio λ, we may

More information

On Involutions which Preserve Natural Filtration

On Involutions which Preserve Natural Filtration Proceedigs of Istitute of Mathematics of NAS of Ukraie 00, Vol. 43, Part, 490 494 O Ivolutios which Preserve Natural Filtratio Alexader V. STRELETS Istitute of Mathematics of the NAS of Ukraie, 3 Tereshchekivska

More information

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3 MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special

More information

THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS

THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity

More information

Convergence of random variables. (telegram style notes) P.J.C. Spreij

Convergence of random variables. (telegram style notes) P.J.C. Spreij Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space

More information

(average number of points per unit length). Note that Equation (9B1) does not depend on the

(average number of points per unit length). Note that Equation (9B1) does not depend on the EE603 Class Notes 9/25/203 Joh Stesby Appeix 9-B: Raom Poisso Poits As iscusse i Chapter, let (t,t 2 ) eote the umber of Poisso raom poits i the iterval (t, t 2 ]. The quatity (t, t 2 ) is a o-egative-iteger-value

More information

CLOSED FORM FORMULA FOR THE NUMBER OF RESTRICTED COMPOSITIONS

CLOSED FORM FORMULA FOR THE NUMBER OF RESTRICTED COMPOSITIONS Submitted to the Bulleti of the Australia Mathematical Society doi:10.1017/s... CLOSED FORM FORMULA FOR THE NUMBER OF RESTRICTED COMPOSITIONS GAŠPER JAKLIČ, VITO VITRIH ad EMIL ŽAGAR Abstract I this paper,

More information

Unimodality of generalized Gaussian coefficients.

Unimodality of generalized Gaussian coefficients. Uimodality of geeralized Gaussia coefficiets. Aatol N. Kirillov Steklov Mathematical Istitute, Fotaka 7, St.Petersburg, 191011, Russia Jauary 1991 Abstract A combiatorial proof [ of] the uimodality of

More information

A Note on the Symmetric Powers of the Standard Representation of S n

A Note on the Symmetric Powers of the Standard Representation of S n A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,

More information

On the Inverse of a Certain Matrix Involving Binomial Coefficients

On the Inverse of a Certain Matrix Involving Binomial Coefficients It. J. Cotemp. Math. Scieces, Vol. 3, 008, o. 3, 5-56 O the Iverse of a Certai Matrix Ivolvig Biomial Coefficiets Yoshiari Iaba Kitakuwada Seior High School Keihokushimoyuge, Ukyo-ku, Kyoto, 60-0534, Japa

More information

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet

More information

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty

More information

Chapter 7 COMBINATIONS AND PERMUTATIONS. where we have the specific formula for the binomial coefficients:

Chapter 7 COMBINATIONS AND PERMUTATIONS. where we have the specific formula for the binomial coefficients: Chapter 7 COMBINATIONS AND PERMUTATIONS We have see i the previous chapter that (a + b) ca be writte as 0 a % a & b%þ% a & b %þ% b where we have the specific formula for the biomial coefficiets: '!!(&)!

More information

THE LEGENDRE POLYNOMIALS AND THEIR PROPERTIES. r If one now thinks of obtaining the potential of a distributed mass, the solution becomes-

THE LEGENDRE POLYNOMIALS AND THEIR PROPERTIES. r If one now thinks of obtaining the potential of a distributed mass, the solution becomes- THE LEGENDRE OLYNOMIALS AND THEIR ROERTIES The gravitatioal potetial ψ at a poit A at istace r from a poit mass locate at B ca be represete by the solutio of the Laplace equatio i spherical cooriates.

More information

Lecture XVI - Lifting of paths and homotopies

Lecture XVI - Lifting of paths and homotopies Lecture XVI - Liftig of paths ad homotopies I the last lecture we discussed the liftig problem ad proved that the lift if it exists is uiquely determied by its value at oe poit. I this lecture we shall

More information

Section 4.3. Boolean functions

Section 4.3. Boolean functions Sectio 4.3. Boolea fuctios Let us take aother look at the simplest o-trivial Boolea algebra, ({0}), the power-set algebra based o a oe-elemet set, chose here as {0}. This has two elemets, the empty set,

More information

The Binomial Theorem

The Binomial Theorem The Biomial Theorem Robert Marti Itroductio The Biomial Theorem is used to expad biomials, that is, brackets cosistig of two distict terms The formula for the Biomial Theorem is as follows: (a + b ( k

More information

A Combinatorial Proof of a Theorem of Katsuura

A Combinatorial Proof of a Theorem of Katsuura Mathematical Assoc. of America College Mathematics Joural 45:1 Jue 2, 2014 2:34 p.m. TSWLatexiaTemp 000017.tex A Combiatorial Proof of a Theorem of Katsuura Bria K. Miceli Bria Miceli (bmiceli@triity.edu)

More information

The minimum value and the L 1 norm of the Dirichlet kernel

The minimum value and the L 1 norm of the Dirichlet kernel The miimum value ad the L orm of the Dirichlet kerel For each positive iteger, defie the fuctio D (θ + ( cos θ + cos θ + + cos θ e iθ + + e iθ + e iθ + e + e iθ + e iθ + + e iθ which we call the (th Dirichlet

More information

a for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a

a for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a Math E-2b Lecture #8 Notes This week is all about determiats. We ll discuss how to defie them, how to calculate them, lear the allimportat property kow as multiliearity, ad show that a square matrix A

More information

Lesson 10: Limits and Continuity

Lesson 10: Limits and Continuity www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals

More information

CALCULATION OF FIBONACCI VECTORS

CALCULATION OF FIBONACCI VECTORS CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College

More information

A symmetrical Eulerian identity

A symmetrical Eulerian identity Joural of Combiatorics Volume 17, Number 1, 29 38, 2010 A symmetrical Euleria idetity Fa Chug, Ro Graham ad Do Kuth We give three proofs for the followig symmetrical idetity ivolvig biomial coefficiets

More information

Section 5.1 The Basics of Counting

Section 5.1 The Basics of Counting 1 Sectio 5.1 The Basics of Coutig Combiatorics, the study of arragemets of objects, is a importat part of discrete mathematics. I this chapter, we will lear basic techiques of coutig which has a lot of

More information

Commutativity in Permutation Groups

Commutativity in Permutation Groups Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are

More information

4 The Sperner property.

4 The Sperner property. 4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,

More information

The multiplicative structure of finite field and a construction of LRC

The multiplicative structure of finite field and a construction of LRC IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio

More information

Course : Algebraic Combinatorics

Course : Algebraic Combinatorics Course 8.32: Algebraic Combiatorics Lecture Notes # Addedum by Gregg Musier February 4th - 6th, 2009 Recurrece Relatios ad Geeratig Fuctios Give a ifiite sequece of umbers, a geeratig fuctio is a compact

More information

Lecture 4 The Simple Random Walk

Lecture 4 The Simple Random Walk Lecture 4: The Simple Radom Walk 1 of 9 Course: M36K Itro to Stochastic Processes Term: Fall 014 Istructor: Gorda Zitkovic Lecture 4 The Simple Radom Walk We have defied ad costructed a radom walk {X }

More information

David Vella, Skidmore College.

David Vella, Skidmore College. David Vella, Skidmore College dvella@skidmore.edu Geeratig Fuctios ad Expoetial Geeratig Fuctios Give a sequece {a } we ca associate to it two fuctios determied by power series: Its (ordiary) geeratig

More information

Math 61CM - Solutions to homework 3

Math 61CM - Solutions to homework 3 Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig

More information

Counting Well-Formed Parenthesizations Easily

Counting Well-Formed Parenthesizations Easily Coutig Well-Formed Parethesizatios Easily Pekka Kilpeläie Uiversity of Easter Filad School of Computig, Kuopio August 20, 2014 Abstract It is well kow that there is a oe-to-oe correspodece betwee ordered

More information

arxiv: v2 [math.nt] 9 May 2017

arxiv: v2 [math.nt] 9 May 2017 arxiv:6.42v2 [math.nt] 9 May 27 Itegral Represetatios of Equally Positive Iteger-Idexed Harmoic Sums at Ifiity Li Jiu Research Istitute for Symbolic Computatio Johaes Kepler Uiversity 44 Liz, Austria ljiu@risc.ui-liz.ac.at

More information

A Note on Matrix Rigidity

A Note on Matrix Rigidity A Note o Matrix Rigidity Joel Friedma Departmet of Computer Sciece Priceto Uiversity Priceto, NJ 08544 Jue 25, 1990 Revised October 25, 1991 Abstract I this paper we give a explicit costructio of matrices

More information

Chapter 2 Transformations and Expectations

Chapter 2 Transformations and Expectations Chapter Trasformatios a Epectatios Chapter Distributios of Fuctios of a Raom Variable Problem: Let be a raom variable with cf F ( ) If we efie ay fuctio of, say g( ) g( ) is also a raom variable whose

More information

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as

More information

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary

More information

Machine Learning for Data Science (CS 4786)

Machine Learning for Data Science (CS 4786) Machie Learig for Data Sciece CS 4786) Lecture & 3: Pricipal Compoet Aalysis The text i black outlies high level ideas. The text i blue provides simple mathematical details to derive or get to the algorithm

More information

w (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.

w (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ. 2 5. Weighted umber of late jobs 5.1. Release dates ad due dates: maximimizig the weight of o-time jobs Oce we add release dates, miimizig the umber of late jobs becomes a sigificatly harder problem. For

More information

SEQUENCES AND SERIES

SEQUENCES AND SERIES 9 SEQUENCES AND SERIES INTRODUCTION Sequeces have may importat applicatios i several spheres of huma activities Whe a collectio of objects is arraged i a defiite order such that it has a idetified first

More information

Math 104: Homework 2 solutions

Math 104: Homework 2 solutions Math 04: Homework solutios. A (0, ): Sice this is a ope iterval, the miimum is udefied, ad sice the set is ot bouded above, the maximum is also udefied. if A 0 ad sup A. B { m + : m, N}: This set does

More information

... and realizing that as n goes to infinity the two integrals should be equal. This yields the Wallis result-

... and realizing that as n goes to infinity the two integrals should be equal. This yields the Wallis result- INFINITE PRODUTS Oe defies a ifiite product as- F F F... F x [ F ] Takig the atural logarithm of each side oe has- l[ F x] l F l F l F l F... So that the iitial ifiite product will coverge oly if the sum

More information

Math 475, Problem Set #12: Answers

Math 475, Problem Set #12: Answers Math 475, Problem Set #12: Aswers A. Chapter 8, problem 12, parts (b) ad (d). (b) S # (, 2) = 2 2, sice, from amog the 2 ways of puttig elemets ito 2 distiguishable boxes, exactly 2 of them result i oe

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak

More information

arxiv: v1 [math.nt] 16 Nov 2009

arxiv: v1 [math.nt] 16 Nov 2009 Complete Bell polyomials ad ew geeralized idetities for polyomials of higher order arxiv:0911.3069v1 math.nt] 16 Nov 2009 Boris Rubistei, Stowers Istitute for Medical Research 1000 50th St., Kasas City,

More information

Zeros of Polynomials

Zeros of Polynomials Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree

More information

3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense,

3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense, 3. Z Trasform Referece: Etire Chapter 3 of text. Recall that the Fourier trasform (FT) of a DT sigal x [ ] is ω ( ) [ ] X e = j jω k = xe I order for the FT to exist i the fiite magitude sese, S = x [

More information

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios

More information

3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials

3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials Math 60 www.timetodare.com 3. Properties of Divisio 3.3 Zeros of Polyomials 3.4 Complex ad Ratioal Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered

More information

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4. 4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad

More information

Application to Random Graphs

Application to Random Graphs A Applicatio to Radom Graphs Brachig processes have a umber of iterestig ad importat applicatios. We shall cosider oe of the most famous of them, the Erdős-Réyi radom graph theory. 1 Defiitio A.1. Let

More information

On Divisibility concerning Binomial Coefficients

On Divisibility concerning Binomial Coefficients A talk give at the Natioal Chiao Tug Uiversity (Hsichu, Taiwa; August 5, 2010 O Divisibility cocerig Biomial Coefficiets Zhi-Wei Su Najig Uiversity Najig 210093, P. R. Chia zwsu@ju.edu.c http://math.ju.edu.c/

More information

Relations Among Algebras

Relations Among Algebras Itroductio to leee Algebra Lecture 6 CS786 Sprig 2004 February 9, 2004 Relatios Amog Algebras The otio of free algebra described i the previous lecture is a example of a more geeral pheomeo called adjuctio.

More information

A Combinatoric Proof and Generalization of Ferguson s Formula for k-generalized Fibonacci Numbers

A Combinatoric Proof and Generalization of Ferguson s Formula for k-generalized Fibonacci Numbers Jue 5 00 A Combiatoric Proof ad Geeralizatio of Ferguso s Formula for k-geeralized Fiboacci Numbers David Kessler 1 ad Jeremy Schiff 1 Departmet of Physics Departmet of Mathematics Bar-Ila Uiversity, Ramat

More information

On Elementary Methods to Evaluate Values of the Riemann Zeta Function and another Closely Related Infinite Series at Natural Numbers

On Elementary Methods to Evaluate Values of the Riemann Zeta Function and another Closely Related Infinite Series at Natural Numbers Global oural of Mathematical Sciece: Theory a Practical. SSN 97- Volume 5, Number, pp. 5-59 teratioal Reearch Publicatio Houe http://www.irphoue.com O Elemetary Metho to Evaluate Value of the Riema Zeta

More information

EDGE AND SECANT IDEALS OF SHARED-VERTEX GRAPHS

EDGE AND SECANT IDEALS OF SHARED-VERTEX GRAPHS EDGE AND SECANT IDEALS OF SHARED-VERTEX GRAPHS ZVI ROSEN Abstract. We examie miimal free resolutios ad Betti diagrams of the edge ad secat ideals of oe family of graphs. We demostrate how splittig the

More information

Linear chord diagrams with long chords

Linear chord diagrams with long chords Liear chord diagrams with log chords Everett Sulliva Departmet of Mathematics Dartmouth College Haover New Hampshire, U.S.A. everett..sulliva@dartmouth.edu Submitted: Feb 7, 2017; Accepted: Oct 7, 2017;

More information

Gaps between Consecutive Perfect Powers

Gaps between Consecutive Perfect Powers Iteratioal Mathematical Forum, Vol. 11, 016, o. 9, 49-437 HIKARI Lt, www.m-hikari.com http://x.oi.org/10.1988/imf.016.63 Gaps betwee Cosecutive Perfect Powers Rafael Jakimczuk Divisió Matemática, Uiversia

More information

The Growth of Functions. Theoretical Supplement

The Growth of Functions. Theoretical Supplement The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that

More information