线性系统博弈给出 Tsirelson 反例

Minbo Gao、Tianshi Yu 和 Lihong Zhi 在 arXiv 预印本中构造了一个显式二元线性系统博弈，声称分离有限维量子相关闭包 C_qa 与对易算符相关集 C_qc，从而给出 Tsirelson 问题的否定反例。 该博弈允许对易算符模型以成功率 1 获胜，但 C_qa 中每个相关性的成功率都严格小于 1。定义系统含 1,417,152 个方程和 1,889,684 个变量；作者称完整系统已在 Lean 4 中给出，并用 Mathlib 形式化了分离结果及经典值。

AI 根据报道生成 · 54 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。