[论文解读] An introduction to Fault-tolerant Quantum Computing

Alexandru Paler, Simon J. Devitt|arXiv (Cornell University)|Aug 15, 2015

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

一句话总结

本文为容错量子计算提供了基础性介绍，重点阐述了通过冗余编码和横跨门实现的量子纠错（QEC）与容错逻辑操作。研究证明，通过防止错误传播并确保纠错速度超过错误生成速度，即使在噪声物理量子比特下，可靠的量子计算也成为可能。

ABSTRACT

In this paper we provide a basic introduction of the core ideas and theories surrounding fault-tolerant quantum computation. These concepts underly the theoretical framework of large-scale quantum computation and communications and are the driving force for many recent experimental efforts to construct small to medium sized arrays of controllable quantum bits. We examine the basic principals of redundant quantum encoding, required to protect quantum bits from errors generated from both imprecise control and environmental interactions and then examine the principals of fault-tolerance from largely a classical framework. As quantum fault-tolerance essentially is avoiding the uncontrollable cascade of errors caused by the interaction of quantum-bits, these concepts can be directly mapped to quantum information.

研究动机与目标

• 为该领域的新研究者提供容错量子计算核心理论框架的介绍。
• 解释如何通过冗余编码，利用量子纠错（QEC）保护逻辑量子比特免受退相干和控制误差的影响。
• 展示通过结构化量子电路设计防止错误级联，从而实现容错性。
• 将经典容错概念与量子领域相衔接，强调横跨性与误差检测机制。
• 为使用噪声中等规模量子（NISQ）设备实现可扩展、大规模量子计算奠定理论基础。

提出的方法

• 使用冗余量子编码，将逻辑量子比特信息分布在多个物理量子比特上，以检测并纠正错误。
• 应用横跨量子门——即在编码逻辑量子比特的对应组件之间施加控制与目标操作——以限制错误传播。
• 通过辅助量子比特执行校验子提取，以检测错误而不坍缩逻辑态，随后通过多轮多数表决提高可靠性。
• 通过在多个周期内重复校验子提取实现计算冗余，以减轻故障校验子测量的影响。
• 使用组件级状态追踪（例如二元标志系统中的“正面”或“反面”）对分布式逻辑过程中的故障传播进行建模，以比较横跨与非横跨通信方式。
• 证明横跨通信可将错误传播成本从3倍降低至1倍单个故障的成本，从而显著提升容错效率。

实验结果

研究问题

• RQ1 如何保护量子信息免受不完美控制与环境相互作用引起的错误影响？
• RQ2 量子纠错必须满足何种条件，才能使纠错速度超过错误生成速度，从而实现可扩展的量子计算？
• RQ3 在量子电路中如何实现容错性，以防止门操作中错误的级联传播？
• RQ4 经典容错性原理在何种方式下可被适应于量子领域？
• RQ5 在编码的量子系统中，横跨性在最小化逻辑操作期间的错误传播方面发挥何种作用？

主要发现

• 量子纠错（QEC）通过在多个物理量子比特上编码信息，使逻辑量子比特能够抵御噪声与退相干。
• 当物理错误率低于阈值时，容错量子计算成为可能，此时QEC能够纠正的错误多于其产生的错误。
• 横跨门通过确保单个故障组件仅影响一个逻辑组件，显著减少了错误传播，从而最小化了跨组件的错误扩散。
• 通过重复校验子提取并结合多数表决，可降低因辅助量子比特故障导致错误检测错误的风险。
• 横跨的进程间通信将通信成本从3倍降低至1倍单个故障的成本，证明其相比非横跨方案更具效率与鲁棒性。
• 容错性引入了显著的计算与资源开销，源于重复的错误检测与纠正过程，但这是实现可扩展量子信息处理所必需的。