[論文レビュー] The topological version of free entropy

Dan Voiculescu|ArXiv.org|Sep 4, 2002

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

ひとこと要約

この論文は、C*-代数の文脈において位相的自由エントロピーと自由容量を導入し、演算子ノルムの行列近似に基づくノルム・マイクロステートを用いて、位相的不変量を定義する。自由容量が位相的自由エントロピーを上から支配することを確立し、半円分布およびユニバーサル自己共役収縮n重項といった重要な例では等価性が成り立つことを示しており、ランダム行列理論およびポテンシャル論との深い関係を示唆している。

ABSTRACT

Notions of topological free entropy and of free capacity are introduced in the $C^*$-algebra context. Basic properties, basic problems and connections to potential theory and random matrix theory are discussed.

研究の動機と目的

• C*-代数における自己共役元のn重項に対して、ノルム・マイクロステートを用いて新しい位相的不変量である位相的自由エントロピーを定義し、その性質を研究すること。
• すべてのトレース状態τ∈TS(A)における自由エントロピーχの上限として自由容量κを定義し、それが位相的自由エントロピーの上界としての役割を果たすことを確立すること。
• 位相的自由エントロピーと古典的ポテンシャル論、特に1変数の場合の対数的容量との関係を調査すること。
• 特に非可換な設定において、位相的自由エントロピーと自由容量が一般に等しいかどうかを調査すること。
• C*-代数における生成元集合の変更に対して、位相的自由エントロピー次元が不変であるかを検討すること。

提案手法

• 非可換多項式が生成元上で評価された演算子ノルムを近似する、自己共役k×k行列からなるn+m重のノルム・マイクロステートを定義する。
• k→∞およびε→0の下で、ノルム・マイクロステート集合の体積の対数の漸近的成長率として、位相的自由エントロピーχ_topを構成する。
• すべてのトレース状態τ∈TS(A)における自由エントロピーχの上限として自由容量κを定義し、代数がその要素によって生成される限り、補助的生成元に依存しないことを保証する。
• 直和構成を用いて、直和の位相的自由エントロピーを個々の成分と比較し、劣加法性および極値的性質を明らかにする。
• ランダム行列理論（特にHaagerup-Thorbjornsenの結果）を応用して、半円n重項のケースを分析し、位相的自由エントロピーと自由容量の等価性を確認する。
• Jungの自由エントロピー次元の簡略化されたアプローチを用い、χの上半連続性とTS(A)のコンパクト性を活用して、自由容量における上限の達成を保証する。

実験結果

リサーチクエスチョン

• RQ1 すべてのC*-代数的n重項に対して、位相的自由エントロピーは自由容量に等しいのか、それとも特別な場合に限るのか？
• RQ2 1変数の場合に、位相的自由エントロピーは古典的対数的容量とどのように関係しているか？
• RQ3 C*-代数の生成元集合の変更に対して、位相的自由エントロピー次元は不変であるか？
• RQ4 ランダム行列近似を用いて、位相的自由エントロピーを計算または評価することは可能か？
• RQ5 極値的トレース状態は自由容量を実現する役割を果たすが、それらはポテンシャル論における平衡測度とどのように関係しているか？

主な発見

• 自由容量κ(a₁,…,aₙ)は、すべてのトレース状態τ∈TS(A)におけるχ(a₁,…,aₙ;τ)の上限に等しく、この上限はある極値的トレース状態で達成される。
• 1変数の場合、e^{κ(a)−θ}はスペクトルσ(a)の対数的容量に等しい。ここでθ = 3/4 + (1/2)log(2π)である。
• 自由半円n重項および自己共役収縮のユニバーサルn重項では、位相的自由エントロピーχ_topが自由容量κに等しい。
• 位相的自由エントロピーはχ_top ≤ κを満たし、重要な例では等価性が成り立つため、強い予想的同値性を示唆している。
• 直和構成により、χ_top(α′⊕α′′:β′⊕β′′) ≥ max(χ_top(α′:β′), χ_top(α′′:β′′))が成り立つが、κ(α′⊕α′′:β′⊕β′′) = max(κ(α′:β′), κ(α′′:β′′))であるため、等価性のテストケースが得られる。
• 任意に小さいεおよび十分に大きなkに対してノルム・マイクロステートが存在することは、χ_top = χ_top^{1/2}を意味する。ここでχ_top^{1/2}は片側ノルム束縛を持つ半マイクロステートを用いて定義される。