[論文レビュー] On the Pseudo-Deterministic Query Complexity of NP Search Problems

Goldwasser, Shafi, Impagliazzo, Russell+2 more|arXiv (Cornell University)|Apr 28, 2020

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

ひとこと要約

本論文は、全真理関数における決定的クエリ複雑性と量子クエリ複雑性の間のタイトな四次関係を確立し、D(f) = O(Q(f)^4) を証明することで、長年の未解決問題を解決した。 Huangの感度定理とスペクトル解析を用いて、次数と量子クエリ複雑性の間の二次的関係 deg(f) = O(Q(f)^2) を導出し、非自明な単調グラフ性質に対して最適な Ω(n) の量子下界を証明した。

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.

研究の動機と目的

• 本論文の目的は、全真理関数における決定的クエリ複雑性と量子クエリ複雑性の間のギャップを埋めることにある。
• 本論文は、単調グラフ性質における量子アナログのAanderaa–Karp–Rosenberg予想を解くことを目指している。
• 著者らの目的は、真理関数の次数とその量子クエリ複雑性との間のタイトな関係を確立することにある。
• 彼らは、H"olderの不等式を用いて、Huangの感度定理を量子クエリ複雑性に応用する方法を調査している。
• 目的は、感度のスペクトル緩和を用いて古典的および量子の複雑性測度を統一することにある。

提案手法

• 著者らは、Huangの結果である deg(f) ≤ λ(f)^2 を用いる。ここで λ(f) は感度グラフの隣接行列のスペクトルノルムである。
• 彼らは λ(f) を感度 s(f) のスペクトル緩和として導入し、これは量子アドバーカリメソッドの上界を提供する。
• 重要な技術的アプローチとして、任意の関数 f に対して λ(f) ≤ √(s₀(f)s₁(f)) を示す H"olderの不等式の応用がある。
• 彼らは、λ(f) が量子アドバーカリメソッドを下から抑え、それが Q(f) を下から抑えることから、deg(f) = O(Q(f)^2) を証明した。
• 証明は、既知の関係 D(f) ≤ bs(f) ⋅ deg(f) と bs(f) = O(Q(f)^2) を組み合わせることで、D(f) = O(Q(f)^4) に至る。
• 単調グラフ性質の場合は、deg(f) = Ω(n²) の下界を適用し、deg(f) = O(Q(f)^2) と組み合わせることで Q(f) = Ω(n) を導出した。

実験結果

リサーチクエスチョン

• RQ1 全真理関数 f に対して、決定的クエリ複雑性 D(f) と量子クエリ複雑性 Q(f) の最適な関係は何か？
• RQ2 Huangの感度定理を用いて、量子クエリ複雑性におけるよりタイトな境界を導出できるか？
• RQ3 非自明な単調グラフ性質の量子クエリ複雑性は何か？ また、既知の Ω(√n) の下界はタイトか？
• RQ4 次数 deg(f) と量子クエリ複雑性 Q(f) の間に二次的関係があるか？
• RQ5 λ(f) などのスペクトル手法が、量子クエリ複雑性に対してタイトな境界を提供できるか？

主な発見

• 本論文は、すべての全真理関数 f に対して D(f) = O(Q(f)^4) を証明し、対数的要因を除いて既知の最良の分離を達成した。
• タイトな二次的関係 deg(f) = O(Q(f)^2) を確立し、以前の O(Q(f)^6) の境界を改善した。
• 任意の非自明な単調グラフ性質の量子クエリ複雑性は Ω(n) であり、これは最適であり、量子Aanderaa–Karp–Rosenberg予想を解決した。
• 著者らは λ(f) ≤ √(s₀(f)s₁(f)) を示し、感度に対するスペクトル境界を提供した。
• n 変数の OR 関数に対しては deg(f) = n かつ Q(f) = Θ(√n) であり、deg(f) = O(Q(f)^2) の境界のタイトさを確認した。
• 本論文は λ(f) ≥ E_x[s_x(f)] を示し、スペクトルノルムと平均感度を結びつけ、スペクトル解析による量子クエリ複雑性の下界を提供した。