arXiv · quant-ph· Minbo Gao, Tianshi Yu, Lihong Zhi·· 1 天前精选
通过线性系统游戏构造Tsirelson问题的显式反例
An Explicit Counterexample to Tsirelson's Problem via a Linear System Game
arXiv:2610.10248v2阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Minbo Gao, Tianshi Yu, Lihong Zhi
研究任务与主要进展
作者构造了一个显式二元线性系统游戏，分离有限维量子相关闭包与commuting operator相关集合。该游戏允许commuting operator策略达到完美成功，而所有有限维量子相关的成功概率都严格小于1；定义系统包含1417152个方程和1889684个变量，分离及经典值计算已在Lean 4与Mathlib中形式化。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
本站判断
基于论文摘要，作者构造了一个显式二元线性系统游戏，将有限维量子相关集合的闭包与 commuting operator 相关区分开：前者所有关联的成功概率严格小于1，而后者存在完美策略。该反例的具体性体现在1417152个方程、1889684个变量及Lean 4与Mathlib形式化验证；其对Tsirelson问题近似形式的结论仍限于摘要所述范围。
来源：arXiv · quant-ph · arxiv.org