[論文レビュー] Quantum Adversary (Upper) Bound

Shelby Kimmel|arXiv (Cornell University)|Jan 4, 2011

Quantum Computing Algorithms and Architecture被引用数 8

ひとこと要約

本稿では、一般逆問題境界とその合成性質を用いて、ブール関数の量子クエリ複雑度を非構成的（nonconstructive）に上界付ける手法を導入する。合成関数 $f^d$ を分析することで、Constant-Fault Direct Trees に対して $O(1)$ クエリの量子アルゴリズムが存在することを証明するが、そのアルゴリズムは明示的に得られない。後に提示されるスパンプログラムの構成により、明示的な $O(1)$ クエリ解が得られる。

ABSTRACT

We describe a method to upper bound the quantum query complexity of Boolean formula evaluation problems, using fundamental theorems about the general adversary bound. This nonconstructive method can give an upper bound on query complexity without producing an algorithm. For example, we describe an oracle problem which we prove (non-constructively) can be solved in $O(1)$ queries, where the previous best quantum algorithm uses a polylogarithmic number of queries. We then give an explicit $O(1)$-query algorithm for this problem based on span programs.

研究の動機と目的

• 一般逆問題境界を用いた非構成的量子クエリ複雑度上界の導出手法の開発。
• 関数 $f$ に対して部分的に最適でない量子アルゴリズムを合成することで、$f$ 自身に対してより効率的なアルゴリズムの存在が示されることの証明。
• Constant-Fault Direct Trees という、従来は多対数的クエリが必要とされていたオракル問題クラスに対して、定数クエリの量子アルゴリズムが存在することの証明。
• スパンプログラムの構築により、理論的上界と明示的量子アルゴリズムのギャップを埋めること。

提案手法

• 一般逆問題境界の合成性質を活用：$\mathrm{ADV}^\pm(f^d) \geq (\mathrm{ADV}^\pm(f))^d$。
• 一般逆問題境界のタイトネスを量子クエリ複雑度の下界として用い、$f^d$ のクエリ複雑度の上限から $Q(f)$ の上限を導出する。
• 合成関数の双対プログラムにおけるテンソル積とハダマード積の構造を用いて、双対逆問題解の妥当性を検証する。
• 関数 $f$ と $g$ の双対解を用いて $f \circ g$ の双対妥当解を構築し、半正定値性とトレース正規化を保証する。
• 対称行列と構造的テンソル積を用いて、双対プログラムの制約と目的関数評価を単純化する。
• Constant-Fault Direct Trees に対して、$O(1)$ クエリ複雑度を達成する明示的スパンプログラムアルゴリズムを構築する。

実験結果

リサーチクエスチョン

• RQ1 関数 $f$ のベース関数の量子クエリ複雑度を、合成版 $f^d$ を分析することで、一般逆問題境界を用いて非構成的に上界付けることは可能か？
• RQ2 ベースアルゴリズムが部分的に最適でない場合でも、合成された量子アルゴリズムが $d$ に対して指数的以下にスケーリング可能であり、$Q(f)$ のよりタイトな上界が得られるか？
• RQ3 $f^d$ に対して定数クエリのアルゴリズムが存在することは、$f$ に対しても定数クエリのアルゴリズムが存在することを示唆するか、すなわち、その構築がなくても成立するか？
• RQ4 スパンプログラムを用いて、非構成的に導出された $O(1)$ クエリ複雑度上界を達成する明示的量子アルゴリズムを実現できるか？

主な発見

• 本稿では、$f^d$ が $O(J^d)$ クエリで解けるならば、$Q(f) = O(J)$ であることを証明し、$f$ のクエリ複雑度に対して非構成的上界を確立した。
• Constant-Fault Direct Trees に対して、本手法により $O(1)$ クエリの量子アルゴリズムが存在することを証明し、従来の多対数的上界を著しく改善した。
• Constant-Fault Direct Trees に対して、$O(1)$ クエリ複雑度を達成する明示的スパンプログラムが構築され、非構成的上界の妥当性が裏付けられた。
• 合成関数 $f \circ g$ の双対プログラムが、テンソル積とハダマード積を用いて半正定値性とトレース正規化を確認することで妥当であることが示された。
• 合成関数 $f \circ g$ の双対解の目的関数値が $d_f d_g$ に等しく、逆問題境界の正規化要件を満たすことが確認された。
• 本手法により、直感に反する現象が明らかになった：$f$ に対して最適でないアルゴリズムであっても、合成することで指数的以下にスケーリングされ、$f$ に対してより良いアルゴリズムが存在することを示唆する。