QMA/qpoly包含在PSPACE/poly中：去Merlinizing Quantum协议
QMA/qpoly Is Contained In PSPACE/poly: De-Merlinizing Quantum Protocols
摘要：
本文介绍一种新的消除量子态上存在量词的方法。使用这种技术，我们表明，有没有办法包装成一个多项式大小的量子态的指数数量的位，在这样一种方式，这些位中的任何一个的值可以稍后证明的帮助下，一个多项式大小的量子证人。我们还表明，任何问题在QMA与多项式大小的量子咨询，也是在PSPACE与多项式大小的经典咨询。这建立在我们早期的结果，BQP/qpoly包含在PP/poly，并提供了一个有趣的对位最近发现的拉兹，QIP/qpoly = ALL。最后，我们证明了QCMA/qpoly包含在PP/poly中，并且QMA/rpoly = QMA/poly。
英文摘要：
This paper introduces a new technique for removing existential quantifiers over quantum states. Using this technique, we show that there is no way to pack an exponential number of bits into a polynomial-size quantum state, in such a way that the value of any one of those bits can later be proven with the help of a polynomial-size quantum witness. We also show that any problem in QMA with polynomial-size quantum advice, is also in PSPACE with polynomial-size classical advice. This builds on our earlier result that BQP/qpoly is contained in PP/poly, and offers an intriguing counterpoint to the recent discovery of Raz that QIP/qpoly = ALL. Finally, we show that QCMA/qpoly is contained in PP/poly and that QMA/rpoly = QMA/poly.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
