[论文解读] A Quantum inspired proof of $P^{\#P} \subseteq IP$

Dorit Aharonov, Ayal Green|arXiv (Cornell University)|Oct 25, 2017

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

一句话总结

本文提出了一种新颖的量子启发式交互式证明协议，用于 $P^{\#P} \subseteq IP$，其方法与经典求和检查协议有根本性不同。通过利用张量积结构和量子启发式技术，该协议使经典 BPP 验证者能够通过与 PostBQP（或 PP）证明者交互，高效验证 $P^{\#P}$ 中的问题，最终以更契合量子复杂性理论的方式重新推导出著名的 $P^{\#P} \subseteq IP$ 结果。

ABSTRACT

We provide a new, quantum inspired, proof for the celebrated claim of [LFKN92] that $P^{\#P} \subseteq IP$. The protocol is fundamentally different from the original sum-check protocol of [LFKN92, Sha92], as well as from variants of this proof [GKR08, Mei09], though it still possesses the overall structure of inductively checking consistency between subsequent step. The protocol is inspired by [AAV13]. Hopefully, this protocol will be helpful in making progress towards two major open problems: resolving the quantum PCP question, and verification of quantum computations using a classical BPP verifier. Given the historical importance of the sum-check protocol in classical computational complexity, we hope that the new protocol will also find applications in classical complexity theory.

研究动机与目标

• 开发一种与经典求和检查协议根本不同的 $P^{\#P} \subseteq IP$ 交互式证明协议。
• 提供一种与量子复杂性结构（尤其是张量积分解）天然兼容的协议。
• 为解决量子复杂性中的开放问题（如量子 PCP 猜想和量子计算的经典验证）提供基础。
• 使用更自然契合量子环境的框架，重新推导经典结果 $P^{\#P} \subseteq IP$

提出的方法

• 协议沿类似求和检查的树状计算路径采用归纳一致性检查结构，但采用量子启发式设计原则。
• 依赖于一种量子启发式验证框架，其中验证者（BPP 机器）与 PostBQP 证明者交互，以验证量子电路的迹评估。
• 协议采用随机投影和矩阵迹集中性论证，利用弗罗贝尼乌斯范数界和迹不等式控制错误概率。
• 引入递归验证过程，验证者检查计算树中父节点与子节点之间的一致性，逐步降低深度。
• 分析利用随机酉投影下迹偏差的概率界，结合引理 3 和集中不等式。
• 通过有限归纳法证明协议的可靠性，对每个递归层级上欺骗性证明者的成功概率进行界控。

实验结果

研究问题

• RQ1 能否构造一种量子启发式交互式证明协议，无需依赖经典求和检查协议，重新推导出 $P^{\#P} \subseteq IP$？
• RQ2 具有内在张量积结构的协议是否在验证量子计算或推进量子复杂性理论方面具有优势？
• RQ3 能否在随机投影下，利用迹集中性和矩阵范数不等式建立此类协议的可靠性？
• RQ4 是否可以使用 PostBQP 作为证明者类，在经典验证的交互式证明系统中模拟 PP 或 $P^{\#P}$？
• RQ5 与原始求和检查及其变体相比，该协议在结构和效率上如何？其在复杂性及对量子问题的适用性方面表现如何？

主要发现

• 本文建立了 $\text{PostBQP} \subseteq \text{IP}[\text{BPP}, \text{PostBQP}]$，且具有完美完备性，为交互式证明提供了新的量子启发式框架。
• 通过利用等价关系 $\text{PostBQP} = \text{PP}$，该协议推导出 $P^{\#P} \subseteq \text{IP}[\text{BPP}, \text{PP}]$，重新推导出 [LFKN92] 的经典结果。
• 协议通过递归归纳论证，将可靠性错误控制在 $1/3$ 以下，界定了每个层级上欺骗性证明者成功的概率。
• 分析表明，不诚实证明者的成功概率上界为 $T \cdot \left( \frac{1}{4T} + \frac{3n'\xi}{2\pi} \right)$，在适当参数选择下小于 $1/3$。
• 协议设计天然支持局部投影和酉矩阵的乘积，使其可直接应用于量子复杂性问题。
• 该方法在经典交互式证明系统与量子复杂性之间建立了概念性桥梁，可能有助于解决量子 PCP 猜想和量子计算的经典验证问题。