中文

关于 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