[論文レビュー] Quantum algorithms for formula evaluation

Andris Ambainis|arXiv (Cornell University)|Jun 18, 2010

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

ひとこと要約

本稿では、量子ウォークとスパンプログラムの技術を用いて、NANDゲートで構成されたブール論理式を評価するための量子アルゴリズムの系列を提示する。平衡的な論理式に対しては $O(\sqrt{N})$ の最適なクエリ複雑性を達成し、一般の論理式に対しては $O(\sqrt{N}\log N)$ を達成する。これは古典的手法の境界を著しく上回り、スパンプログラムの一般化によってほぼ最適性が確立される。

ABSTRACT

We survey the recent sequence of algorithms for evaluating Boolean formulas consisting of NAND gates.

研究の動機と目的

• NANDゲートで構成されたブール論理式を評価するための効率的な量子アルゴリズムの開発。
• Groverの探索を一般化し、複雑なAND-ORおよびNAND論理式を、改善されたクエリ複雑性で評価する。
• ブール論理式評価における量子ウォークアルゴリズムとスパンプログラムの間の関係を確立する。
• スパンプログラムに基づく量子アルゴリズムを用いて、任意のブール関数に対してほぼ最適なクエリ複雑性を達成する。
• 量子ウォークに基づく手法が、$O(\sqrt{N}\log N)$ のクエリで任意のNAND論理式を評価できることを示す。

提案手法

• アルゴリズムは、NAND論理式の評価をシミュレートするために、長さ2のテールを追加した木構造上の量子ウォークを用いる。
• $S$ がシフト演算子で、$C$ が論理式構造に基づく位相反転操作であるユニタリ変換 $SC$ を用いる。
• ウォークは、論理式の根の値を符号化する重ね合わせ状態 $|\psi_{\text{start}}\rangle$ で初期化される。
• $SC$ 演算子の固有値推定により、出力が0または1のときの位相シフト（$1/\sqrt{N}$ のオーダー）を検出することで区別される。
• 部分木のサイズに基づく重みを用いた重み付き隣接行列をハミルトニアンとして用いることで、任意のNAND論理式構造へ一般化される。
• スパンプログラム技術を用いて、任意のブール関数へとフレームワークを拡張し、ほぼ最適なクエリ複雑性を実現する。

実験結果

リサーチクエスチョン

• RQ1 量子ウォークに基づくアルゴリズムは、古典的手法よりもNAND論理式をより効率的に評価できるか？
• RQ2 量子アルゴリズムを用いて一般のNAND論理式を評価するのに必要な最小のクエリ複雑性は何か？
• RQ3 量子ウォークフレームワークは、任意の深さと構造を持つ論理式に対応できるようにどのように適合できるか？
• RQ4 スパンプログラム形式は、ブール論理式評価のための量子アルゴリズムを統一的かつ一般化するのに利用できるか？
• RQ5 スパンプログラムに基づく量子アルゴリズムを用いて、任意のブール関数に対してほぼ最適なクエリ複雑性を達成することは可能か？

主な発見

• 平衡的なNAND論理式は、$O(\sqrt{N})$ のクエリで評価され、最適な量子クエリ複雑性と一致する。
• 一般のNAND論理式に対しては、$O(\sqrt{N}\log N)$ のクエリ複雑性を達成し、古典的複雑性 $\Theta(N^{0.754})$ よりも改善される。
• Bshoutyらの変換を用いて論理式の深さを短縮することで、クエリ複雑性は $O(N^{1/2 + O(1/\sqrt{\log N})})$ となる。
• スパンプログラムフレームワークにより、任意のブール関数に対してほぼ最適な量子クエリアルゴリズムが可能となり、$t$ クエリが必要な関数に対しては $O(t)$ または $O(t \log t / \log \log t)$ のクエリが達成される。
• 連続時間ハミルトニアンモデルと離散時間量子ウォークモデルは、クエリパワーにおいて概ね同等であることが示された。
• アルゴリズムの性能は頑健である：長さ2の有限なテールであっても、より長いテールと同等の挙動を示し、実装を簡素化する。