量子科技中心_量科网

在密码学假设下编译贝尔博弈可替代物理隔离要求，使得仅需单个不可信设备即可探测非局域性。尽管Kalai等人（STOC'23）已证明该编译过程能保持量子优势，其定量层面的量子可靠性始终是悬而未决的问题。该研究团队通过两项核心贡献解决了这一空白：首先，针对所有具有有限维最优量子策略的双体编译贝尔博弈，首次建立定量量子可靠性边界——任何多项式时间验证者在编译博弈中的得分与理想量子值的差距可忽略不计。更普适地，该工作证明所有双体博弈的编译得分均无法显著超越新形式化的“序列化纳瓦斯科-皮罗尼奥-阿辛（NPA）层级”给出的边界。其次，完整刻画了这一序列化NPA层级的数学特性，使其成为具有独立价值的鲁棒数值工具。最后，针对不存在有限维最优策略的博弈，该团队探讨了NPA近似误差对定量界定编译得分的必要性，并将这些考量与“MIP* = coRE”复杂性猜想相关联，同时关联到“弱对易”量子寄存器同态加密正确性等开放挑战。