arxiv: v1 [cs.cr] 18 Feb 2016

Transcription

1 IEICE TRANS FUNDAMENTALS VOLExx?? NOxx XXXX x LETTER On a Cass of Amost Dfference Sets Constructed by Usng te Dng-Heeset-Martnsens Constructons Mngong QI a) Member Sengwu XIONG Jngng YUAN Wenb RAO and Luo ZHONG Nonmembers arxv:v [cscr] Feb SUMMARY Pseudandom bnary sequences wt optma baance and autocreaton ave many appcatons n stream cper communcaton codng tey etc It s known tat bnary sequences wt tree-eve autocreaton soud ave an amost dfference set as ter caracterstc sets How to construct new fames of amost dfference set s an mptant researc topc n suc feds as communcaton codng tey and cryptograpy In a wk of Dng Heeset and Martnsen n te auts deveoped a new metod known as te Dng-Heeset-Martnsens Constructons n terature of constructng an amost dfference set from product sets of GF() and te unon of two cycotomc casses of der four In te present paper we ave constructed two casses of amost dfference set wt product sets between GF() and unon sets of te cycotomc casses of der usng tat metod In addton we coud fnd tere do not exst te Dng-Heeset-Martnsens Constructons f te cycotomc casses of der sx egt and ten key wds: Bnary sequence tree-eve autocreatonte Dng- Heeset-Martnsens Constructons amost dfference set cycotomc casses of der tweve Introducton Let (A+) be an Abean group wt n eements and D be a k-subset of A Defne te dstance functon d D (e)= (D+e) D were D+e={x+e x D and e D\{}} D s referred to as an (n kλ t) amost dfference set f d D (e) takes on te vaueλ atogeter t tmes and on te vaueλ+ atogeter n t tmes wen e ranges over a te nonzero eements of A Bnary sequences wt tree-eve autocreaton can be constructed from amost dfference sets as ter caracterstc sets [] [] Especay amost dfference sets wt parameters (n (n )/ (n )/ (n )/) gve crespondng bnary sequences wt optma tree-eve autocreaton and optma baance among s and s [] In tat sense constructng optma bnary sequences s equvaent to fnd crespondng amost dfference sets D s caed a (n kλ) dfference set f te dstance functon d D (e) takes on te vaue λ atogeter n tmes wen e ranges over a te nonzero eements of A Tere are severa ways of constructon of amost dfference set We cte a few of tose f exampe generazed cycotomy can be used to construct amost dfference set [] te so-caed Lempe-Con-Eastmans Constructon uses set exponents and cycotomy f te constructon of amost dfference set [] [] Davs found amost dfference sets wt foowng parameters []: Scoo of Computer Scence and Tecnoogy Wuan Unversty of Tecnoogy Mafangsan West Campus Wuan Cty Cna a) E-ma: mqecuy@com DOI: /transfunea () ( n ( n n ) n n n ) n H Z n were H s a group of der four; () ((q+)q q(q+) q q ) n H EA(q ) were EA(q ) denotes te addtve group (GF(q ) +) and H s a group of der q+ Perfect nonnear functons (PN) ave not ony many appcatons n cryptograpy [] [] optma constantcomposton codes and sgna sets [] [] but aso can be used to construct dfference sets [] and amost dfference sets [] Amost dfference sets can be constructed from dfference sets as we f nstance see [] [] Let q = d f+ be a power of an odd prmeαbe a prmtve eement of extenson fed GF(q) Defne te cosets D (dq) = {α kd+ k < f < d} wc are caed te cycotomc casses of der d wt respect to GF(q) It s obvous tat GF(q) = d Te constants (m n) d = (D (dq) m + ) D (dq) n = D(dq) are known as te cycotomc numbers of der d wt respect to GF(q) It s possbe to construct amost dfference sets wt cycotomc casses of gven der f nstance see [] [] [] [] In te present paper we are concerned wt te socaed te Dng-Heeset-Martnsens Constructons of amost dfference set usng te cycotomc casses of der four [] [] and appy te metod nto te cycotomc casses of der tweve By computer nvestgaton we found tat no amost dfference sets coud be constructed from te cycotomc casses of der sx egt and ten usng tat metod However two casses of amost dfference sets can be obtaned by usng te Dng-Heeset-Martnsens Constructons wt te cycotomc casses of der tweve Let q (mod ) ten q can be expanded nto q= s + t wt s (mod ) [] Te Dng-Heeset-Martnsens Constructons can be outned by te foowng two teems: Teem (Teem n [] see aso []) Let { } be tree parwse dstnct ntegers and defne C={} ( ) ( ) D (q) D (q) {} D (q) D (q) Ten C s an (n (n )/ (n )/ (n )/) amost dfference set of A=GF() GF(q) f () t= and ( )=( ) ( ) () s= and ( )=( ) ( ) Copyrgt c x Te Insttute of Eectroncs Infmaton anommuncaton Engneers

2 IEICE TRANS FUNDAMENTALS VOLExx?? NOxx XXXX x Teem (Teem n [] see aso []) Let { } be tree parwse dstnct ntegers and defne C={} ( ) ( ) D (q) D (q) (q) {} D D (q) { } Ten C s an (n n/ (n )/ (n )/) amost dfference set of A=GF() GF(q) f () t= and () s= and ( ) {( ) ( ) ( ) ( )} ( ) {( ) ( ) ( ) ( )} Te next coary extends Teem of wc te proof metod can be found n [ eq() eq() and te proof of Lemma and Teem ] Coary Let { } be tree parwse dstnct ntegers and defne C={} ( ) ( ) D (q) D (q) (q) {} D D (q) Ten C s an (n (n )/ (n )/ (n )/) amost dfference set of A=GF() GF(q) f () t= and () t= and () s= and ( ) {( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )} ( ) {( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )} ( ) {( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )} were n= GF() GF(q) =q By a computatona researc a te trpes ( ) satsfyng Teem can be found and te extenson s outned n te foowng coary f wc te fmuae of dstance functon and te proof metod can be found n [ eq() eq() and te proof of Lemma and Teem ] Coary Let { } be tree parwse dstnct ntegers and defne C={} ( ) ( ) D (q) D (q) (q) {} D D (q) { } Ten C s an (n n/ (n )/ (n )/) amost dfference set of A=GF() GF(q) f () t= and () t= and () s= and ( ) {( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )} ( ) {( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )} ( ) {( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )} were n= GF() GF(q) =q Te rest of te present paper s structured as foows: n Secton basc concepts and data on te cycotomc casses of der w be ntroduced In secton we present te man resuts of te present paper: two new fames of amost dfference sets constructed by usng te Dng-Heeset-Martnsens Constructons and te cycotomc casses of der In secton a bref concudng remark w be gven Te cycotomc casses of der tweve Let p= f+ be an odd prme Ten p can be expressed as p= x +y = A +B were x (mod ) and A (mod ) In an earer wk of Dckson tan Wteman s [] Dckson ponted out tat te cycotomc numbers of der tweve depend soey on te parameters p A B x andy F exampe f s a cubc resdue of p s a bquadratc resdue of p and f s odd ten ( ) = p+ A+B x In der to defne some me generay necessary concepts et p=e f+ be an odd prme Reca tat we actuay dea wt te case e= Letβ=exp( π e ) be a et root of unty were = Let a Z p were Z p denotes te mutpcatve group moduo p and Ind(a) denote te ndex of a moduo p wt respect to a gven prmtve root In te tey of cycotomy te Jacob sum pays a fundamenta roe tat can be defned by te foowng equaton f a par of ntegers m and n: φ(β m β n )= β mind(a)+nind(b) () a+b (mod p) were a b Z p Anoter parameter s needed to cassfy te dstnct cycotomc numbers of der tweve accdng to f odd even and defned by

3 LETTER Tabe Equates of ( k) f odd k X Y X Y Y Y X Y X X Y Y Y Y Y Y Y X X Y X Y X Y c= φ(β β) φ(β β) () Letgbe a fxed prmtve root moduo p M M Z p suc tatg M (mod p) andg M (mod p) Hereafter we keep te meanngs of te symbos M M and c defned n () uncanged Tere are dstnct cycotomc numbers of der tweve wc depend on weter f s odd not on wat s te resdue of M (mod ) on wat s te resdue of M (mod ) and on wat s te vaue of te parameter c defned n () F f odd tere are sx sets of te dstnct cycotomc numbers of der tweve tey are cassfed as foows: () f odd M (mod ) M (mod ) and c=β () f odd M (mod ) M (mod ) and c=β () f odd M (mod ) M (mod ) and c= () f odd M (mod ) M (mod ) and c= () f odd M (mod ) M (mod ) and c= () f odd M (mod ) M (mod ) and c= Let Var=(p A B xy ) T denote te coumn vect f a gven odd prme p= f+ were te supscrpt T means transpose operaton and CN represent te coumn vect of wc te entres consst of te dstnct cycotomc numbers of te above t case Snce eac of cycotomc numbers of der tweve can be decomposed nto a near combnaton of a te entres of Var tere s a by matrx M tat nks CN and Var In fact we ave CN = M Var f [] Hereafter te meanngs of Var CN and M are kept uncanged Due to mted space ony M s sown n te paper (see Tabe ) f oter coeffcent matrces from M to M readers may refer to te gna terature of Wteman [] In Tabe te reatonsp between cycotomc numbers and te dstnct rreducbe ones f f odd s demonstrated An entry k wt and k stands f te cycotomc number ( k) an entry X wt denotes te cycotomc number ( ) and an Tabe CN = M Var ( k) p A B x y ( ) ( ) ( ) ( ) ( ) ( ) ( ) - - ( ) ( ) - - ( ) - - ( ) ( ) - - ( ) - ( ) - ( ) ( ) ( ) ( ) ( ) - - ( ) - - ( ) ( ) - ( ) ( ) ( ) - - ( ) ( ) ( ) ( ) - - ( ) - - ( ) entry Y wt s equa to te cycotomc number ( ) New fames of amost dfference set constructed usng te Dng-Heeset-Martnsens Constructons and te cycotomc casses of der Troug te present secton te foowng notaton s kept uncanged Let q= f+ be a power of an odd prme wt f odd D (q) denote te t cycotomc cass of der wt < I J Z be ndex subsets wose entres are parwse dstnct and suc tat I J = Defne D I = I D (q) D J = D (q) C={} D I {} D J an ={} D I {} D J {( )} Defne aso te foowng dstance functons d I (w)= (D I +w) D I d IJ (w)= (D I +w) D J (w w )= ( C+(w w ) ) C (w w )= ( C + (w w ) ) C wereww GF(q)\{} andw GF() It s cear tat q can be expressed as q= x + y = A + B were x (mod ) and A (mod ) [] Let Q=D (q) QN= D (q)

4 IEICE TRANS FUNDAMENTALS VOLExx?? NOxx XXXX x Hereafter f te proof of emmas and teems of ts secton we consder ony te case were f s odd M (mod ) M (mod ) and c=β snce f oter fve cases wt f odd (see Secton ) proof process s smar and t eads to te same resuts Te dstance functons (w w ) and (w w ) can be expcty expanded out n d I (w ) d J (w ) and d IJ (w ) stated by te foowng two emmas wose proofs can be found n [ eq() and eq()] Lemma D I + D J fw = w = d I (w )+d J (w ) fw = w (w w )= d IJ (w )+d JI (w ) fw = w D I D J fw = w = Lemma (w w )= (w w ) D I {w w } fw = w + D J {w w } fw = w oterwse Te foowng emma gves te vaue of te dstance functon d I (w) f a gven ndex set I: Lemma F a gven ndex set I te dstance functon d I (w) can be determned by () Let I { { }{ } } Ten q y fw Q d I (w)= q+y fw QN () Let I { { }{ } } Ten q+y fw Q d I (w)= q y fw QN () Let I={ } Ten q fw Q d I (w)= q fw QN () Let I={ } Ten q fw Q d I (w)= q fw QN Proof See te proof f Lemma Let I J { { }{ } { }{ } } I J and I J = Ten d IJ (w) and d JI (w) can be expressed as functons ony n q and x as te next emma asserts: Lemma Let I = { } and J = { } Ten q+x fw Q q x d IJ (w)= fw D (q) q x fw D (q) and d JI (w)= q+x fw Q q x fw D (q) q x fw D (q) Proof We ony prove d IJ (w) Letw GF(q)\{} andw D (q) Remark tat (+ +) = ( (+) (mod ) ( +) (mod ) ) d IJ (w)= (D I +w) D J = ( +w) ( I = ( I = ( I = ( I = I D (q) (D (q) +w) ) ( (w D (q) + ) ) (D (q) + + ) ) ( (D (q) + D (q) ) D (q) ) w D (q) D (q) + ) + ) D (q) + = (+ +) I Letv v v represent te rreducbe and dstnct cycotomc numbers of der (see Tabe ) ten from te ast equaton of eq() and usng Tabe we can obtan () D (q) Q: () D (q) d IJ (w)=v +v +v +v +v + v + v +v +v +v +v + v + v + v +v + v +v + v +v +v + v + v + v +v +v +v +v D (q) : d IJ (w)=v + v + v + v + v + v + v + v + v + v + v + v + v +v+v () () ()

5 LETTER () D (q) D (q) : d IJ (w)=v + v +v +v +v + v + v +v +v +v +v + v + v +v +v +v +v + v + v + v + v +v + v +v +v From Tabe we ave q A y v = ( ) = q+a+b x y v = ( ) = q A B x v = ( ) = q A+B+ x v = ( ) = q+a+b x y v = ( ) = Substtute te fmuae of v v v v v v n eq()-eq() () () n eq() f F two ndex sets I J one of wc s{ } { } te dstance functon d IJ (w) s qute dfferent Let I J { { }{ }{ } } I J { { }{ }{ } } and I J = Ten te dstance functon d IJ (w) s a functon ony n q x andy Lemma Let I = { } and J = { } Ten and d IJ (w)= d JI (w)= q x y fw D (q) q+x+y fw D (q) q+x y fw D (q) q x+y fw D (q) q x y fw D (q) q+x+y fw D (q) q+x y fw D (q) q x+y fw D (q) Proof Smar to Lemma and omtted due to mted space We need anoter smar emma to prove te man teems Let I J { { }{ }{ } } I J { { }{ }{ } } and I J = Ten te dstance functon d IJ (w) s a functon ony n q x andyas we Lemma Let I = { } and J = { } Ten q x+y fw D (q) q+x y d IJ (w)= fw D (q) q+x+y fw D (q) q x y fw D (q) and d JI (w)= q x+y fw D (q) q+x y fw D (q) q+x+y fw D (q) q x y fw D (q) Proof Smar to Lemma and omtted due to mted space Now we are ready to state and prove te frst teem Teem Let C={} D I {} D J Ten C s an (n (n )/ (n )/ (n )/) amost dfference set of A=GF() GF(q) f () x= and I J { { }{ } { }{ } } suc tat I J = ()y= and I J { { }{ }{ } } suc tat I J = ()y= and I J { { }{ }{ } } suc tat I J = ()y= and I J { { }{ }{ } } suc tat I J = ()y= and I J { { }{ }{ } } suc tat I J =

6 IEICE TRANS FUNDAMENTALS VOLExx?? NOxx XXXX x were n= GF() GF(q) =q Proof We ony prove case () wt I= { } and J= { } snce proof f oter cases s smar By Lemma fw = andw (w w )=d I (w )+d J (w ) () From Lemma () and () substtute te vaues of d I (w ) d J (w ) nto eq() we can obtan (w w )= q fw Q QN () By Lemma fw = andw (w w )=d IJ (w )+d JI (w ) () Combnng eq() and Lemma we get q+x (w w )= fw Q q x fw QN Set x= nto eq() t resuts to (w w )= q fw Q q fw QN () () Now consder te casew = andw = n Lamma (w w )= D I D J = D (q) = q () = q Combnng eq() eq() and eq() we concude tat C s an (q q q (q ) ) amost dfference set wt respect to GF() GF(q) In Lemma two extra-termsδ I = D I {w w } andδ J = D J {w w } due to te presence of te eement ( ) n te product set C ={} D I {} D J {( )} can be expcty computed f a gven par of dstnct I and J by te foowng emma: Lemma If D (q) D I tenδ I = D I {w w } = ese f D (q) D I D (q) D I ten δ I = D I {w w } = eseδ I = D I {w w } = Proof Letw D (q) Reca tat D (q) + = D (q) (+) (mod ) Snce q= f+ wt f beng odd D (q) δ I = D I {w w } = ( D (q) ) {w w } I = ( w ) { } I I D(q) = ( D (q) + ) { } = D I+ { } were I+ ={+ I} { } { Remark } Let I = and J = Ten f aw GF(q)\{} δ I = D I {w w } = δ J = D J {w w } = () Now we are ready to state and prove te second teem: Teem Let C ={} D I {} D J {( )} Ten C s an (n n/ (n )/ (n )/) amost dfference set of A=GF() GF(q) f () x= and I J { { }{ } { }{ } } suc tat I J = ()y= and I J { { }{ }{ } } suc tat I J = ()y= and I J { { }{ }{ } } suc tat I J = ()y= and I J { { }{ }{ } } suc tat I J = ()y= and I J { { }{ }{ } } suc tat I J = were n= GF() GF(q) =q Proof We ony prove case () wt I= { } and J= { } snce proof f oter cases s smar () Casew = andw By Lemma eq() and Remark eq() f aw GF(q)\{} (w w )= (w w )+δ I = q + = q () () Casew = andw By Lemma eq() and Remark eq()

7 LETTER (w w )= (w w )+δ J q+x = + fw Q q x + fw QN Set x=nto eq() t eads to (w w )= (w w )+δ J q+ = fw Q q fw QN () Casew = andw = By Lemma eq() (w w )= D I D J = D (q) = q = q () () () From eq() eq() and eq() t s cear tat C = {} D I {} D J {( )} s an (q q q q ) amost dfference set wt respect to A = GF() GF(q) wt n= GF() GF(q) =q Concuson Te Dng-Heeset-Martnsen s Constructons s an effcent metod to fnd and construct new amost dfference set In te present paper we ave constructed two casses of amost dfference set wt product sets between GF() and unon sets of te cycotomc casses of der usng tat metod Constructng bnary sequences wt optma tree-eve autocreaton and optma baance s equvaent to fnd crespondng amost dfference sets as ter suppt sets It s possbe to extend te Dng-Heeset- Martnsens Constructons by usng GF() nstead of GF() In addton by computer nvestgaton we found tat no te Dng-Heeset-Martnsens Constructons exsts f cycotomc casses of der sx egt and ten [] JA Davs Amost dfference sets and reversbe dfference sets Arc Mat vo pp- [] C Dng and J Yuan A new famy of skew Hadamard dfference sets Journa of Combnata Tey A vo no pp- [] Z Tu and Y Deng A conecture about bnary strngs and ts appcatons on constructng Booean functons wt optma agebrac mmunty Desgns Codes anryptograpy vo no pp- [] W Zang and G Xao Constructons of optma resent Booean functons on arge even number of varabes IEEE Trans Infm Tey vo no pp- [] C Dng and J Yn Sgna sets from functons wt optmum nonnearty IEEE Trans on Communcatons vo no pp- [] C Dng and J Yuan A famy of optma constant-composton codes IEEE Trans Infm Tey vo no pp- [] D Jungncke On autompsm groups of dvsbe desgns Can J Mat vo pp- [] T-W Cusck C Dng and A Renva Stream Cpers and Number tey (Nt-Hoand Matematca Lbrary vo ) Amsterdam Te Neterands: Nt-Hoand/Esever [] C Dng T Heeset and H Martnsen New fames of bnary sequences wt optma tree-eve autocreaton IEEE Trans Infm Tey vo no pp- [] T Ster Cycotomy and Dfference Sets Ccago IL: Markam [] LE Dckson Cycotomy ger congruence and Warng s probem Amer J Mat vo pp- [] AL Wteman Te cycotomc numbers of der tweve Acta Art vo pp References [] C Dng T eeset and K Y Lam Severa casses of sequences wt tree-eve autocreaton IEEE Trans Infm Tey vo pp- Nov [] KT Arasu C Dng T Heeset PV Kumar and HM Martnsen Amost dfference sets and ter sequences wt optma autocreaton IEEE Trans Infm Tey vo no pp- [] C Dng Autocreaton vaues of generazed cycotomc sequences of der two IEEE Transactons on Infmaton Tey vo no pp- [] VM Sdenkov Some k-vaued pseudo-random sequences and neary equdstant codes Prob Infm Trans vo pp- [] A Lempe M con and WL Eastman A cass of bnary sequences wt optma autocreaton propertes IEEE Trans Infm Tey vo pp-