(m，5，2，4)光正交碼最大容量的一種計(jì)算方法

盧曉立，黃月梅，2

（1.內(nèi)蒙古師范大學(xué) 數(shù)學(xué)科學(xué)學(xué)院，內(nèi)蒙古 呼和浩特 010022；2.內(nèi)蒙古自治區(qū)應(yīng)用數(shù)學(xué)中心，內(nèi)蒙古 呼和浩特 010022）

1 相關(guān)引理

設(shè)m，k，λa，λc為正整數(shù)，Zm為模m的剩余類(lèi)加群，參數(shù)為(m，k，λa，λc)光正交碼是一些長(zhǎng)為m，漢明權(quán)重為k的(0，1)-序列的集合C，每個(gè)(0，1)-序列稱(chēng)為一個(gè)碼字，且滿(mǎn)足下列性質(zhì)：

（1）自相關(guān)性：對(duì)于任意A=(ai)∈C 與任意正整數(shù)r，r∈Zm{0}，有

（2）互相關(guān)性：對(duì)于任意A=(ai)，B=(bi)∈C 與任意整數(shù)r，r∈Zm，A≠B，有

公式中的角標(biāo)模m運(yùn)算。一個(gè)參數(shù)為(m，k，λa，λc)光正交碼，簡(jiǎn)記為(m，k，λa，λc)-OOC，所含的碼字個(gè)數(shù)稱(chēng)為容量。對(duì)給定的正整數(shù)m，k，λa，λc，常用Φ(m，k，λa，λc)表示所有參數(shù)為(m，k，λa，λc)的光正交碼中最大的容量。達(dá)到最大容量的光正交碼為最優(yōu)。

光正交碼最早在文獻(xiàn)［1］中被研究。起初，各學(xué)者主要是對(duì)λa=λc的光正交碼進(jìn)行研究。關(guān)于λa≠λc的情況，在文獻(xiàn)［2］中，給出了k=4，λa=1和2，λc=3 時(shí)的一維以及二維光正交碼的最優(yōu)值。在文獻(xiàn)［3］中，確定了k，λa=k-2，λc=k-1 的最優(yōu)二維光正交碼的碼字個(gè)數(shù)的計(jì)算公式，并給出了k=5，λa=3，λc=4的最優(yōu)二維光正交碼的碼字個(gè)數(shù)的確切值。

本文確定了k=5，自相關(guān)系數(shù)為3 時(shí)的光正交碼的軌道代表元的表示形式，并且進(jìn)一步給出了一種求解k=5，λa=2，λc=4 的一維光正交碼的最大碼字個(gè)數(shù)的計(jì)算方法。

令I(lǐng)n={0，1，2，…，n-1}，Zm是模m的剩余類(lèi)加群，集合Ω(n×m，k)為In×Zm的所有k元子集的集合。Φ(n×m，k，λa，λc)表示參數(shù)為(n×m，k，λa，λc)的二維光正交碼的最大容量。

引理1［2］設(shè)n，m，k，α為正整數(shù)，且1 ≤α≤k-2，則

Θ(α)是集合Ω(n×m，k)在群Zm作用下滿(mǎn)足λ(X)=α+1 時(shí)的所有軌道的集合。

故當(dāng)n=1，k=5，α=2 時(shí)，結(jié)論如下。

推論對(duì)任意正整數(shù)m，有Φ(m，5，2，4)=Φ(m，5，3，4)-|Θ(2)|。

結(jié)合文獻(xiàn)［3］中給出的結(jié)果，只需確定Θ(2)的值，即集合C5Zm在群Zm作用下滿(mǎn)足λ(X)=3 時(shí)的所有軌道的個(gè)數(shù)。

2 預(yù)備知識(shí)

Zm是模m剩余類(lèi)加群。令CkZm表示Zm中所有k‐子集的集合。對(duì)于C中的任意一個(gè)(0，1)‐序列A，相應(yīng)地，在Zm上有且僅有一個(gè)k‐子集XA，使得i∈XA當(dāng)且僅當(dāng)A的第i個(gè)位置為1。根據(jù)上述條件，可以得到光正交碼的一個(gè)等價(jià)定義，即一個(gè)漢明權(quán)重為k的一維光正交碼可以看成一些k‐子集的集合{XA：A∈C }，每個(gè)k‐子集也稱(chēng)作區(qū)組。反之，設(shè)B ?CkZm，則B 構(gòu)成一個(gè)漢明權(quán)重為k的一維光正交碼要滿(mǎn)足：

（1）自相關(guān)性：對(duì)任意的區(qū)組X∈B 和任意的i∈Zm{0}，|X∩(X+i)|≤λa；

（2）互相關(guān)性：對(duì)任意的區(qū)組X，Y∈B，X≠Y和任意的i∈Zm，|X∩(Y+i)|≤λc。

其中對(duì)于任意X∈B，有X+i={x+i：x∈X}，所有加法在Zm上進(jìn)行。

對(duì)于任意k‐子集X∈CkZm，定義X的差集為多重集ΔX={a-b(mod m)：a，b∈X，a≠b}。定義ΔX的支撐為ΔX中所有互異元素組成的集合，記作supp(ΔX)。此外定義λ(X)為ΔX中出現(xiàn)最多次的差值的次數(shù)，則有λ(X)=max {mi(ΔX)：i∈ΔX}，其中mi(ΔX)表示正整數(shù)i在差集ΔX中出現(xiàn)的重?cái)?shù)。再由 光正交碼的碼字與k‐子集之間的關(guān)系，得λ(X)=max {|X∩(X+η)|：η∈Zm{0}}。對(duì)任意X∈CkZm和任意i∈Zm，在Zm作用下，結(jié)合定義X+i={x+i：x∈X}，集合{X+i：i∈Zm}稱(chēng)為X∈CkZm的軌道。X的軌道記作O(X)。若軌道O(X)中有m個(gè)互異的元素，則稱(chēng)為長(zhǎng)軌道；反之，稱(chēng)為短軌道。在群Zm作用下，CkZm中的k‐子集被劃分成了一些軌道。這些軌道代表元構(gòu)成了對(duì)應(yīng)的光正交碼。

3 關(guān)于Θ(2)值的計(jì)算

設(shè)θ是在群Zm作用下的任意軌道，若X，Y∈θ，則ΔX=ΔY。于是，假定軌道θ的一個(gè)代表元X={0，x1，…，xk-1}。

引理2對(duì)于(m，5，k，4)-OOC，滿(mǎn)足λ(X)=3 的碼字集Θ(2)可以寫(xiě)成互不相交的軌道集的并集，即，具體分類(lèi)為

以下為確定上述各集合的值。

引理3設(shè)m是正整數(shù)，若3|m，則|θ11|=[m/2]-?，其中?是當(dāng)γ∈{4，6，9}時(shí)，滿(mǎn)足γx≡0(mod m)的互不相同的正整數(shù)x∈(0，[m/2])的個(gè)數(shù)。否則為0。

證明由集合θ11的定義，若3 ?m，則|θ11|=0；若3|m，設(shè)θ是集合θ11中的任意軌道，則θ=O(X)，其中X={0，x，x+m/3，x+2m/3，2x}，x∈(0，m)且|supp(ΔX)|=10。故得ΔX={±m(xù)/3，±m(xù)/3，±m(xù)/3，±x，±x，±2x，±(x+m/3)，±(x+2m/3)，±(x-m/3)，±(x-2m/3)}，且±2x，±(x+2m/3)，±m(xù)/3，±x，±(x+m/3)互不相同，詳細(xì)計(jì)算得γx≡0(mod m)，γ∈{4，6，9}。另一方面，設(shè)X′={0，x′+2m/3，x′+m/3，x′，2x′} 與X在同 一軌道，則ΔX′=ΔX，即{±2x′，±x′，±(x′+m/3)，±(x′+2m/3)}={±2x，±x，±(x+m/3)，±(x+2m/3)}。詳細(xì)計(jì)算得到X′ 與X屬于同一條軌道當(dāng)且僅當(dāng)x′=x，-x。由此x∈(0，[m/2])，故|θ11|=[m/2]-?，?是當(dāng)γ∈{4，6，9}時(shí)，滿(mǎn)足γx≡0(mod m)的互不相同的正整數(shù)x∈(0，[m/2])的個(gè)數(shù)。

引理4設(shè)m是正整數(shù)。

（1）若6|m，則|θ12|=m-1-?，? 為滿(mǎn)足12x≡0(mod m)的正整數(shù)x∈(0，m)的個(gè)數(shù)。否則為0。

（2）若3|m，則|θ13|=m-1-?，?是 當(dāng)γ∈{9，12} 時(shí)，滿(mǎn) 足γx≡0(mod m) 的 互 不 相 同 的 正 整 數(shù)x∈(0，m)的個(gè)數(shù)。否則為0。

（3）若6|m，則|θ14|=(m-1-?)/6，? 為滿(mǎn)足12x≡0(mod m)的正整數(shù)x∈(0，m)的個(gè)數(shù)。否則為0。

證明與引理3 的證明類(lèi)似，此處略。

引理5設(shè)m是正整數(shù)。當(dāng)m為奇數(shù)時(shí)，則有

當(dāng)m為偶數(shù)時(shí)，則有

證明由集合θ15的定義，若3 ?m，則|θ15|=0。若3|m，設(shè)θ是集合θ15中的任意軌道，則θ=O(X)，其中X={0，m/3，2m/3，x，y}，x≠y∈(0，m)且|supp(ΔX)|=16。故ΔX={±m(xù)/3，±m(xù)/3，±m(xù)/3，±x，±y，±(y-x)，±(x-m/3)，±(x-2m/3)，±(y-m/3)，±(y-2m/3)} 且±m(xù)/3，±x，±y，±(xm/3)，±(x-2m/3)，±(y-m/3)，±(y-2m/3)，±(y-x) 互 不 相 同，詳 細(xì) 計(jì) 算 得2x≡a(mod m)，a∈{m/3，2m/3，0}，y ≡b(mod m)，b∈{±x，±x+m/3，±x+2m/3，2x，2x-m/3，2x-2m/3，x+m/2，m/3，2m/3}，2y≡c(mod m)，c∈{0，x，x+m/3，x+2m/3，m/3，2m/3}。設(shè)E={(x，y)：x≠y∈(0，m)，2x≡a(mod m)，a∈{0，m/3，2m/3}，y ≡b(mod m)，b∈{±x，±x+m/3，±x+2m/3，2x，2x-m/3，2x-2m/3，m/3，2m/3，x+m/2}，2y≡c(mod m)，c∈{0，x，x+m/3，x+2m/3，m/3，2m/3}}，則存在(x，y)∈E使 得 任 意 軌 道θ∈O(x，y)，其 中O(x，y)=O({0，m/3，2m/3，x，y})，定 義 集 合E到θ15的 映 射τ：任 意(x，y)∈E有(x，y)→O(x，y)，顯 然τ是 一 個(gè) 滿(mǎn) 射。故 對(duì) 任 給 的θ∈θ15，下 面 計(jì) 算τ-1(θ) 的 大 小。對(duì)(x，y)∈E有θ=O(x，y)。 若 (x′，y′)∈τ-1(θ)， 則O(x，y)=O(x′，y′)， 存 在t∈Zm使 得{0，m/3，2m/3，x，y}={0，m/3，2m/3，x′，y′}+t， 顯 然t∈{0，m/3，2m/3，x，y}。 若t=x， 則{0，m/3，2m/3，y}={x+m/3，x+2m/3，x+x′，x+y′}，因 此x+m/3 或x+2m/3 ∈{0，m/3，2m/3，y}，這種 情 況 不 存 在，同 理t≠y，故t=0，m/3，2m/3。 詳 細(xì) 計(jì) 算 得 到X′與X在 同 一 軌 道 當(dāng) 且 僅 當(dāng)(x′，y′)∈B(x，y)={(x，y)，(x+m/3，y+m/3)，(x+2m/3，y+2m/3)，(y，x)，(y+m/3，x+m/3)，(y+2m/3，x+2m/3)}。驗(yàn)證得τ-1(θ)=B(x，y)。于是有|θ15|=|E|/6。

計(jì) 算|E|。E1={(x，y)：x≠y∈(0，m)，2x≡a(mod m)，a∈{0，m/3，2m/3}}，E2是E1的 子 集，滿(mǎn) 足y≡b(mod m)，b∈{±x，±x+m/3，±x+2m/3，2x，2x-m/3，2x-2m/3，x+m/2，m/3，2m/3}，2y≡c(mod m)，c∈{0，x，x+m/3，x+2m/3，m/3，2m/3}，根據(jù)E的定義，|E|=|E1|-|E2|，

計(jì) 算 |E2|。m≡3(mod6)，設(shè) 集 合M={m/3，2m/3}，E2={(x，y)：x≠y∈(0，m)，y∈Rx}。x∈(0，m)M且x取 奇 數(shù) 或 者 偶 數(shù) 時(shí) 有：Rx奇=[1，m- 1]∩{m/3，2m/3，±x，±x+m/3，±x+2m/3，2x，2x-m/3，2x- 2m/3，(x+m)/2，(3x+m)/6，(3x+ 5m)/6}；Rx偶=[1，m- 1]∩{±x，±x+m/3，±x+2m/3，2x，2x-m/3，2x- 2m/3，x/2，(3x+ 4m)/6，(3x+ 2m)/6，m/3，2m/3}。 任 意x∈(0，m)M有

由此得

m≡0(mod6)，設(shè)集合M={m/2，m/3，2m/3，m/6，5m/6}，則E2={(x，y)：x≠y∈(0，m)，y∈Rx}。x∈(0，m)M且x取 奇 數(shù) 或 者 偶 數(shù) 時(shí) 有：Rx奇=[1，m-1]∩{±x，±x+m/3，±x+2m/3，2x，2xm/3，2x-2m/3，m/3，2m/3，m/6，5m/6，x+m/2，m/2}；Rx偶=[1，m-1]∩{±x，±x+m/3，±x+2m/3，2x，2x-m/3，2x-2m/3，x+m/2，x/2，(3x+4m)/6，(3x+2m)/6，(x+m)/2，(3x+m)/6，(3x+5m)/6，m/2，m/3，2m/3，m/6，5m/6}。則|Rx|分別為

由此得

結(jié)合|E1|，結(jié)論得證。

引理6設(shè)m是正整數(shù)，則|θ21|=[m/2]-?，?是γ={7，8，9，10，12}時(shí)，滿(mǎn)足γx≡0(mod m)的互不相同的正整數(shù)x∈(0，[m/2])的個(gè)數(shù)。

證明注意到X與-X在同一軌道，故設(shè)θ是集合θ21中的任意軌道，則θ=O(X)，其中X={0，2x，4x，6x，3x}，x∈(0，[m/2])且|supp(ΔX)|=10。之后的證明思路同引理3 的證明，此處略。

引理7設(shè)m是正整數(shù)。

（1）若2|m，則|θ22|=m-1-?，?是γ∈{6，8，10} 時(shí)，滿(mǎn) 足γx≡0(mod m) 的 互 不 相 同 的 正 整 數(shù)x∈(0，m)的個(gè)數(shù)。否則為0。

（2）|θ23|=|θ24|=m-1-?，?是γ∈{7，8，9，10，11，12} 時(shí)，滿(mǎn)足γx≡0(mod m) 的互不相同的正整數(shù)x∈(0，m)的個(gè)數(shù)。

（3）若(m，10)=5，則|θ25|=m-5；若(m，10)=10，則|θ25|=m-10。否則為0。

（4）若(m，12)=6，則|θ26|=m-6；若(m，12)=12，則|θ26|=m-12。否則為0。

（5）若2|m，則|θ27|=m-1-?，?是γ∈{8，10，12} 時(shí)，滿(mǎn) 足γx≡0(mod m) 的 互 不 相 同 的 正 整 數(shù)x∈(0，m)的個(gè)數(shù)。否則為0。

證明思路類(lèi)似于引理3，此處略。

引理8設(shè)m是正整數(shù)，當(dāng)m為奇數(shù)時(shí)，則有

其中

當(dāng)m為偶數(shù)時(shí)，則有

其中

證明與引理5 的證明類(lèi)似，此處略。

引理9設(shè)m是正整數(shù)，則

（1）|θ31|=m-1-?，?是 當(dāng)γ={6，7，8，9，10} 時(shí)，滿(mǎn) 足γx≡0(mod m) 的 互 不 相 同 的 正 整 數(shù)x∈(0，m)的個(gè)數(shù)。

（2）|θ32|=m-1-?，?是 當(dāng)γ={6，7，8，9，10} 時(shí)，滿(mǎn) 足γx≡0(mod m) 的 互 不 相 同 的 正 整 數(shù)x∈(0，m)的個(gè)數(shù)。

（3）若(m，8)=4，則|θ33|=m-4；若(m，8)=8，則|θ33|=m-8。否則為0。

證明類(lèi)似于引理3 的證明，此處略。

引理10設(shè)m是正整數(shù)，當(dāng)m為奇數(shù)時(shí)，則有

其中

當(dāng)m為偶數(shù)時(shí)，則有

其中

證明與引理5 的證明類(lèi)似，此處略。

引理11設(shè)m是正整數(shù)。若2|m，則|θ4|=m-1-?，?是γ ∈{6，8，10}時(shí)，滿(mǎn)足γx≡0(mod m)的互不相同的正整數(shù)x∈(0，m)的個(gè)數(shù)。否則為0。

證明思路類(lèi)似于引理3，此處略。

引理12設(shè)m是正 整數(shù)，當(dāng)8|m時(shí)，|θ51|=2；當(dāng)9|m時(shí)，|θ52|=9；當(dāng)10|m時(shí)，|θ53|=17；當(dāng)11|m時(shí)，|θ54|=10；當(dāng)12|m時(shí)，|θ55|=17；否則為0。

證明經(jīng)過(guò)驗(yàn)證，θ5i中的每個(gè)代表元X生成的軌道都是互不相交的，因此結(jié)論得證。

定理1設(shè)m為正整數(shù)，當(dāng)m為偶數(shù)時(shí)，則有

其中

當(dāng)m為奇數(shù)時(shí)，則有

其中

根據(jù)引理1 和定理1，以及文獻(xiàn)［3］中得出的結(jié)果，可以進(jìn)一步得到Φ(m，5，2，4)的值。