所有编译型非局域游戏的量子价值上界

由卡拉利等人在STOC'23上介绍的密码学编译器将任何非局域游戏转换为具有单个计算受限证人的交互协议。虽然该编译器在经典证人和量子情况下的完备性已知，但量子安全性至今仅针对特定类别的游戏得到证明。本文建立了所有编译型双人非局域游戏的量子安全性结果。特别是，我们证明了底层非局域游戏的量子 commuting operator价值是编译后游戏量子价值的上界。本结果在计算和密码学语境中运用算子代数技术，以建立信息论对象在安全参数的渐进极限下。进一步依赖于量子 commuting operator相关性的序列表征，这可能是独有的兴趣。