量子科技中心_量科网

编译型非局域性博弈通过用密码学取代空间分离，将贝尔型多方验证测试的效力转移到单设备设置中。具体而言，KLVY编译器（STOC'23）利用量子同态加密技术，将任何多方博弈映射为交互式单方协议。这类编译器的关键安全特性是量子可靠性，它确保不诚实的量子验证者无法突破原始博弈的量子值。对于实际密码学应用而言，这种可靠性必须具有量化特性，提供具体边界而非仅渐近保证。虽然KLVY编译器在双边情形下已建立量化量子可靠性，但多方博弈情形目前仅获得渐近证明——这一重大缺口亟待填补，因为多方非局域性展现出双边情形所不具备的现象，且实施类空间分离的困难使得单设备编译方案尤为关键。该工作通过证明KLVY编译器对所有多方非局域性博弈的量化量子可靠性，最终填补了这一空白。研究中，该团队引入了类NPA分层结构用于量子仪器并证明其完备性，从而刻画了操作无信号时序策略产生的关联。研究人员还针对时序策略的信令与无信令分量分解提出了新颖的几何论证方法，这些方法可能具有独立研究价值。