[論文レビュー] On Measurement and Computation

Huimin Zheng, Haixing Hu+2 more|arXiv (Cornell University)|Jul 16, 2011

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

ひとこと要約

この論文は、物理的計算可能性と物理的計算量の理論を形式的に確立し、時間、エネルギー、量子ビットなど、測定可能な物理的資源を用いて、量子系を含む多様な物理的メカニズムにおける計算を評価するフレームワークを提案する。量子アルゴリズム（ShorのアルゴリズムやGroverのアルゴリズム）が、証明可能な優れた計算量を持つ物理的計算として再解釈できることを示し、量子状態の確率に関する明確で検証可能な質問を提示することで、量子シミュレーションを効率的な量子アルゴリズムに変換する手法を導入する。

ABSTRACT

Inspired by the work of Feynman, Deutsch, We formally propose the theory of physical computability and accordingly, the physical complexity theory. To achieve this, a framework that can evaluate almost all forms of computation using various physical mechanisms is discussed. Here, we focus on using it to review the theory of Quantum Computation. As a preliminary study on more general problems, some examples of other physical mechanism are also given in this paper.

研究の動機と目的

• チューリングマシンを越えて、すべての物理的プロセスを計算的メカニズムとして含む一般の物理的計算可能性理論を形式化すること。
• 時間、エネルギー、量子ビットなどの測定可能な物理的資源に基づいて物理的計算量を定義し、異なる計算パラダイム間での厳密な比較を可能にすること。
• ShorのアルゴリズムやGroverのアルゴリズムなどの量子アルゴリズムが、効率的な資源使用を伴う物理的計算としての枠組みによって、優れた計算量を達成できることを示すこと。
• 量子状態の振幅に関する明確で検証可能な質問を提示することで、量子シミュレーションを量子アルゴリズムに変換するための手法を開発すること。
• 物理的メカニズムが、古典的計算の範囲外にある関数を計算できるかどうか、特に高次元または量子統計系において検討すること。

提案手法

• 物理的状態、観測者、物理的プロセスに基づく形式的フレームワークを導入し、連鎖的な物理的操作を表す合成演算子（∘）を用いる。
• 観測可能な結果と確率的状態遷移を通じて、決定的および非決定的物理的計算を定義する。
• 予め定義された集合からの法線ベクトルを持つ超平面を用いて、状態空間を再帰的に分割する手続き（P_Q）を提案する。
• 部分集合AとBの確率比が有界であるかを確認する条件チェックを用い、|φ(A)|² / |φ(B)|² が 3/7 から 1 の間にある（3/7 ≤ |φ(A)|² / |φ(B)|² ≤ 1）ことを保証することで、意味のある比較を可能にする。
• 振幅 |φ(A)| の n₀ 番目の桁を求めることを問う問題を設計し、これは古典的確率的チューリングマシンでは困難だが、量子コンピュータでは効率的に解ける。
• 量子アルゴリズムを分析する際、回路の抽象的複雑さではなく、物理的資源の最適化による効率性としてその効率を再解釈するフレームワークを適用する。

実験結果

リサーチクエスチョン

• RQ1 チューリングマシンモデルに依存しない、一般の物理的計算可能性理論を形式的に定義できるか？
• RQ2 時間、エネルギー、量子ビットなどの測定可能な物理的資源に基づいて、量子、古典、DNAベースの計算を含む、さまざまな物理的システム間の物理的資源計算量をどのように定量化し比較できるか？
• RQ3 量子状態の振幅に関する明確で検証可能な質問を提示することで、量子シミュレーションを体系的に量子アルゴリズムに変換できるか？
• RQ4 古典的チューリングマシンでは計算不可能な関数を計算できる物理的メカニズムが存在するか？
• RQ5 量子状態（例えばエンタングルド量子ビット）を準備する際の計算量は、自らが非自明な計算資源を占めるのか？

主な発見

• 論文は、物理的計算可能性がチューリング計算可能性を包含することを確立し、物理的に計算可能な任意の関数は物理的プロセスによってシミュレート可能であるが、必ずしも多項式時間内に実行されるとは限らないことを示している。
• ShorのアルゴリズムやGroverのアルゴリズムが、量子状態の時間発展と測定における物理的資源の効率的利用によって、それぞれ指数的および平方根的加速を達成できることを示している。
• 量子シミュレーションを量子アルゴリズムに変換するための提案手法により、量子振幅の n₀ 番目の桁を求める問題が、古典的確率的チューリングマシンよりも量子コンピュータで速やかに解けることが保証されている。
• フレームワークは、特定の量子系をシミュレートする困難さが、計算そのものにあるのではなく、高次元確率分布からの意味のある情報抽出の難しさに起因する可能性があると特定している。
• 著者らは、有界確率比制約下で量子振幅の n₀ 番目の桁を特定する問題が、特定の統計モデルのもとで #P-困難であると予想しており、計算複雑性クラスとの深い関係を示唆している。
• 論文は、多項式数の量子ビットを準備することが、非自明な計算ボトルネックである可能性を強調しており、量子計算におけるリソースコストが状態準備そのものに起因する可能性を示唆している。