所有多方编译非定域博弈的定量量子可靠性

编译非定域博弈通过用密码学代替空间分离，将 Bell 型多证明者测试的能力转移到单设备设置中。具体而言，KLVY 编译器（STOC'23）使用量子同态加密将任何多证明者博弈映射为交互式单证明者协议。此类编译器的一个关键安全属性是量子可靠性，它确保不诚实的量子证明者无法超过原始博弈的量子值。对于实际的密码学实现，这种可靠性必须是定量的，提供具体的界限，而不仅仅是渐近的。虽然 KLVY 编译器在二分情况下的定量量子可靠性已经确立，但对于多方博弈仅得到了渐近证明。这是一个显著的空白，因为多方非定域性表现出没有二分对应物的现象，且实施类空分离的困难使得单设备编译尤为引人注目。本工作通过证明 KLVY 编译器对所有多方非定域博弈的定量量子可靠性来填补这一空白。在此过程中，我们引入了量子仪器的类 NPA 层级并证明了其完备性，从而表征了操作上非信号顺序策略的关联。我们进一步发展了将顺序策略分解为信号和非信号部分的新型几何论证，这可能具有独立的意义。