[论文解读] Certainty and Uncertainty in Quantum Information Processing

Eleanor Rieffel|ArXiv.org|Feb 13, 2007

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

一句话总结

本文通过重新定义量子信息处理中的关键概念，挑战了关于量子算法确定性、量子力学的'较少世界'诠释以及量子纠缠与量子傅里叶变换作用的普遍误解。它指出量子力学违反经典概率定律，且指数级加速不仅依赖于纠缠或叠加，关键结果表明某些量子算法可实现确定性成功，且纠缠既非加速的必要条件也非充分条件。

ABSTRACT

This survey, aimed at information processing researchers, highlights intriguing but lesser known results, corrects misconceptions, and suggests research areas. Themes include: certainty in quantum algorithms; the "fewer worlds" theory of quantum mechanics; quantum learning; probability theory versus quantum mechanics.

研究动机与目标

• 纠正关于量子力学的广泛误解，特别是流行的'多世界'诠释，该诠释暗示一切可能发生的事都存在于某个宇宙中。
• 阐明量子算法中确定性的角色，表明某些算法可实现概率为1的成功，与普遍认为量子算法本质上是概率性的观点相悖。
• 探究量子计算能力的真正来源，挑战关于纠缠、量子傅里叶变换和叠加作为加速主要驱动力的假设。
• 提供一个统一的概率论与量子力学框架，突出量子力学如何违反经典概率定律。
• 通过识别被低估但强大的量子形式体系与研究方向，为信息检索、机器学习和人工智能领域的研究人员提供指导。

提出的方法

• 提出'较少世界'诠释，以纠正量子力学暗示所有可设想结果都在某个宇宙中发生的误解，以双缝实验和GHZ实验作为证据。
• 分析德菲特算法、格罗弗算法和肖尔算法，证明在量子计算中非概率性和确定性结果是可能的。
• 采用结合经典概率与量子力学的统一数学框架，表明量子力学违反概率论的基本定律。
• 证明尽管量子傅里叶变换（QFT）在肖尔算法和格罗弗算法等中居于核心地位，但其可被经典模拟，因此并非内在的量子资源。
• 研究多量子比特系统中的纠缠，表明尽管在纯态算法中纠缠是实现指数级加速的必要条件，但既非充分也非普遍必需，如伯恩斯坦-瓦齐拉尼和BB84协议所示。
• 引入簇态与绝热量子计算模型，以探索纠缠的作用，揭示不同模型中纠缠动力学存在显著差异，且多体纠缠的完整表征在数学上仍属不可行。

实验结果

研究问题

• RQ1 量子算法在多大程度上实现确定性？这如何挑战量子计算本质上是概率性的假设？
• RQ2 为何将'多世界'诠释理解为所有可设想事件都在某个宇宙中发生是误导性的？有何证据反驳这一观点？
• RQ3 纠缠在实现量子加速中的真正作用是什么？指数级加速是否可能在无纠缠的情况下发生？
• RQ4 量子傅里叶变换是否是实现量子优势的根本资源？还是其可被经典模拟，因而本身不足以构成优势？
• RQ5 如何通过统一的概率与量子力学框架，阐明经典与量子信息处理之间的基础性差异？

主要发现

• 德菲特算法及格罗弗算法的修改版本可实现确定性成功，表明量子算法并非本质上具有概率性。
• GHZ实验证实，经典预测为等概率发生的事件在量子力学中根本不会发生，支持'较少世界'诠释。
• 肖尔因数分解算法本质上是概率性的，而格罗弗算法可被改造为确定性，同时保持其二次加速特性。
• 尽管量子傅里叶变换在量子算法中居于核心地位，但其可被经典模拟，表明它并非量子优势的唯一来源。
• 在纯态量子算法中，纠缠是实现指数级加速的必要条件，但既非充分也非普遍必需，如伯恩斯坦-瓦齐拉尼算法与BB84协议所示。
• 四量子比特及以上系统中的多体纠缠需无穷多个参数才能完整表征，其复杂性远超两体纠缠。