[論文レビュー] Topological Free Entropy Dimension in Unital C^* algebras (II) : Orthogonal Sum of Unital C^*-algebras

Don Hadwin, Junhao Shen|ArXiv.org|Aug 1, 2007

Advanced Operator Algebra Research参考文献 23被引用数 6

ひとこと要約

本稿は、単位的C*-代数の直交和における位相的自由エントロピー次元の公式を確立し、少なくとも一方の次元が1を超える場合にはそれが個々の次元の最大値に等しく、両方の次元が1未塔で安定な場合には調和平均に類似した公式に等しいことを示している。この結果を応用して、任意の有限次元C*-代数 $\mathcal{A}$ に対して、次元が $1 - \frac{1}{\dim_{\mathbb{C}}\mathcal{A}}$ に等しくなることを計算し、ボイクルツェフが直和における加法性について提起した疑問を解決した。

ABSTRACT

In the paper, we obtain a formula for topological free entropy dimension in the orthogonal sum (or direct sum) of unital C^* algebras. As a corollary, we compute the topological free entropy dimension of any family of self-adjoint generators of a finite dimensional C^* algebra.

研究の動機と目的

• 2つの単位的C*-代数の直交和における自己随伴生成元の位相的自由エントロピー次元を特定すること。
• ボイクルツェフが提起した、直和の次元が個々の次元の最大値に等しいかどうかという未解決の問題を解消すること。
• 有限次元C*-代数の複素次元を用いて、その位相的自由エントロピー次元を計算すること。
• 両方の成分の次元が1未塔であり、かつ両方とも安定な場合に、直和における次元が非自明な調和型の公式に従う条件を確立すること。
• 直和における生成族の安定性が、特定の条件下で保証されることを示すこと。

提案手法

• 行列代数における自己随伴族の*-代数的近似の集合の被覆数の推定を導出する。
• 作用素ノルムとトレースノルムを用いて $\mathcal{M}_k(\mathbb{C})^n$ におけるメトリックエントロピーを定義し、対数的成長率を用いて位相的自由エントロピー次元を計算する。
• 直和 $\mathcal{A} \oplus \mathcal{B}$ の $k$ 次元近似の集合のメトリックエントロピーを推定するために、パッキング数の議論を適用する。
• 個々の成分のエントロピーから導かれる定数を含む積型推定を用いて、位相的自由エントロピー次元の下界を確立する。
• 安定性条件（定義4.1）を用いて、直和における生成族が安定していることを保証し、これは非最大値の公式に不可欠である。
• 行列代数の計算結果（定理3.1）と直和解析（定理4.2）を組み合わせ、有限次元C*-代数における最終的な公式（定理5.1）を導出する。

実験結果

リサーチクエスチョン

• RQ1 2つの単位的C*-代数の直和における位相的自由エントロピー次元は、個々の次元の最大値に等しいか？
• RQ2 有限次元C*-代数における自己随伴生成元の位相的自由エントロピー次元は何か？
• RQ3 直和における次元が、調和平均に類似した非最大値の公式に従う条件は何か？
• RQ4 両方の成分が安定で、かつ次元が1未塔であるとき、直和における生成族は安定か？
• RQ5 任意の有限次元C*-代数 $\mathcal{A}$ に対して、公式 $\delta_{\text{top}}(x_1,\ldots,x_n) = 1 - \frac{1}{\dim_{\mathbb{C}}\mathcal{A}}$ が成り立つか？

主な発見

• 任意の有限次元C*-代数 $\mathcal{A}$ に対して、自己随伴生成元の族の位相的自由エントロピー次元は $\delta_{\text{top}}(x_1,\ldots,x_n) = 1 - \frac{1}{\dim_{\mathbb{C}}\mathcal{A}}$ に等しい。
• 直交和 $\mathcal{A} \oplus \mathcal{B}$ において、$\delta_{\text{top}}(x_1,\ldots,x_n) \geq 1$ または $\delta_{\text{top}}(y_1,\ldots,y_n) \geq 1$ ならば、$\delta_{\text{top}}(x_1\oplus y_1,\ldots,x_n\oplus y_n) = \max\{\delta_{\text{top}}(x_1,\ldots,x_n), \delta_{\text{top}}(y_1,\ldots,y_n)\}$ が成り立つ。
• 両方の次元が1未塔であり、$\delta_{\text{top}}(x_1,\ldots,x_n) < 1$ かつ $\delta_{\text{top}}(y_1,\ldots,y_n) < 1$ で、両方の生成族が安定である場合、直和の次元は $\frac{st - 1}{s + t - 2}$ に等しくなる。ここで $s$ と $t$ はそれぞれの次元である。
• 生成族 $x_1\oplus y_1,\ldots,x_n\oplus y_n$ は、両方の元の生成族が安定で、かつ両方の次元が1未塔である場合、直和において安定である。
• この結果により、ボイクルツェフの予想が有限次元C*-代数の場合に確認され、次元が代数の複素次元によって完全に決定されることを示した。
• 任意の有限次元C*-代数 $\mathcal{A}$ に対して、公式 $\delta_{\text{top}}(x_1,\ldots,x_n) = 1 - \frac{1}{\dim_{\mathbb{C}}\mathcal{A}}$ が成り立つ。これは、代数が行列代数への分解に依存しない。