Entanglement in C$^*$-algebras: tensor products of state spaces

这篇论文由 Magdalena Musat 和 Mikael Rørdam 撰写，题为《C*-代数中的纠缠：状态空间的张量积》（Entanglement in C*-algebras: tensor products of state spaces）。文章主要研究了由 C*-代数状态空间（state spaces）构成的紧凸集在 Namioka-Phelps 意义下的最小和最大张量积，并揭示了这些张量积与量子信息理论中“纠缠”（entanglement）现象的深刻联系。

以下是对该论文的详细技术总结：

1. 研究问题 (Problem)

• 核心对象：Namioka 和 Phelps 在 1970 年代提出的紧凸集 $K_1$ 和 $K_2$ 的两种张量积：最小张量积 $K_1 \otimes_{\min} K_2$（记为 $\otimes_{\ast}$）和最大张量积 $K_1 \otimes_{\max} K_2$（记为 $\otimes^{\ast}$）。这两种张量积分别对应于有序向量空间张量积中不同的正锥定义（“内”正锥与“外”正锥）。
• Barker 猜想：G. P. Barker 曾猜想，对于任意两个紧凸集 $K_1, K_2$，$K_1 \otimes_{\min} K_2 = K_1 \otimes_{\max} K_2$ 当且仅当其中一个集合是 Choquet 单纯形（Choquet simplex）。
• 具体场景：本文聚焦于 $K_1$ 和 $K_2$ 为C-代数的状态空间* $S(A)$ 和 $S(B)$ 的情况。
• 物理背景：在有限维矩阵代数中，状态空间的张量积与量子纠缠密切相关。最小张量积对应于“可分态”（separable states，即未纠缠态），而最大张量积包含所有可能的态（包括纠缠态）。作者试图将这一概念推广到无限维 C*-代数，并探究非交换性（non-commutativity）如何导致纠缠。

2. 方法论 (Methodology)

• 代数与几何的对应：利用 Kadison 表示定理，将 C*-代数 $A$ 的状态空间 $S(A)$ 与其自伴部分 $A_{sa}$ 上的有序向量空间结构联系起来。状态空间 $S(A)$ 被识别为 $S(A_{sa}, A_+, 1_A)$。
• 张量积的刻画：
  • 最小张量积：$S(A) \otimes_{\min} S(B)$ 被识别为张量积代数 $A \otimes B$（最小张量积）上可分态（separable states）的集合，即由乘积态 $\rho_A \otimes \rho_B$ 生成的闭凸包。
  • 最大张量积：$S(A) \otimes_{\max} S(B)$ 被刻画为与正映射（positive maps）相关的集合。对于矩阵代数，它对应于所有正映射 $\Phi$ 诱导的态。
• Glimm 引理的推广：利用 Glimm 引理（Lemma 3.9），证明任何非交换 C*-代数都包含矩阵代数 $M_n$ 或锥 $CM_n$ 的嵌入。这使得作者可以将有限维矩阵代数中的纠缠现象“提升”到一般的非交换 C*-代数中。
• 不可“解纠缠”性质：证明了如果子代数中存在纠缠态，那么在包含该子代数的更大 C*-代数中，这些态仍然保持纠缠（Proposition 3.10）。
• 迹单纯形（Trace Simplex）：利用迹态（tracial states）的性质，研究 $T(A)$ 的张量积。由于迹单纯形总是 Choquet 单纯形，其最小和最大张量积重合。

3. 主要贡献与结果 (Key Contributions & Results)

A. 确认 Barker 猜想在 C*-代数状态空间情形下成立

定理 3.17 是全文的核心结果：

• 对于两个幺正 C*-代数 $A$ 和 $B$，以下三个集合相等：
  $$S(A) \otimes_{\min} S(B) = S(A \otimes B) = S(A \otimes_{\max} B)$$
  当且仅当 $A$ 或 $B$ 中至少有一个是交换的（commutative）。
• 如果 $A$ 和 $B$ 都是非交换的，则上述包含关系是严格的：
  $$S(A) \otimes_{\min} S(B) \subsetneq S(A \otimes B) \subsetneq S(A \otimes_{\max} B)$$
  这意味着在非交换 C*-代数的张量积中，必然存在纠缠态。
• 推论：这证实了 Barker 猜想对于作为 C*-代数状态空间的紧凸集是成立的。这也重新证明了经典结论：C*-代数的状态空间是 Choquet 单纯形当且仅当该代数是交换的。

B. 纠缠的量化与相对有界性

• 定义了常数 $\kappa(A, B)$ 来衡量 $S(A) \otimes_{\max} S(B)$ 相对于 $S(A) \otimes_{\min} S(B)$ 的“大小”（通过泛函的范数）。
• 定理 3.15：对于矩阵代数 $M_n(\mathbb{C})$ 和 $M_m(\mathbb{C})$，$\kappa = \min(n, m)$。
• 推论 3.16：如果 $A$ 和 $B$ 都不是次齐次（sub-homogeneous，即不包含有限维矩阵代数的某种“大”嵌入），则 $S(A) \otimes_{\max} S(B)$ 在 $S(A) \otimes_{\min} S(B)$ 的仿射包中是无界的。这提供了一种量化纠缠程度的新方法：非交换性越强，最大张量积相对于最小张量积的“膨胀”越剧烈。

C. 正锥与可分元素

• 研究了正锥 $A_+ \otimes B_+$（可分正元素）与 $(A \otimes B)_+$（所有正元素）的关系。
• 定理 3.17 (iv)：$A_+ \otimes B_+ = (A \otimes B)_+$ 当且仅当 $A$ 或 $B$ 是交换的。如果两者都非交换，则存在“纠缠”的正元素（即正但不属于可分锥的元素）。

D. 迹单纯形（Trace Simplex）的张量积

• 与状态空间不同，迹单纯形 $T(A)$ 总是 Choquet 单纯形。
• 定理 4.1：对于任意两个具有非空迹单纯形的 C*-代数，其迹单纯形的张量积满足：
  $$T(A) \otimes T(B) = T(A \otimes B) = T(A \otimes_{\max} B)$$
  这意味着迹态（Traces）永远不会纠缠。无论代数是否非交换，张量积上的迹态总是可分的（即由乘积迹态生成）。
• Poulsen 单纯形与 Bauer 单纯形：利用无限张量积理论，刻画了何时 $T(A \otimes B)$ 是 Poulsen 单纯形（极端点稠密）或 Bauer 单纯形（极端点闭）。例如，如果 $A$ 和 $B$ 的迹单纯形都是 Poulsen 单纯形，则其张量积也是。

4. 意义与影响 (Significance)

1. 数学物理的桥梁：文章成功地将量子信息理论中的“纠缠”概念严格地推广到了无限维 C*-代数框架下。它证明了非交换性（Non-commutativity）是产生纠缠的充分必要条件。
2. 解决长期猜想：在 C*-代数状态空间这一重要类中解决了 Barker 关于张量积重合性的猜想，深化了对紧凸集张量积结构的理解。
3. 新的量化视角：通过 $\kappa(A, B)$ 和相对有界性，提供了一种新的数学工具来量化 C*-代数之间的“纠缠程度”，将代数性质（如秩、次齐次性）与几何性质（张量积的大小）联系起来。
4. 迹态的特殊性：揭示了迹态（Traces）在张量积下的特殊行为（无纠缠），这与一般状态（States）的行为形成鲜明对比，为研究 C*-代数的分类和结构提供了新的视角。
5. 应用前景：关于 Poulsen 单纯形的结果（Corollary 4.2, 4.4）直接应用于群 C*-代数（Group C*-algebras）和自由积 C*-代数，表明许多自然出现的无限维系统的迹空间具有极其复杂的拓扑结构（Poulsen 单纯形）。

综上所述，该论文通过严谨的算子代数方法，不仅统一了有限维量子纠缠与无限维 C*-代数理论，还解决了凸几何领域的一个经典猜想，并揭示了非交换代数中纠缠现象的普遍性和深刻性。