[论文解读] Constructive Conjugate Codes for Quantum Error Correction and Cryptography

Mitsuru Hamada|ArXiv.org|Mar 28, 2007

Quantum Computing Algorithms and Architecture参考文献 27被引用 4

一句话总结

本文提出了一类可在多项式时间内构造的共轭码对家族，适用于量子纠错与密码学，在加法型量子信道上实现了目前已知最高的可达速率。该构造基于基于几何Goppa码的级联商码，实现了多项式复杂度的译码，同时渐近地达到量子信道的容量极限 $ R_{\text{CSS}} = 1 - H(W_1) - H(W_2) $，该极限对应于比特翻转与相位翻转噪声。

ABSTRACT

A conjugate code pair is defined as a pair of linear codes either of which contains the dual of the other. A conjugate code pair represents the essential structure of the corresponding Calderbank-Shor-Steane (CSS) quantum error-correcting code. It is known that conjugate code pairs are applicable to quantum cryptography. In this work, a polynomial construction of conjugate code pairs is presented. The constructed pairs achieve the highest known achievable rate on additive channels, and are decodable with algorithms of polynomial complexity.

研究动机与目标

• 开发一种可构造的、多项式时间的共轭码对生成方法，适用于量子纠错与量子密码学。
• 在共轭码对结构的约束下，实现目前已知最高的量子信道可达速率。
• 确保所构造的码可实现多项式复杂度译码，从而支持实际应用。
• 通过代数几何码，弥合非构造性容量可达码与实际量子编码方案之间的差距。
• 提供一个框架，通过译码错误概率评估量子密码协议的安全性与可靠性。

提出的方法

• 提出一种基于从几何Goppa码导出的级联商码的共轭码对多项式构造方法。
• 利用商码 $ L_j / L_{\overline{j}}^\perp $ 构建共轭对，通过内码设计确保对偶包含关系。
• 采用单点几何Goppa码作为外码，其具备可多项式时间译码的算法，可纠正最多 $ \lfloor (N - K_2)/2 \rfloor - g $ 个错误。
• 应用类型法与概率分析，证明在平衡集合中大量码为优良码，从而支持存在性论证。
• 通过熵函数与信道参数建立译码错误概率的上界，从而实现容量可达性能。
• 利用已知的几何Goppa码生成矩阵与校验矩阵构造的多项式时间算法，确保整体构造复杂度为多项式。

实验结果

研究问题

• RQ1 是否能够以多项式复杂度显式构造共轭码对，同时在加法型量子信道上实现目前已知最高的速率？
• RQ2 此类码是否可借助多项式时间算法译码，同时保持低译码错误概率？
• RQ3 在译码错误概率准则下，共轭码的可达速率是多少？其与已知界相比如何？
• RQ4 该构造能否扩展至适用于具有比特翻转与相位翻转噪声的一般量子信道的容量可达量子码？
• RQ5 使用商码与级联结构如何改善速率、译码复杂度与误码性能之间的权衡？

主要发现

• 所构造的共轭码对在加法型量子信道上实现了目前已知最高的可达速率 $ R_{\text{CSS}} = 1 - H(W_1) - H(W_2) $。
• 译码错误概率随码长指数衰减，满足 $ \limsup_{N_o \to \infty} -\frac{1}{N_o} \log_q P_{e,j} \geq \frac{1}{2}(1 - R_j^*)[E(W, r_j^*) - \varepsilon] $，表明其具备容量可达性能。
• 码可多项式时间构造：共轭码对的生成矩阵可在码长的多项式时间内生成。
• 通过使用单点几何Goppa码作为外码，实现了多项式时间译码，其具备高效的译码算法。
• 即使在极端情况下（如内码为全空间），构造依然稳健，退化为标准级联码。
• 该方法证实了使用可构造且可译码的码实现容量极限 $ R_{\text{CSS}} $ 的可达性，优于以往非构造性或效率较低的构造方法。