1. 引言
光正交码一般分为码重单一的常重量光正交码 [1] 和多种码重的变重量光正交码 [2]。由于其在移动无线电通信、跳频扩频通信、雷达等光码分多址网络中有着广泛的应用 [3],因而对光正交码的构造近年来备受关注。1998年,Yin为了构造最优常重量光正交码引入了区组大小单一的循环填充,并证明循环填充存在性等价于常重量光正交码的存在性 [4]。后来,为了能够构造最优变重量光正交码,2010年,Wu等人给出区组大小多样的循环填充相关定义并证明其存在性等价于变重量光正交码的存在性 [5]。
目前,利用循环填充构造常重量光正交码已取得较多的结果 [6] - [12]。同样地,利用循环填充构造双重量光正交码取得的结果主要是码重
时的情况 [5] [13] - [18]。对于含有码重大于7的双重量光正交码一系列直接具体的构造结果甚少。
根据文献 [2] 知,码重大的光正交码抗其他干扰的性能较好。因此,本文直接具体构造出一系列新的区组大小为3和7的最优循环填充及其相应的光正交码。即
定理:对于任何素数
且
,存在最优的循环填充
和最优的变重量光正交码
。
注:根据文献 [5] 知,若
,
是一个r-元组的正有理数且
,则符号
表示相关系数为1码字长度为n码重为
码字的个数占总码字个数的比例为
(其中
)的变重量光正交码。循环填充的符号
参见下文。
2. 预备知识
设G是一个交换群,
。记符号
。更进一步,记符号
。其中
和
都是多重集合。
设
是r个大于1的有序整数组,
表示模n的剩余类环,
。称一个设计
为循环填充
若以下条件满足:
1)
;2)
覆盖
中的每个元素至多一次。
称
为循环填充的区组。若
是一个r-元组的正有理数且
。则用
表示区组大小等于
的区组个数为
的
,其中
。
特别的,
中的一个
,若
覆盖
每个元素恰好一次,而不覆盖
的任何一个元素,则称为
-规则的。
关于最优循环填充和最优变重量光正交码之间的等价关系可用以下两个引理描述 [13]。
引理 1.1一个最优
等价于一个最优
。
引理 1.2设
,其中
。若
,则g-规则的
是最优的。
设f是正整数,
是奇素数,元素
是
的一个生成元。则称
为二次剩余,称
为二次非剩余。
设
是
的一个k元子集。再设K是一些正整数的集合,且每个元素都大于1。
若
。定义
1)
;
2)
。
记符号
,
。
由文献 [16] 的构造(Construction I)知,当
时,若
,
,
且
。则
形成一个m-规则的
。
为了方便,现将素数与二次剩余(二次非剩余)之间关系用以下引理 [19] 表示。
引理 1.3若
是素数。则
1)
;
2)
;
3)
;
4)
;
5)
;
6)
;
7)
;
8)
;
9)
;
10)
;
11)
;
12)
;
13)
;
14)
;
15)
;
16)
。
3. 定理的证明
对于每一个素数
,且
,由于
,因此根据中国剩余定理知
同构于
。下面我们对
分13种情形以引理的形式进行讨论。
引理 2.1若
是素数,
,则
形成一个
,其中
,
,
.
证明:根据
计算
。
易见
。因此,只需计算
。
,
,
,
,
,
,
,
,
,
,
。
由引理1.3的(1)和(2)知,
,且
。不难验证
,
,
。由前述知,
形成一个
。
利用引理1.3相应的条件,同理可证引理2.2~2.13成立。
引理 2.2 若
是素数,则
形成一个
,其中
,
,
.
引理 2.3若
是素数,则
形成一个
,其中
,
,
.
引理 2.4若
是素数,则
形成一个
,其中
,
,
.
引理 2.5若
是素数,则
形成一个
,其中
,
,
.
引理 2.6若
是素数,则
形成一个
,其中
,
,
.
引理 2.7若
是素数,则
形成一个
,其中
,
,
.
引理 2.8若
是素数,则
形成一个
,其中
,
,
.
引理 2.9若
是素数,则
形成一个
,其中
,
,
.
引理 2.10若
是素数,则
形成一个
,其中
,
,
.
引理 2.11若
是素数,则
形成一个
,其中
,
,
.
引理 2.12若
是素数,则
形成一个
,其中
,
,
.
引理 2.13若
是素数,则
形成一个
,其中
,
,
.
定理的证明:对于每个素数
且
,由引理2.1~2.13可得到一个
。对于
,设
则
形成一个
。
因此,由引理1.1和1.2知,对于任意的素数
且
,可得到一个最优的
和最优的变重量光正交码
。
基金项目
广西自然科学基金项目(2018GXNSFAA281259)。