[論文レビュー] Optimal quantum query bounds for almost all Boolean functions

Andris Ambainis, Artūrs Bačkurs+2 more|arXiv (Cornell University)|Aug 6, 2012

Quantum Computing Algorithms and Architecture参考文献 20被引用数 4

ひとこと要約

この論文は、有界誤差計算において、ほぼすべての $n$-ビットブール関数が少なくとも $n/2$ 個の量子クエリを必要することを確立し、ヴァン・ダムの量子オラクルインターオーグレーションプロトコルが本質的に最適であることを証明している。受理確率を次数 $T$ の多項式の二乗の和として分析することで、既知の上界と下界の差を埋め、ほとんどすべての $f$ に対して $Q_\varepsilon(f) \geq n/2 - o(n)$ を示している。

ABSTRACT

We show that almost all n-bit Boolean functions have bounded-error quantum query complexity at least n/2, up to lower-order terms. This improves over an earlier n/4 lower bound of Ambainis, and shows that van Dam's oracle interrogation is essentially optimal for almost all functions. Our proof uses the fact that the acceptance probability of a T-query algorithm can be written as the sum of squares of degree-T polynomials.

研究の動機と目的

• ほぼすべてのブール関数に対する量子クエリ複雑度の既知の上界と下界の差を埋めること。
• ヴァン・ダムのオラクルインターオーグレーションの $n/2$ クエリ量子アルゴリズムが、ほぼすべての $n$-ビットブール関数に対して漸近的に最適であることを証明すること。
• 受理確率のより深い構造を活用することで、標準的な量子クエリ下界手法（多項式法およびアドバーザリ法）の限界を乗り越えること。
• 量子クエリアルゴリズムにおける受理確率の二乗和表現が、従来の多項式次数解析よりも強い下界を可能にすることを確立すること。

提案手法

• T-クエリ量子アルゴリズムの受理確率が、入力変数に関する次数 $T$ の多重線形多項式の二乗の和として表現可能であるという事実を活用すること。
• 2進文字列のパリティ制約系の解の数に対する組合せ的推定を用いて、非一様に分布する状態の総振幅を抑えること。
• インデックスの分割に関する帰納的議論を用いて、特定のパリティ条件を満たす2進文字列 $s_i$ の配置の数を抑えること。
• 入力 $x^{(1)}, \dots, x^{(r)}$ の異なる入力の和を、パリティ制約による変数の削除によって帰納に適した形に変換すること。
• 振幅和の項の総寄与を $O(B^{m-r+1} \cdot 2^{nr})$ で抑え、ここで $B$ は重み $\leq T$ の文字列の数であり、$B = o(2^n)$ であることを用いる。
• これらの境界を量子クエリアルゴリズムの構造と組み合わせ、任意の $\varepsilon$-誤差計算に必要なクエリ数の下界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 ヴァン・ダムのオラクルインターオーグレーションの $n/2$-クエリ量子アルゴリズムは、ほぼすべてのブール関数に対して最適か？
• RQ2 標準的な多項式法またはアドバーザリ法は、ほぼすべてのブール関数に対して量子クエリ複雑度の下界 $n/2$ を確立できるか？
• RQ3 量子クエリアルゴリズムにおける受理確率の二乗和構造は、近似次数のみに依存するものよりも、下界を証明するための強力なツールを提供するか？
• RQ4 古典的複雑度が $n$ で、量子上界が $n/2 + O(\sqrt{n \log(1/\varepsilon)})$ であることを踏まえると、ほぼすべての $n$-ビットブール関数の真の漸近的量子クエリ複雑度は何か？

主な発見

• 任意の固定された $\varepsilon > 0$ に対して、ほぼすべての $n$-ビットブール関数の $\varepsilon$-誤差量子クエリ複雑度 $Q_\varepsilon(f)$ は $n/2 - o(n)$ 以上であり、ヴァン・ダムの上界と下位項を除いて一致する。
• 量子クエリアルゴリズムにおける受理確率の二乗和表現は、$n/4$ の境界に制限される近似次数法よりも強い下界を可能にする。
• $Q_\varepsilon(f) \geq n/2 - o(n)$ の境界は、ほとんどすべての $f$ に対して成り立ち、$n \to \infty$ のときすべてのブール関数の $1 - o(1)$ の割合に適用可能である。
• この証明技法は、アドバーザリ法の限界を乗り越え、$\varepsilon$ が定数のとき $c < 1/2$ の $c n$ を超えることはできない。
• 主な技術的革新は、2進文字列上のパリティ制約の解の数に対する組合せ的境界であり、これが分析における量子状態の振幅を制御する。
• この結果により、ヴァン・ダムの量子オラクルインターオーグレーションプロトコルが、ほぼすべてのブール関数に対して漸近的に最適であることが確認され、量子クエリ複雑度分野における長年の未解決問題が解決された。