[论文解读] An Introduction to Topological Quantum Codes

Héctor Bombín|arXiv (Cornell University)|Nov 1, 2013

Quantum Computing Algorithms and Architecture被引用 24

一句话总结

本文提出拓扑量子码作为解决量子纠错中局域性约束的一种方案，利用晶格的全局拓扑性质稳健地编码量子信息。研究表明，表面码和颜色码在未相关比特翻转与相位翻转错误下可实现约11%的错误阈值，通过局部稳定算符测量和同调纠错机制，实现容错量子计算。

ABSTRACT

This is the chapter \emph{Topological Codes} of the book \emph{Quantum Error Correction}, edited by Daniel A. Lidar and Todd A. Brun, Cambridge University Press, New York, 2013. http://www.cambridge.org/us/academic/subjects/physics/quantum-physics-quantum-information-and-quantum-computation/quantum-error-correction

研究动机与目标

• 为量子纠错领域的研究人员提供拓扑量子码的基础理解。
• 解决在几何局域性约束下实现容错量子计算的挑战。
• 建立拓扑码与代数拓扑（特别是同调理论）之间的联系。
• 证明拓扑码中存在错误阈值，从而在有限噪声水平下实现可靠的量子计算。
• 展示如何通过局部测量和拓扑不变量实现逻辑操作与纠错。

提出的方法

• 在D维晶格上，使用有界支撑的稳定算符生成元形式化局部稳定算符码。
• 应用代数拓扑，特别是同调群（H₁ = Z₁/B₁），对逻辑算符和错误综合征进行分类。
• 将纠错建模为同调等价：错误被纠正至同调等价，而非精确路径。
• 将量子纠错问题映射到统计力学模型（如随机反铁磁伊辛模型）以计算阈值。
• 使用对偶晶格和弦网算符描述逻辑操作与任意任何任何激发。
• 通过边界和码形变引入平面码，以实现通用门集和容错操作。

实验结果

研究问题

• RQ1 如何以尊重几何局域性的方式编码量子信息，同时支持容错操作？
• RQ2 拓扑不变量（特别是同调）在表征逻辑量子比特和纠错中的作用是什么？
• RQ3 在未相关噪声模型下，拓扑码的临界错误阈值是多少？
• RQ4 表面码与颜色码在逻辑门实现方式和错误阈值特性上有哪些差异？
• RQ5 拓扑码能否通过横向门和码形变实现通用量子计算？

主要发现

• 拓扑码在未相关比特翻转与相位翻转错误下可实现约11%的错误阈值，确保在大系统中渐近完美纠错。
• 在二维局部码中，码距满足 d = O(√n)，但该限制不阻碍容错性，因为错误阈值提供了统计鲁棒性。
• 拓扑码中的逻辑算符对应于闭合环路的同调类，而稳定算符生成元对应于边界。
• 纠错在同调等价范围内有效，即若错误同伦等价，则可被纠正。
• 在二维颜色码中，当扩展至三维时，可实现CNOT门和T门等通用门集的横向实现。
• 通过码形变和边界，平面拓扑码可实现通用量子计算，包括态制备、测量和门操作。