[论文解读] An introduction to reliable quantum computation

Panos Aliferis|arXiv (Cornell University)|Jul 11, 2011

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

一句话总结

本文将量子容错作为基础框架，使在存在噪声的硬件条件下仍能实现可扩展、可靠的量子计算成为可能。它解释了如何通过容错装置和分层编码实现的量子误差纠正，来保护量子叠加态和相位，关键结果表明存在一个临界噪声阈值，使得在现实噪声模型下仍可实现容错通用性。

ABSTRACT

This is an introduction to software methods of quantum fault tolerance. Broadly speaking, these methods describe strategies for using the noisy hardware components of a quantum computer to perform computations while continually monitoring and actively correcting the hardware faults. We discuss parallels and differences with similar methods for ordinary digital computation, we discuss some of the noise models used in designing and analyzing noisy quantum circuits, and we sketch the logic of some of the central results in this area of research.

研究动机与目标

• 在存在噪声的条件下，建立可靠量子计算的理论基础。
• 解释量子误差纠正如何在计算过程中保护叠加态和量子干涉。
• 证明在现实噪声模型（包括局部马尔可夫和非马尔可夫噪声）下，容错量子计算是可行的。
• 强调辅助比特蒸馏和量子隐形传态在实现高保真度逻辑操作中的作用。
• 为研究人员提供一份路线图，使其能够独立于特定硬件平台，理解并实现容错量子计算方法。

提出的方法

• 采用分层编码方案，将逻辑量子比特在多层中编码，以逐步降低错误率。
• 使用容错装置——由大量物理操作组成的组合——在计算过程中检测并纠正错误，同时保持量子相干性。
• 应用量子误差纠正码（例如表面码、稳定子码）来保护逻辑量子比特免受比特翻转和相位翻转错误的影响。
• 利用量子隐形传态和状态蒸馏（通过Bravyi-Kitaev协议）来制备容错门所必需的高保真度辅助态。
• 采用递归方案分析噪声，以确定临界噪声阈值的存在，超过该阈值则容错计算将失败。
• 考虑理想化假设，如新鲜辅助态的制备和最大并行性，这些假设对于证明阈值的存在是必要的。

实验结果

研究问题

• RQ1 尽管量子硬件组件存在噪声，能否使量子计算保持可靠？
• RQ2 在现实噪声模型下，实现容错量子计算的必要条件是什么？
• RQ3 容错的临界噪声阈值如何依赖于误差纠正方案和噪声特性？
• RQ4 量子误差纠正能在多大程度上在长时间计算中保持量子相干性和干涉性？
• RQ5 辅助比特蒸馏和量子隐形传态在实现容错通用量子计算中发挥什么作用？

主要发现

• 容错量子计算存在临界噪声阈值，数值估计最高可达1.0×10⁻²（适用于表面码和Knill方案）。
• 临界噪声阈值的解析估计最高可达1.0×10⁻³，主要针对Knill方案及其变体。
• 性能最高的方案利用了量子隐形传态和Bravyi-Kitaev状态蒸馏协议，以实现高保真度辅助态。
• 即使在非马尔可夫局部噪声下，容错仍可行，近期证明已将早期结果扩展至此类情况。
• 阈值的存在依赖于诸如新鲜辅助态制备和最大并行性等假设，这些假设是阈值存在的必要条件。
• 已分析泄漏噪声、偏置噪声（如以退相干为主导的噪声）和高斯噪声，表明在这些现实噪声模型下容错仍具可行性。