1. 引言
量子纠错码在量子信息理论和量子计算机发展进程中有着重要地位。与经典编码理论一样,量子理论中的一个主要问题是构建具有最佳可能最小距离的量子编码。许多量子编码已经通过使用经典方法构建出来了具有Euclidean或Hermitian自正交性的纠错码 [1] - [7] 。
设
是一个素数的幂,码长为
和码字个数为
的
元量子码
是指一个
维希尔伯特空间
的一个
维子空间。用
表示码长为
最小距离为
的
元量子码,则此码可以检查
错也可以纠正
位错 [8] 。特别地,对于量子码
均须达到满足量子Singleton边界:
。当量子码达到边界:
,称为量子极大可分码(MDS码)。近些年构造良好性能的量子纠错码成为热门研究。同样利用Hermitian Construction理论,本文构造了一种新的MDS码。
2. 基本概念与预备知识
首先,介绍一些基本概念 [8] 。令
为一个奇素数的幂,
记为有
个元素的有限域.
下面在有限域
上定义Hermitian内积:
设
,则
和
的Hermitian内积为
,其中
。如果
,则称
,
正交。
经典的
元线性码
是
上的
维向量空间
的一个
维子空间,记为
,其中
是码
的非零码字
的最小Hamming重量。
线性码
的Hermitian对偶码定义为:
。当
时,
叫做自正交码;当
时,
叫做自对偶码。
定义1 [9] :
上码长为
的线性码
称为常循环码是指对
,如果
,那么
。
当
时,
为循环码;当
时,
为负循环码。
如果把码字
写成多项式
并且看成商环
中的元素,则
是
常循环码的充要条件为
是商环
的一个理想。易知
是主理想,由
的单项式因子生成,即
,
。
称为
常循环码的生成式并且
,其中
。
假设
。
是个
次本原单位根属于
的某些扩域中使得
。令
,那么
是
次本原单位根,则
。
令
对于
,集合
表示包含
模
的
分圆陪集,即
,
是满足
的最小正整数。
称为
常循环码
的定义集。可以看到定义集
是一些模
的
分圆陪集的并而且
。
如果
有定义集
,易知
的定义集
。
定理2 [2] [5] :(Hermitian Construction)如果
是一个
线性码使得
,那么存在一个
量子码。
设
的生成式为
,则
的生成式为
。那么
当且仅当
。因此,我们有如下引理:
引理3:设
是码长为
的
元常循环码且定义集为
。那么
当且仅当
,其中
。
因为循环码与常循环吗有惊人的相似性,我们给出偏斜对称和偏斜非对称的对应关系如下:
如果
,则分圆陪集
是斜对称的;否则是不对称。如果不对称,则不对称陪集
和
成对出现,我们用
表示这样的一对。
引理4:设
是
的正因子,
,
。设
,
,
。
1)
是对称陪集当且仅当存在
使得
。
2) 如果
,
形成一对不对称陪集当且仅当存在
使得
或者
。
由这个引理可以得出下面引理:
引理5:设
是
的正因子,
,
。设
是码长为
的
元常循环码且定义集为
,那么
等价条件为:
1)
,其中
。
2) 如果
,那么
不是偏斜非对称的和
不是成对非对称陪集。
定理6:(
常循环码BCH界 [4] )设
是
码长为
的
常循环码,生成式
的根包括
,那么
的最小距离
。
3. 量子MDS码构造
引理7 [2] :给定
,设
和
,对于
,有
1)
和
;
2)
,
。
定理8:设为一个奇素数的幂,
和
,且
是码长为
的
元
常循环码及定义集
。由
是正整数,则
1) 如果
,
,则
。
2) 如果
,
,则
。
证明:方法一:假设
也就是说
。因此存在两个正整数
使得
1) 如果
,那么
因为
,那么
,
。
令
,则
。
我们可知
,
,
,
。
① 若
,那么
矛盾。
② 若
,那么
矛盾。
③ 若
,那么
矛盾。
④ 若
,那么
矛盾。
1) 如果
,那么
那么
,其中
。
① 如果
那么
。不可能成立。
② 如果
那么
。
接下来,我们有
,则
不可能成立。由(1)(2)可知假设不成立,所以
。
方法二:通过引理5,想证明
则需要证明
中不存在偏斜对称分圆陪集以及任何两个偏斜非对称分圆陪集成对出现。
令
,则
,
。
令
。我们需要证明
成立。
令
,
,
,
,
,
。
①
时
。
②
时
。
③
时
。
④
时
。
⑤
时
。
因此在
中不存在任何偏斜对称分圆陪集。
①
时,
。
②
时,
。
③
时,
。
④
时,
。
⑤
时,
。
⑥
时,
。
⑦
时,
。
⑧
时,
。
⑨
时,
。
⑩
时,
。
⑪
时,
。
⑫
时,
。
⑬
时,
。
⑭
时,
。
⑮
时,
。因此不存在偏斜非对称分圆陪集成对出现。
定理9:如果
或
,则存在
量子MDS码。当
时,
且为偶数;当
时,
且为偶数。
证明:
,当
时,考虑
域上码长为
上的
常循环码
并且它的定义集
,
,通过引理8,可知
又由引理7,可知
包含
个元素
。说明
的最小距离
且为偶数。因此
的参数为
。由Hermitian Construction 定理和量子Singleton界可知存在量子MDS码
。因此
,
量子MDS码存在。
同理当
时,
,
量子MDS码存在。
参考文献
NOTES
*通讯作者。