[论文解读] Is Fault-Tolerant Quantum Computation Really Possible?

M. I. Dyakonov|ArXiv.org|Oct 14, 2006

Quantum Computing Algorithms and Architecture参考文献 17被引用 22

一句话总结

本文通过论证容错量子计算的阈值定理依赖于理想化且物理上不切实际的假设（尤其是存在完美辅助量子比特和无误差测量），挑战了容错量子计算的可行性，尽管其数学框架极为复杂。本文提出对单个逻辑量子比特在真实噪声下的严格数值模拟，以检验纠错是否真能无限期地保持量子态，预测由于在指数级大的希尔伯特空间中不完美操作的累积影响，系统将最终失效。

ABSTRACT

The so-called "threshold" theorem says that, once the error rate per qubit per gate is below a certain value, indefinitely long quantum computation becomes feasible, even if all of the qubits involved are subject to relaxation processes, and all the manipulations with qubits are not exact. The purpose of this article, intended for physicists, is to outline the ideas of quantum error correction and to take a look at the proposed technical instruction for fault-tolerant quantum computation. It seems that the mathematics behind the threshold theorem is somewhat detached from the physical reality, and that some ideal elements are always present in the construction. This raises serious doubts about the possibility of large scale quantum computations, even as a matter of principle.

研究动机与目标

• 批判性评估容错量子计算在依赖完美辅助量子比特和无误差测量等理想化组件的前提下，是否在物理上可行。
• 质疑阈值定理的物理现实性，该定理假设即使在持续噪声和不完美操作下，纠错也能无限期地保持量子态。
• 提出一个最小且可验证的测试：提供一组完整、可执行的基本操作列表，用于在真实噪声下维持单个量子比特的叠加态，从而实现直接的数值模拟。
• 证明容错方案的成功可能并非源于量子力学本身，而是源于在本已不完美的系统中隐含引入了无瑕元素。

提出的方法

• 构建一个最小化模型，将单个逻辑量子比特存储于一组物理量子比特中，系统持续受到xy平面内的随机旋转（噪声）影响。
• 假设所有操作——门操作、测量、辅助量子比特制备——均不完美，不存在理想元件；测量导致近似坍缩，伴有微小的非期望态混杂。
• 为每个门操作和测量定义固定的时间窗口，在此期间量子比特持续经历噪声，并要求所有操作可重复且完全指定。
• 构建一个完整、可执行的基本操作序列（包括基于测量结果的条件分支），理论上应能维持初始叠加态。
• 提出在经典计算机上对这一协议进行数值模拟，以检验逻辑量子比特是否能在长时间内保持接近初始状态。
• 仅在最后阶段使用现象学误差传播模型；优先采用完整的量子态演化模拟，以尊重幺正动力学，避免仅依赖误差追踪的假设。

实验结果

研究问题

• RQ1 仅使用物理上真实、不完美的操作，能否无限期地保持单个逻辑量子比特的叠加态？
• RQ2 当所有组件——门操作、测量、辅助量子比特——均受噪声和不完美影响时，容错量子计算框架是否真正有效？
• RQ3 阈值定理的有效性是否依赖于对无瑕元件（如完美辅助量子比特制备和无误差测量）的隐含假设？
• RQ4 能否提供一组完整、可执行的操作列表，使得经典模拟能证实真实噪声下量子态的长期保持？
• RQ5 当一个大型量子系统（约10^300个振幅）持续受到不相关噪声和不完美纠错影响时，其波函数会发生什么变化？

主要发现

• 本文预测，对所提出的单量子比特恢复协议进行完整数值模拟将无法保持初始叠加态，表明容错量子计算可能在物理上不可实现。
• 阈值定理的成功可能并非源于量子纠错本身，而是源于在本已不完美的系统中隐含引入了理想、无瑕的组件，如完美辅助量子比特和无误差测量。
• 即使拥有完美的纠错算法，希尔伯特空间的指数级复杂性（2^1000 ≈ 10^300个振幅）也使得不完美操作在远超单个量子比特退相干时间的尺度上稳定波函数变得极不可能。
• 认为可独立于完整量子态演化追踪误差传播的假设是可疑的，且可能不具物理现实性。
• 当前容错量子计算的指导原则被认为过于模糊，缺乏用于现实世界实现的清晰、可测试的操作定义。
• 提出应使用真实噪声模型，在经典计算机上对恢复过程进行直接模拟，作为决定性测试，作者预期结果为负面。