[论文解读] On the Structure of Additive Quantum Codes and the Existence of Nonadditive Codes

Vwani Roychowdhury, Farrokh Vatan|ArXiv.org|Oct 9, 1997

Quantum Computing Algorithms and Architecture参考文献 6被引用 5

一句话总结

本文建立了对加法（稳定子）量子码的表征，并证明了存在具有更优渐近码率的非加法量子误差纠正码。它证明了非加法码可实现码率 R = 1 − 2H(2t/n)，其中 H 为二元熵函数，并构造了一个 ((11,2,3)) 强非加法码，表明在某些参数下，非加法码在码率和纠错能力上可优于加法码。

ABSTRACT

We first present a useful characterization of additive (stabilizer) quantum error-correcting codes. Then we present several examples of We first present a useful characterization of additive (stabilizer) quantum error--correcting codes. Then we present several examples of nonadditive codes. We show that there exist infinitely many non-trivial nonadditive codes with different minimum distances, and high rates. In fact, we show that nonadditive codes that correct t errors can reach the asymptotic rate R=1-2H(2t/n), where H(x) is the binary entropy function. Finally, we introduce the notion of strongly nonadditive codes (i.e., quantum codes with the following property: the trivial code consisting of the entire Hilbert space is the only additive code that is equivalent to any code containing the given code), and provide a construction for an ((11,2,3)) strongly nonadditive code.

研究动机与目标

• 提供对加法（稳定子）量子误差纠正码的清晰结构表征。
• 研究稳定子形式之外的非加法量子码的存在性与性质。
• 证明非加法码在相同纠错能力下可实现高于加法码的渐近码率。
• 引入并构造强非加法码，定义为不等价于任何非平凡加法码的码。
• 建立可纠正 t 个错误的非加法码的码率理论界限。

提出的方法

• 本文利用稳定子形式和 GF(4) 上的线性代数，发展了对加法量子码的数学表征。
• 它引入一个分析框架，通过研究其结构和在局部酉操作下的等价类来分析非加法码。
• 作者利用信息论论证，推导出可纠正 t 个错误的非加法码的渐近码率界限 R = 1 − 2H(2t/n)。
• 他们构造了一个显式的 ((11,2,3)) 量子码，并通过证明不存在任何非平凡加法码与之局部酉等价，从而证明该码为强非加法码。
• 该构造依赖于在局部 Clifford 操作下封闭的量子码性质，并使用了酉变换下码等价的概念。
• 分析还包括一个证明：存在无穷多个非平凡非加法码，其最小距离各异且码率较高。

实验结果

研究问题

• RQ1 是否存在非加法量子码，其码率和纠错能力优于加法码？
• RQ2 可纠正 t 个错误的非加法量子码的渐近码率是多少？
• RQ3 是否存在在局部酉操作下不等价于任何加法码的量子码？
• RQ4 能否提供非加法码的显式构造，特别是那些具有高最小距离和高码率的码？
• RQ5 强非加法码的结构特性是什么，如何构造它们？

主要发现

• 非加法量子码存在，其码率可任意高，且最小距离各异，表明其在高效量子误差纠正中具有潜力。
• 可纠正 t 个错误的非加法码的渐近码率受 R = 1 − 2H(2t/n) 限制，其中 H 为二元熵函数，表明其相对于加法码具有理论优势。
• 构造了一个显式的 ((11,2,3)) 非加法码，经证明为强非加法码，即不存在任何非平凡加法码与之局部酉等价。
• 存在无穷多个非平凡非加法码，其最小距离各异且码率较高，证实了其结构丰富性与潜在实用性。
• 本文确立了非加法码可在给定纠错能力下超越稳定子码的性能极限，尤其在码率方面。
• 强非加法码的存在表明，稳定子形式并不能穷尽描述所有可能的量子误差纠正码。