×

The analogues of entropy and of Fisher’s information measure in free probability theory. II. (English) Zbl 0820.60001

In Part I [Commun. Math. Phys. 155, No. 1, 71-92 (1993; Zbl 0781.60006)] we studied the free entropy \(\Sigma(X)\) of a self-adjoint random variable \(X\) equal to minus the logarithmic energy of its distribution. We also introduced a generalization \(\Sigma(X_ 1,\dots, X_ n)\) which, however, does not have the necessary properties for \(n \geq 2\) to represent the joint free entropy of \(X_ 1, \dots, X_ n\) though it has another natural interpretation.
Here we take another route based on the volumes of sets of matrix approximants. This can be interpreted as a normalized limit of the logarithm of the statistical weight of approximating microstates – i.e. is in tune with Boltzmann’s original point of view. We obtain a quantity \(\chi (X_ 1, \dots, X_ n)\) which appears to have the right properties. For \(n = 1\), \(\chi(X)\) and \(\Sigma(X)\) coincide (up to an additive constant). We will therefore call \(\chi(X_ 1, \dots, X_ n)\) the free entropy of \((X_ 1, \dots, X_ n)\) (we will call \(\Sigma(X_ 1,\dots, X_ n)\) the orbital weight). For free random variables, \(\chi(X_ 1, \dots, X_ n) = \chi(X_ 1) + \cdots + \chi(X_ n)\). Moreover, \(\chi(X_ 1, \dots, X_ n)\) has the right transformation properties with respect to noncommutative functional calculus.
We also introduce another quantity: the free entropy dimension \(\delta(X_ 1,\dots,X_ n)\). The relation of \(\delta\) to \(\chi\) is similar to the relation in geometric measure theory of Minkowski dimension to Lebesgue measure. For an \(n\)-tuple of free selfadjoint random variables we explicitly compute \(\delta (X_ 1,\dots, X_ n)\) and it is interesting to note that this coincides, in case they generate a \(\Pi_ 1\)-factor with its “free dimension” parameter in [K. Dykema, Duke Math. J. 69, No. 1, 97-119 (1993; Zbl 0784.46044)]. Another result we obtain is, roughly stated, that: If a \(\Pi_ 1\) factor is generated by \(n\) self-adjoint elements \(X_ 1, \dots, X_ n\) and there is also a semicircular system of self-adjoint generators \(Y_ 1, \dots, Y_ m\) which are “smooth noncommutative functions of \(X_ 1, \dots, X_ n\)”, then \(n \geq m\). Of course, replacing “smooth” by “\(L^ \infty\)” in the above statement corresponds to the isomorphism problem for the free group factors.

MSC:

60A99 Foundations of probability theory
94A17 Measures of information, entropy
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Dykema, K. J.: Free products of hyperfinite von Neumann algebras and free dimension. Duke Math. J. 69/1 97-119 (1993) · Zbl 0784.46044
[2] Dykema, K. J.: Interpolated free group factors. Pacific J. Math. (to appear) · Zbl 0791.46038
[3] Feller, W.: An Introduction to Probability Theory and Its Applications, vol. II, 2nd edn. New York: Wiley 1971 · Zbl 0219.60003
[4] Kirchberg, E.: On non-semisplit extensions, tensor products and exactness of groupC *-algebras. Invent. Math. 112, 449-489 (1993) · Zbl 0803.46071
[5] Mehta, M. L.: Random Matrices, revised and enlarged 2nd edn. San Diego: Academic Press 1991
[6] Radulescu, F.: Stable isomorphism of the weak closure of the group algebra of finite free groups (Preprint)
[7] Shannon, C. E., Weaver, W.: The Mathematical Theory of Communications. University of Illinois Press 1963 · Zbl 0126.35701
[8] Simon, B.: Trace Ideals and Their Applications. London Math. Soc. Lecture Notes 35, Cambridge University Press 1979 · Zbl 0423.47001
[9] Voiculescu, D.: Symmetries of some reduced free productC *-algebras. In: Operator Algebras and Their Connections with Topology and Ergodic Theory (Lect. Notes Math., vol. 1132, pp. 556-588) Berlin Heidelberg New York: Springer 1985
[10] Voiculescu, D.: Limit laws for random matrices and free products. Invent. Math. 104, 201-220 (1991) · Zbl 0736.60007
[11] Voiculescu, D.: Circular and semi-circular systems and free product factors. In: Operator Algebras, Unitary Representations, Enveloping Algebras and Invariant Theory (Prog. Math., vol. 92, pp. 45-60 Boston: Birkhäuser 1990 · Zbl 0744.46055
[12] Voiculescu, D.: The analogues of entropy and of Fisher’s information measure in free probability theory, I. Comm. in Math. Phys. 155, 71-92 (1993) · Zbl 0781.60006
[13] Voiculescu, D., Dykema, K. J., Nica, A.: Free Random Variables. CRM Monograph Series, vol. I, American Mathematical Society 1992 · Zbl 0795.46049
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.