[论文解读] Improved Soundness for QMA with Multiple Provers

Alessandro Chiesa, Michael A. Forbes|arXiv (Cornell University)|Aug 10, 2011

Cryptography and Data Security参考文献 21被引用 6

一句话总结

该论文改进了两维量子梅林-亚瑟（QMA）协议在NP完全问题上的可靠性分析，无需依赖PCP构造，实现了Ω(N⁻²)的最优可靠性间隙。该研究进一步推广至κ个证明者，当κ ∈ Ω(log N)时，获得Ω(κ²N⁻¹)的可靠性，实现了平滑的权衡，解决了通过PCP构造实现次线性多证明者QMA协议的开放问题。

ABSTRACT

We present three contributions to the understanding of QMA with multiple provers: 1) We give a tight soundness analysis of the protocol of [Blier and Tapp, ICQNM '09], yielding a soundness gap Omega(1/N^2). Our improvement is achieved without the use of an instance with a constant soundness gap (i.e., without using a PCP). 2) We give a tight soundness analysis of the protocol of [Chen and Drucker, ArXiV '10], thereby improving their result from a monolithic protocol where Theta(sqrt(N)) provers are needed in order to have any soundness gap, to a protocol with a smooth trade-off between the number of provers k and a soundness gap Omega(k^2/N), as long as k>=Omega(log N). (And, when k=Theta(sqrt(N)), we recover the original parameters of Chen and Drucker.) 3) We make progress towards an open question of [Aaronson et al., ToC '09] about what kinds of NP-complete problems are amenable to sublinear multiple-prover QMA protocols, by observing that a large class of such examples can easily be derived from results already in the PCP literature - namely, at least the languages recognized by a non-deterministic RAMs in quasilinear time.

研究动机与目标

• 在不使用PCP构造的前提下，改进Blier-Tapp协议在2CSP问题上的可靠性间隙。
• 为Chen-Drucker协议提供紧致的可靠性分析，实现证明者数量κ与可靠性间隙之间的平滑权衡。
• 通过PCP构造方法，解决关于次线性多证明者QMA协议的开放问题，表明许多NP完全问题可通过此类构造实现。

提出的方法

• 通过基于均匀性和边一致性测试的新型拒绝概率论证，分析Blier-Tapp协议。
• 采用对Chen-Drucker协议的精细化分析，利用贝尔测量和乘积测试，以κ和N表示可靠性上界。
• 通过着色化约化方法，将不可满足图的拒绝概率限制在未纠缠态上。
• 引入均匀性测试，确保顶点寄存器上的边缘态接近均匀，从而支持可靠性增强。
• 将边一致性、颜色一致性与交换测试的拒绝概率统一为一个可靠性下界。
• 借鉴经典PCP文献中的结果，表明可在准线性时间内由非确定性RAM判定的语言，可实现次线性多证明者QMA协议。

实验结果

研究问题

• RQ1 Blier-Tapp协议的可靠性间隙是否可在不依赖PCP构造的前提下得到改进？
• RQ2 在Chen-Drucker协议中，证明者数量κ与可靠性间隙之间是否存在最优权衡？
• RQ3 哪些NP完全问题在LOCC验证下可实现次线性多证明者QMA协议？
• RQ4 在LOCC约束下，是否存在具有常数可靠性且总量子比特数为O(√N)的双证明者QMA协议的紧致上界？
• RQ5 能否通过PCP构造方法，推导出一大类可实现次线性多证明者QMA协议的NP完全问题？

主要发现

• Blier-Tapp协议的可靠性间隙被改进至Ω(N⁻²)，实现了无需PCP使用的紧致界。
• 对于Chen-Drucker协议，当证明者数量κ ∈ Ω(log N)时，可靠性间隙为Ω(κ²N⁻¹)，且在κ ∈ Θ(√N)时达到最优缩放。
• 当κ = 2时，协议实现Ω(N⁻²)的可靠性间隙，与改进后的Blier-Tapp结果一致。
• 本文通过证明所有可在准线性时间内由非确定性RAM判定的语言均可实现次线性多证明者QMA协议，解决了一个开放问题。
• 构造了一种新协议，具有完美完备性及Ω(κ²N⁻¹)的可靠性间隙，仅使用贝尔测量，避免了纠缠操作。
• 分析确认Chen-Drucker协议的可靠性为紧致界，相同约束下无法进一步改进。