arXiv++ Combinatorics

We solve two longstanding major problems in Free Probability. This is achieved by generalising the theory to one with values in arbitrary commutative algebras. We prove the existence of the multi-variable $S$-transform, and show that it is naturally realised as a faithful linear representation. Further, we prove that in dimension one, the analog of the classical relation between addition and multiplication of independent random variables holds for free random variables, if the co-domain is an algebra over the rationals. In this case the multiplicative problem can be reduced to the additive one, which is not true in dimensions greater than one. Finally, we classify the groups which arise as joint distributions of $n$-tuples of non-commutative random variables, endowed with the free convolution product, which is the binary operation that encodes the multiplication of free $n$-tuples.

In \cite{Boed}, C.-F. Bödigheimer constructed a finite cell-complex $\mf{Par}_{g,n,m}$ and a bijective map $\cH: \mf{Dip}_{g,n,m} \to \mf{Par}_{g,n,m}$ (the Hilbert-uniformization) from the moduli space of dipole functions on Riemann surfaces with $n$ directions and $m$ punctures to $\mf{Par}_{g,n,m}$. In \cite{Boed} and \cite{Eb}, it is proven that $\cH$ is a homeomorphism. The first result of this note is that the space $\mf{Dip}_{g,n,m}$ carries a natural structure of a real-analytic manifold. Our second result is that $\cH$ is real-analytic, at least on the preimage of the top-dimensional open cells of $\mf{Par}_{g,n,m}$.