[論文レビュー] A Quantum Algorithm for the Hamiltonian NAND Tree

Edward Farhi, Jared V. Goldstone+1 more|ArXiv.org|Feb 14, 2007

Quantum Computing Algorithms and Architecture参考文献 4被引用数 71

ひとこと要約

この論文は、ハミルトニアンNAND木問題を√Nに比例する時間で解く連続時間量子ウォークアルゴリズムを提示している。最適なクエリ複雑度を達成する。アルゴリズムは木構造とランウェイを備えたグラフ上の量子ウォークを用い、エネルギーに依存する透過係数を活用することで、√N時間のうちに高い忠実度で根の値を特定する。これは、すでに示された下界と一致する。

ABSTRACT

We give a quantum algorithm for the binary NAND tree problem in the Hamiltonian oracle model. The algorithm uses a continuous time quantum walk with a run time proportional to sqrt N. We also show a lower bound of sqrt N for the NAND tree problem in the Hamiltonian oracle model.

研究の動機と目的

• ハミルトニアンオラクルモデルにおいて、最適な実行時間でNAND木を評価する量子アルゴリズムを開発すること。
• √Nの実行時間が達成可能かつ必要であることを示し、タイトな複雑度境界を確立すること。
• 連続時間量子ウォークとNAND木問題を結びつけ、エネルギーE=0における散乱特性が木の根の値を明らかにすることを示すこと。
• ハミルトニアンオラクルモデルにおける任意の量子アルゴリズムに対して、√Nの下界を証明すること。

提案手法

• アルゴリズムは、深さlog₂Nの2分木NAND木と、ノードからなるランウェイが接続されたグラフ上の連続時間量子ウォークを採用する。
• ハミルトニアンは、全グラフの負の隣接行列として定義され、インスタンス依存のオラクル項HO（オラクル項）とインスタンス非依存のドライバ項HD（ドライバ項）に分解される。
• 初期状態は、ランウェイの左端に局在化した狭い右向きの波パッケージで、幅L ≈ √N、ノード0を中心とする。
• 時間T ≈ L/2 ≈ √N/2の間、H = HO + HDの下で系が時間発展し、その後ランウェイの右側での測定により根の値が特定される。
• 鍵となるメカニズムは、エネルギーE=0における透過係数である：NAND木が1に評価される場合、透過係数は1であり、0に評価される場合は0である。
• 波パッケージはE=0の周囲に鋭くピークを持つように設計されており、散乱特性を通じて木の構造に敏感な時間発展を実現する。

実験結果

リサーチクエスチョン

• RQ1 連続時間量子ウォークは、ハミルトニアンオラクルモデルにおいて、O(√N)の実行時間でNAND木問題を解けるか？
• RQ2 ハミルトニアンオラクルモデルにおいて、NAND木を評価する最適な実行時間は何か？
• RQ3 エネルギーE=0における量子波パッケージの散乱特性は、NAND木の根の値をどのように明らかにするか？
• RQ4 このモデルにおいて、√Nの実行時間が達成可能かつ下界として証明可能か？

主な発見

• 提案された量子アルゴリズムは、NAND木をO(√N)の時間で評価し、クエリ複雑度において既知の最良の古典的確率的アルゴリズムと一致する。
• アルゴリズムは、木とランウェイを有するグラフ上の連続時間量子ウォークを用い、根の値はエネルギーE=0における波パッケージの透過を測定することで決定される。
• エネルギーE=0における透過係数は、NAND木が1に評価される場合に1、0に評価される場合に0であり、これにより根の値が正しく特定できる。
• ハミルトニアンオラクルモデルにおける任意の量子アルゴリズムに対して、Ω(√N)の下界が証明され、√Nが漸近的に最適であることが示された。
• 忠実度を保証するため、波パッケージはエネルギーで狭く（|E| < 1/(16√N)の範囲内）設計されており、これにはパラメータLが√Nのオーダーである必要がある。
• この結果により、ハミルトニアンオラクルモデルにおけるタイトな複雑度境界が確立され、以降の量子クエリモデルの改善において、このアルゴリズムが構築ブロックとして用いられている。