arXiv · quant-ph· Yael Tauman Kalai, Dakshita Khurana, Justin Raizes·· 1 天前
研究提出单副本经典验证QMA的方法，避免破坏量子证
How to Classically Verify a Quantum Cat without Killing It
arXiv:2602.09282v2阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Yael Tauman Kalai, Dakshita Khurana, Justin Raizes
研究任务与主要进展
作者提出一种经典验证QMA语言的协议，只需证明者提供的一份QMA量子证；当原QMA验证器以压倒性概率接受该量子证时，新协议具有可忽略的完整性和可靠性错误，并使诚实验证器返回的量子证扰动可忽略。其可靠性基于后量子LWE假设；研究还提出了适用于NP的保量子证经典论证，但当前材料仅提供论文摘要。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · quant-ph · arxiv.org