arXiv · quant-ph· Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen·· 5 小时前精选
MIP*=RE：量子多证明者语言类等于可递归枚举语言类
MIP*=RE
arXiv:2001.04383v4阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen
研究任务与主要进展
基于论文摘要，Ji、Natarajan、Vidick、Wright与Yuen证明：允许经典验证者与共享纠缠的全能力量子证明者交互的MIP*语言类等于可递归枚举语言类RE。该结果给出从停机问题到判断双方非定域博弈纠缠值为1或至多1/2的有效归约，并导出严格包含关系C_qa⊂C_qc，从而否定Tsirelson问题并反驳Connes嵌入猜想。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
本站判断
该论文给出MIP*=RE的理论结果，将多证明者交互式验证能力与可递归枚举语言类联系起来，并进一步导出非定域博弈纠缠值不可判定、T_sirelson问题否定答案及Connes嵌入猜想反驳。贡献是复杂性理论结果而非实验或性能提升，其具体证明细节和适用范围在当前材料中仅由摘要概述。
来源：arXiv · quant-ph · arxiv.org