[論文レビュー] Average-Case Quantum Query Complexity

Andris Ambainis, R.M. de Wolf|UvA-DARE (University of Amsterdam)|Apr 23, 1999

Quantum Computing Algorithms and Architecture被引用数 9

ひとこと要約

この論文は、一様分布下での平均ケースクエリ複雑度モデルにおいて、量子アルゴリズムが古典的アルゴリズムに対して指数的高速化を達成できることを確立している。非一様分布下では超指数的ギャップが可能である。特に、MAJORITY関数に対して、一様分布下では量子クエリ複雑度が古典的複雑度に対してほぼ2乗的に優れていることが示され、最悪ケースの境界を越えて、平均ケース設定における量子計算の根本的優位性が浮き彫りになった。

ABSTRACT

We compare classical and quantum query complexities of total Boolean functions. It is known that for worst-case complexity, the gap between quantum and classical can be at most polynomial. We show that for average-case complexity under the uniform distribution, quantum algorithms can be exponentially faster than classical algorithms. Under non-uniform distributions the gap can even be super-exponential. We also prove some general bounds for average-case complexity and show that the average-case quantum complexity of MAJORITY under the uniform distribution is nearly quadratically better than the classical complexity.

研究の動機と目的

• 一様および非一様入力分布下での平均ケース設定における古典的および量子クエリ複雑度のギャップを調査すること。
• 平均ケースのシナリオにおいて、量子アルゴリズムが多項式高速化を超えて古典的アルゴリズムを上回れるかどうかを特定すること。
• 特に一様分布下での特定のブール関数、特にMAJORITYの平均ケース量子クエリ複雑度を分析すること。
• 平均ケース量子クエリ複雑度の一般的な境界を確立し、それらを古典的対応物と比較すること。
• 既知の多項式ギャップにとどまらない、最悪ケース複雑度を超えた量子優位性の理解を拡張すること。

提案手法

• 著者たちは、主に全ブール関数を対象として、量子クエリモデルを用いてクエリ複雑度を分析する。
• 平均ケース複雑度を、与えられた入力分布下でのクエリ回数の期待値として定義し、特に一様および非一様分布を対象とする。
• 多項式法および敵対法を含む量子クエリ複雑度技術を適用し、量子クエリ複雑度の境界を求める。
• 明示的な量子アルゴリズムの構築とその期待クエリ数の分析を通じて、古典的および量子クエリ複雑度を比較する。
• MAJORITY関数に対して、対称性とアモニチュード増幅技術を用いて、平均ケース量子クエリ複雑度のタイトな境界を導出する。
• 非一様分布下で、超指数的ギャップが得られることを示す、平均ケース量子クエリ複雑度の一般的な上界および下界を証明する。

実験結果

リサーチクエスチョン

• RQ1 量子アルゴリズムは、平均ケースクエリ複雑度モデルにおいて、古典的アルゴリズムに対して指数的高速化を達成できるか？
• RQ2 一様分布下でのMAJORITY関数の平均ケース量子クエリ複雑度は、その古典的対応物と比べてどのように異なるか？
• RQ3 非一様入力分布下での古典的および量子クエリ複雑度の最大ギャップはどの程度か？
• RQ4 古典的および平均ケース量子クエリ複雑度の関係を特徴付ける一般的な境界は存在するか？
• RQ5 平均ケース設定において、古典的および量子クエリ複雑度の間で超指数的ギャップを達成できるか？

主な発見

• 一様分布下では、量子アルゴリズムが平均ケースクエリ複雑度において古典的アルゴリズムに対して指数的高速化を達成できる。
• MAJORITY関数に対しては、一様分布下で平均ケース量子クエリ複雑度が古典的複雑度に対してほぼ2乗的に優れている。
• 非一様分布下では、古典的および量子クエリ複雑度のギャップが超指数的になる可能性がある。
• 本論文は、平均ケース量子クエリ複雑度の一般的な上界および下界を確立し、このようなギャップが最悪ケースのシナリオに限られるわけではないことを示した。
• 結果として、クエリ複雑度における量子優位性が、多項式ギャップに限られる最悪ケース境界をはるかに超えて、顕著に拡張されていることが示された。
• 本研究は、特に対称関数（MAJORITYなど）において、量子クエリ複雑度が平均ケース設定で顕著な優位性を示すことを確認した。