[論文レビュー] A Super-Grover Separation Between Randomized and Quantum Query Complexities

Shalev Ben-David|arXiv (Cornell University)|Jun 26, 2015

Quantum Computing Algorithms and Architecture参考文献 3被引用数 6

ひとこと要約

この論文は、全関数 $f$ を構築し、$R(f) = \tilde{\Omega}(Q(f)^{5/2})$ を達成する超グローバー量子高速化を示す。これは、すべての全関数に対して $R(f) = O(Q(f)^2)$ であるという長年の予想を反証する。アーロンソンとアーマインスの追加の予想のもとでは、分離は $R(f) = \tilde{\Omega}(Q(f)^3)$ に改善され、フォーリエーショナルとオアンド関数の新規な組み合わせと、チートシート機構を用いて、グローバーの二次的限界を超える量子優位性を強化する。

ABSTRACT

We construct a total Boolean function $f$ satisfying $R(f)=\ ilde{\\Omega}(Q(f)^{5/2})$, refuting the long-standing conjecture that $R(f)=O(Q(f)^2)$ for all total Boolean functions. Assuming a conjecture of Aaronson and Ambainis about optimal quantum speedups for partial functions, we improve this to $R(f)=\ ilde{\\Omega}(Q(f)^3)$. Our construction is motivated by the G\\"o\\"os-Pitassi-Watson function but does not use it.

研究の動機と目的

• 全ブール関数に対して、ランダム化クエリ複雑度 $R(f)$ が常に $O(Q(f)^2)$ であるという予想を反証すること。
• 量子アルゴリズムがランダム化アルゴリズムに対して超グローバー高速化を達成する全関数を構築すること。
• 全関数クエリ複雑度において、量子優位性が二次的高速化を超えることができることを示すこと。
• フォーリエーショナル、オアンドの合成、およびチートシート機構を用いた新規な構築技術を開発し、より強い分離を可能にすること。

提案手法

• フォーリエーショナル関数と複数のオアンド関数のインスタンスを合成して、ランダム化と量子クエリ複雑度のギャップを拡大するハイブリッド関数「フォアンドレーション」を構築する。
• サイズ $m^{10}$ の候補チートシートの配列を導入し、各エントリにはオアンドインスタンスの証明書とフォアンドレーション入力ビットへのポインタが含まれる。
• $10\log m$ 個のフォアンドレーションインスタンスの出力を用いて、特定のチートシートを選択するインデックスを決定し、量子アルゴリズムが $\tilde{O}(m)$ クエリで正しさを検証できるようにする。
• チートシートが無効または検証に失敗する場合、出力を 0 とすることで、全関数性を保ちつつ量子優位性を維持するように関数を設計する。
• フォアンドレーション入力に対する難しい分布を用いて、ランダム化アルゴリズムが有効なチートシートと無効なチートシートを区別するには $\tilde{\Omega}(m^{5/2})$ クエリが必要であることを証明する。
• 二進文字列の系列を用いたハイブリッド論法を適用し、任意の効率的なランダム化アルゴリズムがフォアンドレーションの難しい分布を区別しなければならないことを示し、強い下界を導く。

実験結果

リサーチクエスチョン

• RQ1 全ブール関数において、ランダム化クエリ複雑度の観点から、$Q(f)^2$ のグローバー限界を超える量子高速化が可能か？
• RQ2 $R(f)$ が $Q(f)^2$ より速く増加する全関数を構築することは可能か？ これは長年の $O(Q^2)$ 予想に反する。
• RQ3 全関数クエリ複雑度において、量子アルゴリズムが超グローバー高速化を達成するために必要な構造的要素は何か？
• RQ4 チートシート機構をどのように設計すれば、量子アルゴリズムがそれを効率的に利用できる一方で、ランダム化アルゴリズムは利用できないか？
• RQ5 部分関数における量子高速化に関する妥当な予想のもとで、分離をさらに改善できるか？

主な発見

• この論文は、$R(f) = \tilde{\Omega}(Q(f)^{5/2})$ を満たす全ブール関数 $f$ を構築し、ランダム化と量子クエリ複雑度の間で超グローバー分離を実証した。
• アーロンソン＝アーマインスの予想のもとでは、分離は $R(f) = \tilde{\Omega}(Q(f)^3)$ に改善され、より強い量子優位性を示している。
• ゴーズ＝ピタシ＝ウォーソン関数に依存しない構築法を採用し、フォーリエーショナルとオアンドの合成に加え、チートシート機構を用いた新規な手法を導入した。
• ランダム化クエリ複雑度の下界 $\tilde{\Omega}(m^{5/2})$ は、フォアンドレーション入力の分布と二進文字列の系列を用いたハイブリッド論法により導出された。
• 量子アルゴリズムはチートシートを用いて、各オアンドインスタンスに対して $O(\sqrt{m})$ クエリで証明書を検証することで、$\tilde{O}(m)$ のクエリ複雑度を達成する。
• 証明技法はフォーリエーショナルを超える他の関数に対しても一般化可能であり、クエリ複雑度の分離に広範な応用が期待される。