Family 298Operator algebrasNo LeanNot yet digested
Two notions of free entropy differ even when both are finite
Constructs a bounded self-adjoint tuple in a tracial von Neumann algebra whose microstates and nonmicrostates free entropies satisfy . This answers Voiculescu’s finite-entropy equality question negatively: the matrix-approximation and free-Fisher-information definitions differ even when both are finite.
Manuscripts in this family · 1
A finite-entropy separation of microstates and nonmicrostates free entropy
Sep 25, 2026·paper.pdf
We answer the finite-entropy equality question for microstates and nonmicrostates free entropy negatively. We construct a bounded self-adjoint tuple X in a von Neumann algebra with faithful normal tracial state such that . Here χ is the original microstates entropy with an operator-norm cutoff and a limsup over matrix sizes. The counterexample uses a large but fixed number of variables.