理论数学  >> Vol. 9 No. 5 (July 2019)

六类纠缠辅助量子MDS码的构造
Constructions of Six Classes of Entanglement-Assisted Quantum MDS Codes

DOI: 10.12677/PM.2019.95087, PDF, HTML, XML, 下载: 377  浏览: 1,483 

作者: 张琳雪*, 唐西林:华南理工大学数学学院,广东 广州

关键词: 纠缠辅助量子码常循环码MDS码定义集Entanglement-Assisted Quantum Codes Constacyclic Codes MDS Codes Defining Sets

摘要: 纠缠辅助量子码利用发送器和接收器之间预先存在的纠缠来提高信息速率。本文通过刻画常循环码纠缠态的数量与定义集大小的关系,构造了六类纠缠辅助量子MDS码。
Abstract: Entanglement-assisted quantum error-correcting codes make use of preexisting entanglement between the sender and receiver to improve information rate. In this paper, we obtain six classes of entanglement-assisted quantum MDS codes by means of characterizing the relationship between the number of entangled states and the size of defining set of constacyclic codes.

文章引用: 张琳雪, 唐西林. 六类纠缠辅助量子MDS码的构造[J]. 理论数学, 2019, 9(5): 653-663. https://doi.org/10.12677/PM.2019.95087

1. 引言

在量子信息和量子计算中,非常重要的任务就是构造好的量子纠错码。近年来,诸多研究者通过经典纠错码来构造量子纠错码(见 [1] [2] [3] )。一个参数为 n , k , d q q元量子码Q是Hillbert空间 ( C q ) n 的一个 q k 维子空间。参数为 n , k , d q 量子码C满足量子Singleton界: k n 2 d + 2 ,如果 k = n 2 d + 2 ,则称量子码C为量子极大距离可分离码(量子MDS码) (见 [4] )。

在量子纠错码中,纠缠辅助量子纠错码(简写为EAQEC码)扮演重要的角色。在 [5] 中,给出对EAQEC码纠缠辅助Singleton界,并把达到这个界的码称为纠缠辅助量子MDS码(简写为EAQMDS码)。在 [6] 中,在经典MDS码的基础上,通过加入一个或者更多的纠缠态,构造五类新的EAQMDS码。在 [7] 中,提出分解定义集的概念,并用这个方法分解BCH循环码的定义集,得到了一些好的EAQEC码。近年来,负循环码经常被用来构造EAQMDS码。在 [8] [9] 中,通过分解负循环码的定义集,得到新的EAQMDS码。在 [10] [11] 中由基于负循环码扩充到基于常循环码来构造新的EAQMDS码。本文通过分解常循环码的定义集构造了六类新的EAQMDS码。本文采用不同于 [10] [11] 的方法来计算纠缠态的数量c,在同样的长度n下定义集具有更一般的形式,从而可构造更多的EAQMDS码。

由于EAQMDS码的性能优劣是通过速率 k c n 来评价的,已知 k c n = n ( δ + 1 ) c n = 1 δ + c + 1 n ,c随着 δ 增大而增大,就其性能而言 δ 越小越好。而EAQMDS码的纠错能力与最小距离d有关,d越大纠错能力越强,正如在 [12] 中给出最小距离大于 q 2 + 1 时,码具有较好的纠错能力。d随着 δ 增大而增大,因此在实际问题中 δ 尽可能大时保证c尽量小,我们有必要弄清楚c与 δ 的关系,本文将讨论这一问题。

2. 预备知识

2.1. 常循环码

令q为一个奇素数的方幂,设 F q 2 为具有 q 2 个元素的有限域,给任意两个向量 X = ( x 1 , x 2 , , x n ) Y = ( y 1 , y 2 , , y n ) F q 2 n ,定义Hermitian内积为 X , Y H = i = 1 n x i y i q 。如果 X , Y H = 0 ,则称这两个向量Hermitian正交。 F q 2 n F q 2 上的n维向量空间,一个参数为 [ n , k , d ] q 2 的线性码C是指 F q 2 n 空间中最小距离为d的k维子空间。定义线性码的Hermitian对偶码为 C H = { X F q 2 n | X , Y H = 0 , Y C } ,如果 C C H ,则C称为Hermitian自正交码。

( n , q ) = 1 。对于 η F q 2 * ,如果 ( c 0 , c 1 , , c n 1 ) C ,有 ( η c n 1 , c 0 , , c n 2 ) C ,称线性码C为 η -常循环码。一个码字 c = ( c 0 , c 1 , , c n 1 ) 也可以用一个多项式 c ( x ) = c 0 + c 1 + + c n 1 x n 1 表示。因此每个 η -常循环码都是商环 F q 2 [ x ] / x n η 的一个主理想,即 C = g ( x ) ,其中 g ( x ) | x n η ,且 g ( x ) 是首1多项式。假设 ω F q 2 * 是rn次本原单位根且 ω n = η ,令 ζ = ω r ,则 ζ 是一个n次本原单位根。那么就有

x n η = x n ω n = j = 0 n 1 ( x ω 1 + j r ) .

Ω = { 1 + j r | 0 j n 1 } 。对于 j Ω ,设C是 η -常循环码,且 C = g ( x ) ,称 Z = { j Ω | g ( ω j ) = 0 } 为C的定义集,因而 Z H = { j Ω | q j ( mod r n ) Z } C H 的定义集。称 C j = { j q 2 i ( mod r n ) | i Z } 为j模rn的 q 2 -分圆陪集。

引理2.1 [13] 设 C = g ( x ) 是一个在 F q 2 上,长度为n的 η -常循环码,其中 η 是一个r次本原单位根。如果 g ( x ) 的根为 { ω 1 + r j | j 1 j j 1 + d 2 } ,那么C的极小距离至少为d。

引理2.2 [14] 设 η F q 2 o r d ( η ) = r ,其中 r | q + 1 。C是一个在 F q 2 上,长度为n的 η -常循环码,其定义集为 Z Ω ,那么 C H C 当且仅当 Z ( q Z ) = ,其中 q Z = { q z ( mod r n ) | z Z }

2.2. 纠缠辅助量子码

引理2.3 [15] 如果在有限域 F q 上存在一个参数为 [ n , k , d ] 的线性码C,则有Singleton界: k n d + 1 。当达到Singleton界,即 k = n d + 1 ,则称C为MDS码。

令H为C的 ( n k ) × n 的校验矩阵,则 C H n × ( n k ) 的生成矩阵 H ,其中 H 为H的共轭转置矩阵。

引理2.4 [16] 如果C为有限域 F q 上参数为 [ n , k , d ] 的线性码,H为C的校验矩阵,则存在参数为 n , 2 k n + c , d ; c q 的EAQEC码,其中 c = r a n k ( H H )

引理2.5 [5] C为有限域 F q 上带参数为 [ [ n , k , d ; c ] ] q 的EAQEC码,如果 d ( n + 2 ) / 2 ,则C满足纠缠辅助Singleton界: n + c k 2 ( d 1 ) 。如果对于 d ( n + 2 ) / 2 ,C满足 n + c k = 2 ( d 1 ) ,则C称为EAQMDS码。

定义2.6 [8] 设 η F q 2 o r d ( η ) = r ,其中 r | q + 1 。C是一个在 F q 2 上,长度为的n的 η -常循环码,其定义集为Z。假设 Z 1 = Z ( q Z ) , Z 2 = Z \ Z 1 ,其中 q Z = { q z ( mod r n ) | z Z } 。则 Z = Z 1 Z 2 称为C的定义集的分解。

引理2.7 [8] C是一个在 F q 2 上,长度为的n的 η -常循环码,其定义集为Z,且 Z = Z 1 Z 2 为定义集Z的分解,则纠缠态的数量为 c = | Z 1 | = | Z ( q Z ) |

本文未指明的符号、概念参见 [11] 。

3. 主要结果

3.1. 构造长为 n = q 2 1 r 的EAQMDS码

在本节中q为一个奇素数的方幂, r | q + 1 。注意到 n = q 2 1 r ,则有 r n = q 2 1 , o r d r n ( q 2 ) = 1 ,这意味着每个模rn的 q 2 -分圆陪集只包含一个元素。

定理3.1 若C是一个在 F q 2 上,长度为 n = q 2 1 r η -常循环码,它的定义集为 Z = j = 0 δ C 1 + r j ,则能找到所有长度为n的EAQMDS码,它的参数为 n , n 2 ( δ + 1 ) + c ( δ ) , δ + 2 ; c ( δ ) q

证明 由于 | Z | = δ + 1 则从引理2.1和引理2.3可知C是一个参数为 [ n , n ( δ + 1 ) , δ + 2 ] q 2 MDS码。根据引理2.7

c = | Z ( q Z ) | = | { ( j , k ) | 1 + r j q ( 1 + r k ) ( mod r n ) , 0 j , k δ } | = | { ( j , k ) | j + q k q + 1 r ( mod n ) , 0 j , k δ } | .

这表明c与 δ 的取值范围有关。由引理2.4存在参数为 n , n 2 ( δ + 1 ) + c ( δ ) , δ + 2 ; c ( δ ) q 的EAQMDS码。为了找到c关于 δ 的对应关系,讨论同余方程 j + q k q + 1 r ( mod n ) 的解,注意到 Ω = { 1 + j r | 0 j n 1 } ,因此可假定 0 j , k n 1 。这样

j + q k q + 1 r ( mod n ) 有整数解 ( j , k )

l Z 来说, n l q + 1 r = j + q k 有整数解 ( j , k )

0 j , k n 1 ,当 r 1 时,可得 1 l q 。在取定l后把 n l q + 1 r 表示成 j + q k 这种形式,其中 ( j , k ) 的取法是多样的,例如:

j + q k = n l q + 1 r = l ( q 2 1 ) r q + 1 r = ( l ( q + 1 ) r x ) q + x q ( l + 1 ) ( q + 1 ) r .

b l , x = max ( j , k ) = max ( x q ( l + 1 ) ( q + 1 ) r , l ( q + 1 ) r x ) ,得到所有的 b l , x ,只要给定r,就可以把 b l , x 从小到大排列。依次记为 b 1 , b 2 , b 3 , 。若 b i 对应的 b l , x c i 个,则当 0 δ b 1 1 时, c ( δ ) = 0 ;当 b 1 δ b 2 1 时, c ( δ ) = c 1 ;当 b i δ b i + 1 1 时, c ( δ ) = c 1 + c 2 + + c i 。接下来计算所有的 b l , x

l = t ( 1 t q ) 时,有 t q 2 1 r q + 1 r = ( t ( q + 1 ) r x ) q + x q ( t + 1 ) ( q + 1 ) r ,因为 0 j , k n 1 ,则

0 t ( q + 1 ) r x n 1 0 x q ( t + 1 ) ( q + 1 ) r n 1

即当 t > 1

( t + 1 ) ( q + 1 ) r q x q 2 1 r + ( t + 1 ) ( q + 1 ) r q .

x q ( t + 1 ) ( q + 1 ) r t ( q + 1 ) r x x 2 t + 1 r 时, b t , x = x q ( t + 1 ) ( q + 1 ) r ,否则 b t , x = t ( q + 1 ) r x 。得到所有的 b t , x 如下:

b t , ( t + 1 ) ( q + 1 ) r q = t ( q + 1 ) r ( t + 1 ) ( q + 1 ) r q , , b t , 2 t + 1 r 1 = t ( q + 1 ) r ( 2 t + 1 r 1 )

b t , 2 t + 1 r = 2 t + 1 r q ( t + 1 ) ( q + 1 ) r , , b t , q 2 1 r + ( t + 1 ) ( q + 1 ) r q = q 2 1 r + ( t + 1 ) ( q + 1 ) r q q ( t + 1 ) ( q + 1 ) r .

l = 1 ,得到所有的 b 1 , x

b 1 , 3 r = 3 r q 2 ( q + 1 ) r , b 1 , 3 r + 1 = ( 3 r + 1 ) q 2 ( q + 1 ) r , , b 1 , q + 1 r = q + 1 r q 2 ( q + 1 ) r .

l = 2 ,得到所有的 b 2 , x

b 2 , 3 ( q + 1 ) r = 2 ( q + 1 ) r 3 ( q + 1 ) r , , b 2 , 5 r 1 = 2 ( q + 1 ) r ( 5 r 1 )

b 2 , 5 r = ( 5 r ) q 3 ( q + 1 ) r , , b 2 , q 2 1 r + 3 ( q + 1 ) r q = q 2 1 r + 3 ( q + 1 ) r q q 3 ( q + 1 ) r .

l = q ,得到所有的 b q , x

b q , q + 1 r + 1 = q ( q + 1 ) r ( q + 1 r + 1 ) = n 1 , , b q , 2 ( q + 1 ) r 1 = q ( q + 1 ) r ( 2 ( q + 1 ) r 1 ) .

注意当 r = 1 时,同理可计算所有的 b l , x 。综上若C的定义集为 Z = j = 0 δ C 1 + r j ,当 b i δ b i + 1 1 时,则存在参数为 n , n 2 ( δ + 1 ) + c 1 + + c i , δ + 2 ; c 1 + + c i q 的EAQMDS码。

推论3.2 1) 若C是一个在 F q 2 上,长度为 n = q 2 1 η -常循环码,它的定义集为 Z = j = 0 δ C 1 + j ,则存在参数为 n , n 2 ( δ + 1 ) + c ( δ ) , δ + 2 ; c ( δ ) q EAQMDS码。当 0 δ q 3 时, c ( δ ) = 0 ,得 C H C ;当 q 2 δ 2 q 4 时, c ( δ ) = 1 ;当 δ = 2 q 3 时, c ( δ ) = 2 ;当 2 q 2 δ 3 q 5 时, c ( δ ) = 4 ;当 δ = 3 q 4 时, c ( δ ) = 5 ;当 δ = 3 q 3 时, c ( δ ) = 7 ;当 3 q 2 δ 4 q 6 时, c ( δ ) = 9

2) 若C是一个在 F q 2 上,长度为 n = q 2 1 2 η -常循环码,它的定义集为 Z = j = 0 δ C 1 + 2 j ,则存在参数为 n , n 2 ( δ + 1 ) + c ( δ ) , δ + 2 ; c ( δ ) q EAQMDS码。当 0 δ q 2 时, c ( δ ) = 0 ,得 C H C ;当 q 1 δ 3 q 5 2 时, c ( δ ) = 2 ;当 3 q 3 2 δ 2 q 3 时, c ( δ ) = 4 ;当 δ = 2 q 2 时, c ( δ ) = 6 ;当 2 q 1 δ 5 q 7 2 时, c ( δ ) = 8

证明 我们只证明1),2)的证明是类似的。在定理3.1中,取定 r = 1 ,所有的 b l , x 取值如下:

l = 1 时, q 2 , 2 q 2 , 3 q 2 , 4 q 2 , 5 q 2 , , ( q 1 ) q 2.

l = 2 时, 2 q 2 , 2 q 3 , 3 q 3 , 4 q 3 , 5 q 3 , , ( q 1 ) q 3 .

l = 3 时, 3 q 2 , 3 q 3 , 3 q 4 , 4 q 4 , 5 q 4 , , ( q 1 ) q 4 .

l = 4 时, 4 q 2 , 4 q 3 , 4 q 4 , 4 q 5 , 5 q 5 , , ( q 1 ) q 5 .

l = t 时, t q 2 , t q 3 , t q 4 , t q 5 , , t q t , t q ( t + 1 ) , ( t + 1 ) q ( t + 1 ) , , ( q 1 ) q ( t + 1 ) .

l = q + 1 时, ( q + 1 ) q ( q 2 ) = n 1.

现在把 b l , x 从小到大排列出来,这里只排列出前面部分,有

b 1 = q 2 , c 1 = 1 ; b 2 = 2 q 3 , c 2 = 1 ; b 3 = 2 q 2 , c 3 = 2 ; b 4 = 3 q 4 , c 4 = 1 ; b 5 = 3 q 3 , c 5 = 2 ; b 6 = 3 q 2 , c 6 = 2.

根据定理3.1即可得出结论。

推论3.3 1) 若C是一个在 F q 2 上,长度为 n = q 2 1 r η -常循环码,其中 r | q + 1 r 3 ,r是一个奇数。令 r = 2 m + 1 , λ = q + 1 r 。C的定义集为 Z = j = 0 δ C 1 + r j ,则存在参数为 n , n 2 ( δ + 1 ) + c ( δ ) , δ + 2 ; c ( δ ) q 的EAQMDS码。当 0 δ m λ 2 时, c ( δ ) = 0 ,得 C H C ;当 m λ 1 δ ( m + 1 ) λ 2 时, c ( δ ) = 1 ;当 ( m + 1 ) λ 1 δ ( m + 2 ) λ 2 时, c ( δ ) = 3 ;当 ( m + 2 ) λ 1 δ ( m + 3 ) λ 2 时, c ( δ ) = 5 ;当 ( m + t ) λ 1 δ ( m + t + 1 ) λ 2 时, c ( δ ) = 2 t + 1 ;当 ( 2 m 1 ) λ 1 δ q 2 时, c ( δ ) = 2 m 1 ;当 δ = q 1 时, c ( δ ) = 2 m + 1

2) 若C是一个在 F q 2 上,长度为 n = q 2 1 r η -常循环码,其中 r | q + 1 r 4 ,r是一个偶数。令 r = 2 m λ = q + 1 r 。C的定义集为 Z = j = 0 δ C 1 + r j ,则存在参数为 n , n 2 ( δ + 1 ) + c ( δ ) , δ + 2 ; c ( δ ) q 的EAQMDS码。当 0 δ m λ 2 时, c ( δ ) = 0 ,得 C H C ;当 m λ 1 δ ( m + 1 ) λ 2 时, c ( δ ) = 2 ;当 ( m + 1 ) λ 1 δ ( m + 2 ) λ 2 时, c ( δ ) = 4 ;当 ( m + 2 ) λ 1 δ ( m + 3 ) λ 2 时, c ( δ ) = 6 ;当 ( m + t ) λ 1 δ ( m + t + 1 ) λ 2 时, c ( δ ) = 2 ( t + 1 ) ;当 ( 2 m 2 ) λ 1 δ q 2 时, c ( δ ) = 2 m 2

δ = q 1 时, c ( δ ) = 2 m

证明 我们只证明1),同理可证明2)。当 δ q 1 时,有 0 j , k q 1 ,得到 n l = j + q k 的表示唯一,此时相当于对 n l 做带余除法。这里设定 δ q 1 ,由 0 j , k n 1 r = 2 m + 1 可得 1 l 2 m + 1

l 2 m 1 时,有 l q 2 1 r q + 1 r = ( l ( q + 1 ) r 1 ) q + q ( l + 1 ) ( q + 1 ) r

l = 2 m 时,有 2 m q 2 1 r q + 1 r = ( 2 m ( q + 1 ) r 2 ) q + q 1

l = 2 m + 1 时,有 ( 2 m + 1 ) q 2 1 r q + 1 r = ( q 1 ) q + q q + 1 r 1.

因为 r = 2 m + 1 ,所以

l = m 时,有

q ( m + 1 ) ( q + 1 ) r = m ( q + 1 ) r 1 b m , 1 = m q + 1 r 1

1 l < m 时,有

q ( l + 1 ) ( q + 1 ) r > l ( q + 1 ) r 1 b l , 1 = q ( l + 1 ) ( q + 1 ) r

m < l 2 m + 1 时,有

q ( l + 1 ) ( q + 1 ) r < l ( q + 1 ) r 1 b l , 1 = l ( q + 1 ) r 1.

又因为

( m + t ) ( q + 1 ) r 1 = q ( m t + 1 ) ( q + 1 ) r

故有

b m , 1 = m q + 1 r 1 , b m 1 , 1 = b m + 1 , 1 = ( m + t ) ( q + 1 ) r 1 , , b m t , 1 = b m + t , 1 = ( m + t ) ( q + 1 ) r 1 , , b 1 , 1 = b 2 m 1 , 1 = ( 2 m 1 ) ( q + 1 ) r 1 , b 2 m , 1 = q 1 , b 2 m + 1 , 1 = q 1.

将它们从小到大排列出来:

b 1 = m λ 1 , c 1 = 1 ; b 2 = ( m + 1 ) λ 1 , c 2 = 2 ; b 3 = ( m + 2 ) λ 1 , c 3 = 2 ; ; b t + 1 = ( m + t ) λ 1 , c t + 1 = 2 ; ; b m = ( 2 m 1 ) λ 1 , c m = 2 ; b m + 1 = q 1 , c m + 1 = 2.

根据定理3.1即可得出结论。

3.2. 构造长为 n = q 2 + 1 1 0 ,其中 q 7 ( m o d 1 0 ) 与长为 n = q 2 + 1 3 4 ,其中 q 2 1 ( m o d 3 4 ) 的 EAQMDS码

在本节中q为一个奇素数的方幂, r | q + 1 。注意到 n = q 2 + 1 10 或者 n = q 2 + 1 34 ,则有 o r d r n ( q 2 ) = 2 。令 s = q 2 + 1 2 则模 r n q 2 -分圆陪集分别是 C s = { s } , C s r j = { s r j , s + r j } ,其中 1 j n 1 2

引理3.4 令 s = q 2 + 1 2 ,当 n | s 时,有

( j , k ) s r j q ( s r k ) ( mod r n ) 的解 ( k , j ) s r j q ( s + r k ) ( mod r n ) 的解。

证明 要证 ( j , k ) s r j q ( s r k ) ( mod r n ) 的解 ( k , j ) s r j q ( s + r k ) ( mod r n ) 的解,即证 ( j , k ) j + q k 0 ( mod n ) 的解 ( k , j ) j q k 0 ( mod n ) 的解。

先证必要性,由 ( j , k ) j + q k 0 ( mod n ) 的解,有

q ( j + q k ) = q j q 2 k = q j + k ( q 2 + 1 ) k = k q j 0 ( mod n )

k q j 0 ( mod n )

( k , j ) j q k 0 ( mod n ) 的解。同理可证充分性。

引理3.5 s = q 2 + 1 2 ,当 n | s 时,则 ( j , k ) s r ( n 1 2 j ) q ( s r ( n 1 2 k ) ) ( mod r n ) 的解 ( k , j ) s r ( n 1 2 j ) q ( s + r ( n 1 2 k ) ) ( mod r n ) 的解。

证明 只需证 ( j , k ) j + q k q + 1 2 0 ( mod n ) 的解 ( k , j ) j q k + q 1 2 0 ( mod n ) 的解。

先证必要性,由 ( j , k ) j + q k q + 1 2 0 ( mod n ) 的解,有

q ( j + q k q + 1 2 ) = q j q 2 k + q 2 + q 2 = q j + k ( q 2 + 1 ) k + q 2 + 1 + q 1 2 = k q j + q 1 2 0 ( mod n )

k q j + q 1 2 0 ( mod n )

( k , j ) j q k + q 1 2 0 ( mod n ) 的解。同理可证充分性。

定理3.6 q为一个奇素数的方幂,且 q 7 ( mod 10 ) , q > 7 ,若C是一个在 F q 2 上,长度为 n = q 2 + 1 10 η -常循环码,它的定义集为 Z = j = 0 δ C s r j ,则存在参数为 n , n 2 ( 2 δ + 1 ) + c ( δ ) , 2 δ + 2 ; c ( δ ) q 的EAQMDS码。

0 δ 3 q 1 10 1 时, c ( δ ) = 1 ;当 3 q 1 10 δ 4 q + 2 10 1 时, c ( δ ) = 5

4 q + 2 10 δ 5 q + 5 10 1 时, c ( δ ) = 9 ;当 5 q + 5 10 δ 6 q 2 10 1 时, c ( δ ) = 13

6 q 2 10 δ 7 q + 1 10 1 时, c ( δ ) = 17 ;当 7 q + 1 10 δ 8 q 6 10 1 时, c ( δ ) = 21

8 q 6 10 δ 8 q + 4 10 1 时, c ( δ ) = 25 ;当 8 q + 4 10 δ 9 q 3 10 时, c ( δ ) = 29

9 q 3 10 δ 9 q + 7 10 1 时, c ( δ ) = 33

证明 由于 | Z | = 2 δ + 1 则从引理2.1和引理2.3得C是一个带参数为 [ n , n ( 2 δ + 1 ) , 2 δ + 2 ] q 2 MDS码。由引理2.4得存在参数为 n , n 2 ( 2 δ + 1 ) + c ( δ ) , 2 δ + 2 ; c ( δ ) q 的EAQMDS码。当 δ q 1 时,有 0 j , k q 1 ,得到 n l = j + q k 的表示唯一,此时相当于对 n l 做带余除法。设定 δ q 1 ,由于 s q s ( mod r n ) ,根据引理2.7

c = | Z ( q Z ) | = | { ( j , k ) | s ± r j q ( s ± r k ) ( mod r n ) , 1 j , k q 1 } | + 1 = 2 | { ( j , k ) | j + q k 0 ( mod n ) , 1 j , k q 1 } | + 2 | { ( j , k ) | j q k 0 ( mod n ) , 1 j , k q 1 } | + 1.

又因为

j + q k 0 ( mod n ) 有整数解 ( j , k ) ,其中 1 j , k q 1 ,

1 l 9 , l Z 来说, n l = j + q k 有整数解 ( j , k ) ,其中 1 j , k q 1

j q k 0 ( mod n ) 有整数解 ( j , k ) ,其中 1 j , k q 1 ,

9 l 1 , l Z 来说, n l = j q k 有整数解 ( j , k ) ,其中 1 j , k q 1

取定l后把 n l 表示成 j + q k 这种形式,令 b l , 1 = max ( j , k )

l = 1 时,有 q 2 + 1 10 = ( q 7 10 ) q + 7 q + 1 10 b 1 , 1 = 7 q + 1 10

l = 2 时,有 2 q 2 + 1 10 = ( 2 ( q 7 ) 10 + 1 ) q + 4 q + 2 10 b 2 , 1 = 4 q + 2 10

l = 3 时,有 3 q 2 + 1 10 = ( 3 ( q 7 ) 10 + 2 ) q + q + 3 10 b 3 , 1 = 3 q 1 10

l = 4 时,有 4 q 2 + 1 10 = ( 4 ( q 7 ) 10 + 2 ) q + 8 q + 4 10 b 4 , 1 = 8 q + 4 10

l = 5 时,有 5 q 2 + 1 10 = ( 5 ( q 7 ) 10 + 3 ) q + 5 q + 5 10 b 5 , 1 = 5 q + 5 10

l = 6 时,有 6 q 2 + 1 10 = ( 6 ( q 7 ) 10 + 4 ) q + 2 q + 6 10 b 6 , 1 = 6 q 2 10

l = 7 时,有 7 q 2 + 1 10 = ( 7 ( q 7 ) 10 + 4 ) q + 9 q + 7 10 b 7 , 1 = 9 q + 7 10

l = 8 时,有 8 q 2 + 1 10 = ( 8 ( q 7 ) 10 + 5 ) q + 6 q + 8 10 b 8 , 1 = 8 q 6 10

l = 9 时,有 9 q 2 + 1 10 = ( 9 ( q 7 ) 10 + 6 ) q + 3 q + 9 10 b 9 , 1 = 9 q 3 10

1 l 9 , l Z ,将 b l , 1 = max ( j , k ) 从小到大排列,依次记为 b 1 , b 2 , b 3 , , b 9 。得

b 1 = 3 q 1 10 b 2 = 4 q + 2 10 b 3 = 5 q + 5 10 b 4 = 6 q 2 10 b 5 = 7 q + 1 10

b 6 = 8 q 6 10 b 7 = 8 q + 4 10 b 8 = 9 q 3 10 b 9 = 9 q + 7 10 .

由引理3.4得 ( j , k ) j + q k 0 ( mod n ) 的解 ( k , j ) j q k 0 ( mod n ) 的解。对 9 l 1 , l Z n l = j q k ,令 b l , 1 = max ( j , k ) ,将 b l , 1 从小到大排列,顺序依然为 b 1 , b 2 , b 3 , , b 9 。令 b 0 = 0 ,综上,对 0 i 8 , i Z ,当 b i δ b i + 1 1 时, c ( δ ) = 4 i + 1

定理3.7 q为一个奇素数的方幂,且 q 7 ( mod 10 ) , q > 7 ,若C是一个在 F q 2 上,长度为 n = q 2 + 1 10 η -常循环码,它的定义集为 Z = j = 0 δ C s r ( n 1 2 j ) ,则存在参数为 n , n 2 ( 2 δ + 1 ) + c ( δ ) , 2 δ + 2 ; c ( δ ) q 的EAQMDS码。

0 δ 2 q + 6 10 1 时, c ( δ ) = 0 ;当 2 q + 6 10 δ 4 q + 2 10 1 时, c ( δ ) = 4

4 q + 2 10 δ 5 q + 5 10 1 时, c ( δ ) = 8 ;当 5 q + 5 10 δ 6 q + 8 10 1 时, c ( δ ) = 16

6 q + 8 10 δ 7 q + 1 10 1 时, c ( δ ) = 20 ;当 7 q + 1 10 δ 7 q + 11 10 1 时, c ( δ ) = 24

7 q + 1 1 10 δ 8 q + 4 10 1 时, c ( δ ) = 28 ;当 8 q + 4 10 δ 9 q 3 10 1 时, c ( δ ) = 32

9 q 3 10 δ 9 q + 7 10 1 时, c ( δ ) = 36

证明 由于 | Z | = 2 δ + 1 则从引理2.1和引理2.3得C是参数为 [ n , n ( 2 δ + 1 ) , 2 δ + 2 ] q 2 的MDS码。由引理2.4得存在参数为 n , n 2 ( 2 δ + 1 ) + c ( δ ) , 2 δ + 2 ; c ( δ ) q 的EAQMDS码。当 δ q 1 时,有 0 j , k q 1 ,得到 n l = j + q k 的表示是唯一的,此时相当于对 n l 做带余除法。我们设定 δ q 1 ,由引理2.7,有

c = | Z ( q Z ) | = | { ( j , k ) | s ± r ( n 1 2 j ) q ( s ± r ( n 1 2 k ) ( mod r n ) , 0 j , k q 1 } | = 2 | { ( j , k ) | j + q k q + 1 2 0 ( mod n ) , 0 j , k q 1 } | + 2 | { ( j , k ) | j q k + q 1 2 0 ( mod n ) , 0 j , k q 1 } | .

而我们知道

j + q k q + 1 2 0 ( mod n ) 有整数解 ( j , k ) ,其中 0 j , k q 1 ,

0 l 9 , l Z 来说, n l + q + 1 2 = j + q k 有整数解 ( j , k ) ,其中 0 j , k q 1

j q k + q 1 2 0 ( mod n ) 有整数解 ( j , k ) ,其中 0 j , k q 1 ,

9 l 0 , l Z 来说, n l q 1 2 = j q k 有整数解 ( j , k ) ,其中 0 j , k q 1

取定l后把 n l + q + 1 2 表示成 j + q k 这种形式,令 b l , 1 = max ( j , k ) 。对 0 l 9 , l Z ,将 b l , 1 从小到大排列,依次记为 b 0 , b 1 , b 2 , b 3 , , b 9 。得

b 0 = 2 q + 6 10 b 1 = 4 q + 2 10 b 2 = 5 q + 5 10 b 3 = 5 q + 5 10 b 4 = 6 q + 8 10

b 5 = 7 q + 1 10 b 6 = 7 q + 11 10 b 7 = 8 q + 4 10 b 8 = 9 q 3 10 b 9 = 9 q + 7 10

由引理3.5得 j + q k q + 1 2 0 ( mod n ) 有解 ( j , k ) j q k + q 1 2 0 ( mod n ) 有解 ( k , j ) 。对 9 l 1 , l Z n l = j q k ,令 b l , 1 = max ( j , k ) 。将 b l , 1 从小到大排列,顺序依然为 b 0 , b 1 , b 2 , b 3 , , b 9 。综上即可得出结论。

定理3.8 q为一个奇素数的方幂,且 q 21 ( mod 34 ) , q > 21 ,若C是一个在 F q 2 上,长度为 n = q 2 + 1 34 η -常循环码,它的定义集为 Z = j = 0 δ C s r j ,则存在参数为 n , n 2 ( 2 δ + 1 ) + c ( δ ) , 2 δ + 2 ; c ( δ ) q 的EAQMDS码。有

b 0 = 0 b 1 = 5 q 3 34 b 2 = 8 q + 2 34 b 3 = 10 q 6 34 b 4 = 11 q + 7 34

b 5 = 13 q 1 34 b 6 = 14 q + 12 34 b 7 = 15 q 9 34 b 8 = 16 q + 4 34 b 9 = 17 q + 17 34

b 10 = 18 q 4 34 b 11 = 19 q + 9 34 b 12 = 20 q 12 34 b 13 = 21 q + 1 34 b 14 = 22 q 20 34

b 15 = 22 q + 14 34 b 16 = 23 q 7 34 b 17 = 24 q + 6 34 b 18 = 25 q 15 34 b 19 = 25 q + 19 34

b 20 = 26 q 2 34 b 21 = 27 q 23 34 b 22 = 27 q + 11 34 b 23 = 28 q 10 34 b 24 = 28 q + 24 34

b 25 = 29 q + 3 34 b 26 = 30 q 18 34 b 27 = 30 q + 16 34 b 28 = 31 q 5 34 b 29 = 31 q + 29 34

b 30 = 32 q 26 34 b 31 = 32 q + 8 34 b 32 = 33 q 13 34 b 33 = 33 q + 21 34 b 34 = q

0 i 33 , i Z ,当 b i δ b i + 1 1 时, c ( δ ) = 4 i + 1

证明 证明过程与定理3.6类似,此处省略。

参考文献

[1] Lin, X.Y. (2004) Quantum Cyclic and Constacyclic Codes. IEEE Transactions on Information Theory, 50, 547-549.
https://doi.org/10.1109/TIT.2004.825502
[2] Chen, H. (2001) Some Good Quantum Error-Correcting Codes from Algebra-ic-Geometric Codes. IEEE Transactions on Information Theory, 47, 2059-2061.
https://doi.org/10.1109/18.930942
[3] Qian, J. and Zhang, L. (2013) New Optimal Subsystem Codes. Discrete Mathematics, 313, 2451-2455.
https://doi.org/10.1016/j.disc.2013.06.021
[4] Ketkar, A., Klappenecker, A., Kumar, S. and Sarvepalli, P.K. (2006) Nonbinary Stabilizer Codes over Finite Fields. IEEE Transactions on Information Theory, 52, 4892-4914.
https://doi.org/10.1109/TIT.2006.883612
[5] Brun, T., Devetak, I. and Hsieh, M.-H. (2006) Correcting Quantum Errors with Entanglement. Science, 52, 436-439.
https://doi.org/10.1126/science.1131563
[6] Fan, J., Chen, H. and Xu, J. (2016) Constructions of q-Ary Entanglement-Assisted Quantum MDS Codes with Minimum Distance Greater Than q + 1. Quantum Information and Computation, 16, 423-434.
[7] Li, R., Zuo, F. and Liu, Y. (2011) A Study of Skew Asymmetric q2-Cyclotomic Coset and Its Application. Journal of Air Force Engineering University (Natural Science Edition), 12, 87-89.
[8] Chen, J., Huang, Y., Feng, C. and Chen, R. (2017) Entanglement-Assisted Quantum MDS Codes Constructed from Negacyclic Codes. Quantum Information Processing, 16, 303.
https://doi.org/10.1007/s11128-017-1750-4
[9] Lu, L.D., Li, R.H., Guo, L.B., Ma, Y.N. and Liu, Y. (2018) Entangle-ment-Assisted Quantum MDS Codes from Negacyclic Codes. Quantum Information Processing, 17, 69.
https://doi.org/10.1007/s11128-018-1838-5
[10] Chen, X., Zhu, S. and Kai, X. (2018) Entanglement-Assisted Quantum MDS Codes Constructed from Constacyclic Codes. Quantum Information Processing, 17, 273.
https://doi.org/10.1007/s11128-018-2044-1
[11] Koroglu, M.E. (2018) New Entanglement-Assisted MDS Quantum Cods from Constacyclic Codes. Quantum Information Processing, 18, 44.
https://doi.org/10.1007/s11128-018-2155-8
[12] Zhang, T. and Ge, G. (2017) Quantum MDS Codes with Large Minimum Distance. Designs, Codes and Cryptography, 83, 503-517.
https://doi.org/10.1007/s10623-016-0245-0
[13] Aydin, N., Siap, I. and Ray-Chaudhuri, D.K. (2001) The Structure of 1-Generator Quasi-Twisted Codes and New Linear Codes. Designs, Codes and Cryptography, 24, 313-326.
https://doi.org/10.1023/A:1011283523000
[14] Kai, X., Zhu, S. and Li, P. (2014) Constacyclic Codes and Some New Quantum MDS Codes. IEEE Transactions on Information Theory, 60, 2080-2086.
https://doi.org/10.1109/TIT.2014.2308180
[15] MacWilliams, F.J. and Sloane, N.J.A. (1977) The Theory of Error-Correcting Codes. Elsevier, Amsterdam, North-Holland, 370-762.
[16] Lu, L. and Li, R. (2014) Entanglement-Assisted Quantum Codes Con-structed from Primitive Quaternary BCH Codes. International Journal of Quantum Information, 12, Article No. 1450015.
https://doi.org/10.1142/S0219749914500154