arXivDaily arXiv每日学术速递 周一至周五更新
arXiv quant-ph/0608146quant-ph
收藏

量子XOR证明系统的强并行重复定理

Strong Parallel Repetition Theorem for Quantum XOR Proof Systems

Richard Cleve, William Slofstra, Falk Unger, Sarvagya Upadhyay

摘要:

我们考虑一类两个证明者的交互式证明系统,其中每个证明者返回一个单一的比特到验证者和验证者的判决是一个功能的XOR的两个比特接收。我们表明,当证明者被允许协调他们的行为使用共享的纠缠量子态,一个完美的平行重复定理在以下意义下成立。证明者的最佳成功概率同时播放XOR证明系统的集合,正是个人的最佳成功概率的乘积。这个属性是显着的,因为在经典的情况下(证明者只能利用经典信息),它不成立。该定理是证明通过分析奇偶性的XOR证明系统使用半定规划技术,然后我们涉及到并行重复的XOR游戏通过傅立叶分析。

英文摘要:

We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier's verdict is a function of the XOR of the two bits received. We show that, when the provers are allowed to coordinate their behavior using a shared entangled quantum state, a perfect parallel repetition theorem holds in the following sense. The prover's optimal success probability for simultaneously playing a collection of XOR proof systems is exactly the product of the individual optimal success probabilities. This property is remarkable in view of the fact that, in the classical case (where the provers can only utilize classical information), it does not hold. The theorem is proved by analyzing parities of XOR proof systems using semidefinite programming techniques, which we then relate to parallel repetitions of XOR games via Fourier analysis.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑