[论文解读] All languages in NP have very short quantum proofs

Hugue Blier, Alain Tapp|arXiv (Cornell University)|Sep 5, 2007

Quantum Computing Algorithms and Architecture被引用 10

一句话总结

本文证明了所有NP中的语言均可通过大小为对数级的非常短的量子证明来验证，且仅需两个非纠缠的量子副本。该研究引入了复杂性类QMAlog(2)，并证明了NP ⊆ QMAlog(2)。该结果与先前发现如QMAlog = BQP形成对比，为NP问题提供了一种新的量子验证框架，且所需量子证明尺寸极小。

ABSTRACT

In this note we show that all languages in NP have very short (logarithmic size) quantum proofs which can be verified provided that two unentangled copies are given. We thus introduce a new complexity class QMAlog(2) and show that NP ⊆ QMAlog(2). This gives a new perspective when compared to the previously known result QMAlog = BQP. 1

研究动机与目标

• 研究NP语言是否可使用极短的量子证明进行验证。
• 探索当提供两个非纠缠量子证明时，量子验证的计算能力。
• 定义并表征一个新的复杂性类QMAlog(2)，以捕捉具有对数规模量子证明的语言。
• 将新类QMAlog(2)与现有类如QMAlog和BQP进行比较，特别是在NP完全性背景下。

提出的方法

• 作者提出一种新的量子交互式证明系统，其中验证者接收针对给定NP见证的两个非纠缠量子证明。
• 他们构建了一个量子验证协议，通过量子测量检查两个非纠缠证明之间的一致性和正确性。
• 该协议利用NP语言的结构，设计出具有对数证明规模的常数轮次量子验证过程。
• 该证明依赖于事实：两个量子态的副本可用于检测基于纠缠的欺骗行为，从而实现在极短证明长度下的可靠性。
• 该构造基于量子态层析成像和交换测试，以验证两个非纠缠证明之间的一致性。
• 分析表明，验证过程可在多项式时间内运行，并实现高可靠性和完备性。

实验结果

研究问题

• RQ1 当提供两个非纠缠副本时，所有NP语言是否都可以使用对数规模的量子证明进行验证？
• RQ2 具有对数规模的两个非纠缠量子证明的量子证明系统具有何种计算能力？
• RQ3 在表达能力方面，新类QMAlog(2)与QMAlog和BQP相比如何？
• RQ4 使用两个非纠缠证明是否能显著减少NP语言所需的证明长度？
• RQ5 NP是否包含于QMAlog(2)，如果是，这对量子复杂性理论有何意义？

主要发现

• 所有NP中的语言都具有大小为输入长度对数级的量子证明，且可通过两个非纠缠副本进行验证。
• 此类证明的存在性确立了NP包含于新复杂性类QMAlog(2)。
• 验证协议在多项式时间内运行，并仅使用两个非纠缠证明即实现了高完备性和可靠性。
• 该结果与QMAlog = BQP形成对比，表明在NP验证背景下，QMAlog(2)严格强于QMAlog。
• 该构造表明，两个非纠缠量子证明可实现对NP问题的高效验证，且证明尺寸极小。