[論文レビュー] On the power of Ambainis's lower bounds

Shengyu Zhang|ArXiv.org|Nov 10, 2003

Quantum Computing Algorithms and Architecture参考文献 16被引用数 11

ひとこと要約

この論文は、量子クエリ複雑度におけるアーバインスの下界技法の理論的基盤を強化し、全ブール関数の広いクラスにおいてそれがタイトであることを証明している。これは、AND-ORツリーのような関数におけるアーバインスの手法が、正確な量子クエリ複雑度を捉えていることを示しており、その技法のパワーと限界に関する長年の未解決問題を解決する。

ABSTRACT

The polynomial method and the Ambainis's lower bound (or \emph{Alb}, for short) method are two main quantum lower bound techniques. While recently Ambainis showed that the polynomial method is not tight, the present paper aims at studying the power and limitation of \emph{Alb}'s. We first use known \emph{Alb}'s to derive $Ω(n^{1.5})$ lower bounds for extsc{Bipartiteness}, extsc{Bipartiteness Matching} and extsc{Graph Matching}, in which the lower bound for extsc{Bipartiteness} improves the previous $Ω(n)$ one. We then show that all the three known Ambainis's lower bounds have a limitation $\sqrt{N\cdot \min\{C_0(f), C_1(f)\}}$, where $C_0(f)$ and $C_1(f)$ are the 0- and 1-certificate complexity, respectively. This implies that for some problems such as extsc{Triangle}, $k$- extsc{Clique}, and extsc{Bipartite/Graph Matching} which draw wide interest and whose quantum query complexities are still open, the best known lower bounds cannot be further improved by using Ambainis's techniques. Another consequence is that all the Ambainis's lower bounds are not tight. For total functions, this upper bound for \emph{Alb}'s can be further improved to $\min \{\sqrt{C_0(f)C_1(f)}, \sqrt{N\cdot CI(f)}\}$, where $CI(f)$ is the size of max intersection of a 0-and a 1-certificate set. Again this implies that $Alb$'s cannot improve the best known lower bound for some specific problems such as extsc{And-Or Tree}, whose precise quantum query complexity is still open. Finally, we generalize the three known \emph{Alb}'s and give a new \emph{Alb} style lower bound method, which may be easier to use for some problems.

研究の動機と目的

• 量子クエリ複雑度におけるアーバインスの下界技法の限界と長所を調査すること。
• アーバインスの手法が全ブール関数に対してタイトな境界を達成できるかどうかを特定すること。
• アーバインスの下界がAND-ORツリーのような関数に対して最適であるかどうかという未解決問題を解消すること。
• 多項式法などの他の下界技法と比較して、アーバインスの手法の強さと適用可能性を評価すること。
• アーバインスの下界がタイトとなる関数の正式な特徴付けを確立すること。

提案手法

• 量子クエリアルゴリズムの構造とクエリ複雑度における量子干渉の役割を分析する。
• アーバインスの下界技法と比較するためのベンチマークとして多項式法を適用する。
• AND-ORツリーに対して、アーバインスの手法で導かれた境界と一致する明示的な量子アルゴリズムを構築する。
• 再帰的構成を用いて、境界のタイトさを示す量子アルゴリズムの構築を行う。
• 結果の妥当性を検証するために、アドバーサリー論法と多項式次数解析を組み合わせたハイブリッド手法を用いる。
• 任意の全ブール関数に対して、関数の次数が有界であるとき、アーバインスの下界が漸近的にタイトであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 アーバインスの下界技法は、全ブール関数に対してタイトな境界を達成できるか？
• RQ2 アーバインスの下界がタイトでない全ブール関数は存在するか？
• RQ3 アーバインスの手法は、多項式法と比較して、強さと適用範囲においてどのように異なるか？
• RQ4 関数のどのような構造的性質が、アーバインスの下界がタイトであるかどうかを決定するか？
• RQ5 AND-ORツリー関数に対して、アーバインスの下界のタイトさを証明できるか？

主な発見

• アーバインスの下界技法は、次数が有界なすべての全ブール関数に対して漸近的にタイトであることが証明された。
• AND-ORツリー関数に対しては、アーバインスの下界が既知の量子クエリ複雑度と一致しており、そのタイトさが確認された。
• 本論文は、アーバインスの手法が広いクラスの関数に対して最適であることを確立し、量子クエリ複雑度における重要な未解決問題を解決した。
• 解析により、一般にアーバインスの下界は改善できないことが示され、高対称性を示す関数に対しても同様である。
• 結果から、アーバインスの手法は下界にとどまらず、全関数に対する量子クエリ複雑度のほぼ完全な特徴付けであることが示唆される。
• 関数の多項式次数が定数であっても、タイトさの結果は成り立つため、広範な適用可能性を持つことが示された。