[論文レビュー] Quantum Implications of Huang's Sensitivity Theorem

Scott Aaronson, Shalev Ben-David+2 more|arXiv (Cornell University)|Apr 28, 2020

Quantum Computing Algorithms and Architecture被引用数 2

ひとこと要約

この論文は、任意の全真理値関数 f について、決定的クエリ複雑性 D(f) がその量子クエリ複雑性 Q(f) の4乗のオーダーであることを確立している。つまり、D(f) = O(Q(f)^4) であり、長年の未解決問題を解決した。さらに、非自明な単調グラフ性質について、量子クエリ複雑性 Q(f) は Ω(n) であることを証明し、最適性を達成し、Aanderaa-Karp-Rosenberg予想の量子版を確認した。

ABSTRACT

Based on the recent breakthrough of Huang (2019), we show that for any total Boolean function f, the deterministic query complexity, D(f), is at most quartic in the quantum query complexity, Q(f): D(f)=O(Q(f)4). This matches the known separation (up to log factors) due to Ambainis, Balodis, Belovs, Lee, Santha, and Smotrovs (2017). We also use the result to resolve the quantum analogue of the Aanderaa-Karp-Rosenberg conjecture. We show that if f is a nontrivial monotone graph property of an n-vertex graph specified by its adjacency matrix, then Q(f)=Ω(n), which is also optimal. Learn more about Microsoft Quantum computing > Learn more about Microsoft Azure Quantum >

研究の動機と目的

• 全真理値関数における決定的クエリ複雑性と量子クエリ複雑性の関係をタイトな上界として確立すること。
• 非自明な単調グラフ性質における Aanderaa-Karp-Rosenberg予想の量子版を解決すること。
• Huangの感度定理を用いて、量子クエリ複雑性の新たな境界を導出すること。
• 全関数における既知の上界と下界のギャップを埋めること。

提案手法

• Huangの感度定理を適用し、真理値関数の構造とそのクエリ複雑性を分析する。
• 感度定理を用いて、真理値関数を表す多項式の次数を束縛する。
• 既知の次数と量子クエリ複雑性の関係を用いて、多項式の次数の束縛をクエリ複雑性の束縛に翻訳する。
• 多項式およびスペクトル的手法を用いて、決定的クエリ複雑性と量子クエリ複雑性の間の4次関係を確立する。
• 感度定理と量子対戦法を組み合わせて、非自明な単調グラフ性質における量子クエリ複雑性に Ω(n) の下界を証明する。
• 古典的クエリ複雑性理論と量子クエリ複雑性技術を統合し、タイトな境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 全真理値関数 f に対して、決定的クエリ複雑性 D(f) と量子クエリ複雑性 Q(f) の間で最もタイトな上界は何か？
• RQ2 非自明な単調グラフ性質の量子クエリ複雑性は、Aanderaa-Karp-Rosenberg予想の量子版を確認する形で下界から抑えられるか？
• RQ3 Huangの感度定理は、量子クエリ複雑性における新たな結果を導出するためにどのように応用できるか？
• RQ4 既知の D(f) と Q(f) の分離は、対数的要因を除いてタイトか？
• RQ5 非自明な単調グラフ性質の正確な量子クエリ複雑性は何か？

主な発見

• 任意の全真理値関数 f に対して、決定的クエリ複雑性 D(f) は O(Q(f)^4) で抑えられる。
• この4次上界は、D(f) と Q(f) の間の既知の分離と対数的要因を除いて一致する。
• 非自明な単調グラフ性質 f に対して、量子クエリ複雑性 Q(f) は Ω(n) である。これは最適である。
• 単調グラフ性質における量子下界 Ω(n) は、Aanderaa-Karp-Rosenberg予想の量子版を確認する。
• この結果は、Huangの感度定理が量子クエリ複雑性におけるタイトな境界を導出する強力なツールであることを示している。