线性系统博弈是克利夫和米塔尔引入的默明幻方博弈的推广。他们表明，纠缠张量积模型中线性系统博弈的完美策略对应于一组非交换方程的有限维算子解。我们研究了交换运算符纠缠模型，其中Alice和Bob的测量操作符作用于联合Hilbert空间，Alice的操作符必须与Bob的操作符交换。我们证明了该模型中的完美策略对应于非交换方程的可能无限维算子解。该证明是基于一个与线性系统相关的有限呈现群，该线性系统由非交换方程组产生。

话题
算子理论, 自伴算子, 函数和映射, 介子, 量子态, 局域量子场论, 希尔伯特空间
1
阿拉文
,
P.K.公司。
, “
再次重温量子之谜
,”
美国物理学杂志。
 
72
,
1303
–
1307
(
2004
).
https://doi.org/10.1119/1.1773173
谷歌学者
交叉参考
搜索ADS
 
2
阿尔希波夫
,
答：。
, “
量子魔法游戏的扩展和特征
，”电子打印arXiv:1209.3819(
2012
).
谷歌学者
 
三。
克利夫
,
R。
和
米塔尔
,
R。
, “
二元约束系统对策的特征
，“in
第41届自动机、语言和程序设计国际学术讨论会论文集
(
施普林格
,
2012
)，第页。
320
–
331
。
谷歌学者
交叉参考
搜索ADS
 
4
克利夫
,
R。
,
霍耶
,
第页。
,
爽肤水
,
B。
、和
瓦特鲁斯
,
J。
, “
非本地策略的后果和限制
，“in
第19届IEEE计算复杂性会议（CCC）会议记录
(
电气与电子工程师协会
,
2004
)，第页。
236
–
249
。
谷歌学者
交叉参考
搜索ADS
 
5
弗里茨
,
T。
, “
Tsirelson问题与Kirchberg猜想
,”
数学复习。物理学。
 
24
(
5
),
1250012
(
2012
).
https://doi.org/10.1142/S0129055X12500122
谷歌学者
交叉参考
搜索ADS
 
6
季
,
Z。
, “
二元约束系统对策与局部交换约简
，“电子打印arXiv:1310.3794(
2013
).
谷歌学者
 
7
容格
,
M。
,
纳瓦斯克群岛
,
M。
,
帕拉苏埃洛斯
,
C、。
,
佩雷斯-加西亚
,
D。
,
舒尔茨
,
V.B.公司。
、和
沃纳
,
无线电频率。
, “
Connes嵌入问题和Tsirelson问题
,”
数学杂志。物理学。
 
52
(
1
),
012102
(
2011
).
https://doi.org/10.1063/1.3514538
谷歌学者
交叉参考
搜索ADS
 
8
利索内克
,
第页。
,
劳森多夫
,
R。
、和
辛格
,
五、。
, “
Kochen-Spicker定理的广义奇偶证明
，“预打印arXiv公司：1401.3035(
2014
).
谷歌学者
 
9
默明
,
N.D.公司。
, “
主要无idden-variables定理的简单统一形式
,”
物理。修订稿。
 
65
(
27
),
3373
–
3376
(
1990
).
https://doi.org/10.103/PhysRevLett.65.3373
谷歌学者
交叉参考
搜索ADS
公共医学
 
10
默明
,
N.D.公司。
, “
隐变量与John Bell的两个定理
,”
修订版Mod。物理学。
 
65
(
三
),
803
–
815
(
1993
).
https://doi.org/10.103/RevModPhys.65.803
谷歌学者
交叉参考
搜索ADS
 
11
保尔森
,
五、一、。
,
塞韦里尼
,
美国。
,
施塔尔克
,
D。
,
托多罗夫
,
I.G.公司。
、和
冬季
,
答：。
, “
量子色数的估计
,”
J.功能。分析。
 
270
(
6
),
2188
–
2222
(
2014
).
https://doi.org/10.1016/j.jfa.2016.01.010
谷歌学者
交叉参考
搜索ADS
 
12
佩列斯
,
答：。
, “
量子测量的不相容结果
,”
物理。莱特。A类
 
151
(
3,4
),
107
–
108
(
1990
).
https://doi.org/10.1016/0375-9601（90）90172-K
谷歌学者
交叉参考
搜索ADS
 
13
舒尔茨
,
V.B.公司。
和
沃纳
,
无线电频率。
, “
Tsirelson的问题
，“预打印arXiv:0812.4305(
2008
).
谷歌学者
 
14
齐里尔森
,
学士学位。
, “
量子Bell型不等式的一些结果和问题
,”
强子J.Suppl。
 
8
,
329
–
345
(
1993
).
谷歌学者
 
15

事实上，他们考虑了一个更一般的场景，称为二进制约束系统对策，其中每个方程都可以基于输入的任意布尔函数。

©2017作者。
2017
作者
您当前无权访问此内容。