[论文解读] Quantum computation and complexity theory

Karl Svozil|ArXiv.org|Dec 6, 1994

Quantum Computing Algorithms and Architecture参考文献 5被引用 8

一句话总结

本文回顧了量子力學的希尔伯特空間形式化，以建立量子計算的基礎，展示干涉技術如何實現通用量子計算。文章探討了對遞歸與複雜性理論的影響，為量子計算能力與可判定性提供了超越經典模型的基礎性洞見。

ABSTRACT

The Hilbert space formalism of quantum mechanics is reviewed with emphasis on applications to quantum computing. Standard interferomeric techniques are used to construct a physical device capable of universal quantum computation. Some consequences for recursion theory and complexity theory are discussed.

研究动机与目标

• 檢驗量子力學的希爾伯特空間形式化作為量子計算的基礎。
• 展示利用標準干涉技術物理實現通用量子計算的可行性。
• 研究量子計算對遞歸理論與計算複雜性理論的影響。
• 建立量子力學與計算模型之間的理論框架。
• 分析量子計算在與古典複雜性類別關係下的理論極限。

提出的方法

• 利用量子力學的標準希爾伯特空間形式化來模擬量子系統與操作。
• 透過干涉設置構建物理量子計算機模型，以實現酉變換。
• 應用量子叠加與糾纏的原理，實現通用量子計算。
• 使用量子閘與量子比特操作，模擬任意量子算法。
• 透過將量子計算與遞歸函數及不可判定性關聯，分析計算複雜性。
• 利用形式化探討量子設定下可判定與不可判定問題的邊界。

实验结果

研究问题

• RQ1 能否利用標準干涉技術物理實現通用量子計算？
• RQ2 量子計算如何改變遞歸理論與可計算性的圖景？
• RQ3 量子計算模型對古典複雜性類別有何影響？
• RQ4 量子系統在計算能力上在多大程度上超越了古典圖靈機的極限？
• RQ5 量子力學的希爾伯特空間結構如何促成新的計算形式？

主要发现

• 本文確立了透過量子閘的干涉實現，通用量子計算在物理上是可實現的。
• 文章證明量子力學提供了一個解決經典計算無法觸及問題的框架，特別是在不可判定性背景下。
• 量子計算引入了新的可判定問題類別，這些問題無法被經典方法高效解決。
• 希爾伯特空間形式化使得能夠嚴謹構建可實現通用計算的量子電路。
• 結果顯示量子計算擴展了遞歸理論的範疇，允許新的有效計算形式。
• 本研究為理解超越古典模型的量子複雜性提供了理論基礎。