[论文解读] Deutsch's Universal Quantum Turing Machine (Revisited)

Willem L. Fouché, Johannes Heidema+2 more|ArXiv.org|Jan 16, 2007

Computability, Logic, AI Algorithms被引用 4

一句话总结

本文重新審視德國斯的通用量子圖靈機（UQTM），主張儘管德國斯、伯恩斯坦與瓦茲拉尼已取得顯著進展，但尚未嚴謹建立完全通用且可逆的量子圖靈機。作者提出一種半通用混合裝置（SUHD），可隨時間逐步提高模擬準確度，但證明其無法實現可逆性，原因在於測量所引發的波包塌縮，從而質疑真正量子通用機器的存在。

ABSTRACT

Deutsch, Feynman, and Manin viewed quantum computing as a kind of universal physical simulation procedure. Much of the writing about quantum Turing machines has shown how these machines can simulate an arbitrary unitary transformation on a finite number of qubits. This interesting problem has been addressed most famously in a paper by Deutsch, and later by Bernstein and Vazirani. Quantum Turing machines form a class closely related to deterministic and probabilistic Turing machines and one might hope to find a universal machine in this class. A universal machine is the basis of a notion of programmability. The extent to which universality has in fact been established by the pioneers in the field is examined and a key notion in theoretical computer science (universality) is scrutinised. In a forthcoming paper, the authors will also consider universality in the quantum gate model.

研究动机与目标

• 批判性評估量子圖靈機（QTMs）的通用性是否在文獻中已嚴謹確立。
• 探討構建真正通用量子圖靈機的可行性，該機器需具備完整程式設計能力與可逆性。
• 分析現有模型（特別是伯恩斯坦與瓦茲拉尼的通用量子機器）在混合古典-量子架構下應用時的限制。
• 檢視量子測量、可逆性與通用量子運算裝置設計之間的根本衝突。
• 主張現有模型因觀測與重設機制引入不可逆操作，而未能達成真正通用性。

提出的方法

• 提出一種半通用混合裝置（SUHD），結合古典圖靈機與量子子系統，以模擬任何QTM。
• SUHD逐步增加模擬時間T，並降低誤差容忍度ε/T，以提升準確度。
• 以伯恩斯坦與瓦茲拉尼的通用量子機器𝒰作為核心量子子例行程，用以模擬任何QTM M。
• 採用迴圈結構，每次迭代後重設量子部分，以準備下一次模擬步驟。
• 依賴𝒰的演化算子之反向運算來重設量子子系統，假設在「稍等片刻」階段未發生測量。
• 識別出根本衝突：若在等待階段觀測量子部分，重設運算將失敗，導致可逆性被破壞。

实验结果

研究问题

• RQ1 能否建構一個具備完整程式設計能力與可逆性的通用量子圖靈機？
• RQ2 現有模型（如伯恩斯坦與瓦茲拉尼的通用量子機器）在QTM架構中在多大程度上實現了真正通用性？
• RQ3 量子測量對混合古典-量子模擬裝置可逆性的影響為何？
• RQ4 是否可能設計一種通用量子裝置，以避免因觀測導致的不可逆操作？
• RQ5 當前通用量子模擬方法為何無法滿足真正量子通用機器的理論標準？

主要发现

• 作者提出的半通用混合裝置（SUHD）無法實現完全可逆，因在「稍等片刻」階段的測量會導致量子態塌縮，進而無法正確重設。
• 當量子部分被觀測時，SUHD的重設機制會失效，違反QTM中要求的酉與可逆演化。
• 不可克隆定理阻止了量子態的複製，使得在純粹量子裝置中無法實現類似古典的簡易重設。
• 因此，儘管SUHD能隨時間逐步提高模擬任何QTM的準確度，但其本身並非有效的QTM。
• 本文結論指出，目前尚無已知的通用量子圖靈機構造能完全符合通用性與可逆性的標準。
• 因此，量子計算中的通用程式設計概念在QTM模型中仍未能證實，挑戰了量子計算中通用性的基礎主張。