[论文解读] Quantum Convolutional Codes Derived From Reed-Solomon and Reed-Muller Codes

Salah A. Aly, Andreas Klappenecker+1 more|ArXiv.org|Jan 9, 2007

Quantum Computing Algorithms and Architecture参考文献 17被引用 14

一句话总结

本文利用直接极限方法提出了一种新型量子卷积稳定子码的构造方法，从广义 Reed-Solomon 码和 Reed-Muller 码导出两类码。建立了纯卷积稳定子码的 Singleton 界，并提出了达到该界的最优码，给出了明确的参数和自由距离保证。

ABSTRACT

Convolutional stabilizer codes promise to make quantum communication more reliable with attractive online encoding and decoding algorithms. This paper introduces a new approach to convolutional stabilizer codes based on direct limit constructions. Two families of quantum convolutional codes are derived from generalized Reed-Solomon codes and from Reed- Muller codes. A Singleton bound for pure convolutional stabilizer codes is given.

研究动机与目标

• 通过直接极限构造方法，为量子卷积稳定子码建立新框架，以形式化先前的方法。
• 从经典的广义 Reed-Solomon 码和 Reed-Muller 码导出显式的量子卷积码族。
• 为纯量子卷积稳定子码建立 Singleton 界，作为理论基准。
• 构造达到该界的最优量子卷积码，确保高纠错性能。
• 证明所构造的码具有纯性且具有明确定义的自由距离，从而支持可靠的在线编码与解码。

提出的方法

• 利用直接极限构造方法，推广并形式化了量子卷积稳定子码的稳定子框架。
• 采用源自广义 Reed-Solomon 码的生成矩阵，构造出参数为 $[(2^{m-l}, 2^{m-l}-2k(r), \text{deg} \ ext{deg})]_2$ 的量子卷积码族。
• 应用 Reed-Muller 码的准循环子码，生成卷积码，使用具有周期结构的半无限生成矩阵 $G$。
• 通过码及其对偶中码字的权重分析，定义自由距离 $d_f$ 和对偶自由距离 $d_f^ot$。
• 应用 Hermitian 内积和自正交条件 $GG^lat = 0$，以确保量子稳定子码的存在性。
• 通过 CSS 类构造，建立经典自正交卷积码与量子稳定子码之间的对应关系。

实验结果

研究问题

• RQ1 能否使用直接极限构造方法，系统地从经典码导出量子卷积码？
• RQ2 纯量子卷积稳定子码的最大可能自由距离是多少？能否对其进行界定？
• RQ3 能否从广义 Reed-Solomon 码构造出达到 Singleton 界的最优量子卷积码？
• RQ4 如何利用 Reed-Muller 码生成结构化、自正交的卷积码以应用于量子系统？
• RQ5 所得到的量子卷积码是否保持纯性，并具有明确定义且较高的自由距离？

主要发现

• 从广义 Reed-Solomon 码构造出一类新型量子卷积码，其参数为 $[(2^{m-l}, 2^{m-l}-2k(r), \text{deg} \ ext{deg})]_2$，自由距离为 $2^{r+1}$。
• 本文建立了纯量子卷积稳定子码的 Singleton 界，为码性能提供了理论极限。
• 推导出达到 Singleton 界的最优量子卷积码，证实其在自由距离和码率方面的最优性。
• 对于 $1 \leq l \leq m$ 且 $0 \leq r \leq \lfloor(m-l-1)/2\rfloor$，所构造的码为纯码，对偶距离为 $2^{r+1}$，自由距离为 $2^{r+1}$。
• 从 Reed-Muller 码导出的卷积码是自正交的，通过 CSS 构造可确保有效量子稳定子码的存在。
• 作者澄清，[3] 中用于构造的码具有零度，实质上是伪装成卷积码的块码，其参数为 $[(2^{m-l}, 2^{m-l}-2k(r), 0; 0, 2^{r+1})]_2$。