[论文解读] QMA/qpoly Is Contained In PSPACE/poly: De-Merlinizing Quantum Protocols

Scott Aaronson|ArXiv.org|Oct 31, 2005

Quantum Computing Algorithms and Architecture参考文献 14被引用 15

一句话总结

本文提出了一种新方法，用于消除量子态上的存在量词，证明了具有多项式大小量子建议的QMA（QMA/qpoly）包含于具有多项式大小经典建议的PSPACE（PSPACE/poly）。关键结果表明，在此情境下，量子建议并未相对于经典建议提供指数级优势，从而解决了量子复杂性理论中的一个基本问题，并对近期结果如QIP/qpoly = ALL构成了反例。

ABSTRACT

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.

研究动机与目标

• 解决在量子复杂性类中，量子建议是否相对于经典建议提供指数级优势的问题。
• 开发一种去除量子态上存在量词的新技术，以实现量子协议的去梅尔林化。
• 建立包含关系QMA/qpoly ⊆ PSPACE/poly，表明在此设定下，量子建议并未带来比经典建议更强的计算能力。
• 通过分析量子见证与经典或量子建议之间的相互作用，探究量子建议的极限。
• 探讨这些结果对其他复杂性类（如QCMA/qpoly和QMA/rpoly）的启示。

提出的方法

• 提出一种去梅尔林化技术，通过利用量子态在计算基态上的投影（即阴影）特性，将梅尔林发出的量子信息替换为经典信息。
• 采用量子放大程序，仅通过向量子验证者发起经典查询，即可模拟任意量子见证的效果，从而以高概率保证正确性。
• 使用基于计数的验证协议，遍历所有经典基态，通过测量接受概率来检测是否存在有效的量子见证。
• 应用量子振幅放大与误差缩减技术，确保正确见证的接受概率与错误见证的接受概率之间存在可分隔的界限。
• 构建一个PSPACE算法，通过遍历所有可能的经典建议字符串，并使用有界误差的量子电路验证其与量子见证的一致性，从而模拟QMA/qpoly机器的行为。
• 依赖集中不等式与谱分析（例如引理14和引理15），以限制验证过程中误报与漏报的概率。

实验结果

研究问题

• RQ1 在QMA复杂性类中，量子建议是否能相对于经典建议提供指数级优势？
• RQ2 是否可以仅使用经典建议和PSPACE机器来模拟QMA/qpoly中的量子见证？
• RQ3 QMA协议中对量子态的存在量词能否被有效消除，从而实现PSPACE中的包含关系？
• RQ4 当与PSPACE计算结合时，量子建议的能力是否会退化为经典建议？
• RQ5 能否将量子建议大小的下界从Ω(2^n / n²)收紧至Ω(2^n)，从而消除对数因子？

主要发现

• QMA/qpoly包含于PSPACE/poly，意味着任何可通过多项式大小量子建议的量子梅尔林-亚瑟协议解决的问题，也可由具有多项式大小经典建议的经典多项式空间机器解决。
• 去梅尔林化技术通过利用量子态在计算基态上的投影（即阴影），实现了将梅尔林的量子信息替换为经典信息。
• 本文建立了QCMA/qpoly ⊆ PP/poly，将结果推广至QCMA情形。
• 证明了QMA/rpoly = QMA/poly，表明在建议中引入随机性并不会使该类的计算能力超越确定性建议所能达到的范围。
• 量子建议大小的下界为Ω(2^n / n²)，表明在此情境下，量子建议并未相对于经典建议提供超多项式的优势。
• 该结果对Raz的结论QIP/qpoly = ALL构成反例，表明量子建议并不会在所有量子交互式证明系统中导致相同的计算能力坍缩。