arXiv · quant-ph· Yupan Liu, Thomas Vidick·· 2 小时前精选
作者证明一、二消息量子证明系统可实现完美完备性
Achieving perfect completeness for one- and two-message quantum proof systems
arXiv:2609.15926v3阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Yupan Liu, Thomas Vidick
研究任务与主要进展
论文摘要报告，Yupan Liu与Thomas Vidick建立了QIP(2)、qq-QAM、QAM和QMA可实现完美完备性的结果，解决相关开放问题。其方法包括由验证电路诱导的接受算子构造可精确构造的块编码矩阵，以及在终态可高效制备时保持完备性并至少保留两条消息的折半轮次变换；摘要还称前者为QCMA=QCMA_1提供了另一种证明。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
本站判断
论文摘要报告，作者针对一消息与两消息量子证明系统能否实现完美完备性的长期开放问题，给出QIP(2)、qq-QAM、QAM和QMA的肯定结果。技术增量包括可精确构造的块编码矩阵，以及保持完备性且至少保留两条消息的折半轮次变换；后者依赖终态可高效制备。当前仅依据摘要，尚不能核验证明细节及其适用范围。
来源：arXiv · quant-ph · arxiv.org