[論文レビュー] Classical computing, quantum computing, and Shor's factoring algorithm

Yuri I. Manin|ArXiv.org|Mar 2, 1999

Quantum Computing Algorithms and Architecture参考文献 15被引用数 40

ひとこと要約

この論文は、量子並列性とショアの因数分解アルゴリズムを通じて、古典的計算機よりも優れた可能性を示す、量子計算の基礎的原則を探求する。量子計算機上で素因数分解—古典的には困難な問題—が多項式時間で解けることが示され、計算複雑性および量子アルゴリズム設計分野における画期的な進展をもたらす。

ABSTRACT

This is an expository talk written for the Bourbaki Seminar. After a brief introduction, Section 1 discusses in the categorical language the structure of the classical deterministic computations. Basic notions of complexity icluding the P/NP problem are reviewed. Section 2 introduces the notion of quantum parallelism and explains the main issues of quantum computing. Section 3 is devoted to four quantum subroutines: initialization, quantum computing of classical Boolean functions, quantum Fourier transform, and Grover's search algorithm. The central Section 4 explains Shor's factoring algorithm. Section 5 relates Kolmogorov's complexity to the spectral properties of computable function. Appendix contributes to the prehistory of quantum computing.

研究の動機と目的

• 量子計算が古典的計算機よりも強力な計算モデルであるという理論的基盤を確立すること。
• 特にショアの因数分解アルゴリズムを含む量子アルゴリズムの実現可能性とその意味を検討し、古典的計算の限界を克服する可能性を調査すること。
• 特定の問題に対して指数的高速化を可能にする、量子並列性とユニタリー発展の役割を明らかにすること。
• 量子力学と計算複雑性の関係、特に数論と暗号理論の文脈における相互作用を検討すること。
• 量子系のシミュレーションや困難な組合せ最適化問題の解法において、量子計算が指数的リソース要件の解決策を提供する可能性を提言すること。

提案手法

• 有限次元ヒルベルト空間における量子チューリングマシンとユニタリー発展の枠組みを用いて、量子計算をモデル化する。
• 量子並列性の概念を適用し、量子計算機が重ね合わせ状態の入力すべてに対して関数を同時に評価できることを示す。
• ショアのアルゴリズムの中心的役割を果たす、量子フーリエ変換と位相推定といった量子サブルーチンを用いる。
• 量子計算の可逆性という問題に対処するため、古典的に計算可能な関数を可逆的に計算する量子回路の使用を導入する。
• 再帰的置換から導かれるユニタリー演算子のスペクトル的性質を分析し、それらを量子チューリングマシンモデルに関連付ける。
• 計算可能関数の構造とその量子表現を理解するための理論的道具として、コルモゴロフ複雑度を用いる。

実験結果

リサーチクエスチョン

• RQ1 量子計算機は、素因数分解のような古典的には困難な問題を多項式時間で解けるか？
• RQ2 量子重ね合わせともつれが、古典的限界を超える計算高速化を実現する上で果たす役割は何か？
• RQ3 可逆性とユニタリティを保ったまま、古典アルゴリズムを量子計算に適応する方法は何か？
• RQ4 脳の顕著な古典的挙動を考慮すると、量子計算は認知プロセスをどの程度モデル化できるか？
• RQ5 量子複雑度理論が、量子系のシミュレーションおよび新しい量子アルゴリズムの開発に与える影響は何か？

主な発見

• ショアのアルゴリズムにより、素因数分解が量子計算機上で多項式時間で実行可能であるのに対し、最も効率の良い古典的アルゴリズムでは指数的時間が必要となる。
• 量子並列性により、量子計算機は重ね合わせ状態のすべての入力に対して関数を同時に評価でき、特定の問題に対して指数的優位性を発揮する。
• 量子フーリエ変換はショアのアルゴリズムの主要なサブルーチンであり、因数分解に不可欠な周期の効率的同定を可能にする。
• 量子状態空間の指数的次元性のおかげで、量子計算は古典的計算機よりも量子系をより効率的にシミュレートできる。
• 再帰的置換から導かれるユニタリー演算子の使用は、構造的ダイナミクスを有する量子チューリングマシンの理論的枠組みを示唆する。
• コルモゴロフ複雑度は、計算可能関数の構造を理解する手がかりを提供し、実用的計算は低複雑度の関数に集中しており、それらが量子高速化に適している可能性を示唆する。