[论文解读] Parity vs. AC0 with Simple Quantum Preprocessing

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

Quantum Computing Algorithms and Architecture被引用 2

一句话总结

本文研究了带有量子预处理的AC0电路（AC0◦QNC0）能否计算或与奇偶校验函数相关联，发现强有力的证据表明其无法实现。研究证明，即使通过QNC0电路进行量子预处理——尤其是无辅助量子比特的版本——与奇偶校验函数的相关性仍可忽略不计，并通过非局部游戏和近似度之间的联系，支持了关于AC0◦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即使将AC0替换为具有LMN型傅里叶谱衰减的任意函数，也只能实现可忽略的相关性。
• 对于一般QNC0电路，若后处理类具有o(n)的近似度且在限制下封闭，即使存在任意量子建议，AC0◦QNC0无法实现Ω(1)相关性的猜想依然成立。
• 与非局部游戏的联系通过已知的近似度结果，确认了该猜想对线性规模AC0电路成立。
• 通过QNC0进行的量子预处理无法将决策树复杂度降低至经典随机性所能达到的范围之外：任何函数在n方非局部通道预处理后，等价于最坏情况深度不超过DTdepth[f]的随机化决策树。
• 混合模型AC0◦QNC0无法比经典计算更高效地解决如奇偶校验等决策问题，尽管QNC0在搜索和采样任务中具有强大能力。
• 结果表明，QNC0的量子优势‘被锁定’在全局相关性中，无法通过简单的经典后处理获取。