[論文レビュー] About the quantum mechanical speeding up of classical algorithms

Yuri Ozhigov|ArXiv.org|Jun 2, 1997

Quantum Computing Algorithms and Architecture参考文献 7被引用数 3

ひとこと要約

本稿では、並列・直列処理を活用することで、古典的計算を量子コンピュータ上で高速化するユニタリ量子操作である相対拡散変換（RDT）を導入する。任意の古典的1次元細胞オートマトンの計算が時間Tと空間Sで行われる場合、O(S√T)時間で確実に実行可能であることを証明しており、量子並列性とオракルベースの部分空間操作により、古典的手法に比べて2乗の高速化を達成している。

ABSTRACT

This work introduces a relative diffusion transformation (RDT) - a simple unitary transformation which acts in a subspace, localized by an oracle. Such a transformation can not be fulfilled on quantum Turing machines with this oracle in polynomial time in general case. It is proved, that every function computable in time T and space S on classical 1-dimensional cellular automaton, can be computed with certainty in time O(S \sqrt T) on quantum computer with RDTs over the parts of intermediate products of classical computation. This requires multiprocessor, which consists of \sqrt T quantum devices each of O(S) size, working in parallel-serial mode and interacting by classical lows.

研究の動機と目的

• Shor や Grover のような既知の量子アルゴリズムを超えて、量子力学が一般に古典的アルゴリズムに体系的な高速化を提供できるかを検討すること。
• 特定のユニタリ変換を効率的に実装できない標準の量子チューリングマシンの限界を解決すること。
• オラクルによって定義された部分空間にのみ作用する制御された、オラクル局在型ユニタリ発展を可能にする、新しい量子メカニズム「相対拡散変換（RDT）」を提案すること。
• マルチプロセッサ量子アーキテクチャ上で実装された場合、RDTが古典的1次元細胞オートマトンの計算に対して決定的かつ2乗の高速化を実現できることを示すこと。

提案手法

• 本稿では、オラクルによって定義された部分空間に作用するユニタリ操作としての相対拡散変換（RDT）を導入し、量子状態における選択的振幅操作を可能にする。
• RDTは、オラクルによって局在化されたヒルベルト空間の部分空間内で作用するように設計されており、標準の量子チューリングマシンでは多項式時間で効率的に実装できない。
• 本手法は、√T個の量子デバイスから構成されるマルチプロセッサ量子アーキテクチャを用い、それぞれのデバイスのサイズはO(S)であり、並列・直列モードで動作することで、古典的計算の中間ステップをシミュレートする。
• 各量子デバイスは、古典的計算の中間積の一部を処理し、デバイス間の古典的通信により全体の計算を調整する。
• 変換は、量子並列性と干渉を活用して、元来時間Tで制限されていた古典関数の計算を高速化する。
• 解析では、各ステップが決定的かつ局所的である1次元細胞オートマトンモデルを仮定し、このモデルをRDTを用いた量子回路にマッピングすることで、総実行時間を短縮する。

実験結果

リサーチクエスチョン

• RQ1 量子力学は、因数分解や探索のような特定の事例を超えて、任意の古典的アルゴリズムを一般に高速化する一般的な手法を提供できるか？
• RQ2 なぜ標準の量子チューリングマシンモデルは、古典的計算を高速化するために必要な特定のユニタリ変換を効率的に実装できないのか？
• RQ3 オラクルによって定義された部分空間にのみ作用する相対拡散変換（RDT）を構築可能か？また、それがより高速な計算を可能にするか？
• RQ4 古典的1次元細胞オートマトンの計算に対して、証明可能な高速化を達成するための最小限の量子リソース要件（キュービット数と深さ）は何か？
• RQ5 複数の小型量子デバイス間の古典的通信をどのように活用することで、時間計算量を低減した大規模な量子計算をシミュレートできるか？

主な発見

• 本稿では、時間Tと空間Sを要する任意の古典的1次元細胞オートマトンの計算が、RDTを用いて量子コンピュータ上で確実にO(S√T)時間でシミュレート可能であることを証明している。
• 必要な量子アーキテクチャは、√T個の量子デバイスから構成され、それぞれのサイズはO(S)であり、古典的通信を介して並列・直列モードで動作する。
• 古典的時間Tに対して2乗の高速化が達成されており、これはオラクルによって定義された部分空間内での正しい計算経路の振幅をRDTによって強調することで実現されている。
• RDT変換は、標準の量子チューリングマシンでは多項式時間で実装できないため、この問題クラスに対して標準モデルの限界が顕在化されている。
• この結果により、Grover や Shor のアルゴリズムとは異なる、部分空間内での構造的ユニタリ変換に基づく、新たな量子高速化のクラスが確立された。
• この手法は、確率的結果に依存する振幅拡大技術とは異なり、決定的計算を確実に達成している。