牛心舒，黃月梅，2

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

1 引言及主要結(jié)果

令n，k，λa，λc是正整數(shù)，Zn是模n的剩余類(lèi)加群，(Zkn)是Zn中所有k元子集的集合。一個(gè)(n，k，λa，λc)光正交碼（簡(jiǎn)記為(n，k，λa，λc)‐OOC）是一些長(zhǎng)度為n，漢明權(quán)為k的（0，1）‐序列的集合C，每個(gè)（0，1）‐序列稱(chēng)為一個(gè)碼字并滿(mǎn)足下列條件：

（1）（自相關(guān)性）對(duì)任意A=(ai)∈C 和任意正整數(shù)r，r≡0(modn)有

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

一個(gè)(n，k，λa，λc)‐OOC 的碼字?jǐn)?shù)量稱(chēng)為容量，通常用Φ(n，k，λa，λc)表示所有(n，k，λa，λc)‐OOC 的最大容量。當(dāng)一個(gè)(n，k，λa，λc)‐OOC 的碼字?jǐn)?shù)量達(dá)到了最大的容量則稱(chēng)之為最優(yōu)的。

光正交碼最早在文獻(xiàn)［1］中被研究。當(dāng)λa=λc時(shí)光正交碼的上界以及構(gòu)造問(wèn)題已經(jīng)被許多學(xué)者研究，可參考文獻(xiàn)［2-6］。當(dāng)λa≠λc時(shí)，文獻(xiàn)［7］通過(guò)運(yùn)用Skolem 序列及遞歸構(gòu)造等方法研究了最優(yōu)(n，3，2，1)光正交碼的容量問(wèn)題；文獻(xiàn)［8-10］通過(guò)直接構(gòu)造與遞歸構(gòu)造等方法給出了最優(yōu)(n，4，2，1)光正交碼的上界；當(dāng)λ∈{1，2}時(shí)，文獻(xiàn)［11-12］解決了最優(yōu)(n，4，λ，3)光正交碼的上界；文獻(xiàn)［13］給出了最優(yōu)(n，4，3，2)光正交碼的容量與一些遞歸構(gòu)造；文獻(xiàn)［14］研究了更為一般性的(n，k，k-2，k-1)光正交碼的上界問(wèn)題；同時(shí)在文獻(xiàn)［15-16］中得到了最優(yōu)(n，5，2，1)光正交碼的一些無(wú)窮類(lèi)。本文主要通過(guò)3‐子集軌道出現(xiàn)在碼字中的次數(shù)，給出最優(yōu)(n，4，1，2)光正交碼的上界。

定理1對(duì)于任意正整數(shù)n有

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

設(shè)C 是一個(gè)(n，k，λa，λc)‐OOC，對(duì)于任意（0，1）‐序列A∈C，若在Zn上構(gòu)造一個(gè)k元子集BA，有i∈BA，當(dāng)且僅當(dāng)A中第i個(gè)位置是非零的。集合{BA：A∈C}中的k元子集就與C 中的（0，1）‐序列形成一一對(duì)應(yīng)關(guān)系，通常將這樣的k元子集的集合記為B。

例1下 列 四 個(gè)（0，1）‐ 序 列 構(gòu) 成 一 個(gè) (13，4，1，2)‐OOC，即 1101000001000，1100101000000，1100010000010，1100000000100，通過(guò)子集的概念，一個(gè)(13，4，1，2)‐OOC 中的碼字可通過(guò)Z13上的4‐元子集給出{0，1，3，9}，{0，1，4，6}，{0，1，5，11}，{0，1，8，10}。

對(duì) 于 任 意B∈B，定 義O(B)={B+i：i∈Zn} 為B在Zn作 用 下 生 成 的 軌 道，其 中B+i={b+i(modn)：b∈B}，這樣()中的所有k元子集可以被劃分為一些軌道的并集，每個(gè)O(B)中的k元子集稱(chēng)之為區(qū)組。通常用|O(B)|表示軌道中不同區(qū)組的個(gè)數(shù)，若|O(B)|等于n則稱(chēng)之為長(zhǎng)軌道，否則為短軌道。

對(duì)于任意Zn中的k元子集B，定義集合ΔB={a-b(modn)：a，b∈B，a≠b}為B的差多重集，再定義ΔB的支撐集為集合中所有不同元素的集合，記作supp(ΔB)，令λ(B)記為ΔB中所有差重?cái)?shù)的最大值，則有

根據(jù)文獻(xiàn)［13］可用差集與3‐子集軌道代表元出現(xiàn)在碼字中的次數(shù)給出一個(gè)(n，k，λa，2)‐OOC 的等價(jià)表述。令B 是Zn中k元子集的集合，若B 滿(mǎn)足以下兩個(gè)條件，則它構(gòu)成一個(gè)(n，k，λa，2)‐OOC：

（1）（自相關(guān)性）λa=max{λ(B)：B∈B}；

（2）（互相關(guān)性）每個(gè)3‐子集軌道代表元最多出現(xiàn)在B 中的一個(gè)碼字中。

3 (n，4，1，2)‐OOC 的上界

建立Φ(n，4，1，2)較為緊密的上界，設(shè)B 是一個(gè)(n，4，1，2)‐OOC，對(duì)于任意B∈B，B為軌道O(B)的任意代表元，因此任一碼字B總可以表示為{0，a，b，c}的形式，其中a，b，c∈Zn{0}。

引理1［12］令B是Zn的任一包含0 元素的4‐子集。λ(B)=1，當(dāng)且僅當(dāng)|supp(ΔB)| =12。

引理2［13］令B是B 的任意4‐子集且λ(B)≤3。B包含三個(gè)不同的3‐子集軌道代表元，當(dāng)且僅當(dāng)B形如{0，a，2a，3a}，其中a∈Zn且a≠n5，2n5；B包含兩個(gè)不同的3‐子集軌道代表元，當(dāng)且僅當(dāng)B形如{0，a，2a，3a}，其中a∈{n5，2n5}；其余形式的碼字均包含四個(gè)不同的3‐子集軌道代表元。

引理3［9］令X={0，a，b}是Zn的任意3‐子集，則有

由引理3 可知，在Zn作用下只有O({0，n3，2n3}) 為短軌道，其余3‐子集均屬于長(zhǎng)軌道。對(duì)于Zn中的任意3‐子集，當(dāng)|supp(ΔX)| ≤5 時(shí)，這樣的3‐子集不能出現(xiàn)在B 的碼字中，否則與λa=1 矛盾。又因?yàn)閆n中的所有3‐子集可以被劃分為若干個(gè)不同的3‐子集軌道，故可記M(n)為|supp(ΔX)| =6 的3‐子集軌道的個(gè)數(shù)。

證明對(duì)于任意正整數(shù)n，設(shè)B 是一個(gè)(n，4，1，2)‐OOC。由引理2 可知B 中的每個(gè)碼字均包含四個(gè)不同的3‐子集軌道代表元，因此有

為確定Φ(n，4，1，2)的上界，需分情況討論M(n)的值。

對(duì) 于Zn中 任 一3‐子 集X，當(dāng)(n，12)=12 時(shí)，() 中 包 含n3 個(gè)|supp(ΔX)| =2 的3‐子 集，n個(gè)|supp(ΔX)| =3 的3‐子集，n(n2-3)個(gè)|supp(ΔX)| =4 的3‐子集以及n(n2-2)個(gè)|supp(ΔX)| =5 的3‐子集，因此中包含|supp(ΔX)| =6 的3‐子集軌道的個(gè)數(shù)為

當(dāng)(n，12)=6 時(shí)，中不存在|supp(ΔX)| =3 的3‐子集，包含n3 個(gè)|supp(ΔX)| =2 的3‐子集，n(n2-2) 個(gè)|supp(ΔX)| =4 的 3‐子 集 以 及n(n2-1) 個(gè)|supp(ΔX)| =5 的 3‐子 集，因 此中 包 含|supp(ΔX)| =6 的3‐子集軌道的個(gè)數(shù)為

當(dāng)(n，12)=4 時(shí)，() 中 不 存 在|supp(ΔX)| =2 的3‐子 集，包 含n個(gè)|supp(ΔX)| =3 的3‐子 集，包 含|supp(ΔX)| =4，5 的3‐子集均為n(n2-2)個(gè)，因此(Z3n)中包含|supp(ΔX)| =6 的3‐子集軌道的個(gè)數(shù)為

當(dāng)(n，12)=3 時(shí)，() 中 不 存 在|supp(ΔX)| =3，5 的3‐子 集，包 含n3 個(gè)|supp(ΔX)| =2 的3‐子 集，n((n-1) 2-1)個(gè)|supp(ΔX)| =4 的3‐子集，因此(3)中包含|supp(ΔX)| =6 的3‐子集軌道的個(gè)數(shù)為

當(dāng)(n，12)=2 時(shí)，() 中 不 存 在|supp(ΔX)| =2，3 的3‐子 集，包 含|supp(ΔX)| =4，5 的3‐子 集 均 為n(n2-1)個(gè)，因此()中包含|supp(ΔX)| =6 的3‐子集軌道的個(gè)數(shù)為

當(dāng)(n，12)=1 時(shí)中不存在|supp(ΔX)|=2，3，5 的3‐子集，包含n(n-1) 2 個(gè)|supp(ΔX)|=4 的3‐子集，因此()中包含|supp(ΔX)| =6 的3‐子集軌道的個(gè)數(shù)為

將以上所得M(n)的值分別代入（1）式，定理1 得證。

4 結(jié)語(yǔ)

本文主要通過(guò)計(jì)算碼字的3‐子集的方法確定了最優(yōu)(n，4，1，2)‐OOC 的上界，所用到的計(jì)算方法具有一定的普適性，可推廣應(yīng)用于二維(n×m，4，1，2)‐OOC 上界的構(gòu)造，并有望獲得更多的結(jié)果。