量子码构造文献阅读1---Quantum codes derived from cyclic codes

最新推荐文章于 2023-07-04 23:21:35 发布

Justinhhhh

最新推荐文章于 2023-07-04 23:21:35 发布

阅读量519

点赞数

分类专栏：量子纠错码文章标签：编码学

本文链接：https://blog.csdn.net/Justinhhhh/article/details/112751947

版权

量子纠错码专栏收录该内容

1 篇文章 0 订阅

订阅专栏

今天读了Giuliano G. La Guardia 的一篇利用分圆陪集构造量子码的文章，记录一下。

主要思想：

寻求一些特殊的分圆陪集，使得某个分圆陪集中有r个连续的数，则可由这个分圆陪集为定义集得到循环码的生成多项式，进而得到循环码，如果这个分圆陪集是非对称的，则可构造一类参数较好的量子码。

主要定理：

Th1. (The BCH Bound) 若循环码 $C$ 的生成多项式为 $g(x)$ ，若存在 $b \ge 0$ ， $\delta \ge 1$ ，对 $F_q$ 的某个扩域中的元素 $\alpha$ ，s.t.

$g(\alpha^b)=g(\alpha^{b+1})=\cdots=g(\alpha^{b+\delta-2})=0$

也就是 $g(x)$ 有连续 $\delta -1$ 个 $\alpha$ 的幂次为根，则码 $C$ 的最小距离 $\ge \delta$ 。

Th2. (CSS构造方法) 如果存在经典线性 $[n,k,d]_q$ 码 $C$ s.t. $C^\perp \subset C$ ，则存在 $[[n,2k-n,\geq d]]_q$ 量子码（原内容是stabilizer code that is pure，因为自己对量子码本身不是很了解，就大概理解为了量子码，欢迎大佬评论区指点）。

Th3. 设 $q\geq 3$ 是一个素数的幂次， $n \geq m$ 是一个正整数且满足 $gcd(q,n)=1$ 和 $gcd(q^{a_i}-1,n)=1$ ，对 $\forall i = 1,2,\cdots,r$ ，其中 $m=ord_n(q)\geq r+2$ 且 $1 \leq r,a_1,a_2,\cdots,a_r <m$ 的整数，如果 $n|gcd(t2,t3,\cdots,t_r)$ 对所有 $j=2,\cdots,r$ 成立，其中 $t_j=[(j-(j-1)q^{a_j})(q^{a_j}-1)^{-1}-(q^{a_1}-1)^{-1}]$ ，则存在一个 $[n,n-m^{\star},d\geq r+2]_q$ 循环码，其中 $m^{\star}$ 为有 $r+1$ 个连续数的 $q$ 分圆陪集中的元素个数。

Th4. 设 $q\geq 3$ 是一个素数的幂次， $n \geq m$ 是一个素数且满足 $gcd(q,n)=1$ ，其中 $m=ord_n(q)\geq r+2$ 且 $1 \leq r,a_1,a_2,\cdots,a_r <m$ 的整数，如果 $n|gcd(t2,t3,\cdots,t_r)$ 对所有 $j=2,\cdots,r$ 成立，其中 $t_j=[(j-(j-1)q^{a_j})(q^{a_j}-1)^{-1}-(q^{a_1}-1)^{-1}]$ ，且 $a_1,a_2,\cdots,a_r$ 是整数且满足 $1\leq a_1+a_2,\cdots+a_r < m$ ，则存在一个 $[n,n-m^{\star},d\geq r+2]_q$ 循环码，其中 $m^{\star}$ 为有 $r+1$ 个连续数的 $q$ 分圆陪集中的元素个数。

Th4实则为Th3的推论，条件不同已标出，但最终得到的码的参数相同。

Th5. 若Th3中或Th4中的假设都成立， $C$ 是定义集为 $C_x$ 的循环码，其中 $C_x$ 是包含 $r+1$ 个连续整数的陪集，如果 $C_x \neq C_{-x}$ ，则存在一个 $[[n,n-2m^{\star},d\geq r+2]]_q$ 量子码。

参考文献：https://arxiv.org/pdf/1705.00239.pdf

Justinhhhh

关注

0
点赞
踩
3

收藏

觉得还不错? 一键收藏
0
评论
量子码构造文献阅读1---Quantum codes derived from cyclic codes

今天读了Giuliano G. La Guardia 的一篇利用分圆陪集构造量子码的文章，记录一下。主要思想：寻求一些特殊的分圆陪集，使得某个分圆陪集中有r个连续的数，则可由这个分圆陪集为定义集得到循环码的生成多项式，进而得到循环码，如果这个分圆陪集是非对称的，则可构造一类参数较好的量子码。主要定理：Th1. (The BCH Bound) 若循环码的生成多项式为，若存在，，对的某个扩域中的元素，s.t. ...
复制链接

扫一扫