具有无限计数器的量子 - 默林 - 亚瑟问题具有完美完备性

作者：Stacey Jeffery 和 Freek Witteveen 量子复杂性理论中长期存在的一个开放问题是：量子 Merlin-Arthur 类（QMA），即非确定性多项式时间的量子类比，是否等于其单侧错误变体 ${\mathrm{QMA}}_{1}$。我们证明了 $\mathrm{QMA}={\mathrm{QMA}}^{∞}={\mathrm{QMA}}_{1}^{∞}$，其中 ${\math… [Phys. Rev. Lett. 136, 180601] 发表于 2026 年 5 月 6 日星期三。