[Paper Review] Absence of algebraic relations and of zero divisors under the assumption of full non-microstates free entropy dimension

Tobias Mai, Roland Speicher+1 more|arXiv (Cornell University)|Feb 23, 2015

Random Matrices and Applications11 references5 citations

TL;DR

This paper establishes that in a tracial, finitely generated $W^*$-probability space, the existence of conjugate variables and maximal non-microstates free entropy dimension imply the absence of algebraic relations among generators and no zero divisors in the von Neumann algebra. The key result is that under maximal free entropy dimension, the distribution of any non-constant self-adjoint non-commutative polynomial in the generators has no atoms, resolving a long-standing open problem in free probability theory.

ABSTRACT

We show that in a tracial and finitely generated $W^\ast$-probability space existence of conjugate variables excludes algebraic relations for the generators. Moreover, under the assumption of maximal non-microstates free entropy dimension, we prove that there are no zero divisors in the sense that the product of any non-commutative polynomial in the generators with any element from the von Neumann algebra is zero if and only if at least one of those factors is zero. In particular, this shows that in this case the distribution of any non-constant self-adjoint non-commutative polynomial in the generators does not have atoms. Questions on the absence of atoms for polynomials in non-commuting random variables (or for polynomials in random matrices) have been an open problem for quite a while. We solve this general problem by showing that maximality of free entropy dimension excludes atoms.

Motivation & Objective

• To close a foundational gap in free probability theory by proving that the existence of conjugate variables implies no algebraic relations among generators.
• To resolve the open problem of whether non-commutative polynomials in free random variables can have atomic distributions.
• To show that maximal non-microstates free entropy dimension implies the absence of zero divisors in the von Neumann algebra generated by the variables.
• To extend earlier results under finite free Fisher information to the more general case of maximal free entropy dimension.
• To establish that the absence of algebraic relations and zero divisors follows from maximal free entropy dimension, not just finiteness of Fisher information.

Proposed method

• Uses the theory of conjugate variables and non-commutative derivatives to analyze the structure of the von Neumann algebra generated by the variables.
• Applies the concept of non-microstates free entropy dimension $\delta^*$, assuming it achieves its maximal value $n$ for $n$ generators.
• Constructs derivations $\hat{\partial}_j$ on the non-commutative polynomial algebra $\mathbb{C}\langle X_1,\dots,X_n\rangle$ satisfying $\hat{\partial}_j(X_i) = \delta_{j,i} 1 \otimes 1$, which are uniquely determined under the absence of algebraic relations.
• Establishes a commutative diagram between the universal derivation $\partial_j$ on $\mathbb{C}\langle Z_1,\dots,Z_n\rangle$ and the induced derivation $\hat{\partial}_j$ on the generators, ensuring consistency.
• Uses the uniqueness and existence of such derivations to prove that if $P(X_1,\dots,X_n) = 0$ for a non-zero polynomial $P$, then a contradiction arises under maximal entropy dimension.
• Leverages results from Shlyakhtenko and earlier work to extend the argument from finite Fisher information to maximal free entropy dimension.

Experimental results

Research questions

• RQ1 Does the existence of conjugate variables in a $W^*$-probability space imply the absence of algebraic relations among the generators?
• RQ2 Can non-commutative polynomials in free random variables have atomic distributions, and if so, under what conditions?
• RQ3 Does maximal non-microstates free entropy dimension $\delta^*(X_1,\dots,X_n) = n$ imply the absence of zero divisors in the von Neumann algebra generated by the variables?
• RQ4 Is the absence of algebraic relations a consequence of maximal free entropy dimension, even when conjugate variables are not assumed to exist?
• RQ5 Can the absence of atoms in the distribution of non-constant self-adjoint non-commutative polynomials be established under maximal free entropy dimension?

Key findings

• Under the assumption of maximal non-microstates free entropy dimension $\delta^*(X_1,\dots,X_n) = n$, there are no non-trivial algebraic relations among the generators in the $W^*$-probability space.
• The absence of zero divisors is proven: for any non-commutative polynomial $P$ and any element $a$ in the von Neumann algebra, $P(X_1,\dots,X_n) \cdot a = 0$ implies $P(X_1,\dots,X_n) = 0$ or $a = 0$.
• The distribution of any non-constant self-adjoint non-commutative polynomial in the generators has no atoms, resolving a long-standing open problem.
• The existence of conjugate variables implies the absence of algebraic relations, closing a foundational gap in free probability theory.
• The derivations $\hat{\partial}_j$ on the polynomial algebra are uniquely determined and coincide with the image of the universal derivation under evaluation, under the assumption of no algebraic relations.
• The results extend beyond finite free Fisher information to the more general setting of maximal free entropy dimension, generalizing earlier results by Shlyakhtenko.