今天读了Giuliano G. La Guardia 的一篇利用分圆陪集构造量子码的文章,记录一下。
主要思想:
寻求一些特殊的分圆陪集,使得某个分圆陪集中有r个连续的数,则可由这个分圆陪集为定义集得到循环码的生成多项式,进而得到循环码,如果这个分圆陪集是非对称的,则可构造一类参数较好的量子码。
主要定理:
Th1. (The BCH Bound) 若循环码的生成多项式为,若存在,,对的某个扩域中的元素,s.t.
也就是有连续个的幂次为根,则码的最小距离。
Th2. (CSS构造方法) 如果存在经典线性码 s.t. ,则存在 量子码(原内容是stabilizer code that is pure,因为自己对量子码本身不是很了解,就大概理解为了量子码,欢迎大佬评论区指点)。
Th3. 设是一个素数的幂次,是一个正整数且满足和,对,其中且的整数,如果对所有成立,其中,则存在一个循环码,其中为有个连续数的分圆陪集中的元素个数。
Th4. 设是一个素数的幂次,是一个素数且满足,其中且的整数,如果对所有成立,其中,且是整数且满足,则存在一个循环码,其中为有个连续数的分圆陪集中的元素个数。
Th4实则为Th3的推论,条件不同已标出,但最终得到的码的参数相同。
Th5. 若Th3中或Th4中的假设都成立,是定义集为的循环码,其中是包含个连续整数的陪集,如果,则存在一个量子码。