[论文解读] About the Connes Embedding Conjecture---Algebraic approaches---

Narutaka Ozawa|arXiv (Cornell University)|Dec 7, 2012

Advanced Operator Algebra Research参考文献 29被引用 18

一句话总结

本文通过半预-C*-代数与非交换实代数几何，提出康nes嵌入猜想的代数方法，建立了该猜想与基尔伯格猜想、采列尔斯森问题及迹正定定理之间的等价关系。文章提供了基尔伯格定理的新证明，并表明康nes嵌入猜想等价于算子系统张量积中特定正因式分解的存在性。

ABSTRACT

This is an expanded lecture note for "Masterclass on sofic groups and applications to operator algebras" (University of Copenhagen, 5-9 November 2012). It is about algebraic aspects of the Connes Embedding Conjecture. It contains new proofs of equivalence of the Connes Embedding Conjecture, Positivstellensatze for trace positive polynomials, Kirchberg's Conjecture, and Tsirelson's Problem.

研究动机与目标

• 通过代数结构，特别是半预-C*-代数与非交换实代数几何，研究康nes嵌入猜想。
• 在量子信息理论中，建立康nes嵌入猜想、基尔伯格猜想与采列尔斯森问题之间的代数等价关系。
• 利用代数正性结构，为基尔伯格关于张量积 $\mathrm{C}^{*}(\mathbb{F}_d)\otimes\mathbb{B}(\ell_2)$ 的定理及其与康nes嵌入猜想的联系提供新的代数证明。
• 通过算子系统张量积与正因式分解，阐明量子相关集合 $\mathcal{Q}_c$ 与 $\mathcal{Q}_s$ 之间的关系。
• 证明 $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$ 上的忠实态可由有限维投影实现，从而将抽象正性与量子测量模型相联系。

提出的方法

• 本文引入半预-C*-代数作为非交换实代数几何的框架，其具备 $*$-正锥与阿基米德性质。
• 利用普蒂纳、海顿–麦克库劳夫及舒穆德根–巴拉科尼–蒂莫廷的正定定理，刻画非交换多项式中的正性。
• 应用克列普–施维格霍弗的迹正定定理，该定理被证明与康nes嵌入猜想等价。
• 通过算子系统 $\mathcal{S}_{m,d}$ 建模量子相关性，其定义为 $\ell_\infty^m$-和中投影的张量，研究其最小张量积结构。
• 利用对偶性与正性判别准则：映射在 $\mathcal{S}_{m,d}$ 上完全正当且仅当其在每个 $\ell_\infty^m$-和项上的限制为正。
• 证明 $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$ 的对偶中严格正元素可经由投影因式分解，从而实现量子相关性的有限维实现。

实验结果

研究问题

• RQ1 康nes嵌入猜想是否等价于算子系统 $\mathcal{S}_{m,d}$ 的最小张量积中正因式分解的存在性？
• RQ2 基尔伯格关于 $\mathrm{C}^{*}(\mathbb{F}_d)\otimes\mathbb{B}(\ell_2)$ 的定理能否通过代数正性结构重新证明？
• RQ3 采列尔斯森问题是否通过量子相关集合 $\mathcal{Q}_c$ 与 $\mathcal{Q}_s$ 的结构与康nes嵌入猜想等价？
• RQ4 每个 $\mathcal{Q}_s$ 中的元素是否均可由具有投影的有限维量子系统实现？
• RQ5 克列普–施维格霍弗的迹正定定理能否用于代数表征康nes嵌入猜想？

主要发现

• 康nes嵌入猜想与克列普–施维格霍弗的迹正定定理等价，从而实现了纯粹代数表征。
• 利用代数正性与半预-C*-代数结构，重新证明了基尔伯格关于张量积 $\mathrm{C}^{*}(\mathbb{F}_d)\otimes\mathbb{B}(\ell_2)$ 的定理。
• 量子相关集合 $\mathcal{Q}_s$ 是 $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$ 上态的闭包，且忠实元素可由有限维投影实现。
• 当且仅当一个态可经由迹为1的正算子因式分解时，其属于 $\mathcal{Q}_s$。
• $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$ 的对偶与 $\mathcal{S}_{m,d}^{\mathrm{d}} \otimes^{\max} \mathcal{S}_{m,d}^{\mathrm{d}}$ 等距同构，从而支持基于对偶性的正性分析。
• 所有在 $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$ 上忠实的 $\mathcal{Q}_s$ 中元素均可通过有限维投影实现，尽管并非 $\mathcal{Q}_s$ 中的所有元素都可如此实现。