基于短消息的量子交互证明
On quantum interactive proofs with short messages
摘要：
本文证明了Beigi等人在arXiv：1004.0411v2中提出的一个公开问题。我们考虑量子交互式证明系统，其中在开始的验证者和证明者发送消息给对方，所有消息的组合长度最多为对数（在输入长度），并在结束时，证明者发送多项式长度的消息给验证者。我们表明，这个类具有相同的表达能力QMA。
英文摘要：
This paper proves one of the open problem posed by Beigi et al. in arXiv:1004.0411v2. We consider quantum interactive proof systems where in the beginning the verifier and prover send messages to each other with the combined length of all messages being at most logarithmic (in the input length); and at the end the prover sends a polynomial-length message to the verifier. We show that this class has the same expressive power as QMA.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
