arXiv · quant-ph· Sabee Grewal, Saachi Mutreja, Kabir Tomer·· 3 天前精选
研究者在经典预言机相对模型下证明QMA与QMA(2)分离
A classical oracle separation between QMA and QMA(2)
arXiv:2610.06760v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Sabee Grewal, Saachi Mutreja, Kabir Tomer
首次提交：2026-10-06 01:34
研究任务与主要进展
研究者构造了一个经典预言机，使QMA与QMA(2)不相等；该分离基于图上带符号边约束的可分哈密顿量问题。YES实例存在零能量乘积态，而利用反对称子空间构造的NO实例虽存在纠缠零能量态，却没有低能量乘积态；QMA下界使用压缩预言机技术，将对YES实例的少量查询所得信息映射到NO族。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
本站判断
该摘要给出QMA与QMA(2)分离的经典相对论构造，核心增量在于把可分哈密顿量问题中的YES实例与反对称子空间构造的NO实例区分开，并用压缩预言机方法处理QMA下界。结论范围限于所给预言机相对模型，影响仍取决于完整证明及对预言机查询与验证器行为的细节，本文仅基于摘要整理。
来源：arXiv · quant-ph · arxiv.org