关于 C*-代数的 Tsirelson 对
算子代数
2022-11-17 v3 计算复杂性
逻辑
量子物理
摘要
我们引入 C*-代数的 Tsirelson 对这一概念,即这样一对 C*-代数:通过使用该对的最小张量积上的态所获得的量子策略空间,与通过使用该对的最大张量积上的态所获得的量子策略空间重合。我们给出了若干此类“非平凡”对的例子,其意义在于该对的最小张量积与最大张量积不同构。例如,我们证明任何包含具有 Kirchberg 的 QWEP 性质的 C*-代数的对都是 Tsirelson 对。随后我们引入具有 Tsirelson 性质 (TP) 的 C*-代数这一概念,并确立了该类的一些闭包性质。我们还表明具有 TP 的 C*-代数类构成一个可公理化类(在模型论意义上),但该类不存在“有效”公理化。
引用
@article{arxiv.2210.15509,
title = {On Tsirelson pairs of C*-algebras},
author = {Isaac Goldbring and Bradd Hart},
journal= {arXiv preprint arXiv:2210.15509},
year = {2022}
}
备注
13 pages; version 3; a slight redefinition of Tsirelson pair was needed to fix one of the propositions