多部分编译非局域游戏的渐进量子值的界限

非局域游戏是区分经典世界与量子世界可能关联性的强大工具。Kalai等人（STOC'23）提出了一种编译器，将多部分非局域游戏转换为单一证人程序，依赖密码学工具以消除玩家物理分离的假设。虽然已建立所有多部分游戏的量子完备性和经典音性，但量子音性仅在双部分游戏的特殊情况下已知。本文证明了Kalai等人的编译器确实实现了所有多部分编译非局域游戏的量子音性，通过表明在渐进情况下可生成的任何关联对应于量子 commuting策略。我们的证明使用算子代数理论中的技术，依赖于将顺序操作无信令策略表征为多部分中的量子 commuting算子策略的技术，从而推广了若干先前结果。在此过程中，我们构建了顺序PVM的普适C*代数，并证明了C*代数上完全正映射Radon-Nikodym导数链式法则的新定理，这可能是独立感兴趣的。