[論文レビュー] About the Connes Embedding Conjecture---Algebraic approaches---

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

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

ひとこと要約

この論文は、半準C*-代数と非可換実代数幾何学を用いて、コネス埋め込み予想に対する代数的アプローチを提供し、同予想がキルヒバーグの予想、ツァイレルソンの問題、トレース付きポジティブステルンサッツと同値であることを確立している。また、キルヒバーグの定理の新たな証明を提示し、コネス埋め込み予想が作用素系テンソル積における特定の正の因子分解の存在と同値であることを示している。

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*-代数と非可換実代数幾何学という代数的構造を通じて考察すること。
• 量子情報理論におけるコネス埋め込み予想、キルヒバーグの予想、ツァイレルソンの問題の間の代数的同値性を確立すること。
• 作用素環テンソル積 $\mathrm{C}^{*}(\mathbb{F}_d)\otimes\mathbb{B}(\ell_2)$ に関するキルヒバーグの定理の新たな代数的証明を提供し、コネス埋め込み予想とその関連を明らかにすること。
• 作用素系テンソル積と正の因子分解を通じて、量子相関集合 $\mathcal{Q}_c$ と $\mathcal{Q}_s$ の関係を明確にすること。
• 作用素系 $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$ 上の忠実な状態が有限次元射影を介して実現可能であることを示し、抽象的な正性と量子測定モデルを結びつけること。

提案手法

• 論文は、$*$-正の錐とアーキメデス性を備えた非可換実代数幾何学の枠組みとして、半準C*-代数を導入する。
• プティナール、ヘルトン＝マククラフト、シュミューデン＝バコニ、ティモチンのポジティブステルンサッツを用いて、非可換多項式における正性を特徴付ける。
• クレプ＝シュヴァイヒョーファーのトレース付きポジティブステルンサッツを適用し、これがコネス埋め込み予想と同値であることが示されている。
• 量子相関を、$\ell_\infty^m$-和の射影の線形包として定義される作用素系 $\mathcal{S}_{m,d}$ でモデル化し、その最小テンソル積構造を研究する。
• 双対性と正性基準を用いる：$\mathcal{S}_{m,d}$ 上の写像が完全正であるための必要十分条件は、各 $\ell_\infty^m$-和成分への制限が正であることである。
• 作用素系 $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$ の双対における厳密に正の要素は、射影を通じた因子分解を許容し、量子相関の有限次元実現が可能になる。

実験結果

リサーチクエスチョン

• RQ1 コネス埋め込み予想は、作用素系 $\mathcal{S}_{m,d}$ の最小テンソル積における正の因子分解の存在と同値か？
• RQ2 キルヒバーグの定理 $\mathrm{C}^{*}(\mathbb{F}_d)\otimes\mathbb{B}(\ell_2)$ は、代数的正性構造を用いて再証明可能か？
• RQ3 ツァイレルソンの問題は、量子相関集合 $\mathcal{Q}_c$ と $\mathcal{Q}_s$ の構造を通じて、コネス埋め込み予想と同値か？
• RQ4 集合 $\mathcal{Q}_s$ のすべての要素は、射影を用いた有限次元量子系から生じるか？
• RQ5 クレプ＝シュヴァイヒョーファーのトレース付きポジティブステルンサッツを用いて、コネス埋め込み予想を代数的に特徴付けることができるか？

主な発見

• コネス埋め込み予想は、クレプ＝シュヴァイヒョーファーのトレース付きポジティブステルンサッツと同値であり、完全に代数的な特徴づけが得られた。
• キルヒバーグの定理 $\mathrm{C}^{*}(\mathbb{F}_d)\otimes\mathbb{B}(\ell_2)$ は、代数的正性と半準C*-代数構造を用いて再証明された。
• 量子相関集合 $\mathcal{Q}_s$ は、$\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$ 上の状態の閉包であり、忠実な要素は有限次元射影から生じる。
• $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$ 上の状態が $\mathcal{Q}_s$ に属するのは、トレースが1の正の作用素を通じた因子分解が可能であるときかつそのときに限る。
• $\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$ のすべての要素がそうであるとは限らない。