基于编译型非局部游戏的标准假设下QMA succinct论证
量子物理
2024-05-01 v1 密码学与安全
摘要
我们在通用且标准的密码学假设下构建了QMA的简洁经典论证系统——量子NP问题的类比。此前，Bartusek等人(CRYPTO '22)在Mahadev(FOCS '18)的工作基础上也构建了QMA的简洁经典论证系统。然而，他们的构造依赖于后量子安全的不可区分性隐身遮蔽，这是一种非常强大的原语，尚不知是否可由标准密码学假设推导出。相比之下，我们使用的原语（即折叠哈希函数和轻度量子同态加密）要弱得多，由如LWE等标准假设可推导出。我们的协议是通过Kalai等人(STOC '23)设计的通用转换构建的，该转换旨在将任何量子非局部游戏编译为论证系统。我们的主要技术贡献是分析了该转换在应用于对最大纠缠态Pauli测量的自我测试时的数值稳健性——后者是量子复杂度中MIP*=RE证明的关键组成部分。
引用
@article{arxiv.2404.19754,
title = {Succinct arguments for QMA from standard assumptions via compiled nonlocal games},
author = {Tony Metger and Anand Natarajan and Tina Zhang},
journal= {arXiv preprint arXiv:2404.19754},
year = {2024}
}
备注
57 pages