[论文解读] Halting in quantum Turing computation

Willem L. Fouché, Johannes Heidema+2 more|arXiv (Cornell University)|May 22, 2007

Quantum Computing Algorithms and Architecture参考文献 12被引用 4

一句话总结

本文研究了量子图灵机（QTMs）中的停机机制，尽管最初存在模糊之处，但确认德费特原始的停机方案在根本上是可靠的。文章分析了奥扎、迈尔斯等人提出的异议，指出测量引起的停机比特坍塌会威胁通用模拟，除非谨慎处理。结论是，尽管该停机方案对实际运行至关重要，但由于观测导致量子态叠加性丧失，它对实现真正通用的QTM构成了重大障碍。

ABSTRACT

The paper considers the halting scheme for quantum Turing machines. The scheme originally proposed by Deutsch appears to be correct, but not exactly as originally intended. We discuss the result of Ozawa as well as the objections raised by Myers, Kieu and Danos and others. Finally, the relationship of the halting scheme to the quest for a universal quantum Turing machine is considered.

研究动机与目标

• 澄清并验证德费特提出的量子图灵机停机机制。
• 研究测量引起的态坍塌对停机过程及通用模拟的影响。
• 在停机机制的约束下，评估通用量子图灵机是否可能存在。
• 调和量子计算的 probabilistic（概率性）本质与经典图灵机的确定性停机模型之间的矛盾。
• 评估停机机制对量子图灵机可编程性与通用性的影响。

提出的方法

• 采用德费特的停机方案，引入一个专用的“停机量子比特”以表示终止状态。
• 将QTM建模为在包含停机量子比特的配置所张成的希尔伯特空间上的幺正演化。
• 分析观测停机量子比特的影响，其会导致叠加态坍塌并破坏相干性。
• 将经典图灵机与概率图灵机进行比较，为量子类比建立基础。
• 评估伯恩斯坦-瓦济拉尼的模拟结果，该结果允许以多项式时间慢速近似模拟任意QTM。
• 考虑测量后重置机器的挑战，这会破坏自主性并削弱通用性。

实验结果

研究问题

• RQ1 尽管存在异议，德费特为量子图灵机设计的停机方案在根本上是否可靠？
• RQ2 观测停机量子比特如何影响量子计算的相干性与通用性？
• RQ3 如果停机机制需要观测并导致态坍塌，通用量子图灵机是否仍可能存在？
• RQ4 该停机方案对量子图灵机可编程性有何影响？
• RQ5 为何停机机制阻碍了完全自主的通用量子计算机的构建？

主要发现

• 德费特的停机方案在原则上是有效的，但其实际实现因测量引起的态坍塌而受损。
• 观测停机量子比特会导致量子态坍塌，使得机器无法可靠地重置以供后续运行。
• 每次运行后必须手动重新初始化机器的要求违背了自主性原则，类似于要求经典计算机手动执行NOT操作。
• 尽管伯恩斯坦与瓦济拉尼的通用模拟器可用于有限时间模拟，但若无干预，无法用于无限期或自适应计算。
• 停机机制虽对输出观测必不可少，却构成了实现真正通用量子图灵机的根本障碍。
• 本文结论认为，需进一步研究形式良好的QTMs，特别是该类中是否存在通用机器。