关于 QMA1 与 QCMA oracle 分离之路
量子物理
2026-04-30 v1 计算复杂性
摘要
我们研究在完美完整性下量子证据的能力。我们构造了一个经典 oracle，使得存在一个语言位于 但不在 中，当 验证器仅允许多项式数量的自适应轮次和指数数量的并行查询时。此外，我们对 Fefferman 和 Kimmel 的置换-oracle 分离进行去随机化，获得了在原位上的 oracle 分离，使得 与 在原位分离。我们进一步关注 和 ，其中我们指出，在间隔固定的情况下可实现分离，但若间隔可能任意小则无法实现。最后，我们从稀疏 Hamiltonian oracle 访问出发，推导出关于近似基态准备的后果，包括一个受限自适应无 frustration 变体。
引用
@article{arxiv.2604.26921,
title = {En Route to a Standard QMA1 vs. QCMA Oracle Separation},
author = {David Miloschewsky and Supartha Podder and Dorian Rudolph},
journal= {arXiv preprint arXiv:2604.26921},
year = {2026}
}
备注
25 pages