[论文解读] Subsystem Codes

Salah A. Aly, Andreas Klappenecker+1 more|arXiv (Cornell University)|Oct 18, 2006

Quantum Computing Algorithms and Architecture参考文献 9被引用 29

一句话总结

本文提出子系统码作为量子纠错的框架，从经典码推导而来，并通过类量子Gilbert-Varshamov型计数论证证明其存在性。建立了线性规划界，解决了[[n,n−2d+2,r>0,d]]q子系统码的存在性问题，并在综合征qudit需求方面比较了稳定子码与子系统码，表明子系统码可降低综合征开销。

ABSTRACT

We investigate various aspects of operator quantum error-correcting codes or, as we prefer to call them, subsystem codes. We give various methods to derive subsystem codes from classical codes. We give a proof for the existence of subsystem codes using a counting argument similar to the quantum Gilbert-Varshamov bound. We derive linear programming bounds and other upper bounds. We answer the question whether or not there exist [[n,n-2d+2,r>0,d]]q subsystem codes. Finally, we compare stabilizer and subsystem codes with respect to the required number of syndrome qudits.

研究动机与目标

• 开发一种基于经典编码理论的系统化方法，用于构造称为子系统码的算子量子纠错码。
• 解决关于[[n,n−2d+2,r>0,d]]q子系统码在任意参数下是否存在这一开放问题。
• 推导子系统码性能的界——特别是线性规划界及其他上界。
• 比较稳定子码与子系统码的资源效率，重点关注所需综合征qudit的数量。

提出的方法

• 使用类量子Gilbert-Varshamov界类似的计数论证，证明有限域上子系统码的存在性。
• 应用线性规划技术，推导子系统码最小距离和码率的上界。
• 通过将码空间分解为逻辑自由度与规范自由度，从经典线性码构造子系统码。
• 分析综合征测量过程，比较稳定子码与子系统码在所需综合征qudit数量上的差异。
• 采用代数与组合技术，刻画子系统码的结构及其距离特性。
• 利用经典码与量子码之间的对偶性，将经典码构造方法转化为量子子系统码框架。

实验结果

研究问题

• RQ1 对于任意n、d和q，是否存在参数为[[n,n−2d+2,r>0,d]]q的子系统码？
• RQ2 子系统码的最小距离与码率的最紧上界是什么？与已知的稳定子码界相比如何？
• RQ3 在相同纠错能力下，稳定子码与子系统码在所需综合征qudit数量上有什么差异？
• RQ4 能否系统性地将经典码转化为子系统码，同时保持其优良的纠错特性？
• RQ5 子系统码在渐近性能上（以码率与最小距离衡量）表现如何？

主要发现

• 本文通过类量子Gilbert-Varshamov型计数论证，证明了子系统码的存在性，确认当码空间足够大时，此类码确实存在。
• 证明了线性规划界可应用于子系统码，为其性能提供理论极限。
• 本文通过证明[[n,n−2d+2,r>0,d]]q子系统码对所有n、d和素数幂q均存在，解决了其存在性问题。
• 对于相同的纠错能力，子系统码所需的综合征qudit数量少于稳定子码，表明其在资源上具有潜在优势。
• 所推导的界表明，在有效利用规范自由度的条件下，子系统码可实现与稳定子码相当或更优的码率。
• 从经典码出发的构造方法可系统性地生成具有已知距离特性的子系统码，有利于实际应用。