[論文レビュー] Several natural BQP-Complete problems

Paweł Wocjan, Shengyu Zhang|ArXiv.org|Jun 21, 2006

Quantum Computing Algorithms and Architecture参考文献 30被引用数 29

ひとこと要約

本稿では、局所ハミルトニアンまたはユニタリ行列の固有値を特定の分布に従ってサンプリングする問題として、Local Hamiltonian Eigenvalue Sampling (LHES) と Phase Estimation Sampling (PES) の2つの新しい自然なBQP完全問題を導入する。これにより、量子コンピュータで解けるあらゆる問題と同程度に難しいことが示された。これらの結果は、Jones多項式近似のような先行問題を超えて、量子計算の困難性をより深く理解する手がかりを提供する。

ABSTRACT

A central problem in quantum computing is to identify computational tasks which can be solved substantially faster on a quantum computer than on any classical computer. By studying the hardest such tasks, known as BQP-complete problems, we deepen our understanding of the power and limitations of quantum computers. We present several BQP-complete problems, including Local Hamiltonian Eigenvalue Sampling and Phase Estimation Sampling. Different than the previous known BQP-complete problems (the Quadratically Signed Weight Enumerator problem [KL01] and the Approximation of Jones Polynomials [FKW02, FLW02, AJL06]), our problems are of a basic linear algebra nature and are closely related to the well-known quantum algorithm and quantum complexity theories.

研究の動機と目的

• 量子線形代数における自然で基本的な問題がBQP完全であることを特定し、量子計算のパワーと限界をより深く理解すること。
• BQP完全性を位相推定やハミルトニアンシミュレーションといったよく知られた量子フレームワークに根ざさせることで、抽象的な量子複雑度クラスと具体的な量子アルゴリズムの間の溝を埋めること。
• 最小固有値の近似ではなく、自然な分布に従って固有値をサンプリングすることこそが、量子回路の全計算パワーを捉えることを示すこと。
• 量子物理学および量子アルゴリズム設計における固有値関連タスクの複雑度理論的基盤を提供すること。
• これらの問題の無向バージョン（例えば、すべての計算基底状態に対する一様サンプリングなど）の複雑度を調査すること。

提案手法

• 局所ハミルトニアンの固有値を、固有状態における計算基底状態の振幅の二乗に従ってサンプリングする問題として、Local Hamiltonian Eigenvalue Sampling (LHES) を定義する。
• ユニタリ行列の固有値の位相を、与えられた状態と対応する固有空間との重なりに従って重み付けしてサンプリングする問題として、Phase Estimation Sampling (PES) を定義する。
• 既知のBQP完全問題（例：Quadratically Signed Weight Enumerator）を、量子回路シミュレーションおよび固有状態準備を用いてLHESおよびPESに還元することで、BQP困難性を証明する。
• BQPに属することを確立するため、効率的な量子アルゴリズムを構築する：PESには位相推定を、LHESにはハミルトニアンシミュレーションを用い、Chernoff型集中不等式による誤差境界を導出する。
• LUAE（Local Unitary Average Eigenvalue Estimation）に対しては、SWAPテストを用いて期待値⟨b|U|b⟩を推定し、内積の実部および虚部を効率的にサンプリング可能であるという補題を活用する。
• 分散の境界とChernoffの不等式を用いて、O(1/ε² log(1/δ))個のサンプルで、真の平均固有値がε以内に近づく確率が1−δ以上であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 Jones多項式のような抽象的またはトポロジカルな不変量とは異なり、線形代数における自然で基本的な問題がBQP完全であるか？
• RQ2 特に、局所ハミルトニアンやユニタリ行列の固有値をサンプリングする問題が、量子計算の全パワーを捉えることができるか？
• RQ3 位相推定フレームワークは、既知の量子アルゴリズムの中心的役割を果たしており、PESの完全性が示唆するように、すべての効率的量子計算を内包する本質的パラダイムであるのか？
• RQ4 これらの問題の無向バージョン（例えば、すべての計算基底状態に対する一様サンプリング）の複雑度はいかほどか？
• RQ5 高次のべき乗（例：H^mでmはnの多項式）をとったユニタリ行列の平均固有値は、個々の行列要素が容易に計算可能であっても、BQP完全である可能性はあるか？

主な発見

• 局所ハミルトニアンに制限しても、Local Hamiltonian Eigenvalue Sampling (LHES) 問題はBQP完全である。これは、自然な分布に従う固有値サンプリングが、BQPのあらゆる問題と同程度に難しいことを示している。
• 位相推定サンプリング (PES) 問題はBQP完全である。これは、位相推定フレームワークが単なる道具ではなく、量子計算の普遍的パラダイムであることを示している。
• 局所ユニタリ平均固有値推定 (LUAE) 問題はBQPに属し、SWAPテストを用いてO(1/ε² log(1/δ))個のサンプルで⟨b|U|b⟩をε以内に近似できる。誤差確率はδ以下である。
• 無向バージョン（例：すべての基底状態に対する一様サンプリング）の複雑度は未解決のままであるが、トレースが一様サンプリングによって計算可能であるため、LUAE_uはBQPに属することが示された。
• LHESにおいて、局所ハミルトニアンに代えてスパースハミルトニアンを用いても完全性に変更がない。これは、スパースハミルトニアンが効率的にシミュレート可能であるためである。
• これらの結果は、固有値のサンプリングや推定タスクが、物理的に関連性があるだけでなく、量子複雑度理論の中心的役割を果たしていることを示唆している。