多体编译非局域游戏渐近量子值的边界界定

摘要

非局域游戏是区分经典与量子世界可能关联的有力工具。Kalai等人（STOC'23）提出了一种编译器，将多体非局域游戏转换为与单一证明者的交互协议，依赖密码学工具移除玩家物理分离的假设。虽然该构造对所有多体游戏已建立量子完备性和经典可靠性，但量子可靠性仅在双边游戏的特定情况下已知。

本文中，我们证明Kalai等人的编译器确实对所有多体编译非局域游戏实现量子可靠性，通过展示渐近情况下可生成的任何关联对应于量子交换策略。我们的证明使用算子代数理论中的技术，并依赖于将序列操作无信号策略特征化为多体情况下的量子交换算子策略，从而推广了若干先前结果。在此过程中，我们构建了序列PVM的通用C*-代数，并证明了C*-代数上完全正映射的Radon-Nikodym导数的新链式法则，这可能具有独立意义。

74页，14图

主题

量子物理（quant-ph）；密码学与安全（cs.CR）

引用

arXiv:2507.12408 [quant-ph]
（或此版本的 arXiv:2507.12408v1 [quant-ph]）
https://doi.org/10.48550/arXiv.2507.12408

提交历史

来自：Matilde Baroni [查看邮箱] [v1]
2025年7月16日星期三 16:58:39 UTC（64 KB）

多体编译非局域游戏渐近量子值的边界界定

摘要

评论

主题

引用

提交历史