所有多方编译非局域博弈的量子声誉定量化

于红博

摘要: 编译的非局域博弈将贝尔型多证明者测试的能力转移到单设备设置中，通过用密码学替代空间分离。具体来说，KLVY编译器（STOC'23）将任何多证明者博弈映射到一个交互式单证明者协议，使用量子同态加密。这类编译器的一个关键安全性质是量子可靠性，它确保不诚实的量子证明者不能超过原始博弈的量子值。对于实际的密码学实现，这种可靠性必须是定量的，提供具体的界限，而不仅仅是渐近的。虽然KLVY编译器在二分的情况下已经建立了定量的量子可靠性，但对于多方博弈仅仅是渐近显示。这是一个显著的差距，因为多方的非局域性表现出没有二分类似的现象，并且强制实施空间分离的困难使得单设备编译尤为引人注目。这项工作通过展示KLVY编译器对所有多方非局域博弈的定量量子可靠性来弥补这一差距。在此过程中，我们引入了一个类似NPA的量子仪器层次结构，并证明了其完备性，从而描述了从操作上非信号化的顺序策略中得到的相关性。我们进一步发展了新颖的几何论证，将顺序策略分解为其信号和非信号的部分，这可能是独立感兴趣的。

更新时间: 2025-09-29 17:51:57

领域: quant-ph,cs.CR,math-ph,math.MP

下载: http://arxiv.org/abs/2509.25145v1