[论文解读] Quantum stabilizer codes and beyond

Sarvepalli, Pradeep Kiran|ArXiv.org|Oct 14, 2008

Quantum Computing Algorithms and Architecture参考文献 95被引用 8

一句话总结

本论文通过将非二元稳定子码扩展至二次扩张域，发展了子系统码的特征理论框架，并构建了针对噪声信道的非对称量子稳定子码，推进了量子纠错理论。论文提出了简化版的量子BCH码构造准则，并利用分圆陪集与对偶性条件推导出显式参数，显著提升了在标准去极化信道模型之外的优质量子码的设计与分析能力。

ABSTRACT

The importance of quantum error correction in paving the way to build a practical quantum computer is no longer in doubt. This dissertation makes a threefold contribution to the mathematical theory of quantum error-correcting codes. Firstly, it extends the framework of an important class of quantum codes -- nonbinary stabilizer codes. It clarifies the connections of stabilizer codes to classical codes over quadratic extension fields, provides many new constructions of quantum codes, and develops further the theory of optimal quantum codes and punctured quantum codes. Secondly, it contributes to the theory of operator quantum error correcting codes also called as subsystem codes. These codes are expected to have efficient error recovery schemes than stabilizer codes. This dissertation develops a framework for study and analysis of subsystem codes using character theoretic methods. In particular, this work establishes a close link between subsystem codes and classical codes showing that the subsystem codes can be constructed from arbitrary classical codes. Thirdly, it seeks to exploit the knowledge of noise to design efficient quantum codes and considers more realistic channels than the commonly studied depolarizing channel. It gives systematic constructions of asymmetric quantum stabilizer codes that exploit the asymmetry of errors in certain quantum channels.

研究动机与目标

• 为解决构造'优质'量子码过程中尚未解决的挑战，特别是码距、码率与抗错鲁棒性方面的问题。
• 通过将非二元稳定子码与二次扩张域上的经典码相联系，拓展其理论，并简化量子BCH码的构造。
• 利用特征理论发展子系统码的系统化框架，使其能从任意经典码出发进行构造。
• 通过利用错误非均匀性，为非对称噪声信道设计高效量子码，突破理想化去极化信道模型的限制。

提出的方法

• 利用格罗滕迪克联系与有限域上的加法码，将稳定子码推广至非二元及高维量子系统。
• 应用分圆陪集分析，确定经典BCH码何时包含其对偶，从而通过CSS与赫米特构造实现量子码的构建。
• 采用特征理论方法分析与构造子系统码，建立其与经典码之间的直接对应关系。
• 提出一种基于Calderbank-Shor-Steane（CSS）的构造方法，结合BCH码与基于有限几何的LDPC码，用于非对称量子信道。
• 推导出基于设计距离与域参数的量子码维数与最小距离的显式公式。
• 利用对偶性与纯度条件，确保高保真度纠错，尤其适用于最小距离较高的码。

实验结果

研究问题

• RQ1 如何利用二次扩张域上的经典码，简化并推广非二元量子稳定子码的构造？
• RQ2 何种条件可确保经典BCH码包含其对偶，从而通过CSS构造实现量子码的构建？
• RQ3 如何利用特征理论系统化地构造与分析子系统码？其与经典码的关系为何？
• RQ4 噪声非对称性在量子信道中的作用是什么？如何利用它设计更高效的量子码？
• RQ5 能否通过统一的代数框架，从BCH码与LDPC码中推导出显式且最优的量子码？

主要发现

• 论文提出了一种仅基于设计距离的简化准则，用于直接计算量子BCH码的参数，实现构造的简化。
• 提供了窄义非二元量子BCH码维数的显式公式，优于先前工作。
• 精确刻画了由含对偶BCH码构造的量子码的维数与纯度，证明其纯度可达δmax + 1。
• 证明了子系统码可基于任意经典码，通过特征理论框架进行构造，显著拓展了其适用范围。
• 系统地构造了基于BCH码与有限几何LDPC码的非对称量子稳定子码，其参数通过CSS与赫米特构造推导得出。
• 研究表明，具有高最小距离与良好码率的量子码，可从具有有利对偶性与分圆陪集结构的经典码中导出。