[论文解读] PSPACE has 2-round quantum interactive proof systems

John Watrous|ArXiv.org|Jan 27, 1999

Quantum Computing Algorithms and Architecture参考文献 29被引用 6

一句话总结

该论文证明了PSPACE中的每个语言都存在一个具有指数级单边错误的两轮量子交互证明系统。它表明，除非多项式层次结构坍缩至第二层，否则常数轮次的量子交互证明系统比经典系统严格更强大，凸显了交互证明复杂性中根本性的量子优势。

ABSTRACT

In this paper we consider quantum interactive proof systems, i.e., interactive proof systems in which the prover and verifier may perform quantum computations and exchange quantum messages. It is proved that every language in PSPACE has a quantum interactive proof system that requires only two rounds of communication between the prover and verifier, while having exponentially small (one-sided) probability of error. It follows that quantum interactive proof systems are strictly more powerful than classical interactive proof systems in the constant-round case unless the polynomial time hierarchy collapses to the second level.

研究动机与目标

• 研究常数轮次设置下量子交互证明系统的计算能力。
• 确定量子交互证明系统是否能以最少的通信轮次捕获PSPACE。
• 在常数轮次约束下，比较量子与经典交互证明系统的表达能力。
• 在合理的复杂性理论假设下，建立量子与经典交互证明系统之间的分离。

提出的方法

• 该证明构建了一个两轮量子交互证明系统，其中验证者执行量子计算，并与证明者交换量子信息。
• 验证者利用量子态制备和测量来检验证明者关于PSPACE语言成员资格的声明。
• 该协议利用量子纠缠和量子交互验证，实现指数级小的单边错误。
• 分析依赖于量子交互证明系统的性质以及对已知PSPACE完全问题的约化。
• 该协议被设计为具有指数级小的错误，从而确保正确性的高度可信。
• 该论证通过量子验证模拟PSPACE计算，利用量子并行性和基于测量的验证。

实验结果

研究问题

• RQ1 PSPACE语言能否通过具有指数级小错误的两轮量子交互证明系统进行验证？
• RQ2 在常数轮次设置下，交互证明系统是否存在量子优势？
• RQ3 在常数轮次约束下，量子交互证明系统与多项式层次结构之间存在何种关系？
• RQ4 在仅有两轮通信的情况下，量子交互证明系统是否能模拟或超越经典交互证明系统在表达能力上的表现？
• RQ5 如果两轮量子交互证明系统并不比经典系统更强大，将导致何种复杂性理论后果？

主要发现

• PSPACE中的每个语言都具有一个具有指数级小单边错误的两轮量子交互证明系统。
• 此类系统存在的事实意味着，在常数轮次情况下，量子交互证明系统比经典系统严格更强大。
• 如果经典交互证明系统能够模拟两轮量子系统，则多项式层次结构将坍缩至第二层。
• 该结果在标准复杂性理论假设下，建立了经典与量子交互证明系统之间的分离。
• 该证明系统实现了指数级小的错误，使其在PSPACE成员资格验证中极为可靠。
• 该结果凸显了即使在最小通信轮次下，量子交互证明复杂性中也存在根本性的量子优势。