[論文レビュー] Span-program-based quantum algorithm for evaluating unbalanced formulas

Ben W. Reichardt|ArXiv.org|Jul 9, 2009

Quantum Computing Algorithms and Architecture参考文献 33被引用数 5

ひとこと要約

この論文は、任意の有限ゲート集合上で非対称ブール式を評価するスパンプログラムに基づく量子アルゴリズムを提示する。入力部分式の複雑さが定数倍以内に収まる場合に、最適なクエリ複雑度を達成する。アルゴリズムは、効率的な再帰的合成を可能にする新たな複雑さ測度「フル・ウィtness サイズ」を活用し、事前処理を経てほぼ時間的に最適な性能を達成する。

ABSTRACT

The formula-evaluation problem is defined recursively. A formula's evaluation is the evaluation of a gate, the inputs of which are themselves independent formulas. Despite this pure recursive structure, the problem is combinatorially difficult for classical computers. A quantum algorithm is given to evaluate formulas over any finite boolean gate set. Provided that the complexities of the input subformulas to any gate differ by at most a constant factor, the algorithm has optimal query complexity. After efficient preprocessing, it is nearly time optimal. The algorithm is derived using the span program framework. It corresponds to the composition of the individual span programs for each gate in the formula. Thus the algorithm's structure reflects the formula's recursive structure.

研究の動機と目的

• 構造的非対称性があるにもかかわらず、最適なクエリ複雑度を維持する非対称ブール式の評価を目的とした量子アルゴリズムの開発。
• 従来の研究で求められていた入力部分式の複雑さが等しいという厳密なバランス条件の緩和。
• 再帰的合成とアルゴリズム効率の向上を図るため、スパンプログラムの新たな複雑さ測度「フル・ウィtness サイズ」を導入・活用すること。
• 効率的な事前処理と事前計算済みデータへのコherentアクセスを許容することで、ほぼ時間的に最適な性能を達成すること。
• スパンプログラムに基づく量子アルゴリズムの適用範囲を、対称な式に限らず、より広い非対称的かつほぼバランスの取れた式のクラスへと拡張すること。

提案手法

• アルゴリズムはスパンプログラムフレームワークに基づき構築され、各ゲートのスパンプログラムが式の木構造に従って再帰的に合成される。
• スパンプログラムにおけるウィtnessのノルムを制御するための新たな複雑さ測度「フル・ウィtness サイズ」が導入され、緩いバランス条件下でもきめ細かな解析が可能になる。
• 部分式の複雑さの指標として一般化されたアドバーカリーバウンド $\mathrm{Adv}^\pm$ を用い、部分式の複雑さが定数倍以内に収まる場合に最適なクエリ複雑度を保証する。
• 直接和によるスパンプログラムの再帰的合成が実現され、関連する二部グラフにおける固有値ギャップの適切な取り扱いにより、効率的な量子ウォークが可能になる。
• [Rei09a]における固有値0の固有ベクトルおよびスペクトルギャップに関する結果を活用し、スパンプログラムにおけるフリー入力を量子ウォークで効率的に実装できることを保証する。
• 事前処理により、コherentアクセスを可能にする文字列 $s(\varphi)$ が計算され、クエリ複雑度を超えるランタイムのオーバーヘッドが多対数的要因にまで削減される。

実験結果

リサーチクエスチョン

• RQ1 入力部分式の複雑さが定数倍以内に収まる非対称な式において、量子アルゴリズムが最適なクエリ複雑度を達成できるか。
• RQ2 スパンプログラムフレームワークを非対称な式に拡張する方法は何か。その際、クエリ複雑度や実行時間の効率が損なわれないか。
• RQ3 再帰的スパンプログラム合成におけるウィtnessノルムのより良い制御を可能にする新たな複雑さ測度は何か。
• RQ4 フル・ウィtness サイズ測度を用いて、スパンプログラムにおけるフリー入力を有する時間効率の良い量子アルゴリズムを構築できるか。
• RQ5 スパンプログラムに基づく量子アルゴリズムにおけるバランス条件を、最適性を保ちつつどの程度緩和できるか。

主な発見

• 入力部分式の複雑さが定数倍以内に収まる式に対して、アルゴリズムは最適なクエリ複雑度 $\Theta(\mathrm{Adv}^\pm(\varphi))$ を達成する。
• スパンプログラムのフル・ウィtness サイズは、出力が1の場合に $\sigma_-(v) \cdot \mathrm{Adv}(\varphi_v)$、出力が0の場合に $2\sigma_-(v)\mathrm{Adv}(\varphi_v) - 1$ で有界であり、きめ細かな再帰的解析が可能になる。
• 式の根に対して、フル・ウィtness サイズは $2\sigma_-(\varphi)\sqrt{n}$ 以下である。ここで $n$ はリーフの数である。
• 効率的な事前処理を経ると、アルゴリズムはほぼ時間的に最適な性能を示し、ランタイムはクエリ複雑度より多対数的要因しか遅れない。
• この手法は、既存の結果を任意の有限ゲート集合へ一般化し、スパンプログラムに基づく量子アルゴリズムの適用範囲を非対称な式へと拡張する。
• フレームワークは、スパンプログラムにおけるフリー入力をサポートしており、量子ウォークの実装を簡素化し、アルゴリズムの効率を向上させる。