量子科技中心_量科网

非局域博弈是区分经典与量子世界中可能存在的关联差异的有力工具。Kalai等人（STOC'23）提出了一种编译器，可将多方非局域博弈转化为与单一证明者的交互协议，其通过密码学工具消除了参与者物理分离的假设。虽然该构造对所有多方博弈已证明具有量子完备性和经典稳健性，但量子稳健性此前仅在双人博弈的特殊情况下被确认。本工作证明Kalai等人的编译器确实能实现所有多方编译非局域博弈的量子稳健性：通过证明渐近情形下生成的任何关联都对应于量子交换策略。该证明运用了算子代数理论的技术，并将多方情形中序列操作无信号策略的特征刻画为量子交换算子策略，从而推广了多项先前结果。研究过程中，该团队构建了序列投影值测量的通用C*-代数，并为C*-代数上完全正映射的Radon-Nikodym导数证明了一个新的链式法则，这些结果可能具有独立的理论价值。