[论文解读] Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements

Jing Chen, Andrew Drucker|arXiv (Cornell University)|Nov 2, 2010

Quantum Information and Cryptography参考文献 14被引用 19

一句话总结

本文提出了一种针对3-SAT的BellQMA协议，使用$\tilde{O}(\text{poly}(\text{poly}(m)))$个Merlin，每位发送$O(\log m)$量子比特，实现完备性$1 - \exp(-\Omega(\sqrt{m}))$和恒定的错误边界。该协议避免了纠缠测量，相比先前工作分析更简单，同时保持了相同的证明长度和错误参数。

ABSTRACT

BellQMA protocols are a subclass of multi-prover quantum Merlin-Arthur protocols in which the verifier is restricted to perform nonadaptive,unentangled measurements on the quantum states received from each Merlin. In this paper, we prove that m-clause 3-SAT instances have BellQMA proofs of satisfiability with constant soundness gap, in which O(sqrt(m)polylog(m)) Merlins each send O(log m) qubits to Arthur. Our result answers a question of Aaronson et al., who gave a protocol with similar parameters that used entangled measurements; the analysis of our protocol is significantly simpler than that of Aaronson et al. Our result also complements recent work of Brandao, Christandl, and Yard, who showed upper bounds on the power of multiprover quantum proofs with unentangled but adaptive (LOCC) measurements.

研究动机与目标

• 解决纠缠测量是否为3-SAT短多证明者量子证明所必需的问题。
• 构建一个具有恒定错误边界和次线性证明长度的3-SAT BellQMA协议。
• 简化依赖于纠缠（交换测试）测量的先前协议的分析。
• 补充近期关于LOCCQMA和BellQMA在$k$增长时的负面结果。
• 证明未纠缠的、非自适应测量足以实现NP完全问题的高效量子证明系统。

提出的方法

• 设计一个BellQMA协议，其中$\tilde{O}(\sqrt{m})$个未纠缠的Merlin各自向Arthur发送$O(\log m)$量子比特态。
• 基于具有$n$个顶点和$m$个子句的$d$-正则图，采用概率方法构造顶点集和边约束。
• 定义一个验证过程，其中Arthur通过独立的、非自适应测量检查重叠顶点集之间着色的一致性。
• 应用浓度不等式和切比雪夫不等式，限制边约束中零违规事件的概率。
• 在不一致赋值下建立被违反子句数的期望值下界，利用图的扩张性和度数有界性。
• 利用$\varepsilon < \eta/20$和$d > 1$的性质，推导出下界$\mathbb{E}[V_{i,j}] \geq \varepsilon/n$，确保违规概率非可忽略。

实验结果

研究问题

• RQ1 能否在不使用纠缠测量的情况下构建3-SAT的短多证明者量子证明，同时保持恒定的错误边界和次线性证明长度？
• RQ2 在BellQMA模型中，交换测试或纠缠测量是否为实现高效证明系统所必需？
• RQ3 能否在保持相同渐近参数的前提下，显著简化先前协议的分析？
• RQ4 对于NP完全问题，未纠缠的、非自适应测量的BellQMA协议具有何种计算能力？
• RQ5 当测量被限制为未纠缠且非自适应时，证明长度在子句数$m$上的增长规模如何？

主要发现

• 该协议实现了完备性$1 - \exp(-\Omega(\sqrt{m}))$和错误性$1 - \Omega(1)$，与先前协议的错误边界一致。
• 证明者的数量为$\tilde{O}(\sqrt{m})$，每位发送$O(\log m)$量子比特，总证明长度为次线性。
• 该协议完全避免了纠缠测量，仅依赖于未纠缠的、非自适应测量，从而简化了分析。
• 被违反子句的期望数量下界为$\Omega((m')^2 / n)$，其中$m' = \Theta(\sqrt{n})$，确保高检测概率。
• 使用切比雪夫不等式证明当$m' = \Theta(\sqrt{n})$时，$\Pr[V = 0] \leq 0.01$，从而以高概率证明错误性。
• 结果表明，在BellQMA模型中，3-SAT的短量子证明并不要求纠缠测量。