研究无破坏干涉下非纠缠证明系统 StoqMA(2) 的复杂度

Yupan Liu 与 Pei Wu 发布论文（arXiv:2604.27886v3），系统研究 StoqMA(2)——即不使用破坏性干涉的非纠缠 stoquastic Merlin–Arthur 证明系统类——并报告其与 NP、MA 及量子启发非负张量优化之间的复杂度关系。 论文摘要称得到多项式规模证明的包含结果和对数规模证明的更强包含关系，并在 ETH 下分析与相关协议和算法的最优性。据摘要，下界通过用分布测试技术对短证明 QMA(2) 协议做 stoquastic 化得到，近完全 completeness 情形的上界则由矩形闭包测试框架证明。这些结果仅基于论文摘要，未核验全文。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。