[论文解读] Operator systems from discrete groups

Douglas Farenick, Ali S. Kavruk+2 more|arXiv (Cornell University)|Sep 6, 2012

Advanced Operator Algebra Research参考文献 20被引用 4

一句话总结

本文提出了一套研究由离散群导出的算子系的框架，特别关注自由群 𝔽ₙ 和 ℤ₂ 的自由积。它建立了这些算子系的张量积与量子关联之间的联系，证明了当 n,m ≥ 2 时，NC(n)⊗_c NC(m) ≠ NC(n)⊗_max NC(m)，从而为Tsirelson问题提供了新的算子系解释，并解决了量子信息理论中的关键问题。

ABSTRACT

We formulate a general framework for the study of operator systems arising from discrete groups. We study in detail the operator system of the free group on $n$ generators, as well as the operator systems of the free products of finitely many copies of the two-element group $\mathbb Z_2$. We examine various tensor products of group operator systems, including the minimal, the maximal, and the commuting tensor products. We introduce a new tensor product in the category of operator systems and formulate necessary and sufficient conditions for its equality to the commuting tensor product in the case of group operator systems. We express various sets of quantum correlations studied in the theoretical physics literature in terms of different tensor products of operator systems of discrete groups. We thus recover earlier results of Tsirelson and formulate a new approach for the study of quantum correlation boxes.

研究动机与目标

• 开发一个研究由离散群（尤其是自由群和 ℤ₂ 的自由积）导出的算子系的一般框架。
• 分析在群算子系背景下，最小、最大、对易和一种新引入的必要张量积之间的相互作用。
• 将群算子系的张量积与量子关联盒及贝尔不等式联系起来。
• 为Tsirelson关于量子关联的结果以及量子关联在某些张量积下不闭包的性质，提供算子系理论的解释。
• 解决量子信息理论中的开放问题，包括 NC(2)⊗NC(2) 中对易与最大张量积之间的区别。

提出的方法

• 将算子系 S(𝒰) 定义为群 C*-代数 C*(G) 中生成元 u ∈ 𝒰 的 {1, u, u*} 的线性张成。
• 研究由 n 个生成元的自由群 𝔽ₙ 导出的算子系 Sₙ，以及由 n 重自由积 ℤ₂ * ⋯ * ℤ₂ 导出的 NC(n)。
• 引入一种新的张量积 ⊗_ess，并推导其在群算子系设定下与对易张量积相等的必要与充分条件。
• 利用 C(2) 与算子系 V 之间的对偶性，将张量积与量子关联及局部关联的集合联系起来。
• 通过希尔伯特空间上的密度算子表示 NC(2)⊗_min NC(2) 上的状态，证明所有量子关联均可由此类状态实现。
• 应用 Tsirelson 的结果，证明当所有 n,m ≥ 2 时，NC(n)⊗_c NC(m) ≠ NC(n)⊗_max NC(m)，利用量子关联在最大张量积下不闭包的性质。

实验结果

研究问题

• RQ1 由离散群导出的算子系的最小、对易和最大张量积之间有何关系？
• RQ2 群算子系的张量积（特别是 NC(n)）与量子信息理论中的量子关联盒有何关联？
• RQ3 在群算子系的 2×2 矩阵放大层面上，是否能检测到对易与最大张量积之间的区别？
• RQ4 新的必要张量积 ⊗_ess 在刻画群算子系中与对易张量积相等性方面起什么作用？
• RQ5 在 NC(2)⊗NC(2) 上应用介于最小与最大之间的中间张量积，是否会生成新的量子关联族？

主要发现

• 由 n 重自由积 ℤ₂ * ⋯ * ℤ₂ 导出的算子系 NC(n) 同构于 Tsirelson 研究的非交换 n-立方体。
• 对所有 n,m ≥ 2，有 NC(n)⊗_c NC(m) ≠ NC(n)⊗_max NC(m)，表明对易与最大张量积之间存在严格分离。
• 量子关联集合 Q 与 NC(2)⊗_min NC(2) 在 4×4 矩阵层面上的限制状态集合一致，即 Q = (NC(2)⊗_min NC(2))_+ ∩ BS₄。
• 局部关联集合 L 等于 C(2)⊗_min C(2) 上的状态集合，且该集合严格包含于 Q，证实 Q ≠ L。
• Sₙ⊗_max Sₘ 的 C*-包络不等于 C*(𝔽ₙ)⊗_max C*(𝔽ₘ)，表明 C*-包络不与最大张量积可交换。
• NC(2)⊗_min NC(2) = NC(2)⊗_c NC(2) 成立，但该等式无法推广至最大张量积，意味着介于 c 与 max 之间的中间张量积可生成新的量子关联族。