A hyperfinite inequality for free entropy dimension

Kenley Jung
DOI: https://doi.org/10.48550/arXiv.math/0308271
2003-11-26
Abstract:If $X, Y,$ and $Z$ are finite sets of selfadjoint elements in a tracial von Neumann algebra and $X$ generates a hyperfinite von Neumann algebra, then $\delta_0(X \cup Y \cup Z) \leq \delta_0(X \cup Y) + \delta_0(X \cup Z) - \delta_0(X).$ We draw several corollaries from this inequality.
Operator Algebras
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the free entropy dimension in free probability theory. Specifically, the author Kenley Jung explores an inequality satisfied by the free entropy dimension \(\delta_0\) when given self - adjoint sets \(X\), \(Y\), \(Z\) in a tracial von Neumann algebra and \(X\) generates a hyperfinite von Neumann algebra: \[ \delta_0(X\cup Y\cup Z)\leq\delta_0(X\cup Y)+\delta_0(X\cup Z)-\delta_0(X) \] This problem stems from the study of the basic properties of the free entropy dimension, especially the question of whether it remains invariant under different conditions. For example, if \(X\) and \(Y\) generate the same algebra, are their free entropy dimensions equal? In addition, the paper also discusses the invariance of the free entropy dimension on central elements, that is, if \(y\) is a central element of the von Neumann algebra generated by \(Y\), is \(\delta_0(Y\cup\{y\})\) equal to \(\delta_0(Y)\)? By proving the above inequality, the paper not only solves these problems, but also further demonstrates the similar properties between the free entropy dimension and the Connes - Shlyakhtenko dimension, especially their values under certain specific conditions. These results are of great significance for understanding the structures and properties in free probability theory.