量子科技中心_量科网

该团队证明，判定非局域博弈的交换算子值是否严格大于1/2是不可判定的问题。作为推论，存在一个布尔约束系统（BCS）博弈，其中Navascués-Pironio-Acín（NPA）层次结构在任何有限层级都无法达到该博弈的交换算子值。该工作的贡献在于建立了一个从图灵机到BCS非局域博弈的可计算映射，其中图灵机的停机属性被编码为博弈交换算子值的判定问题。该团队采用的方法是代数性的，与用于确立MIP*=RE的方法不同。