[论文解读] How big is a quantum computer?

S. Wallentowitz, Ian A. Walmsley+1 more|ArXiv.org|Sep 17, 2000

Quantum Computing Algorithms and Architecture参考文献 11被引用 3

一句话总结

本文主张，量子计算机中的粒子计数读出机制施加了根本性的资源限制，使得单粒子量子干涉的威力并不超过经典波干涉。研究表明，由于经典读出约束，单粒子纠缠带来的量子加速无法超过O(log₂N)，这意味着此类系统相较于经典干涉仪并无优势——唯有多粒子纠缠才可能实现真正的量子优势。

ABSTRACT

Accounting for resources is the central issue in computational efficiency. We point out physical constraints implicit in information readout that have been overlooked in classical computing. The basic particle-counting mode of read-out sets a lower bound on the resources needed to implement a quantum computer. As a consequence, computers based on classical waves are as efficient as those based on single quantum particles.

研究动机与目标

• 分析粒子计数读出在量子信息处理器中施加的物理资源约束。
• 挑战单粒子量子干涉提供超越经典波干涉的计算加速这一假设。
• 量化使用粒子计数器解码量子寄存器所需的最少资源。
• 厘清预测性量子态演化与通过测量实现的物理信息获取之间的区别。
• 探究多粒子纠缠是否能提供经典干涉仪无法复制的优势。

提出的方法

• 使用第二量子化形式体系，借助场算符和模式湮灭算符描述量子寄存器。
• 通过具有有限空间、时间和光谱分辨率的粒子计数器建模读出过程，N模寄存器至少需要log₂N个探测器。
• 应用冯·诺依曼测量框架，要求为N个本征值分配N条独立的测量通道，每条通道的最小相空间体积为ħ。
• 将基于单粒子叠加（如偏振和波矢模式）的量子搜索与经典波干涉进行比较。
• 从预言查询次数和读出复杂度的角度分析Grover算法，表明其最终步骤在经典上受O(log₂N)限制。
• 证明任何单粒子量子处理器均可通过相同资源数量的经典波系统实现有效模拟。

实验结果

研究问题

• RQ1 粒子计数读出对量子计算资源成本施加了哪些物理约束？
• RQ2 基于模式纠缠的单粒子量子干涉是否能相对于经典波干涉提供计算优势？
• RQ3 当读出受经典轮询限制时，为何Grover搜索算法无法实现超过O(log₂N)的加速？
• RQ4 在何种条件下，多粒子纠缠可能提供经典干涉仪无法复制的计算优势？
• RQ5 预测性量子态与物理测量结果之间的区别如何影响对量子优势的评估？

主要发现

• 粒子计数读出对资源施加了下限，N模量子寄存器至少需要log₂N个探测器。
• 任何量子计算的最终读出步骤在本质上受限于O(log₂N)步，与经典二分查找复杂度一致。
• 即使存在模式纠缠，单粒子量子干涉也可通过相同资源数量的经典波干涉仪高效模拟。
• 由于最终读出步骤在经典上受O(log₂N)限制，Grover算法中宣称的O(√N)加速在现实中并未实现。
• 唯有通过多粒子纠缠才可能提供经典干涉仪无法复制的计算优势，即使在粒子计数检测下亦如此。
• 计算能力的最终限制并非单位演化过程，而是通过测量实现的信息获取的物理过程。