A New Class of Hyper-bent Boolean Functions with Multiple Trace Terms

Size: px
Start display at page:

Download "A New Class of Hyper-bent Boolean Functions with Multiple Trace Terms"

Transcription

1 1 A New Class of Hyper-bet Boolea Fuctios with Multiple Trace Terms Baocheg Wag, Chumig Tag, Yafeg Qi, Yixia Yag, Maozhi Xu Abstract Itroduced by Rothaus i 1976 as iterestig combiatorial objects, bet fuctios are maximally oliear Boolea fuctios with eve umbers of variables whose Hammig distace to the set of all affie fuctios equals 1 ± 1. Not oly bet fuctios are applied i cryptography, such as applicatios i compoets of S-box, block cipher ad stream cipher, but also they have relatios to codig theory. Hece a lot of research have bee paid o them. Youssef ad Gog itroduced a ew class of bet fuctios the so-called hyper-bet fuctios which have stroger properties ad rarer elemets. It seems that hyper-bet fuctios are more difficult to geerate. Moreover, (hyper)-bet fuctios are ot classified. Charpi ad Gog studied a class of hyper-bet fuctios f defied o F by f = Tr 1 (a r x r(m 1) ), = m ad a r F, where R is a subset of a set of represetatives of the cyclotomic cosets modulo m +1 for which each coset has the full size. Further, Mesager cotributed to the kowledge of a class of hyper-bet fuctios f b defied over F by f b = Tr 1 (a r x r(m 1) ) + Tr 1(bx 1 3 ), b F 4, = m ad a r F m. I this paper, we study a ew class of the hyper-bet fuctios f b defied over F by f b = Tr 1 (a r x r(m 1) ) + Tr 4 1(bx 1 ), b F 16, = m ad a r F m. Idex Terms Boolea fuctios, bet fuctios, hyper-bet fuctios, Walsh-Hadamard traformatio, Dickso polyomials. I. INTRODUCTION Bet fuctios with eve umbers of variables are maximally oliear Boolea fuctios, that is, their hammig distace to the set of all affie fuctios equals 1 ± 1. Bet fuctios were defied ad amed by Rothaus [8] i the study of combiatorial objects. They have bee extesively studied for their applicatios i cryptography, but have also bee applied to spread spectrum, codig theory [3], [4] ad combiatorial desig. The recet study of bet fuctios alog with properties ad costructios of bet fuctios ca be foud i [], [11], [4]. A bet fuctio ca be seemed as a fuctio defied o F, F m F m, or F ( = m). Thaks to the differet structures of the vectorspace F ad the Galois field F, bet fuctios ca be well studied. However, it is ot yet clear o the geeral structure of bet fuctios over F. Further, it seems impossible to classify bet fuctios. As B. Wag ad Y, Yag are with Iformatio Security Ceter, Beijig Uiversity of Posts ad Telecommuicatios ad Research Ceter o fictitious Ecoomy ad Data Sciece, Chiese Academy of Scieces, Beijig, , Chia C. Tag, Y. Qi ad M. Xu are with Laboratory of Mathematics ad Applied Mathematics, School of Mathematical Scieces, Pekig Uiversity, , Chia C. Tag s tagchumigmath@163.com a result, may research works are devoted to the descriptio of ew class of bet fuctios [1], [6], [7], [9], [10], [1], [13], [18], [19], [], [3], [], [4], [6], [30]. Youssef ad Gog [9] itroduced a class of bet fuctios called hyperbet fuctios, which achieve the maximal miimum distace to all the coordiate fuctios of all bijective moomials (i.e., fuctios of the form Tr 1 (ax i ) + ϵ, gcd(c, 1) = 1). Actually, it is Gog ad Golomb [14] who, based o a property of the exteded Hadamard trasform of Boolea fuctios, preseted the defiitio of hyper-bet fuctios. The classificatio of hyper-bet fuctio has ot bee achieved yet. May related problems are still ope. May research focus o the characterizatio of betess of Boolea fuctios. The moomial bet fuctios i the form Tr 1 (ax s ) are cosidered i [1], [18]. Leader [18] described the ecessary coditios for s such that Tr 1 (ax s ) is a bet fuctio. I particular, whe s = r( m 1) ad (r, m + 1) = 1, the moomial fuctios Tr 1 (ax s ) (i.e., the Dillo fuctios) were extesively studied i [6], [9], [18]. A class of quadratic fuctios over F i polyomial form 1 i=1 a i Tr 1 (x 1+i ) + a Tr 1 (x +1 ) (a i F ) was described ad studied i [8], [1], [16], [17], [0], [30]. Dobberti et al. [1] costructed a class of biomial bet fuctios of the form Tr 1 (a 1 x s1 + a x s ), (a 1, a ) (F ) with Niho power fuctios. Garlet ad Mesaager [] studied the duals of the Niho bet fuctios i [1]. I [], [3], [6], Mesager cosidered the biomial fuctios of the form Tr 1 (ax r(m 1) ) + Tr 1(bx 1 3 ), where a F ad b F 4. The he gave the lik betwee the betess property of such fuctios ad Kloosterma sums. Leader ad Kholosha [19] geeralized oe of the costructios prove by Dobberti et al. [1] ad preseted a ew primary costructio of bet fuctios cosistig of a liear combiatio of r Niho expoets. Carlet et al. [4] computed the dual of the Niho bet fuctio with r expoets foud by Leader ad Kholosha [19] ad showed that this ew bet fuctio is ot of the Niho type. Charpi ad Gog [6] preseted a characterizatio of betess of Boolea fuctios over F of the form Tr 1 (a r x r(m 1) ), where R is a subset of the set of represetatives of the cyclotomic cosets modulo m + 1 of maximal size. These fuctios iclude the well-kow moomial fuctios with the Dillo expoet as a special case. The they described the betess of these fuctios with the Dickso polyomials. Mesager et al. [4], [] geeralized the results of Charpi ad Gog [6] ad cosidered the betess of Boolea fuctios over F of the

2 form Tr 1 (a r x r(m 1) ) + Tr 1(bx 1 3 ), where = m, a r F m ad b F 4. Further, they preseted the lik betwee the betess of such fuctios ad some expoetial sums (ivolvig Dickso polyomials). I this paper, we cosider a class of Boolea fuctios over F i D. These Boolea fuctios are give by the form Tr 1 (a r x r(m 1) ) + Tr 4 1(bx 1 ), where = m, m (mod 4), a r F m ad b F 16. Whe b = 0, Charpi ad Gog [6] described the betess ad hyper-betess of these fuctios with some character sums ivolvig Dickso polyomial. Geerally, it is elusive to give a characterizatio of betess ad hyper-betess of Boolea fuctios i D. This paper presets the betess ad hyper-betess of fuctios i D i two cases: (1) b = 1 ad b 4 + b + 1 = 0; () a r F m. The rest of the paper is orgaized as follows. I Sectio II, we give some otatios ad review some kowledge o bet fuctios. I Sectio III, we cosider the betess ad hyper-betess of Boolea fuctios i D i two cases: (1) b = 1 ad b 4 + b + 1 = 0; () a r F m. The betess ad hyper-betess of these fuctios for the two cases are related to some character sums ivolvig Dickso polyomials ad some equatios o the weights of some Boolea fuctios. I Sectio IV, we list some examples. Fially, Sectio V makes a coclusio for the paper. II. PRELIMINARIES Let be a positive iteger. F is a -dimesioal vector space defied over fiite field F. Take two vectors i F x = (x 1,, x ) ad y = (y 1,, x ). Their dot product is defied by x, y := x i y i. i=1 F is a fiite field with elemets ad F is the multiplicative group of F. Let F k be a subfield of F. The trace fuctio from F to F k, deoted by Tr k, is a map defied as Tr k(x) := x + x k + x k + + x k. Whe k = 1, Tr 1 is called the absolute trace. The trace fuctio Tr k satisfies the followig properties. Tr k(ax + by) = atr k(x) + btr k(y), a, b F k, x, y F. Tr k(x k ) = Tr k(x), x F. Whe F k F r F, the trace fuctio Tr k satisfies the followig trasitivity property. Tr k(x) = Tr r k(tr r (x)), x F. A Boolea fuctio over F or F is a F -valued fuctio. The absolute trace fuctio is a useful tool i costructig Boolea fuctios over F. From the absolute trace fuctio, a dot product over F is defied by x, y := Tr 1 (xy), x, y F. A Boolea fuctio over F is ofte represeted by the algebraic ormal form (ANF): f(x 1,, x ) = x i ), a I F. i I a I ( I {1,,} i I Whe I =, let = 1. The terms x i are called moomials. The algebraic degree of a Boolea fuctio f is the globe degree of its ANF, that is, deg(f) := max{#(i) a I 0}, where #(I) is the order of I ad #( ) = 0. Aother represetatio of a Boolea fuctio is of the form f(x) = 1 j=0 i I a j x j. I order to make f a Boolea fuctio, we should require a 0, a 1 F ad a j = a j, where j is take modulo 1. This makes that f ca be represeted by a trace expasio of the form f(x) = 1 (a j x j ) + ϵ(1 + x 1 ) j Γ Tr o(j) called its polyomial form, where Γ is the set of itegers obtaied by choosig oe elemet i each cyclotomic class of module 1 (j is ofte chose as the smallest elemet i its cyclotomic class, called the coset leader of the class); o(j) is the size of the cyclotomic coset of modulo 1 cotaiig j; a j F o(j); ϵ = wt(f) (mod ), where wt(f) := #{x F f(x) = 1}. Let wt (j) be the umber of 1 s i its biary expasio. The {, ϵ = 1 deg(f) = max{wt (j) a j 0}, ϵ = 0. The sig fuctio of f is defied by χ(f) := ( 1) f. Whe f is a Boolea fuctio over F, the Walsh Hadamard trasform of f is the discrete Fourier trasform of χ(f), whose value at w F is defied by χ f (w) := ( 1) f(x)+ w,x. x F Whe f is a Boolea fuctio over F, the Walsh Hadamard trasform of f is defied by χ f (w) := ( 1) f(x)+tr 1 (wx), x F where w F. The we ca defie the bet fuctios. Defiitio A Boolea fuctio f : F F is called a bet fuctio, if χ f (w) = ± ( w F ). If f is a bet fuctio, must be eve. Further, deg(f) []. Hyper-bet fuctios are a importat subclass of bet fuctios. The defiitio of hyper-bet fuctios is give below.

3 3 Defiitio A bet fuctio f : F F is called a hyperbet fuctio, if, for ay i satisfyig (i, 1) = 1, f(x i ) is also a bet fuctio. [3] ad [9] proved that if f is a hyper-bet fuctio, the deg(f) =. For a bet fuctio f, wt(f) is eve. The ϵ = 0, that is, f(x) = 1 (a j x j ). j Γ Tr o(j) If a Boolea fuctio f is defied o F F, the we have a class of bet fuctios. Defiitio The Maioraa-McFarlad class M is the set of all the Boolea fuctios f defied o F F of the form f(x, y) = x, π(y) + g(y), where x, y F, π is a permutatio of F ad g(x) is a Boolea fuctio over F. For Boolea fuctios over F F, we have a class of hyper-bet fuctios PS ap [3]. Defiitio Let = m, the PS ap class is the set of all the Boolea fuctios of the form f(x, y) = g( x y ), where x, y F m ad g is a balaced Boolea fuctios (i.e., wt(f) = m 1 ) ad g(0) = 0. Whe y = 0, let x y = = 0. xy Each Boolea fuctio f i PS ap satisfies f(βz) = f(z) ad f(0) = 0, where β F m ad z F m F m. Youssef ad Gog [9] studied these fuctios over F ad gave the followig property. Propositio.1: Let = m, α be a primitive elemet i F ad f be a Boolea fuctio over F such that f(α m +1 x) = f(x)( x F ) ad f(0) = 0, the f is a hyper-bet fuctio if ad oly if the weight of (f(1),f(α), f(α ),, f(α m )) is m 1. Further, [3] proved the followig result. Propositio.: Let f be a Boolea fuctio defied i Propositio.1. If f(1) = 0, the f is i PS ap. If f(1) = 1, the there exists a Boolea fuctio g i PS ap ad δ F satisfyig f(x) = g(δx). Let PS # ap be the set of hyper-bet fuctios i the form of g(δx), where g(x) PS ap, δ F ad g(δ) = 1. Charpi ad Gog expressed Propositio. i a differet versio below. Propositio.3: Let = m, α be a primitive elemet of F ad f be a Boolea fuctio over F satisfyig f(α m+1 x) = f(x) ( x F ) ad f(0) = 0. Let ξ be a primitive m + 1-th root i F. The f is a hyper-bet fuctio if ad oly if the cardiality of the set {i f(ξ i ) = 1, 0 i m } is m 1. I fact, Dillo [9] itroduced a bigger class of bet fuctios the Partial Spreads class PS tha PS ap ad PS # ap. Theorem.4: Let E i (i = 1,,, N) be N subspaces i F of dimesio m such that E i E j = {0} for all i, j {1,, N} with i j. Let f be a Boolea fuctio over F. If the support of f is give by supp(f) = N Ei, where i=1 E i = E i \{0}, the f is a bet fuctio if ad oly if N = m 1. The set of all the fuctios i Theorem.4 is defied by PS. Now we recall the kowledge of Dickso polyomials over F. For r > 0, Dickso polyomials are give by D r (x) = r i=0 r r i ( r i i ) x r i, r =, 3,. Further, Dickso polyomials ca be also defied by the followig recurrece relatio. with iitial values D i+ (x) = xd i+1 + D i (x) D 0 (x) = 0, D 1 (x) = x. Some properties of Dickso polyomials are give below. deg(d r (x)) = r. D rp (x) = D r (D p (x)). D r (x + x 1 ) = x r + x r. The first few Dickso polyomials with odd r are D 1 (x) = x, D 3 (x) = x + x 3, D 7 (x) = x + x + x 7, D 9 (x) = x + x + x 7 + x 9, D 11 (x) = x + x 3 + x + x 9 + x 11. III. THE BENTNESS OF A NEW CLASS OF BOOLEAN FUNCTIONS WITH MULTIPLE TRACE TERMS A. Boolea fuctios i D Let = m ad m (mod 4). Let E be the set of represetig elemets i each cyclotomic class of module 1. Let D be the set of Boolea fuctios f b over F of the form f b (x) := Tr 1 (a r x r(m 1) ) + Tr 4 1(bx 1 ) (1) where R E, a r is i F m ad b F 16. Note that the cyclotomic coset of module 1 cotaiig 1 is { 1, 1, 1, 3 1 }. The its size is 4, that is, o( 1 ) = 4. Hece, the Boolea fuctio f b is ot i the class cosidered by Charpi ad Gog [6]. From m (mod 4), m (mod ). The every Boolea fuctio f b satisfies f b (α m +1 x) = f b (x), x F, where α is a primitive elemet of F. Note that f b (0) = 0. The the hyper-betess of f b ca be characterized by the followig propositio. Propositio 3.1: Let f b D. Set the character sum of the form Λ(f b ) := u U χ(f b (u)) () where U is the group of m +1-th roots of uity i F, that is, U = {x F x m +1 = 1}. The f b is a hyper-bet fuctio if ad oly if Λ(f b ) = 1. Further, a hyper-bet fuctio f b lies i PS ap if ad oly if Tr 4 1(b) = 0.

4 4 Proof: From Propositio.3, we have that f b is a hyperbet fuctio if ad oly if its restrictio to U has Hammig weight m 1. From the defiitio of Λ(f b ), Λ(f b ) = x U χ(f b (u)) = #{u U f b (u) = 0} #{u f b (u) = 1} = #U #{u f b (u) = 1} = m + 1 #{u f b (u) = 1}. Hece, the restrictio of f b to U has Hammig weight m 1 if ad oly if Λ(f b ) = 1. As a result, f b is a hyper-bet fuctio if ad oly if Λ(f b ) = 1. As for the secod part of the propositio, we compute f b (1) = Tr 1 (a r ) + Tr 4 1(b) = Tr m 1 (a r + a m r ) + Tr 4 1(b) =Tr 4 1(b). Hece, f b (1) = 0 if ad oly if Tr 4 1(b) = 0. From Propositio., we have a hyper-bet fuctio f b lies i PS ap if ad oly if Tr 4 1(b) = 0. B. The characterizatio of Boolea fuctios i D Our goal is to preset a characterizatio of hyper-betess of Boolea fuctios f b (b 0) i D. I this sectio we aalyze properties of Λ(f b ) for the characterizatio. We ow give some otatios first. Let α be a primitive elemet i F. The β = α 1 is a primitive -th root of uity i U ad U is a cyclic group geerated by ξ = α m 1. Let V be a cyclic group geerated by α (m 1). The U = 4 i=0ξ i V, F = F m U. Next, we itroduce the character sums Note that S i = χ(f 0 (ξ i v)). S 0 + S 1 + S + S 3 + S 4 = u U χ(f 0 (u)) = Λ(f 0 ). (3) For ay iteger i, S i = S i (mod ). The followig lemma gives the property of S i. Lemma 3.: S 1 = S 4, S = S 3. Proof: Noth that Tr 1 (x m ) = Tr 1 (x), the S i = = χ( Tr 1 (a r (ξ i v) r(m 1) )) χ( Tr 1 (a m r (ξ im v m ) r(m 1) )). From a r F m, a m r = a r. Sice m (mod 4) ad m 1 (mod ), hece i m i (mod ) ad ξ im v m = ξ i (ξ i(m +1) v m ), where ξ i(m +1) V. The map v ξ i(m +1) v m is a permutatio of V. Cosequetly, S i = χ( Tr 1 (a r (ξ i v) r(m 1) )) = S i. We just take i = 1,. The this lemma follows. From Lemma 3. ad (3), the followig corollary follows. Corollary 3.3: S 0 + (S 1 + S ) = Λ(f 0 ). Geerally, Λ(f b ) is a liear combiatio of S 0, S 1 ad S. Propositio 3.4: Λ(f b ) ca be expressed by a liear combiatio of S 0, S 1 ad S, that is, Λ(f b ) =χ(tr 4 1(b))S 0 + (χ(tr 4 1(bβ )) + χ(tr 4 1(bβ 3 )))S 1 + (χ(tr 4 1(bβ)) + χ(tr 4 1(bβ 4 )))S. Proof: From (), we have Λ(f b ) = u U = u U 4 = = = i=0 χ(f 0 (u) + Tr 4 1(bu 1 )) χ(tr 4 1(bu 1 ))χ(f 0 (u)) 4 i=0 χ(tr 4 1(b(ξ i v) 1 ))χ(f 0 (ξ i v)) (From (3)) χ(tr 4 1(b(α i(m 1) ) 1 ))χ(f 0 (ξ i v)) (ξ = α m 1 ) 4 χ(tr 4 1(bβ i(m 1) ))χ(f 0 (ξ i v)) i=0 (β = α 1 ) Sice m (mod ), hece m 1 3 (mod ). We have 4 Λ(f b ) = χ(tr 4 1(bβ 3i ))χ(f 0 (ξ i v)) = i=0 4 i=0 χ(tr 4 1(bβ 3i )) From the defiitio of S i, we obtai 4 Λ(f b ) = χ(tr 4 1(bβ 3i ))S i. i=0 χ(f 0 (ξ i v)) From Lemma 3., this propositio follows. Assume that a r F m 1 for every r R, where m 1 = m/. Further, we have the followig propositio. Propositio 3.: Assume a r F m 1, where r R, m 1 = m/, the S 1 = S, S 0 + 4S 1 = Λ(f 0 ). Proof: From a r F m 1, Tr 1 (a r x r(m 1) ) = Tr 1 (a r x m 1 r( m 1) ). The we have S i = = I particular, take i = 1, the S 1 = χ( Tr 1 (a r (ξ i v) r(m 1) )) χ( Tr 1 (a r (ξ m 1 i v m 1 ) r(m 1) )). χ( Tr 1 (a r (ξ m 1 v m 1 ) r(m 1) )).

5 Sice m (mod ), ( m1 ) 1 (mod ) ad m 1 ± (mod ). Whe m 1 (mod ), the The map S 1 = χ( Tr 1 (a r (ξ ξ m 1 v m 1 ) r(m 1) )). v ξ m 1 v m 1 is a permutatio of V. Cosequetly, S 1 = χ( Tr 1 (a r (ξ v) r(m 1) )) = S. Whe m 1 (mod ), we ca similarly obtai S 1 = S 3. As a result, S 1 = S. From Corollary 3.3, S 0 + 4S 1 = Λ(f 0 ). For Λ(f b ), the propositio below gives some properties. Propositio 3.6: Λ(f b ) satisfies the followig properties. (1) Λ(f b 4) = Λ(f b ). () If b a primitive elemet i F 16 Λ(f b ) = Λ(f b ) = S 0. ad Tr 4 1(b) = 0, the Proof: From b F 16, Tr 4 1(b 4 ) = Tr 4 1(b). Further, Tr 4 1(b(β + β 3 )) = Tr 4 1(b 4 (β 8 + β 1 )) = Tr 4 1(b 4 (β + β 3 )) ad Tr 4 1(b(β + β 4 )) = Tr 4 1(b 4 (β 4 + β 16 )) = Tr 4 1(b 4 (β + β 4 )). From the expressios of Λ(f b 4) ad Λ(f b ) i Propositio 3.4, Λ(f b 4) = Λ(f b ). () For a elemet b i F 16 such that Tr 4 1(b) = 0, it is easy to verify that b satisfies the followig equatio. Hece, we have b 4 + b + 1 = 0. Tr 4 1(b(β + β 3 )) =Tr 1(b 4 (β + β 3 ) + b(β + β 3 )) =Tr 1((b + b 4 )(β + β 3 )) =Tr 1(β + β 3 ). The miimal polyomial of β over F is β 4 +β 3 +β +β+1 = 0. Hece, Tr 1(β + β 3 ) = β + β 3 + β 4 + β 6 = 1. The we have Tr 4 1(b(β + β 3 )) = 1. Similarly, Tr 4 1(b(β + β 4 )) = 1. Therefore, we obtai χ(tr 4 1(bβ )) + χ(tr 4 1(bβ 3 )) = 0 ad χ(tr 4 1(bβ)) + χ(tr 4 1(bβ 4 )) = 0. From Propositio 3.4, Λ(f b ) = S 0. If b is a primitive elemet i F 16 such that Tr 4 1(b) = 0, b is also a primitive elemet i F 16 such that Tr 4 1(b) = 0. Naturally, we obtai Λ(f b ) = Λ(f b ) = S 0. I fact, we have more explicit results o Λ(f b ). Propositio 3.7: Let b F 16, the (1) If b = 1, the Λ(f b ) = S 0 (S 1 + S ) = S 0 Λ(f 0 ). () If b {β + β, β + β 3, β + β 4, β 3 + β 4 }, that is, b is a primitive elemet such that Tr 4 1(b) = 0, the Λ(f b ) = S 0. (3) If b = β or β 4, the Λ(f b ) = S 0 S 1. (4) If b = β or β 3, the Λ(f b ) = S 0 S. () If b = 1 + β or 1 + β 4, the Λ(f b ) = S 0 + S 1. (6) If b = 1 + β or 1 + β 3, the Λ(f b ) = S 0 + S. (7) If b = β + β 4, the Λ(f b ) = S 0 + S 1 S. (8) If b = β + β 3, the Λ(f b ) = S 0 S 1 + S. Proof: From the expressio of Λ(f b ) i Propositio 3.4, these results follows. Assume that a r F m 1 for every r R. We have more simplified results tha Propositio 3.7. Propositio 3.8: Assume that a r F m 1, where r R, the (1) If b = 1, the Λ(f b ) = S 0 Λ(f 0 ). () If b {β, β, β 3, β 4 }, the Λ(f b ) = S 0 S 1 = S 0+Λ(f 0 ). (3) If b {1 + β, 1 + β, 1 + β 3, 1 + β 4 }, the Λ(f b ) = S 0 + S 1 = 3S0 Λ(f0). (4) If b {β+β, β+β 3, β +β 4, β 3 +β 4, β+β 4, β +β 3 }, the Λ(f b ) = S 0. Proof: Propositio 3. gives that S 1 = S. From Propositio 3.7, these results i Propositio 3.8 follow. Corollary 3.9: Assume a r F m 1, where r R, the Λ(f b ) = Λ(f b ). Proof: From Propositio 3.8, this corollary follows. To characterize the hyper-betess of f b with character sums over F m, we ow itroduce some results o the character sums by Mesager []. Lemma 3.10: Let = m. f 0 is the fuctio over F defied by (1) with b = 0. Let g 0 be a Boolea fuctio defied o F m by g 0 (x) = Tr m 1 (a r D r (x)), where D r (x) is the Dickso polyomial of degree r. U is the group of m +1-th roots of uity i F. The for ay positive iteger p, we have χ(f 0 (u p )) = 1 + χ(g 0 (D p (x))). u U From Lemma 3.10, we have the followig propositio. Propositio 3.11: f b is the fuctio defied by (1). Let g 0 be a Boolea fuctio defied o F m by g 0 (x) = Tr m 1 (a r D r (x)), (4) where D r (x) is the Dickso polyomial of degree r. The (1) If b is a primitive elemet i F 16 such that Tr 4 1(b) = 0, the Λ(f b ) = 1 [1 + χ(g 0 (D (x)))]. () If b = 1, the Λ(f b ) = 1 [4 10 χ(g 0 (D (x))) χ(g 0 (x)) 3].

6 6 Proof: (1) From Propositio 3.7, whe b is the primitive elemet such that Tr 4 1(b) = 0, we have Λ(f b ) = S 0 = From Lemma 3.10, we obtai Λ(f b ) = 1 [1 + χ(f 0 (v)) = 1 χ(f 0 (u )). u U χ(g 0 (D (x)))]. () From Propositio 3.7, whe b = 1, we have Λ(f b ) =S 0 Λ(f 0 ) From Lemma3.10, we obtai = χ(f 0 (v)) χ(f 0 (u)) u U = χ(f 0 (u )) χ(f 0 (u)). u U u U Λ(f b ) = [1 + [1 + = 1 [4 10 χ(g 0 (D (x)))] χ(g 0 (x))] χ(g 0 (D (x))) χ(g 0 (x)) 3]. To have aother versio of Propositio 3.11, we first itroduce the followig lemma. Lemma 3.1: For ay Boolea fuctio g(x) over F m, χ(g(x)) = 1 [ χ(g(x)) χ(tr m 1 (x 1 ) + g(x))]. Proof: For ay x, y F, χ(x + y) = χ(x) + χ(y). The we have χ(g(x)) χ(tr m 1 (x 1 ) + g(x)) = = + = χ(g(x)) χ(g(x)) ( χ(tr m 1 (x 1 ))χ(g(x)),tr m 1 (x 1 )=0 ( 1)χ(g(x))) χ(g(x)). χ(g(x)) Hece, this lemma follows. Propositio 3.13: f b ad g 0 are fuctios defied by (1) ad (4) respectively. The, (1) If b is a primitive elemet i F 16 such that Tr 4 1(b) = 0, the Λ(f b ) = 1 [1 + χ(g 0 (D (x))) () If b = 1, the Λ(f b ) = 1 [ χ(tr m 1 (x 1 ) + g 0 (D (x)))]. χ(g 0 (D (x))) +g 0 (D (x))) + χ(g 0 (x)) χ(tr m 1 (x 1 ) + g 0 (x)) 3]. χ(tr m 1 (x 1 ) Proof: From Propositio 3.11 ad 3.1, this propositio follows. Note that for ay Boolea fuctio g(x) over F m, χ(g(x)) = m wt(g(x)). Hece, we have the followig corollary. Corollary 3.14: f b ad g 0 are fuctios defied by (1) ad (4) respectively. The, (1) If b is a primitive elemet i F 16 such that Tr 4 1(b) = 0, the Λ(f 0 ) = 1 [1+wt(Trm 1 (x 1 )+g 0 (D (x))) wt(g 0 (D (x)))]. () If b = 1, the Λ(f 0 ) = 1 [4wt(Trm 1 (x 1 ) + g 0 (D (x))) 4wt(g 0 (D (x))) + 10wt(g 0 (x)) 10wt(Tr m 1 (x 1 ) + g 0 (x)) 3]. Proof: From Propositio 3.13, this corollary follows. C. The hyper-betess of Boolea fuctios i D I this subsectio, we give a characterizatio of hyperbetess of Boolea fuctios i D. Theorem 3.1: Let = m ad m (mod 4). Let b is a primitive elemet i F 16 such that Tr 4 1(b) = 0, that is, b 4 + b + 1 = 0. f b is the fuctio defied o F by (1). Let g 0 be a Boolea fuctio defied o F m by g 0 (x) = x R Trm 1 (a r D r (x)), where D r (x) is the Dickso polyomial of degree r. The, the followig assertios are equivalet. (1) f b is hyper-bet. () χ(g 0 (D (x))) =. (3) wt(tr m 1 (x 1 ) + g 0 (D (x))) wt(g 0 (D (x))) =, where Tr m 1 (x 1 ) + g 0 (D (x)) ad g 0 (D (x)) are fuctios over F m. Proof: From Propositio 3.1, Propositio 3.11 ad Corollary 3.14, this theorem follows. Whe b = 1, we have the followig theorem. Theorem 3.16: Let = m ad m (mod 4). f 1 is the fuctio defied o F by (1) with b = 1. Let g 0 be a Boolea fuctio defied o F m by g 0 (x) = x R Trm 1 (a r D r (x)),

7 7 where D r (x) is the Dickso polyomial of degree r. The, the followig assertios are equivalet. (1) f 1 is hyper-bet. () χ(g 0 (D (x))) χ(g 0 (x)) = 4. (3) wt(tr m 1 (x 1 ) + g 0 (D (x))) wt(g 0 (D (x))) + wt(g 0 (x)) wt(tr m 1 (x 1 ) + g 0 (x)) = 4. Proof: From Propositio 3.1, Propositio 3.11 ad Corollary 3.14, this theorem follows. The followig propositio gives relatios of the hyperbetess of differet fuctios i D. Propositio 3.17: Let = m ad m (mod 4). Let d be a positive iteger coprime to m +1. Let b be a primitive elemet i F 16 such that Tr 4 1(b) = 0, that is, b 4 +b+1 = 0. f b is the fuctio defied by (1). Let h b be a Boolea fuctio defied by Tr 1 (a r x dr(m 1) ) + Tr 4 1(bx 1 ), where a r F m. The, h b is hyper-bet if ad oly if f b is hyper-bet. Proof: From Propositio 3.1 ad () i Propositio 3.7, h b is hyper-bet if ad oly if χ(h 0 (v)) = 1 for the fuctio h 0 = Tr 1 (a r x dr(m 1) ). Sice d ad the cardiality of V m +1 are coprime, the map v v d is a permutatio of V. Therefore, χ(h 0 (v)) = χ( Tr 1 (a r v dr(m 1) )) = χ( Tr 1 (a r v r( 1) )) = χ(f 0 (v)). Cosequetly, χ(h 0(v)) = 1 if ad oly if χ(f 0 (v)) = 1. From Propositio 3.1 ad () i Propositio 3.7, h b is hyper-bet if ad oly if f b is hyper-bet. Whe b = 1, we have the followig propositio. Propositio 3.18: Let = m ad m (mod 4). Let d be a positive iteger coprime to m + 1. f 1 is the fuctio defied by (1) with b = 1. Let h 1 be a Boolea fuctio defied by Tr 1 (a r x dr(m 1) ) + Tr 4 1(x 1 ), where a r F m. The, h 1 is hyper-bet if ad oly if f 1 is hyper-bet. Proof: Set h 0 = Tr 1 (a r x dr( 1) ). From Propositio 3.1 ad (1) i Propositio 3.7, h 1 is hyper-bet if ad oly if χ(h 0 (v)) χ(h 0 (u)) = 1. From the process u U of proof i Propositio 3.17, χ(h 0 (v)) = χ(f 0 (v)). Sice (d, m + 1) = 1, we ca have u U χ(h 0 (u)) = u U χ(f 0 (u)). Therefore, h 1 is hyper-bet if ad oly if f 1 is hyper-bet. Further, we assume d i Propositio The we ca get the followig propositio. Propositio 3.19: Let = m ad m (mod 4). Let d be a positive iteger coprime to m +1 ad d. Let b be a primitive elemet i F 16 such that Tr 4 1(b) = 0, that is, b 4 +b+ 1 = 0. f b is the fuctio defied by (1). Let h b be a Boolea fuctio defied by Tr 1 (a r x dr(m 1) ) + Tr 4 1(b x 1 ), () where b F 16. The (1) h 0 ad h β i(i = 0, 1,, 3, 4) are ot bet fuctios, where β is the primitive -th root of uity i F 16. () h b (b F 16 \{0, 1, β, β, β 3, β 4 }) have the same hyper-betess. Further, they are hyper-bet if ad oly if f b is hyper-bet. Proof: Set h 0 (x) = Tr 1 (a r x d(m 1) ). Let S i := χ(h 0 (ξ i v)). The S i = χ( Tr 1 (a r (ξ id v d ) r(m 1) )). Sice d ad (d, m +1 ) = 1, the map v ξ id v d is a permutatio of V. Therefore, S i = χ( Tr 1 (a r v r(m 1) )) = χ(f 0 (v)) = S 0. From (3), Λ(h 0 ) = S i = S 0. From (1), (3) ad (4) i Propositio 3.7, Λ(h β i) = 3S 0. Obviously, S 0 ad 3S 0 are ot equal to 1. Sice S 0 is odd. From Propositio 3.1, h 0 ad h β i(i = 0, 1,, 3, 4) are ot bet fuctios. From (), (), (6), (7) ad (8) i Propositio 3.7, whe b F 16 \{0, 1, β, β, β 3, β 4 }, Λ(h b ) = S 0 = S 0. The from Propositio 3.1 ad () i 3.7, () i this propositio follows. Assume a r F m 1 for ay r R. We have the hyperbetess of f b (b {β, β, β 3, β 4 }) i the followig theorem. Theorem 3.0: Let = m, m (mod 4) ad m = m 1. Let b {β, β, β 3, β 4 }. f b is the fuctio defied o F by (1), where a r F m 1 ad r R. Let g 0 be a Boolea fuctio over F m defied by g 0 (x) = Tr m 1 (a r D r (x)), where D r (x) is the Dickso polyomial of degree r. The the followig assertios are equivalet. (1) f b is hyper-bet. () χ(g 0 (D (x))) + χ(g 0 (x)) = 8. (3) wt(tr m 1 (x 1 ) + g 0 (D (x))) wt(g 0 (D (x))) + wt(tr m 1 (x 1 ) + g 0 (x)) wt(g 0 (x)) = 8. Proof: From () i Propositio 3.8, Λ(f b ) = 1 (S 0 + Λ(f 0 )) = 1 (S 0 Λ(f 0 )) 3 S 0. From (1) i Propositio

8 8 3.7 ad () Propositio 3.11, S 0 Λ(f 0 ) = 1 [4 χ(g 0 (D (x))) 10 χ(g 0 (x)) 3]. (6) The from (6) ad (7), Λ(f b ) = 1 [3 χ(g 0 (D (x))) χ(g 0 (x)) 1]. From () i Propositio 3.7 ad (1) i 3.11, Hece, S 0 = 1 [1 + Λ(f b ) = 1 [ + χ(g 0 (D (x)))]. (7) χ(g 0 (D (x))) χ(g 0 (x)) + 3]. The from Propositio 3.1, f b is hyper-bet if ad oly if () i this theorem holds. Further, from Propositio 3.11 ad Corollary 3.14, χ(g 0 (D (x))) =wt(tr m 1 (x 1 ) + g 0 (D (x))) ad wt(g 0 (D (x))) (8) χ(g 0 (x)) =wt(tr m 1 (x 1 ) + g 0 (x)) wt(g 0 (x)) (9) Cosequetly, assertios () ad (3) i this theorem are equivalet. Hece, this theorem follows. If b {1 + β, 1 + β, 1 + β 3, 1 + β 4 }, we have the followig theorem correspodig to Theorem 3.0. Theorem 3.1: Let = m, m (mod 4) ad m = m 1. Let b {1 + β, 1 + β, 1 + β 3, 1 + β 4 }, that is, b is the primitive elemet i F 16 such that Tr 4 1(b) = 1. f b is the fuctio over F by (1), where a r F m 1 ad r R. Let g 0 be a Boolea fuctio defied o F m by g 0 (x) = Tr m 1 (a r D r (x)), where D r (x) is the Dickso polyomial of degree r. The the followig assertios are equivalet. (1) f b is hyper-bet. () 3 χ(g 0 (D (x))) χ(g 0 (x)) = 4. (3) 3wt(Tr m 1 (x 1 ) + g 0 (D (x))) 3wt(g 0 (D (x))) wt(tr m 1 (x 1 ) + g 0 (x)) + wt(g 0 (x)) = 4. Proof: From (3) i Propositio 3.8, Λ(f b ) = 1 (3S 0 Λ(f 0 )) = 1 (S 0 Λ(f 0 )) 1 S 0. From Propositio 3.1, f b is hyper-bet if ad oly if () i this theorem holds. Further, from (8) ad (9), f b is hyper-bet if ad oly if (3) i this theorem holds. Hece, this theorem follows. If b {β+β, β+β 3, β +β 4, β 3 +β 4, β+β 4, β +β 3 }, we have the followig theorem correspodig to Theorem 3.0. Theorem 3.: Let = m, m (mod 4) ad m = m 1. Let b {β+β, β+β 3, β +β 4, β 3 +β 4, β+β 4, β +β 3 }, that is, b is the primitive elemet such that Tr m 1 (b) = 1 or a primitive 3-th root of uity. f b is the fuctio over F by (1), where a r F m 1 ad r R. Let g 0 be a Boolea fuctio defied o F m by g 0 (x) = Tr m 1 (a r D r (x)), where D r (x) is the Dickso polyomial of degree r. The f b is hyper-bet if ad oly if () ad (3) i Theorem 3.1 hold. Proof: From (4) i Propositio 3.8, Λ(f b ) = S 0. Hece, from Theorem 3.1, this theorem follows. IV. EXAMPLES OF HYPER-BENT FUNCTIONS IN D I this sectio, we list some istaces of hyper-bet fuctios i D. Let m 1 = 3, the m = 6 ad = 1. F 6 = F [x]/(x 6 + x 4 +x 3 +x+1), F 4 = F [x]/(x 4 +x+1), Let α 6 be a root of x 6 + x 4 + x 3 + x + 1 = 0. Let α 4 be a root of x 4 + x + 1 = 0. Take R = {1}, a 1 = α6 3 ad b = α 4 i (1). From Theorem 3.1, we have a hyper-bet fuctio of the form Tr 1 1 (α6 3 x m 1 ) + Tr 4 1(α 4 x 1 ). Take R = {1, 3}, a 1 = 1, a 3 = α 17 6 ad b = α 4 i (1). From Theorem 3.1, we have a hyper-bet fuctio of the form Tr 1 1 (x m 1 ) + Tr 1 1 (α6 17 x 3(m 1) ) + Tr 4 1(x 1 ). Take R = {1}, a 1 = 1 ad b = β i (1). From Theorem 3.0, we have a hyper-bet fuctio of the form Tr 1 1 (x m 1 ) + Tr 4 1(βx 1 ), where β is a primitive -th root of uity i F 16. Fially, take d =, R = {1} ad a 1 = α6 11 i (). From Propositio 3.19, we have a hyper-bet fuctio of the form Tr 1 1 (α6 11 x ( 1) ) + Tr 4 1(bx 1 ), where b F 16 \{0, 1, β, β, β 3, β 4 }.

9 9 V. CONCLUSION I this paper, we cosider a ew class of Boolea fuctios with multiple trace terms D. With some restrictios, we preset the characterizatio of hyper-betess of fuctios i D. We give a lik betwee hyper-bet fuctios of D ad some character sums ivolvig Dickso polyomials. Further, we relate hyper-betess of fuctios i D to some equatios o weights of Boolea fuctios ivolvig Dickso polyomials. This characterizatio of hyper-betess of fuctios i D provides more hyper-bet fuctios ad eriches the theory of hyper-bet fuctios. Naturally, further study o the characterizatio is to ivestigate the hyper-betess i other cases, such as (1) a r F m ad b F 16 \{b (b+1)(b 4 +b+1) = 0}; ()for some of r, a r F \ F m. ACKNOWLEDGMENT Baocheg Wag ad Yixia Yag ackowledge support from Natioal Sciece Foudatio of Chia Iovative Grat ( ), the CAS/SAFEA Iteratioal Partership Program for Creative Research Teams. Chugmig Tag, Yafeg Qi ad Maozhi Xu ackowledge support from the Natural Sciece Foudatio of Chia (Grat No & No ). REFERENCES [1] A. Cateaut, P. Charpi, ad G. Kyureghya, A ew class of moomial bet fuctios, Fiite Fields Applicat., vol. 14, o. 1, pp 1-41, 008. [] C. Carlet, Boolea fuctios for cryptography ad error correctig codes, i Chapter of the Moography Boolea Models ad Method i Mathematics, Computer Sciece, ad Egieerig, Y. Crama ad P. L. Hammer, Eds. Cambridge, U.K.: Cambridge Uiv. Press, 010 pp [3] C. Carlet ad P. Gaborit, Hyperbet fuctios ad cyclic codes, J Combi. Theory, ser. A, vol. 113, o. 3, pp , 006. [4] C. Carlet, T. Helleseth, A. Kholosha, ad S. Mesager, O the Dual of the Niho Bet Fuctios with r Expoets, Iformatio Theory Proceedigs (ISIT), 011 IEEE Iteratioal Symposium o, vol., o., 011 pp [] C. Carlet ad S. Mesager, O Dillo s Class H of Bet Fuctios Niho Bet Fuctios ad o-polyomials, Joural of Combiatorial Theory, Series A Volume 118, Issue 8, November 011, Pages [6] P. Charpi ad G. Gog, Hyperbet fuctios, Kloosterma sums ad Dickso polyomials, IEEE Tras. If. Theory, vol. 9, o. 4, pp , 008. [7] P. Charpi ad G. Kyureghya, Cubic moomial bet fuctios: A subclass of M, SIAM J. Discr. Math., vol., o., pp [8] P. Charpi, E. Pasalic, ad C. Taverier, O bet ad semi-be quadratic Boolea fuctios, IEEE Tras. If. Theory, vol. 1, o 1, pp , 00. [9] J. Dillo, Elemetary Hadamard Differece Sets, Ph.D., Uiv.Marylad, [10] J. F. Dillo ad H. Dobberti, New cyclic differece sets with Siger parameters, Fiite Fields Applicat., vol. 10, o. 3, pp , 004. [11] H. Dobberti ad G. Leader, T. Helleseth, Ed. et al., A survey of some recet results o bet fuctios, i SETA 004, 00, vol. 3486, LNCS, pp [1] H. Dobberti, G. Leader, A. Cateaut, C. Carlet, P. Felke, ad P. Gaborit, Costructio of bet fuctios via Niho power fuctios, J. Combi. Theory, ser. A, vol. 113, pp , 006. [13] R. Gold, Maximal recursive sequeces with 3-valued recursive crosscorrelatio fuctios, IEEE Tras. If. Theory, vol. 14, o. 1, pp , [14] G. Gog ad S. W. Golomb, Trasform domai aalysis of DES, IEEE Tras. If. Theory, vol. 4, o. 6, pp , [1] H.Hu ad D. Feg, O quadratic bet fuctios i polyomial forms, IEEE Tras. If. Theory, vol. 3, o. 7, pp , 007. [16] T. Kasami, Weight eumerators for several classes of subcodes of the d-order ReedCMuller codes, If. Cotr., vol. 18, pp , [17] S. H. Kim ad J. S. No, New families of biary sequeces with low correlatio, IEEE Tras. If.. Theory, vol. 49, o. 11, pp , 003. [18] G. Leader, Moomial bet fuctios, IEEE Tras. If. Theory, vol., o., pp , 006. [19] G. Leader ad A.Kholosha, Bet fuctios with r Niho expoets, IEEE Tras. If. Theory, vol., o. 1, pp. 9-3, 006. [0] W. Ma, M. Lee, ad F. Zhag, A ew class of bet fuctios, IEICE Tras. Fud., vol. E88-A, o. 7, pp , 00. [1] R. L. McFarlad, A family of ocyclic differece sets, J. Combi. Theory, ser. A, o. 1, pp. 1-10, [] S. Mesager, A ew class of bet boolea fuctios i polyomial forms, i Proc. It. Workshop o Codig ad Cryptography, WCC 009, 009, pp [3] S. Mesager, A ew class of bet ad hyper-bet boolea fuctios i polyomial forms, Des. Codes Cryptography, 9(1-3):6-79, 011 [4] S. Mesager, Bet ad Hyper-Bet Fuctios i Polyomial Form ad Their Lik With Some Expoetial Sums ad Dickso Polyomials, IEEE Tras. If. Theory, vol. 7, o. 9, pp , 011 [] S.Mesager, M. A. Hasa ad T. Helleseth, Eds., Hyper-bet boolea fuctios with multiple trace terms, i Proc. It. Workshop o the Arithmetic of Fiite Fields. WAIFI 010, Heidelberg, 010, vol. LNCS 6087, pp [6] S. Mesager, M. G. Parker, Ed., A ew family of hyper-bet boolea fuctios i polyomial form, i Proc. Twelfth It. Cof. Cryptography ad Codig, Cirecester, Uited Kigdom. IMACC 009, Heidelberg, Germay, 009, vol. 91, LNCS, pp [7] G. L. Mulle, R. Lidl, ad G. Turwald, Dickso Polyomials. Readig, MA: Addiso-Wesley, 1993, vol. 6, Pitma Moographs i Pure ad Applied Mathematics. [8] O. S. Rothaus, O bet fuctios, J. Combi. Theory, ser. A, vol. 0, pp , [9] A. M. Youssef ad G. Gog, Hyper-bet fuctios, i Advaces i Crypology C Eurocrypt01, 001, LNCS, pp [30] N. Y. Yu ad G. Gog, Costructio of quadratic bet fuctios i polyomial forms, IEEE Tras. If. Theory, vol. 7, o., pp , 006.

A new class of hyper-bent functions and Kloosterman sums

A new class of hyper-bent functions and Kloosterman sums A ew class of hyper-bet fuctios ad Kloosterma sums Chumig Tag, Yafeg Qi 1 Abstract This paper is devoted to the characterizatio of hyper-bet fuctios Several classes of hyper-bet fuctios have bee studied,

More information

gcd(n, k) = 1 Kwang Ho Kim 1 and Sihem Mesnager 2 Pyongyang, Democratic People s Republic of Korea

gcd(n, k) = 1 Kwang Ho Kim 1 and Sihem Mesnager 2 Pyongyang, Democratic People s Republic of Korea Solvig x 2k + + x + a = 0 i F 2 gcd, k = with Kwag Ho Kim ad Sihem Mesager 2 Istitute of Mathematics, State Academy of Scieces ad PGItech Corp., Pyogyag, Democratic People s Republic of Korea khk.cryptech@gmail.com

More information

Constructing hyper-bent functions from Boolean functions with the Walsh spectrum taking the same value twice

Constructing hyper-bent functions from Boolean functions with the Walsh spectrum taking the same value twice Noname manuscript No. (will be inserted by the editor) Constructing hyper-bent functions from Boolean functions with the Walsh spectrum taking the same value twice Chunming Tang Yanfeng Qi Received: date

More information

On the Linear Complexity of Feedback Registers

On the Linear Complexity of Feedback Registers O the Liear Complexity of Feedback Registers A. H. Cha M. Goresky A. Klapper Northeaster Uiversity Abstract I this paper, we study sequeces geerated by arbitrary feedback registers (ot ecessarily feedback

More information

A New Bound between Higher Order Nonlinearity and Algebraic Immunity

A New Bound between Higher Order Nonlinearity and Algebraic Immunity Available olie at wwwsciecedirectcom Procedia Egieerig 9 (01) 788 79 01 Iteratioal Workshop o Iformatio ad Electroics Egieerig (IWIEE) A New Boud betwee Higher Order Noliearity ad Algebraic Immuity Xueyig

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

NEW SELF-DUAL [54, 27, 10] CODES EXTENDED FROM [52, 26, 10] CODES 1. v (denoted by wt( v ) ) is the number

NEW SELF-DUAL [54, 27, 10] CODES EXTENDED FROM [52, 26, 10] CODES 1. v (denoted by wt( v ) ) is the number NEW SELF-DUAL [54, 7, 10] CODES EXTENDED FROM [5, 6, 10] CODES 1 Nikolay I. Yakov ABSTRACT: Usig [5, 6, 10] biary self-dual codes, possesig a automorphism of order 3, we costruct ew [54, 7, 10] biary self-dual

More information

ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS. 1. Introduction

ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS. 1. Introduction t m Mathematical Publicatios DOI: 10.1515/tmmp-2016-0033 Tatra Mt. Math. Publ. 67 (2016, 93 98 ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS Otokar Grošek Viliam Hromada ABSTRACT. I this paper we study

More information

-BENT FUNCTIONS. Abstract

-BENT FUNCTIONS. Abstract Advaces ad Applicatios i Discrete Mathematics Volume 3, Number 1, 009, Pages 1-46 Published Olie: March 30, 009 This paper is available olie at http://www.pphmj.com 009 Pushpa Publishig House GF ( ) -BENT

More information

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + 62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

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

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

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

Riesz-Fischer Sequences and Lower Frame Bounds

Riesz-Fischer Sequences and Lower Frame Bounds Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 1 (00), No., 305 314 Riesz-Fischer Sequeces ad Lower Frame Bouds P. Casazza, O. Christese, S. Li ad A. Lider Abstract.

More information

ON MONOTONICITY OF SOME COMBINATORIAL SEQUENCES

ON MONOTONICITY OF SOME COMBINATORIAL SEQUENCES Publ. Math. Debrece 8504, o. 3-4, 85 95. ON MONOTONICITY OF SOME COMBINATORIAL SEQUENCES QING-HU HOU*, ZHI-WEI SUN** AND HAOMIN WEN Abstract. We cofirm Su s cojecture that F / F 4 is strictly decreasig

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

Discrete-Time Systems, LTI Systems, and Discrete-Time Convolution

Discrete-Time Systems, LTI Systems, and Discrete-Time Convolution EEL5: Discrete-Time Sigals ad Systems. Itroductio I this set of otes, we begi our mathematical treatmet of discrete-time s. As show i Figure, a discrete-time operates or trasforms some iput sequece x [

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

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

Annihilators of Fast Discrete Fourier Spectra Attacks

Annihilators of Fast Discrete Fourier Spectra Attacks Aihilators of Fast Discrete Fourier Spectra Attacks Jigjig Wag 1, Kefei Che 1,2, Shixiog Zhu 3 1 Departmet of Computer Sciece ad Egieerig, Shaghai Jiaotog Uiversity, Shaghai, Chia {wagjigjig, kfche}@sjtu.edu.c

More information

Some remarks for codes and lattices over imaginary quadratic

Some remarks for codes and lattices over imaginary quadratic Some remarks for codes ad lattices over imagiary quadratic fields Toy Shaska Oaklad Uiversity, Rochester, MI, USA. Caleb Shor Wester New Eglad Uiversity, Sprigfield, MA, USA. shaska@oaklad.edu Abstract

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

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

PAijpam.eu ON DERIVATION OF RATIONAL SOLUTIONS OF BABBAGE S FUNCTIONAL EQUATION

PAijpam.eu ON DERIVATION OF RATIONAL SOLUTIONS OF BABBAGE S FUNCTIONAL EQUATION Iteratioal Joural of Pure ad Applied Mathematics Volume 94 No. 204, 9-20 ISSN: 3-8080 (prited versio); ISSN: 34-3395 (o-lie versio) url: http://www.ijpam.eu doi: http://dx.doi.org/0.2732/ijpam.v94i.2 PAijpam.eu

More information

Explicit Maximal and Minimal Curves over Finite Fields of Odd Characteristics

Explicit Maximal and Minimal Curves over Finite Fields of Odd Characteristics Explicit Maximal ad Miimal Curves over Fiite Fields of Odd Characteristics Ferruh Ozbudak, Zülfükar Saygı To cite this versio: Ferruh Ozbudak, Zülfükar Saygı. Explicit Maximal ad Miimal Curves over Fiite

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

TEACHER CERTIFICATION STUDY GUIDE

TEACHER CERTIFICATION STUDY GUIDE COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra

More information

Research Article A Note on Ergodicity of Systems with the Asymptotic Average Shadowing Property

Research Article A Note on Ergodicity of Systems with the Asymptotic Average Shadowing Property Discrete Dyamics i Nature ad Society Volume 2011, Article ID 360583, 6 pages doi:10.1155/2011/360583 Research Article A Note o Ergodicity of Systems with the Asymptotic Average Shadowig Property Risog

More information

Some Explicit Formulae of NAF and its Left-to-Right. Analogue Based on Booth Encoding

Some Explicit Formulae of NAF and its Left-to-Right. Analogue Based on Booth Encoding Vol.7, No.6 (01, pp.69-74 http://dx.doi.org/10.1457/ijsia.01.7.6.7 Some Explicit Formulae of NAF ad its Left-to-Right Aalogue Based o Booth Ecodig Dog-Guk Ha, Okyeo Yi, ad Tsuyoshi Takagi Kookmi Uiversity,

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

ON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS

ON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS Joural of Algebra, Number Theory: Advaces ad Applicatios Volume, Number, 00, Pages 7-89 ON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS OLCAY KARAATLI ad REFİK KESKİN Departmet

More information

arxiv: v1 [math.co] 3 Feb 2013

arxiv: v1 [math.co] 3 Feb 2013 Cotiued Fractios of Quadratic Numbers L ubomíra Balková Araka Hrušková arxiv:0.05v [math.co] Feb 0 February 5 0 Abstract I this paper we will first summarize kow results cocerig cotiued fractios. The we

More information

Statistical Properties of the Square Map Modulo a Power of Two

Statistical Properties of the Square Map Modulo a Power of Two Statistical Properties of the Square Map Modulo a Power of Two S. M. Dehavi, A. Mahmoodi Rishakai, M. R. Mirzee Shamsabad 3, Hamidreza Maimai, Eiollah Pasha Kharazmi Uiversity, Faculty of Mathematical

More information

KU Leuven Department of Computer Science

KU Leuven Department of Computer Science O orthogoal polyomials related to arithmetic ad harmoic sequeces Adhemar Bultheel ad Adreas Lasarow Report TW 687, February 208 KU Leuve Departmet of Computer Sciece Celestijelaa 200A B-300 Heverlee (Belgium)

More information

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4. 11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although

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

Hoggatt and King [lo] defined a complete sequence of natural numbers

Hoggatt and King [lo] defined a complete sequence of natural numbers REPRESENTATIONS OF N AS A SUM OF DISTINCT ELEMENTS FROM SPECIAL SEQUENCES DAVID A. KLARNER, Uiversity of Alberta, Edmoto, Caada 1. INTRODUCTION Let a, I deote a sequece of atural umbers which satisfies

More information

Parameters of two classes of LCD BCH codes

Parameters of two classes of LCD BCH codes 1 Parameters of two classes of LCD BCH codes Chegju Li, Cusheg Dig, Hao Liu Abstract arxiv:1608.0670v1 [cs.it] 9 Aug 016 BCH codes are widely employed i data storage, commuicatios systems, ad cosumer electroics.

More information

k-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c 1. Introduction

k-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c 1. Introduction Acta Math. Uiv. Comeiaae Vol. LXXXVI, 2 (2017), pp. 279 286 279 k-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c N. IRMAK ad M. ALP Abstract. The k-geeralized Fiboacci sequece { F (k)

More information

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of

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

TRACES OF HADAMARD AND KRONECKER PRODUCTS OF MATRICES. 1. Introduction

TRACES OF HADAMARD AND KRONECKER PRODUCTS OF MATRICES. 1. Introduction Math Appl 6 2017, 143 150 DOI: 1013164/ma201709 TRACES OF HADAMARD AND KRONECKER PRODUCTS OF MATRICES PANKAJ KUMAR DAS ad LALIT K VASHISHT Abstract We preset some iequality/equality for traces of Hadamard

More information

The Choquet Integral with Respect to Fuzzy-Valued Set Functions

The Choquet Integral with Respect to Fuzzy-Valued Set Functions The Choquet Itegral with Respect to Fuzzy-Valued Set Fuctios Weiwei Zhag Abstract The Choquet itegral with respect to real-valued oadditive set fuctios, such as siged efficiecy measures, has bee used i

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

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

ANOTHER GENERALIZED FIBONACCI SEQUENCE 1. INTRODUCTION

ANOTHER GENERALIZED FIBONACCI SEQUENCE 1. INTRODUCTION ANOTHER GENERALIZED FIBONACCI SEQUENCE MARCELLUS E. WADDILL A N D LOUIS SACKS Wake Forest College, Wisto Salem, N. C., ad Uiversity of ittsburgh, ittsburgh, a. 1. INTRODUCTION Recet issues of umerous periodicals

More information

arxiv: v1 [cs.sc] 2 Jan 2018

arxiv: v1 [cs.sc] 2 Jan 2018 Computig the Iverse Melli Trasform of Holoomic Sequeces usig Kovacic s Algorithm arxiv:8.9v [cs.sc] 2 Ja 28 Research Istitute for Symbolic Computatio RISC) Johaes Kepler Uiversity Liz, Alteberger Straße

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

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

Journal of Ramanujan Mathematical Society, Vol. 24, No. 2 (2009)

Journal of Ramanujan Mathematical Society, Vol. 24, No. 2 (2009) Joural of Ramaua Mathematical Society, Vol. 4, No. (009) 199-09. IWASAWA λ-invariants AND Γ-TRANSFORMS Aupam Saikia 1 ad Rupam Barma Abstract. I this paper we study a relatio betwee the λ-ivariats of a

More information

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 11

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 11 Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract We will itroduce the otio of reproducig kerels ad associated Reproducig Kerel Hilbert Spaces (RKHS). We will cosider couple

More information

Chapter 6 Infinite Series

Chapter 6 Infinite Series Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat

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

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

Binary codes from graphs on triples and permutation decoding

Binary codes from graphs on triples and permutation decoding Biary codes from graphs o triples ad permutatio decodig J. D. Key Departmet of Mathematical Scieces Clemso Uiversity Clemso SC 29634 U.S.A. J. Moori ad B. G. Rodrigues School of Mathematics Statistics

More information

The 4-Nicol Numbers Having Five Different Prime Divisors

The 4-Nicol Numbers Having Five Different Prime Divisors 1 2 3 47 6 23 11 Joural of Iteger Sequeces, Vol. 14 (2011), Article 11.7.2 The 4-Nicol Numbers Havig Five Differet Prime Divisors Qiao-Xiao Ji ad Mi Tag 1 Departmet of Mathematics Ahui Normal Uiversity

More information

Largest families without an r-fork

Largest families without an r-fork Largest families without a r-for Aalisa De Bois Uiversity of Salero Salero, Italy debois@math.it Gyula O.H. Katoa Réyi Istitute Budapest, Hugary ohatoa@reyi.hu Itroductio Let [] = {,,..., } be a fiite

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

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

arxiv: v1 [math.nt] 10 Dec 2014

arxiv: v1 [math.nt] 10 Dec 2014 A DIGITAL BINOMIAL THEOREM HIEU D. NGUYEN arxiv:42.38v [math.nt] 0 Dec 204 Abstract. We preset a triagle of coectios betwee the Sierpisi triagle, the sum-of-digits fuctio, ad the Biomial Theorem via a

More information

Chain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1

Chain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1 CHAINS 1.1 Chai coditios 1. Artiia ad oetheria modules. (1.1) Defiitio. Let A be a rig ad M a A-module. The module M is oetheria if every ascedig chai!!m 1 M 2 of submodules M of M is stable, that is,

More information

On maximally nonlinear and extremal balanced Boolean functions

On maximally nonlinear and extremal balanced Boolean functions O imally oliear ad extremal balaced Boolea uctios Michel Mitto DCSSI/SDS/Crypto.Lab. 18, rue du docteur Zameho 9131 Issy-les-Moulieaux cedex, Frace e-mail: michelmitto@compuserve.com Abstract. We prove

More information

The Rand and block distances of pairs of set partitions

The Rand and block distances of pairs of set partitions The Rad ad block distaces of pairs of set partitios Frak Ruskey 1 ad Jeifer Woodcock 1 Dept. of Computer Sciece, Uiversity of Victoria, CANADA Abstract. The Rad distaces of two set partitios is the umber

More information

A collocation method for singular integral equations with cosecant kernel via Semi-trigonometric interpolation

A collocation method for singular integral equations with cosecant kernel via Semi-trigonometric interpolation Iteratioal Joural of Mathematics Research. ISSN 0976-5840 Volume 9 Number 1 (017) pp. 45-51 Iteratioal Research Publicatio House http://www.irphouse.com A collocatio method for sigular itegral equatios

More information

A New Class of Ternary Zero Correlation Zone Sequence Sets Based on Mutually Orthogonal Complementary Sets

A New Class of Ternary Zero Correlation Zone Sequence Sets Based on Mutually Orthogonal Complementary Sets IOSR Joural of Electroics ad Commuicatio Egieerig (IOSR-JECE) e-issn: 2278-2834,p- ISSN: 2278-8735.Volume 0, Issue 3, Ver. I (May - Ju.205), PP 08-3 www.iosrjourals.org A New Class of Terary Zero Correlatio

More information

CHAPTER I: Vector Spaces

CHAPTER I: Vector Spaces CHAPTER I: Vector Spaces Sectio 1: Itroductio ad Examples This first chapter is largely a review of topics you probably saw i your liear algebra course. So why cover it? (1) Not everyoe remembers everythig

More information

De Bruijn Sequences for the Binary Strings with Maximum Specified Density

De Bruijn Sequences for the Binary Strings with Maximum Specified Density De Bruij Sequeces for the Biary Strigs with Maximum Specified Desity Joe Sawada 1, Brett Steves 2, ad Aaro Williams 2 1 jsawada@uoguelph.ca School of Computer Sciece, Uiversity of Guelph, CANADA 2 brett@math.carleto.ca

More information

An Introduction to Randomized Algorithms

An Introduction to Randomized Algorithms A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis

More information

15.083J/6.859J Integer Optimization. Lecture 3: Methods to enhance formulations

15.083J/6.859J Integer Optimization. Lecture 3: Methods to enhance formulations 15.083J/6.859J Iteger Optimizatio Lecture 3: Methods to ehace formulatios 1 Outlie Polyhedral review Slide 1 Methods to geerate valid iequalities Methods to geerate facet defiig iequalities Polyhedral

More information

PAijpam.eu ON TENSOR PRODUCT DECOMPOSITION

PAijpam.eu ON TENSOR PRODUCT DECOMPOSITION Iteratioal Joural of Pure ad Applied Mathematics Volume 103 No 3 2015, 537-545 ISSN: 1311-8080 (prited versio); ISSN: 1314-3395 (o-lie versio) url: http://wwwijpameu doi: http://dxdoiorg/1012732/ijpamv103i314

More information

Lecture Notes for CS 313H, Fall 2011

Lecture Notes for CS 313H, Fall 2011 Lecture Notes for CS 313H, Fall 011 August 5. We start by examiig triagular umbers: T () = 1 + + + ( = 0, 1,,...). Triagular umbers ca be also defied recursively: T (0) = 0, T ( + 1) = T () + + 1, or usig

More information

The Nature Diagnosability of Bubble-sort Star Graphs under the PMC Model and MM* Model

The Nature Diagnosability of Bubble-sort Star Graphs under the PMC Model and MM* Model Iteratioal Joural of Egieerig ad Applied Scieces (IJEAS) ISSN: 394-366 Volume-4 Issue-8 August 07 The Nature Diagosability of Bubble-sort Star Graphs uder the PMC Model ad MM* Model Mujiagsha Wag Yuqig

More information

2.4 - Sequences and Series

2.4 - Sequences and Series 2.4 - Sequeces ad Series Sequeces A sequece is a ordered list of elemets. Defiitio 1 A sequece is a fuctio from a subset of the set of itegers (usually either the set 80, 1, 2, 3,... < or the set 81, 2,

More information

An analog of the arithmetic triangle obtained by replacing the products by the least common multiples

An analog of the arithmetic triangle obtained by replacing the products by the least common multiples arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;

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

Review Problems 1. ICME and MS&E Refresher Course September 19, 2011 B = C = AB = A = A 2 = A 3... C 2 = C 3 = =

Review Problems 1. ICME and MS&E Refresher Course September 19, 2011 B = C = AB = A = A 2 = A 3... C 2 = C 3 = = Review Problems ICME ad MS&E Refresher Course September 9, 0 Warm-up problems. For the followig matrices A = 0 B = C = AB = 0 fid all powers A,A 3,(which is A times A),... ad B,B 3,... ad C,C 3,... Solutio:

More information

Another diametric theorem in Hamming spaces: optimal group anticodes

Another diametric theorem in Hamming spaces: optimal group anticodes Aother diametric theorem i Hammig spaces: optimal group aticodes Rudolf Ahlswede Departmet of Mathematics Uiversity of Bielefeld POB 003, D-3350 Bielefeld, Germay Email: ahlswede@math.ui-bielefeld.de Abstract

More information

Beurling Integers: Part 2

Beurling Integers: Part 2 Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers

More information

On Generalized Fibonacci Numbers

On Generalized Fibonacci Numbers Applied Mathematical Scieces, Vol. 9, 215, o. 73, 3611-3622 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ams.215.5299 O Geeralized Fiboacci Numbers Jerico B. Bacai ad Julius Fergy T. Rabago Departmet

More information

Algebraic Geometry I

Algebraic Geometry I 6.859/15.083 Iteger Programmig ad Combiatorial Optimizatio Fall 2009 Lecture 14: Algebraic Geometry I Today... 0/1-iteger programmig ad systems of polyomial equatios The divisio algorithm for polyomials

More information

A TYPE OF PRIMITIVE ALGEBRA*

A TYPE OF PRIMITIVE ALGEBRA* A TYPE OF PRIMITIVE ALGEBRA* BT J. H. M. WEDDERBURN I a recet paper,t L. E. Dickso has discussed the liear associative algebra, A, defied by the relatios xy = yo(x), y = g, where 8 ( x ) is a polyomial

More information

Lecture 10: Mathematical Preliminaries

Lecture 10: Mathematical Preliminaries Lecture : Mathematical Prelimiaries Obective: Reviewig mathematical cocepts ad tools that are frequetly used i the aalysis of algorithms. Lecture # Slide # I this

More information

THE N-POINT FUNCTIONS FOR INTERSECTION NUMBERS ON MODULI SPACES OF CURVES

THE N-POINT FUNCTIONS FOR INTERSECTION NUMBERS ON MODULI SPACES OF CURVES THE N-POINT FUNTIONS FOR INTERSETION NUMBERS ON MODULI SPAES OF URVES KEFENG LIU AND HAO XU Abstract. We derive from Witte s KdV equatio a simple formula of the -poit fuctios for itersectio umbers o moduli

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

A REMARK ON A PROBLEM OF KLEE

A REMARK ON A PROBLEM OF KLEE C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 1 A REMARK ON A PROBLEM OF KLEE BY N. J. K A L T O N (COLUMBIA, MISSOURI) AND N. T. P E C K (URBANA, ILLINOIS) This paper treats a property

More information

EXPANSION FORMULAS FOR APOSTOL TYPE Q-APPELL POLYNOMIALS, AND THEIR SPECIAL CASES

EXPANSION FORMULAS FOR APOSTOL TYPE Q-APPELL POLYNOMIALS, AND THEIR SPECIAL CASES LE MATEMATICHE Vol. LXXIII 208 Fasc. I, pp. 3 24 doi: 0.448/208.73.. EXPANSION FORMULAS FOR APOSTOL TYPE Q-APPELL POLYNOMIALS, AND THEIR SPECIAL CASES THOMAS ERNST We preset idetities of various kids for

More information

Recurrence Relations

Recurrence Relations Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The

More information

Comparison Study of Series Approximation. and Convergence between Chebyshev. and Legendre Series

Comparison Study of Series Approximation. and Convergence between Chebyshev. and Legendre Series Applied Mathematical Scieces, Vol. 7, 03, o. 6, 3-337 HIKARI Ltd, www.m-hikari.com http://d.doi.org/0.988/ams.03.3430 Compariso Study of Series Approimatio ad Covergece betwee Chebyshev ad Legedre Series

More information

Chimica Inorganica 3

Chimica Inorganica 3 himica Iorgaica Irreducible Represetatios ad haracter Tables Rather tha usig geometrical operatios, it is ofte much more coveiet to employ a ew set of group elemets which are matrices ad to make the rule

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

Measure and Measurable Functions

Measure and Measurable Functions 3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies

More information

ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS

ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS EDUARD KONTOROVICH Abstract. I this work we uify ad geeralize some results about chaos ad sesitivity. Date: March 1, 005. 1 1. Symbolic Dyamics Defiitio

More information

THIS paper analyzes the behavior of those complex

THIS paper analyzes the behavior of those complex IAENG Iteratioal Joural of Computer Sciece 39:4 IJCS_39_4_6 Itrisic Order Lexicographic Order Vector Order ad Hammig Weight Luis Gozález Abstract To compare biary -tuple probabilities with o eed to compute

More information

LONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES

LONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES J Lodo Math Soc (2 50, (1994, 465 476 LONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES Jerzy Wojciechowski Abstract I [5] Abbott ad Katchalski ask if there exists a costat c >

More information

Decoupling Zeros of Positive Discrete-Time Linear Systems*

Decoupling Zeros of Positive Discrete-Time Linear Systems* Circuits ad Systems,,, 4-48 doi:.436/cs..7 Published Olie October (http://www.scirp.org/oural/cs) Decouplig Zeros of Positive Discrete-Time Liear Systems* bstract Tadeusz Kaczorek Faculty of Electrical

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

Improvement of Generic Attacks on the Rank Syndrome Decoding Problem

Improvement of Generic Attacks on the Rank Syndrome Decoding Problem Improvemet of Geeric Attacks o the Rak Sydrome Decodig Problem Nicolas Arago, Philippe Gaborit, Adrie Hauteville, Jea-Pierre Tillich To cite this versio: Nicolas Arago, Philippe Gaborit, Adrie Hauteville,

More information

Some p-adic congruences for p q -Catalan numbers

Some p-adic congruences for p q -Catalan numbers Some p-adic cogrueces for p q -Catala umbers Floria Luca Istituto de Matemáticas Uiversidad Nacioal Autóoma de México C.P. 58089, Morelia, Michoacá, México fluca@matmor.uam.mx Paul Thomas Youg Departmet

More information

On Some Properties of Digital Roots

On Some Properties of Digital Roots Advaces i Pure Mathematics, 04, 4, 95-30 Published Olie Jue 04 i SciRes. http://www.scirp.org/joural/apm http://dx.doi.org/0.436/apm.04.46039 O Some Properties of Digital Roots Ilha M. Izmirli Departmet

More information

Pairs of disjoint q-element subsets far from each other

Pairs of disjoint q-element subsets far from each other Pairs of disjoit q-elemet subsets far from each other Hikoe Eomoto Departmet of Mathematics, Keio Uiversity 3-14-1 Hiyoshi, Kohoku-Ku, Yokohama, 223 Japa, eomoto@math.keio.ac.jp Gyula O.H. Katoa Alfréd

More information