[论文解读] Entanglement in Interactive Proof Systems with Binary Answers

Stephanie Wehner|Aug 26, 2005

Complexity and Algorithms in Graphs被引用 20

一句话总结

本文证明了，当两名纠缠的证明者提供二元答案且验证者计算其异或（XOR）时，此类互动证明系统并不比单个证明者的量子互动证明系统更强大。作者利用Tsirelson对量子关联的界限，证明了⊕MIP*[2] ⊆ QIP(2)，这意味着此类系统属于EXP，从而解决了关于两证明者系统中纠缠能力的关键问题。

ABSTRACT

If two classical provers share an entangled state, the resulting interactive proof system is significantly weakened [quant-ph/0404076]. We show that for the case where the verifier computes the XOR of two binary answers, the resulting proof system is in fact no more powerful than a system based on a single quantum prover: +MIP*[2] is contained in QIP(2). This also implies that +MIP*[2] is contained in EXP which was previously shown using a different method [Presentation of Cleve et al. at CCC'04]. This contrasts with an interactive proof system where the two provers do not share entanglement. In that case, +MIP[2] = NEXP for certain soundness and completeness parameters [quant-ph/0404076].

研究动机与目标

• 研究当证明者共享纠缠且验证者计算其二元答案的异或时，两证明者互动证明系统的计算能力。
• 确定此类系统中的纠缠是否使计算能力超越单个量子证明者所能达到的范围。
• 确定⊕MIP*[2]的复杂度类，特别是其是否超出EXP或被包含于EXP之内。
• 建立量子非定域关联与多证明者系统被单证明者量子系统模拟之间关系的联系。

提出的方法

• 作者使用希尔伯特空间中的实向量建模纠缠证明者的策略，通过内积表示测量结果。
• 应用Tsirelson定理，限制经典XOR游戏在量子情形下的最大违反程度，表明量子策略受与经典非定域关联相同的界限约束。
• 该证明构建了一个单证明者的量子策略，通过将证明者响应编码为R^N中的单位向量（N = min(|S|, |T|)），从而模拟纠缠的双证明者系统。
• 量子游戏的值被表达为对单位向量内积的最大化，直接关联到对应非定域游戏的量子值。
• 通过将双证明者系统的经典模拟值与单证明者游戏的量子值相等，作者证明了计算能力的等价性。
• 结果通过证明纠缠系统的最大成功概率与单证明者量子互动证明系统的最大成功概率一致而得出。

实验结果

研究问题

• RQ1 当验证者计算二元答案的异或时，共享纠缠是否显著增强了两证明者互动证明系统的计算能力？
• RQ2 单个量子证明者能否模拟此类基于XOR的系统中两名纠缠证明者的行为？
• RQ3 ⊕MIP*[2]的精确复杂度类是什么？它是否超出EXP？
• RQ4 Tsirelson对量子关联的界限如何限制纠缠证明者在XOR游戏中的成功概率？

主要发现

• 本文证明了⊕MIP*[2] ⊆ QIP(2)，表明通过XOR验证的两名纠缠证明者并不比单个量子证明者更强大。
• 这意味着⊕MIP*[2] ⊆ EXP，通过一种新方法确认了此前已知的结果，并提供了新的量子结构解释。
• 纠缠系统的最大成功概率受Tsirelson不等式约束，该不等式限制了量子非定域关联。
• 游戏的量子值等价于R^N中单位向量的最大内积，其中N = min(|S|, |T|)，建立了紧密对应关系。
• 结果表明，在基于XOR的两证明者系统中，纠缠并未提供超越单个量子证明者已实现能力的优势。