[论文解读] The Halting Problem for Quantum Computers

Noah Linden, Sandu Popescu|ArXiv.org|Jun 16, 1998

Quantum Computing Algorithms and Architecture被引用 26

一句话总结

本文挑戰了『量子計算機的停機問題已被解決』這一說法，證明基於酉演化的標準停機機制無法在不同計算分支於未知時間點停機時一致地保持干擾。作者證明，除非所有分支同時停機，否則此類機制會違反酉性，從而動搖了依賴疊加與干擾的通用量子演算法的可行性。

ABSTRACT

We argue that the halting problem for quantum computers which was first raised by Myers, is by no means solved, as has been claimed recently. We explicitly demonstrate the difficulties that arise in a quantum computer when different branches of the computation halt at different, unknown, times.

研究动机与目标

• 挑戰『量子計算機的停機問題已被解決』這一說法，特別是針對奧澤提出的解決方案。
• 證明量子圖靈機的標準停機機制——使用停機量子位與輔助比特——在不同計算分支於不同時間停機時，無法保持酉性。
• 表明當分支於未知且不等時間停機時，有用的量子干擾將不可能實現，因為停機記錄會使狀態糾纏，破壞疊加態的相干性。
• 主張真正問題不在於是否能無干擾地監測停機，而在於計算是否能保持干擾所必需的量子相干性。
• 確立標準量子圖靈機框架僅適用於不停機的計算機，因為停機會引入非酉行為，除非所有分支同時停機。

提出的方法

• 使用包含計算量子位、停機量子位（|0⟩ 表示運行中，|1⟩ 表示已停機）與輔助系統的複合希爾伯特空間，形式化量子停機問題，以維持酉性。
• 引入作用於整個系統的酉演算子 U，要求一旦某一分支停機（停機量子位 = |1⟩），計算狀態保持不變，而輔助比特則通過正交狀態演化以維持酉性。
• 推導出輔助比特必須通過正交狀態演化（k ≠ k' 時 ⟨a_k|a_{k'}⟩ = 0）的條件，以在停機後保持酉性。
• 分析一個圖靈機模型，其中頭部狀態與磁帶配置在 U 作用下演化，並表明停機與未停機狀態之間的正交性要求，除非所有分支同時停機，否則會導致矛盾。
• 將酉性約束應用於內部頭部狀態與磁帶配置的演化，證明非同步停機會導致躍遷振幅消失（例如 |Φ⁻_ν⟩ = |Φ⁺_ν⟩ = 0），從而完全禁止停機。
• 結論：標準停機機制僅在所有分支同時停機時才與酉性一致，否則將無法適用於通用量子演算法。

实验结果

研究问题

• RQ1 能否在不違反量子力學原則的情況下，讓酉性量子計算機在不同、未知時間點可靠地停機不同計算分支？
• RQ2 當分支於不同時間停機時，使用停機量子位與輔助比特的標準停機機制是否仍與酉性一致？
• RQ3 非同步停機對計算路徑疊加態中量子干擾有何影響？
• RQ4 是否能以不破壞計算且保持酉性與相干性的方法監測停機？
• RQ5 停機問題能否在通用量子圖靈機模型中得到解決？還是其本質上與量子計算結構不相容？

主要发现

• 奧澤工作中所採用的標準量子圖靈機停機機制，在不同分支於不同時間停機時，與酉性不一致。
• 酉性要求一旦計算停機，輔助比特必須通過一序列正交狀態演化，這會使停機時間與計算狀態糾纏。
• 當分支於不同、未知時間停機時，與輔助比特的停機時間記錄產生的糾纏會破壞計算分支之間必要的干擾。
• 停機狀態必須與所有未停機狀態正交的要求，除非所有分支同時停機，否則會導致矛盾，這意味著非同步停機被酉性所禁止。
• 量子圖靈機的內部狀態（例如頭部狀態與磁帶）無法以所需方式作為輔助比特，因為它們受動態約束，並非自由演化，這使得標準停機模型無效。
• 因此，該停機機制僅適用於不停機的計算機，意味著該框架無法描述具有明確終止時間的實際量子計算。