[论文解读] Why quantum computing is hard - and quantum cryptography is not provably secure

Ross Anderson, Robert M. Brady|arXiv (Cornell University)|Jan 30, 2013

Quantum Mechanics and Applications参考文献 34被引用 3

一句话总结

该论文提出，量子计算的可扩展性问题源于相位相干性的几何约束，而不仅仅是退相干；通过孤立子和 Kuramoto 模型，论证在二维中纠缠最多限于三个量子比特，在三维中限于四个量子比特，从而质疑基于 EPR 的量子密码学的可证明安全性，指出贝尔实验可能无法排除经典隐变量。

ABSTRACT

Despite high hopes for quantum computation in the 1990s, progress in the past decade has been slow; we still cannot perform computation with more than about three qubits and are no closer to solving problems of real interest than a decade ago. Separately, recent experiments in fluid mechanics have demonstrated the emergence of a full range of quantum phenomena from completely classical motion. We present two specific hypotheses. First, Kuramoto theory may give a basis for geometrical thinking about entanglement. Second, we consider a recent soliton model of the electron, in which the quantum-mechanical wave function is a phase modulation of a carrier wave. Both models are consistent with one another and with observation. Both models suggest how entanglement and decoherence may be related to device geometry. Both models predict that it will be difficult to maintain phase coherence of more than three qubits in the plane, or four qubits in a three-dimensional structure. The soliton model also shows that the experimental work which appeared to demonstrate a violation of Bell's inequalities might not actually do so; regardless of whether it is a correct description of the world, it exposes a flaw in the logic of the Bell tests. Thus the case for the security of EPR-based quantum cryptography has just not been made. We propose experiments in quantum computation to test this. Finally, we examine two possible interpretations of such soliton models: one is consistent with the transactional interpretation of quantum mechanics, while the other is an entirely classical model in which we do not have to abandon the idea of a single world where action is local and causal.

研究动机与目标

• 调查为何尽管历经数十年进展，量子计算仍停滞在约三个量子比特的水平。
• 通过质疑贝尔实验的有效性，挑战基于 EPR 的量子密码学具有可证明安全性的假设。
• 提出纠缠和相干性从根本上受物理几何结构限制，而不仅仅是噪声或错误率。
• 探讨经典波模型——特别是孤立子和耦合振子动力学——是否能在不依赖非定域性的情况下解释量子现象。
• 为几何上对纠缠和相干性的限制提供可检验的预测。

提出的方法

• 将量子比特建模为流体介质中的孤立子，其中电子是一个自旋的扭曲环面，产生由导引波 $\psi$ 调制的压缩波 ($\chi$)，相位相干性决定纠缠。
• 应用耦合振子的 Kuramoto 理论来建模多量子比特系统中的相位同步，基于几何构型（如平面中的三个量子比特、三维空间中的四个量子比特）预测相干性极限。
• 使用 de Broglie–Bohm 的导波框架，将导波 $\psi$ 解释为锁相波函数，粒子速度由 $v = \frac{\hbar}{m} \text{Im}(\nabla\psi / \psi)$ 决定。
• 重新解释贝尔实验，若相干性由 $\chi$ 波而非 $\psi$ 传播，则可能与经典隐变量一致，从而挑战非定域性结论。
• 提出实验测试：在三角形几何结构中制备三量子比特系统，改变夹角（90° 至 180°），检验共线性时相干性崩溃。
• 设计四量子比特三维系统，测试当量子比特排列成线性或平面构型时，相干性是否失效，以探测纠缠的几何依赖性。

实验结果

研究问题

• RQ1 能否通过相位同步的几何约束而非仅退相干来解释量子计算中观测到的三量子比特相干性极限？
• RQ2 若电子的孤立子模型中相干性由 $\chi$ 波携带，是否能为量子纠缠提供一种经典解释，从而削弱贝尔实验中声称的非定域性？
• RQ3 若贝尔实验无法排除像孤立子模型这样的经典隐变量模型（其中相位相干性由 $\chi$ 波携带），基于 EPR 的量子密码学的安全性是否被否定？
• RQ4 Kuramoto 的耦合振子理论能否预测在二维和三维构型中能维持相位相干性的最大量子比特数？
• RQ5 单个物理量子比特寄存器是否需要 $k$-by-$n$ 阵列以支持 $k$ 步计算，从而意味着量子计算机无法高效复用量子比特？

主要发现

• 该论文预测，当三个量子比特呈共线排列（180° 夹角）时，无法维持相位相干性，表明二维系统中纠缠存在几何限制。
• 三维结构中的四量子比特纠缠可能受几何限制，当量子比特排列成直线或平面时，相干性预计会失效。
• 孤立子模型表明，相干性由 $\chi$ 波携带，而非量子波函数 $\psi$，这意味着贝尔实验可能无法排除经典隐变量。
• 作者认为，由于贝尔实验所依据的实验无法排除具有相位相干 $\chi$ 波的古典模型，基于 EPR 的量子密码学并非可证明安全。
• 若孤立子模型正确，量子计算机将需要 $k$-by-$n$ 阵列以支持 $k$ 步计算，这与标准模型中单个 $k$-量子比特寄存器配合 CNOT 门的设想相矛盾。
• 该论文得出结论：量子力学可能只是耦合振子的有用计算工具，暗示现实可能为经典、局域且因果的，从而挑战多世界诠释或非定域性解释的必要性。