陳智雄，吳晨煌,2

（1. 莆田學(xué)院福建省高校應(yīng)用數(shù)學(xué)重點(diǎn)實(shí)驗(yàn)室，福建 莆田 351100；2. 電子科技大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院，四川 成都 611731）

1 引言

設(shè)有限域 Fp={0,1,… ,p-1}，其中p為奇素?cái)?shù)。g為模p的一個(gè)本原根。若r|（p- 1）, 則r階割圓類定義為

其中,j=0 ,1,… ,r-1 。易知，構(gòu)成 Fp{0}的一個(gè)劃分，并被廣泛應(yīng)用于定義偽隨機(jī)序列[1]。

當(dāng)r=2時(shí)，Legendre序列（su）[2-4]定義為

其中，u≥0。

當(dāng)r=4時(shí), Ding-Helleseth-Lam序列定義為

其中，u≥0。

當(dāng)r=6且p形如24x+27，x∈?時(shí)，Hall六次剩余序列（su）[6-7]定義為

其中，u≥0。

需要注意的是，在文獻(xiàn)[6-7]中，g的選擇需滿足

上述幾類二元序列已受到廣泛的關(guān)注和研究。研究表明，這些二元序列具有好的偽隨機(jī)特性，包括一致分布性、最優(yōu)相關(guān)性、高的線性復(fù)雜度等[1-3,5,6,8-12]。Xiong等[13]證明了 Legendre、Ding-Helleseth-Lam二元序列的2-adic復(fù)雜度等于周期p。最近，Su等[14]基于Ding-Helleseth-Lam二元序列使用交織的方法構(gòu)造了一個(gè)周期為4p的具有優(yōu)的自相關(guān)值的二元序列。通常把上面這種Z*（p為素?cái)?shù)）上的割圓類稱為經(jīng)典割圓類，對(duì)應(yīng)的序列稱為經(jīng)典割圓序列，而把Zn*（n為合數(shù)）上的割圓類稱為廣義割圓類，對(duì)應(yīng)的序列稱為廣義割圓序列[15-22]。

文獻(xiàn)[23-24]把上述類型序列（su）視為p-進(jìn)制序列并研究了其在有限域Fp上的k-錯(cuò)線性復(fù)雜度。但是，（su）在F2上的k-錯(cuò)線性復(fù)雜度還未徹底解決。文獻(xiàn)[1, 25]證明了任意的非常數(shù)二元序列的k-錯(cuò)線性復(fù)雜度的一個(gè)下界。

命題 1（[1，Theorem 3.3.1]）對(duì)周期為p的任意非常數(shù)二元序列（su），其在F2上的k-錯(cuò)線性復(fù)雜度 LCk（（su）） 滿 足k＜min{WH（（su））,p-WH（（su））}時(shí)，LCk（（su））≥o rdp（2） 。其中，ordp（2） 表示2在模p的階，WH（（su）） 表示序列（su） 的一個(gè)周期中所含1的個(gè)數(shù)。

本文工作主要是考慮由經(jīng)典割圓類定義的序列（su）的k-錯(cuò)線性復(fù)雜度。本文計(jì)算了 Legendre序列、Ding-Helleseth-Lam序列和Hall六次剩余序列在F2上的1-錯(cuò)線性復(fù)雜度，并限制2在模p的階的某些取值，給出了這些序列在F2上的k-錯(cuò)線性復(fù)雜度的一些結(jié)果。周期序列的離散傅里葉變換在本文的證明中起到了關(guān)鍵作用。

下面介紹線性復(fù)雜度、k-錯(cuò)線性復(fù)雜度和周期序列的離散傅里葉變換等概念。

對(duì)于F2上周期為T的序列（su），其線性復(fù)雜度（記為L(zhǎng)C（（su）））定義為（su） 滿足F2上的如下線性遞歸關(guān)系的最小階L。

那么，（su）在F2上的線性復(fù)雜度可通過式（4）計(jì)算。

對(duì)于整數(shù)k≥0，（su）在F2上的k-錯(cuò)線性復(fù)雜度（記為L(zhǎng)Ck（（su）））是指在序列的一個(gè)周期中改變至多k個(gè)元素后所得這些序列在F2上的線性復(fù)雜度的最小值[26]。即

其中，（eu） 為周期為T的錯(cuò)誤序列，WH（（eu）） 為（eu）的一個(gè)周期中所含1的個(gè)數(shù)。k-錯(cuò)線性復(fù)雜度也被稱為球體復(fù)雜度[27]，本文不做詳細(xì)描述。易知，LC0（（su））= L C（（su）） ，且

其中，l=WH（（su）） 。

線性復(fù)雜度和k-錯(cuò)線性復(fù)雜度是序列的重要密碼學(xué)性質(zhì)，它們刻畫的是序列的可預(yù)測(cè)性，從而衡量該序列是否適用于密碼學(xué)領(lǐng)域。從密碼學(xué)應(yīng)用角度考慮，一個(gè)序列的線性復(fù)雜度應(yīng)盡可能大，并且序列在改變?nèi)舾身?xiàng)后其線性復(fù)雜度不應(yīng)明顯降低。

對(duì)于奇數(shù)T，序列（su）的離散傅里葉變換（ρ0, ρ1, … ,ρT-1） 和序列（su） 的線性復(fù)雜度具有緊密的聯(lián)系。記m=o rdT（2）表示2在模T的乘法階。對(duì)于T階本原單位根 β ∈F2m，離散傅里葉變換（DFT，discrete Fourier transform）[28-29]定義為

Blahut定理[30]給出了序列（su）的線性復(fù)雜度及其與DFT之間的關(guān)系，如式（7）所示。

其中，#{?}表示集合{?}中的元素個(gè)數(shù)。

對(duì)于給定的β，G（X）在模xT-1下是唯一確定的，G（X）也稱為序列（su）對(duì)應(yīng)于β的defining多項(xiàng)式[34]。

2 離散傅里葉變換

Alecu 和 Sǎlǎgean[33-34]利用離散傅里葉變換給出了一個(gè)計(jì)算序列的k-錯(cuò)線性復(fù)雜度的近似算法。他們的方法有助于本文考慮 Legendre序列、Ding-Helleseth-Lam 序列和Hall六次剩余序列的k-錯(cuò)線性復(fù)雜度。本節(jié)計(jì)算了這些序列的離散傅里葉變換。更詳細(xì)的討論見文獻(xiàn)[32]。

其中，u∈Dj。下文中D（r）下標(biāo)的計(jì)算都是在模r下進(jìn)行的，即對(duì)所有的0≤l＜r，有定義

其中，0≤l＜r。本文首先給出并證明如下關(guān)于內(nèi)積計(jì)算的引理，其中0≤i,j＜r。

引理1設(shè)β為F2的某一個(gè)擴(kuò)域上的p階本原單位根。對(duì)任意一對(duì)整數(shù)i,j滿足0≤i,j＜r，有

證明 對(duì)任意的0≤l＜r，由于可得

設(shè)ord（γw）表示γw的階。由于β是p階本原單位根，則有ord（γw） |p。若ord（γw）=p，則

若ord（γw）=1，則

下面分別計(jì)算使ord（γw）=1和ord（γw）=p的元素的個(gè)數(shù)。

可以注意到ord（γw）=1當(dāng)且僅當(dāng)由于則也就 是說 ， 存 在使等式成立，當(dāng)且僅當(dāng)i-j） 并且w是唯一的，因此，當(dāng)時(shí)，有個(gè)元素滿足ord（γw）=p，而只有一個(gè)滿足ord（γw）=1。 若則對(duì)所有的

綜上所述，可得

證畢。

下面給出Legendre序列、Ding-Helleseth-Lam序列和Hall六次剩余序列的Mattson-Solomon 多項(xiàng)式。

命題2設(shè)β為F2的某一個(gè)擴(kuò)域上的p階本原單位根滿足：當(dāng)當(dāng)那么，式（1）定義的Legendre序列（su）的對(duì)應(yīng)于β的Mattson-Solomon 多項(xiàng)式為

需要說明的是，當(dāng)p≡ ± 1（m o d8）時(shí)，選擇這樣雖然得到不同形式的G（x），但是并不影響本文的討論結(jié)果。

證明由引理 1可得式（1）定義的 Legendre序列（su）的Mattson-Solomon多項(xiàng)式為

顯然，在已知條件D0（2）（β） 的取值假設(shè)下，當(dāng)p≡ 1（m o d 4）時(shí)，易知

即su=G（βu），當(dāng)u≥0。對(duì)于p≡ 3（mod 4）的情況可類似驗(yàn)證。

證畢。

由式（7）可得如下結(jié)論。

推論1[3]由式（1）定義的Legendre序列（su）的線性復(fù)雜度為

對(duì)于r=4的情況，由4|（p-1），則p滿足p≡ 1（mod 8）或p≡-3（m o d 8）。由引理 1可知，由式（2）定義的 Ding-Helleseth-Lam 序列（su） 的Mattson-Solomon多項(xiàng)式如下所示。

當(dāng)p≡ 1（mod 8）時(shí)，

當(dāng)p≡-3（mod 8）時(shí)，

和

因此，可得

其中，0≤i≤4。

注意到，若p≡ 1（mod 8），則（即2 是模p的平方剩余），有綜上所述，可得命題3。

命題3設(shè)β為F2的某一個(gè)擴(kuò)域上的p階本原單位根。

1）若p≡ 1（mod8），令則由式（2）定義的Ding-Helleseth-Lam序列（su） 對(duì)應(yīng)于β的Mattson-Solomon多項(xiàng)式G（x）如下。

2）若p≡ -3（m o d 8）, 令θ∈F16且 θ4=1+θ ，則 由 式（2）定 義 的Ding-Helleseth-Lam 序列（su） 對(duì)應(yīng)于β的Mattson-Solomon 多項(xiàng)式G（x）如下。

若2∈D（4），則

若2∈D（4），則

在命題 3 中，當(dāng)p≡ 1（mod 8）時(shí)，若選擇的其他取值，雖然得到不同形式的G（x），但是并不影響討論結(jié)果。

推論 2[5]由式（2）定義的 Ding-Helleseth-Lam序列（su）的線性復(fù)雜度為

對(duì)于 Hall六次剩余序列，由于p=4x2+ 2 7，則有p≡-1（m o d 8）或p≡ 3（mod 8）。

此外，若p≡-1（m o d 8），那么由[6, Lemma 2]，可 知和中有一個(gè)值為1，其他2個(gè)值為0，其中β是F2的某一個(gè)擴(kuò)域的p階本原單位根。由[6,Theorem 1]， 存 在 β 使 得對(duì)同一個(gè)β，由[6, Theorem 1]的證明可得式（9）。

若p≡ 3（mod 8） ，類似地，由[6, Lemma 1]，可 知和而其他2個(gè)值為其中i=0,1,2。注意到

則由引理1，可得命題4。

命題 4設(shè)β是F2的某個(gè)擴(kuò)域上的p階本原單位根，且當(dāng)p≡-1（mod8）時(shí)，β滿足式（9）；而當(dāng)p≡ 3（mod 8） 時(shí)， β滿足式（10），則由式（3）定義的Hall六次剩余序列（su）對(duì)應(yīng)于β的Mattson-Solomon多項(xiàng)式如下所示。

若p≡-1（m o d 8），則

若p≡ 3（mod8），則

推論 3[6]由式（3）定義的 Hall六次剩余序列（su） 的線性復(fù)雜度為

3 k-錯(cuò)線性復(fù)雜度

由式（5）可知，周期為p的二元序列（su）的k-錯(cuò)線性復(fù)雜度是指在改變序列（su）的第一個(gè)周期中至多k項(xiàng)后（隨后的其他周期中做相同改變），可得序列（）的最小線性復(fù)雜度，即

其中，（eu）為一個(gè)錯(cuò)誤序列滿足WH（（eu）） ≤k。受到文獻(xiàn)[33-34]的啟發(fā)，下面給出使用（eu）的離散傅里葉變換求序列的k-錯(cuò)線性復(fù)雜度的方法。

由此證明，序列（su）在改變?nèi)舾身?xiàng)之后其線性復(fù)雜度降低了。

3.1 1-錯(cuò)線性復(fù)雜度

命題 5由式（1）定義的 Legendre序列（su） 在F2上的1-錯(cuò)線性復(fù)雜度如下

證明不妨設(shè)錯(cuò)誤序列（eu）的第一個(gè)周期中對(duì)某個(gè) 0 ≤u0＜p滿足eu0=1 ，而對(duì)其他0≤u≠u0＜p滿足eu= 0 。（eu）的離散傅里葉變換為η=βiu0,0≤i＜p。特別地，若u=0，則對(duì)所有0的 0≤i＜p有 ηi=1；否則，η0=1且對(duì)所有的1≤i＜p有ηi的階為p。

下面考慮p≡-1（m o d 8）的情況。由命題 2和式（11），可得

若u0≠0，則對(duì)所有的1≤i＜p有 ξi≠0，且修改后的序列的線性復(fù)雜度滿足而當(dāng)u0=0時(shí)，有

這說明若改變序列（su）的第一項(xiàng)s0的值后，其線性復(fù)雜度從這就證明了第一種情況，而對(duì)于其他3種情況的證明方法類似。

證畢。

用命題5的證明方法，可以得到下面2個(gè)結(jié)論。

命題 6由式（2）定義的 Ding-Helleseth-Lam 序列（su）在F2上的1-錯(cuò)線性復(fù)雜度為

命題7由式（3）定義的Hall六次剩余序列（su）在F2上的1-錯(cuò)線性復(fù)雜度為

3.2 k-錯(cuò)線性復(fù)雜度: 幾個(gè)特殊情況

對(duì)于k≥2的情況，要確定 Legendre序列、Ding-Helleseth-Lam序列和Hall六次剩余序列的k-錯(cuò)線性復(fù)雜度是不容易的。但是，在一些特定的條件下可以得到部分結(jié)果。通過錯(cuò)誤序列（eu）的離散傅里葉變換（η0, η1, … ,ηp-1） 的適當(dāng)取值，并通過式（11）使得式（13）成立。

也就是說，改變序列（su） 的WH（（eu）） 項(xiàng)可使其線性復(fù)雜度降低。然后，從（η0,η1,…,ηp-1） 中計(jì)算得到（eu） ，從而得到WH（（eu）） ，即k的值。

其中g(shù)為第1節(jié)中定義的模p的本原元。令

設(shè)?i表示集合Ti中的最小元素值（也稱為陪集首元），其中0≤i＜d。對(duì)于一個(gè)二元序列的離散傅里葉變換為并定 義的 DFT-leader-vector為

由上述T0的定義易知，DFT-leader-vector是由唯一確定的，反之亦然。具體地，若

當(dāng)p≡-3（mod 8）時(shí)，

當(dāng)p≡ 3（mod8）時(shí)，

命題8設(shè)，則由式（1）定義的Legendre序列在F2上的k-錯(cuò)線性復(fù)雜度如下。

當(dāng)p≡ 1（mod8）時(shí)，

當(dāng)p≡-1（mod8）時(shí)，

證明由于2是模p的平方剩余，因此，p≡ 1（mod 8）或p≡-1（mod8）。那么，由推論1、命題1和命題5即得所要結(jié)果。

命題 9設(shè)則由式（1）定義的Legendre序列在F2上的k-錯(cuò)線性復(fù)雜度如下

或

證明由另外，根據(jù)上述定義的Ti，有由命題2中假設(shè)的或

再由命題 2，序列（su）的離散傅里葉變換（ρ0,ρ1,… ,ρp-1） 的DFT-leader-vector是[0；1,0,1,0]。為了使（su）的k-錯(cuò)線性復(fù)雜度降低，即使序列的離散傅里葉變換滿足

由式（11）可知，錯(cuò)誤序列（eu）的離散傅里葉變換有以下幾種情況。

取序列（eu） 的離散傅里葉變換的 DFT-leader-vector 為[η0；1 ,1,1,0]，序列（su） 的線性復(fù)雜度從降低為則可通過如下計(jì)算得到（eu） 。

若命題2中選擇的β滿足T0（β）=T2（β）=1，則設(shè)η0=0 。由于則有或T1（β）=1且T3（β）= 0 ?？傻?/p>

由此完成了第一種情況的證明。

若命題2中選擇的β滿足T0（β）=T2（β）= 0 ，選擇η0=1，則可計(jì)算得到滿足的錯(cuò)誤序列（eu），進(jìn)而有由命題1可完成第二種情況的證明。

證畢。

下面考慮由式（2）定義的Ding-Helleseth-Lam序列（su） 。若ordp（2）=p-1 ，則有由推論2、命題1和命題3可得

命題10設(shè)由式（2）定義的Ding-Helleseth-Lam序列（su）在F2上的k-錯(cuò)線性復(fù)雜度為

或

證明由命題3可知，（su）的離散傅里葉變換為

?。╡u） 的離散傅里葉變換（η0, η1,… ,ηp-1） 為

其中，δ ∈F2。通過如下方式計(jì)算得到（eu） 。

若命題3中選擇的β滿足式（13），則選擇η0=1和再由命題1即可完成第二種情況的證明。證畢。

命題11設(shè)則由式（2）定義的Ding-Helleseth-Lam序列（su）在F2上的k-錯(cuò)線性復(fù)雜度為

或

證明由于則有且其中0≤i＜4。容易驗(yàn)證每個(gè)T（β）∈F且在命題 3的假設(shè)下，若則式（16）或式（17）成立。

再由命題3可知，（su）的DFT-leader-vector為[0；0,0,1,1]。仿照命題9的證明，通過式（16）選擇錯(cuò)誤 序 列（eu） 的離 散 傅里葉 變 換（η0,η1,… ,ηp-1） 的DFT-leader-vector為[0；0,0,1,0]，或通過式（17）則選為[1；0,0,1,0]。 通過類似的計(jì)算，即得所要證明的結(jié)果。

證畢。

最后，考慮由式（3）定義的 Hall六次剩余序列（su） 的k-錯(cuò)線性復(fù)雜度。由[6, Lemma 1]知，當(dāng)因 此 ， 當(dāng)p≡-1（mod 8） 時(shí) ，下面分析ord（2）取最大的情況。

命題 12由式（3）定義的Hall六次剩余序列（su）在F2上的k-錯(cuò)線性復(fù)雜度如下。

證明當(dāng)p≡-1（m o d 8）時(shí)，由命題 4可知，（su） 的 離 散 傅 里 葉 變 換（ρ0,ρ1, … ,ρp-1） 的DFT-leader-vector為[1；0,0,0,1,0,0]。選擇錯(cuò)誤序列（eu） 的離 散 傅 里 葉 變 換（η0,η1,… ,ηp-1） 的DFT-leadervector為[1；0,0,1,1,0,0]，則可計(jì)算得出eu。

因此，可以找到一個(gè)錯(cuò)誤序列（eu）滿足使得序列（s）的線性復(fù)雜度從u從而完成了第一種情況的證明。而對(duì)于第二種情況，則由命題4和命題1即得。

證畢。

4 結(jié)束語(yǔ)

本文分別利用 Legendre序列、Ding-Helleseth-Lam序列和Hall六次剩余序列的離散傅里葉變換確定這些序列的1-錯(cuò)線性復(fù)雜度，并在特定條件下得到這些序列的k-錯(cuò)線性復(fù)雜度的部分結(jié)果，其中k＞1且d為小的正整數(shù)。

認(rèn)為考慮一般的ordp（2）和適當(dāng)大的k的情況是一個(gè)具有挑戰(zhàn)性的工作。若錯(cuò)誤序列（eu）的滿足a0∈F2且對(duì)其他那么（eu） 可通過如式（18）所示的跡函數(shù)的和計(jì)算得到。