[论文解读] The halting problem for universal quantum computers

Tien D. Kieu, Michael Danos|ArXiv.org|Nov 2, 1998

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

一句话总结

本文证明了通用量子计算机的停机问题由于幺正动力学与停机条件存在的不相容性而不可判定。通过表明幺正性——量子力学的基本要求——会阻止一致停机预言机的定义，作者确立了通用量子图灵机无法解决其自身的停机问题，从而将经典不可判定性扩展至量子领域。

ABSTRACT

The halting of universal quantum computers is shown to be incompatible with the constraint of unitarity of the dynamics.

研究动机与目标

• 研究已知对经典通用图灵机不可判定的停机问题是否适用于通用量子计算机。
• 分析量子力学核心概念——幺正演化——对定义量子计算停机条件可能性的影响。
• 在量子动力学约束下，确定通用量子计算机是否能判定其自身的停机行为。
• 建立幺正原理与量子停机问题不可判定性之间的正式联系。
• 通过分析量子计算的局限性，将经典邱奇-图灵论题扩展至量子领域。

提出的方法

• 将通用量子计算机的形式化为具有幺正演化的量子图灵机。
• 将停机条件定义为可测量结果，该结果终止计算，类似于经典停机。
• 分析量子演化算符的幺正性，以评估能否嵌入一致的停机机制。
• 通过假设存在一个允许机器判定其自身停机状态的停机预言机，推导出矛盾。
• 利用幺正性约束表明，此类预言机将违反量子态的范数和相干性保持性。
• 应用来自量子力学和可计算性理论的逻辑与代数论证，证明通用量子停机条件的不可能性。

实验结果

研究问题

• RQ1 通用量子计算机能否判定其自身的计算是否会最终停机？
• RQ2 在幺正演化的约束下，量子图灵机的停机问题是否可判定？
• RQ3 量子动力学中幺正性的要求是否阻止了一致停机预言机的存在？
• RQ4 经典停机问题的不可判定性如何扩展至量子领域？
• RQ5 一个具有通用计算能力的量子系统能否在不违反量子力学原理的前提下解决其自身的停机问题？

主要发现

• 由于幺正性与停机条件存在的不相容性，通用量子计算机的停机问题不可判定。
• 量子力学中的幺正演化禁止为通用量子图灵机定义一致的停机预言机。
• 本文确立了尽管量子计算具有指数级加速潜力，但仍无法突破可计算性的基本限制。
• 该结果将经典邱奇-图灵论题推广至量子领域，表明量子计算机并未逃脱不可判定性。
• 矛盾源于停机预言机需要非幺正操作，从而违反了量子理论的基础原则。
• 在量子领域无法解决停机问题，是量子动力学幺正性的直接结果。