[論文レビュー] Parity vs. AC0 with Simple Quantum Preprocessing

Joseph Slote|arXiv (Cornell University)|Nov 22, 2023

Quantum Computing Algorithms and Architecture被引用数 2

ひとこと要約

この論文は、量子前処理（QNC0）を施したAC0回路（AC0◦QNC0）がパリティ関数を計算したり、それと相関させたりできるかどうかを調査し、それらができない強力な証拠を得た。量子前処理としてQNC0回路、特にアーキテクチャに余分なキュービットを必要としない（アーキテクチャフリー）回路を用いても、パリティ関数との相関は常に微小であり、非局所ゲームや近似次数との関連を示し、決定問題における古典的計算より非自明な利点を得られないという仮説を支持する。

ABSTRACT

A recent line of work has shown the unconditional advantage of constant-depth quantum computation, or $\mathsf{QNC^0}$, over $\mathsf{NC^0}$, $\mathsf{AC^0}$, and related models of classical computation. Problems exhibiting this advantage include search and sampling tasks related to the parity function, and it is natural to ask whether $\mathsf{QNC^0}$ can be used to help compute parity itself. We study $\mathsf{AC^0\circ QNC^0}$ -- a hybrid circuit model where $\mathsf{AC^0}$ operates on measurement outcomes of a $\mathsf{QNC^0}$ circuit, and conjecture $\mathsf{AC^0\circ QNC^0}$ cannot achieve $Ω(1)$ correlation with parity. As evidence for this conjecture, we prove: $\bullet$ When the $\mathsf{QNC^0}$ circuit is ancilla-free, this model achieves only negligible correlation with parity. $\bullet$ For the general (non-ancilla-free) case, we show via a connection to nonlocal games that the conjecture holds for any class of postprocessing functions that has approximate degree $o(n)$ and is closed under restrictions, even when the $\mathsf{QNC^0}$ circuit is given arbitrary quantum advice. By known results this confirms the conjecture for linear-size $\mathsf{AC^0}$ circuits. $\bullet$ Towards a switching lemma for $\mathsf{AC^0\circ QNC^0}$, we study the effect of quantum preprocessing on the decision tree complexity of Boolean functions. We find that from this perspective, nonlocal channels are no better than randomness: a Boolean function $f$ precomposed with an $n$-party nonlocal channel is together equal to a randomized decision tree with worst-case depth at most $\mathrm{DT}_\mathrm{depth}[f]$. Our results suggest that while $\mathsf{QNC^0}$ is surprisingly powerful for search and sampling tasks, that power is "locked away" in the global correlations of its output, inaccessible to simple classical computation for solving decision problems.

研究の動機と目的

• AC0◦QNC0がパリティ関数と非自明な相関を取れるかどうかを調査すること。
• 量子前処理（QNC0）が古典的AC0回路の決定問題処理能力を向上させられる限界を調査すること。
• AC0◦QNC0、非局所ゲーム、近似次数の間の関連を確立し、複雑性理論的下界を強化すること。
• 量子前処理が、インフルエンスや感度といった古典的複雑性測度を向上させられるかどうかを検討すること。

提案手法

• QNC0回路がブール関数のフーリエスペクトルに与える影響を分析し、LMNに類似した減衰に注目する。
• 非局所ゲームを用いて、後処理関数の近似次数がo(n)である場合、AC0◦QNC0はパリティ関数と定数相関を取ることができないことを示す。
• 量子前処理を非局所チャネルとしてモデル化することで、AC0◦QNC0に対するスイッチング補題の議論を展開する。
• 非局所チャネルが意思決定木複雑度を低下させる能力は、古典的確率的ランダムネスを上回らないことを証明する。
• ハイブリッド意思決定木を構築して、QNC0とAC0回路の合成をシミュレートし、確率的意思決定木と同等であることを示す。
• 既知の近似次数に関する結果と、制限に関する閉包性を活用して、線形サイズのAC0回路に対して仮説を確認する。

実験結果

リサーチクエスチョン

• RQ1 AC0◦QNC0はパリティ関数と非自明な相関を取れるか？
• RQ2 QNC0回路による量子前処理は、古典的計算よりもAC0がパリティ関数を計算または近似する能力を高められるか？
• RQ3 AC0◦QNC0と非局所ゲームの間に、複雑性理論的下界を導く関連性があるか？
• RQ4 古典的回路複雑度におけるスイッチング補題と同様の補題をAC0◦QNC0に対して確立できるか？
• RQ5 量子前処理は、意思決定木の深さ、インフルエンス、感度といった古典的複雑性測度にどのように影響するか？

主な発見

• アーキテクチャフリーのQNC0回路では、AC0◦QNC0はパリティ関数と僅かな相関しか取れない。これは、LMNに類似したフーリエスペクトルの減衰を示す任意の関数に置き換えても同様である。
• 一般のQNC0回路においては、後処理クラスの近似次数がo(n)であり、制限に関して閉じている場合、AC0◦QNC0がΩ(1)の相関を取ることはできないという仮説は成立する。これは、任意の量子アドバイスが存在しても同様である。
• 非局所ゲームとの関連により、既知の近似次数に関する結果を用いて、線形サイズのAC0回路においても仮説が確認される。
• QNC0による量子前処理は、意思決定木複雑度を古典的確率的ランダムネスを上回る範囲で低下させない。任意のnパーティ非局所チャネルと合成された関数は、最悪ケースの深さがDTdepth[f]以下の確率的意思決定木と同等である。
• ハイブリッドモデルAC0◦QNC0は、探索やサンプリングタスクにおいてQNC0が持つパワーを活かしても、パリティのような決定問題を古典的計算よりはるかに効率よく解くことはできない。
• 結果から、QNC0の量子的優位性はグローバルな相関に閉じており、単純な古典的後処理ではアクセスできないことが示唆される。