[論文レビュー] Some estimates for non-microstates free entropy dimension, with applications to $q$-semicircular families

Dimitri Shlyakhtenko|ArXiv.org|Aug 10, 2003

Random Matrices and Applications参考文献 11被引用数 7

ひとこと要約

本稿は、von Neumann代数における自己共役$n$-対のボイクレスクの非微小状態自由エントロピー次元について一般の下界を確立し、拡散的代数ではそれが1以上であることを証明する。$|q| < \sqrt{2}-1$ である$q$-半円族に対しては、自由エントロピー次元が1を超過することを示し、生成されるvon Neumann代数がオザワの剛性条件を満たすことが示され、その結果、相対可換子が超有限的であり、代数が因子である場合には性質$\Gamma$を有さないことが導かれる。

ABSTRACT

We give an general estimate for the non-microstates free entropy dimension $δ^{*}(X_{1},..., X_{n})$. If $X_{1},..., X_{n}$ generate a diffuse von Neumann algebra, we prove that $δ^{*}(X_{1},..., X_{n})\geq 1$. In the case that $X_{1},..., X_{n}$ are $q$-semicircular variables as introduced by Bozejko and Speicher and $q^{2}n&lt;1$, we show that $δ^{*}(X_{1},..., X_{n})&gt;1$. We also show that for $|q|

研究の動機と目的

• 非微小状態自由エントロピー次元の一般的下界を、ヒルベルト＝シュミット作用素への導分の Murray-von Neumann次元の観点から確立すること。
• 任意の自己共役元によって生成される拡散的von Neumann代数に対して、非微小状態自由エントロピー次元が1以上であることを示すこと。
• $q^2n < 1$ である$q$-半円族に対して、自由エントロピー次元が1より大きいことを証明すること。
• $|q| < \sqrt{2}-1$ であるとき、有限$q$-ガウス族によって生成されるvon Neumann代数がオザワの剛性条件を満たすことを確立すること。
• このような代数が因子である場合、性質$\Gamma$を有さず、素数的であることを示すこと。

提案手法

• ヒルベルト＝シュミット双加群$H \bar{\otimes} H$への導分を通じて部分的共役変数$J_\eta$を導入する。
• コンpactまたはヒルベルト＝シュミット作用素である$\Xi_j$を満たす双対系$r_j$が存在することを用い、$[r_j, X_i] = \delta_{ij} \Xi_j$ とすることで、自由エントロピー次元を推定する。
• ヒルベルト＝シュミット作用素への導分空間の Murray-von Neumann次元と自由エントロピー次元を結ぶ一般的推定式を適用する。
• 生成された$C^*(X_1,\ldots,X_n)$と$C^*(Y_1,\ldots,Y_n)$（$Y_j$は双対作用素）が、$B(L^2(M))/K$へのテンソル積写像が連続に写すことを示し、オザワの条件を確立する。
• 生成作用素$r(e_j)$のクリエーション作用素によって生成される$C^*$-代数の核的性を用いて、最小ノルムにおけるテンソル積写像の連続性を保証する。
• $[\ell(e_i), r(e_j)^*] \in K$ であることを用い、$A$と$C$がコンパクト作用素を modulo で可換であることを示し、オザワの基準の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の自己共役元によって生成される拡散的von Neumann代数に対する非微小状態自由エントロピー次元の下界は何か？
• RQ2 $q^2n < 1$ である$q$-半円族に対して、非微小状態自由エントロピー次元は1より厳密に大きいのか？
• RQ3 小規模な$|q|$ に対して、有限$q$-ガウス族によって生成されるvon Neumann代数はオザワの剛性条件を満たすか？
• RQ4 オザワの条件から、$q$-半円因子の場合に性質$\Gamma$の不在と素数性が導かれるか？
• RQ5 ヒルベルト＝シュミット作用素への導分の幾何的性質に基づいた自由エントロピー次元の均一的推定式は存在するか？

主な発見

• 任意の自己共役$n$-対が拡散的von Neumann代数を生成する場合、非微小状態自由エントロピー次元$\delta^*(X_1,\ldots,X_n) \geq 1$ が成り立つ。
• $q^2n < 1$ である$q$-半円族に対しては、非微小状態自由エントロピー次元が$\delta^*(X_1,\ldots,X_n) > 1$ を満たす。
• $|q| < \sqrt{2}-1$ であるとき、von Neumann代数$M = W^*(X_1,\ldots,X_n)$はオザワの条件を満たし、その結果、任意の拡散的部分代数$N \subset M$に対して$N' \cap M$は超有限的である。
• $M$が因子である場合、オザワの条件と非超有限性の結果として、$M$は素数的であり、性質$\Gamma$を有さない。
• オザワの条件の証明は、境界上の自由群作用に依存せず、自由確率論における剛性の新しい視点を提供する。
• 導分$[r_j, X_i] = \delta_{ij} \Xi_j$ で$\Xi_j$がヒルベルト＝シュミット作用素であるような双対系$r_j$の存在が、エントロピー次元の推定とオザワの条件の証明の両方に根拠を置く。