[論文レビュー] Absence of algebraic relations and of zero divisors under the assumption of full non-microstates free entropy dimension

Tobias Mai, Roland Speicher+1 more|arXiv (Cornell University)|Feb 23, 2015

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

ひとこと要約

本稿は、トレーシングで、有限生成な $W^*$-確率空間において、共役変数の存在および最大非マイクロステート自由エントロピー次元が、生成子間に代数的関係がなく、フォンノイマン代数にゼロ因子がないことを示す。主な結果は、最大自由エントロピー次元のもとで、生成子における非定数自己随伴非可換多項式の分布にアトムが存在しないことである。これは、自由確率論における長年の未解決問題を解決するものである。

ABSTRACT

We show that in a tracial and finitely generated $W^\ast$-probability space existence of conjugate variables excludes algebraic relations for the generators. Moreover, under the assumption of maximal non-microstates free entropy dimension, we prove that there are no zero divisors in the sense that the product of any non-commutative polynomial in the generators with any element from the von Neumann algebra is zero if and only if at least one of those factors is zero. In particular, this shows that in this case the distribution of any non-constant self-adjoint non-commutative polynomial in the generators does not have atoms. Questions on the absence of atoms for polynomials in non-commuting random variables (or for polynomials in random matrices) have been an open problem for quite a while. We solve this general problem by showing that maximality of free entropy dimension excludes atoms.

研究の動機と目的

• 共役変数の存在が生成子間の代数的関係の不在を示すことを証明することで、自由確率論における基礎的ギャップを埋めること。
• 自由確率変数における非可換多項式がアトムを持つ可能性があるかどうかという未解決問題を解消すること。
• 最大非マイクロステート自由エントロピー次元が、変数が生成するフォンノイマン代数にゼロ因子が存在しないことを示すこと。
• 有限自由フィッシャー情報量の下での先行結果を、より一般的な最大自由エントロピー次元の設定に拡張すること。
• 代数的関係およびゼロ因子の不在が、フィッシャー情報量の有限性ではなく、最大自由エントロピー次元から生じることを確立すること。

提案手法

• 生成子が生成するフォンノイマン代数の構造を分析するために、共役変数および非可換微分の理論を用いる。
• 非マイクロステート自由エントロピー次元 $\delta^*$ を適用し、$n$ 個の生成子に対してその最大値 $n$ をとることを仮定する。
• 非可換多項式代数 $\mathbb{C}\langle X_1,\dots,X_n\rangle$ 上に、$\hat{\partial}_j(X_i) = \delta_{j,i} 1 \otimes 1$ を満たす微分 $\hat{\partial}_j$ を構成する。これは代数的関係が存在しない場合に一意に定まる。
• 普遍微分 $\partial_j$ と生成子上に誘導される微分 $\hat{\partial}_j$ の間で可換図式を確立し、一貫性を保証する。
• このような微分の存在および一意性を用いて、非ゼロ多項式 $P$ に対して $P(X_1,\dots,X_n) = 0$ が成り立つと仮定すると、最大エントロピー次元のもとで矛盾が生じることを証明する。
• シュリャフチェンコおよび先行研究の結果を活用し、有限フィッシャー情報量の設定から最大自由エントロピー次元の設定への議論の拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 $W^*$-確率空間における共役変数の存在は、生成子間の代数的関係の不在を示唆するか？
• RQ2 自由確率変数における非可換多項式がアトムを持つ可能性はあり、もしあるならどのような条件下か？
• RQ3 最大非マイクロステート自由エントロピー次元 $\delta^*(X_1,\dots,X_n) = n$ は、変数が生成するフォンノイマン代数にゼロ因子が存在しないことを示唆するか？
• RQ4 共役変数が存在しないとしても、最大自由エントロピー次元から代数的関係の不在が導かれるか？
• RQ5 最大自由エントロピー次元のもとで、非定数自己随伴非可換多項式の分布にアトムが存在しないことを示せるか？

主な発見

• 最大非マイクロステート自由エントロピー次元 $\delta^*(X_1,\dots,X_n) = n$ を仮定すると、$W^*$-確率空間における生成子間に非自明な代数的関係は存在しない。
• ゼロ因子が存在しないことが証明された：任意の非可換多項式 $P$ およびフォンノイマン代数の任意の元 $a$ に対して、$P(X_1,\dots,X_n) \cdot a = 0$ ならば、$P(X_1,\dots,X_n) = 0$ または $a = 0$ である。
• 生成子における任意の非定数自己随伴非可換多項式の分布にはアトムが存在せず、これは長年の未解決問題を解決するものである。
• 共役変数の存在が代数的関係の不在を示し、自由確率論における基礎的ギャップを埋めることになる。
• 多項式代数上の微分 $\hat{\partial}_j$ は一意に定まり、代数的関係が存在しない場合、評価による普遍微分の像と一致する。
• 結果は有限自由フィッシャー情報量の範囲を超えて、より一般的な最大自由エントロピー次元の設定に拡張され、シュリャフチェンコによる先行結果を一般化する。