[论文解读] Are Quantum Computing Models Realistic?

Subhash Kak|ArXiv.org|Oct 5, 2001

Quantum Computing Algorithms and Architecture参考文献 8被引用 18

一句话总结

本文批判性地审视了量子线路模型的物理可实现性，认为其忽略了诸如态制备不精确、粒子不可区分性（玻色子/费米子统计）以及对微小模拟相位误差的纠错不足等基本量子约束。作者主张，当前的量子计算模型与量子力学并不完全一致，可能更应被描述为“准量子”模型，因而需要建立更具物理基础的计算框架。

ABSTRACT

The commonly used circuit model of quantum computing leaves out the problems of imprecision in the initial state preparation, particle statistics (indistinguishability of particles belonging to the same quantum state), and error correction (current techniques cannot correct all small errors). The initial state in the circuit model computation is obtained by applying potentially imprecise Hadamard gate operations whereas useful quantum computation requires a state with no uncertainty. We review some limitations of the circuit model and speculate on the question if a hierarchy of quantum-type computing models exists.

研究动机与目标

• 质疑标准量子线路模型在物理上的可实现性。
• 识别模型中被忽视的关键物理约束，如态制备不精确、粒子不可区分性以及纠错不完整。
• 论证当前的量子计算模型虽在数学上优雅，但在物理上不可实现，应称之为“准量子”模型。
• 探讨在经典计算与完整量子计算之间是否存在计算模型的层级结构。
• 倡导建立一种更符合物理一致性的框架，以尊重所有量子力学限制，包括统计规律和模拟误差的鲁棒纠错。

提出的方法

• 分析量子线路模型的假设，特别是通过不完美的Hadamard门理想化制备纯叠加态。
• 考察量子统计（玻色子/费米子不可区分性）如何破坏电路中将量子比特视为可区分实体的标签方式。
• 比较经典与量子纠错，强调经典码通过阈值化可纠正所有微小模拟误差，而量子码则不能。
• 强调当前量子纠错码无法纠正微小相位误差，而这些误差本质上是模拟的，且不限于比特翻转或相位翻转类型。
• 运用量子力学的理论论证表明，幺正演化无法执行如复制或删除未知量子态等非线性操作。
• 提出一个现实的量子计算模型必须整合所有量子力学约束，包括不可区分性与稳健的模拟误差纠错。

实验结果

研究问题

• RQ1 量子线路模型在多大程度上违反了量子力学的基本原理，如粒子不可区分性？
• RQ2 为何当前的量子纠错码无法纠正微小模拟相位误差？这与经典纠错相比有何不同？
• RQ3 在经典计算与完整量子计算之间是否存在计算模型的层级结构？此类层级结构可能受何种约束定义？
• RQ4 为何在量子线路的物理实现中，假设初始态被完美制备是成问题的？
• RQ5 幺正演化无法执行如态复制或删除等非线性映射，这会产生何种影响？

主要发现

• 量子线路模型假设初始态被完美制备，但实践中Hadamard门会引入不精确性，使纯叠加态在物理上无法实现。
• 同种类型的量子粒子本质上是不可区分的，但线路模型将量子比特视为具有唯一标签的可区分实体，违反了量子统计规律。
• 当前的量子纠错码无法纠正所有微小模拟相位误差，而经典纠错码可通过阈值化完全纠正此类误差。
• 该模型未能考虑到相位误差是连续且模拟的，而非离散的，因此标准量子码无法实现完整的纠错。
• 幺正变换无法执行如复制或删除未知量子态等非线性操作，这限制了量子线路的计算能力。
• 本文结论认为，在当前假设下，量子线路模型在物理上不可实现，应被视为一种“准量子”模型，而非真正的全量子模型。