arXiv2008
The free convolution is the binary operation on the set of probability measures on the real line which allows to deduce, from the individual spectral distributions, the spectral distribution of a sum of independent unitarily invariant square random matrices or of a sum of free operators in a non commutative probability space. In the same way, the rectangular free convolution allows to deduce, from the individual singular distributions, the singular distribution of a sum of independent unitarily invariant rectangular random matrices. In this paper, we consider the regularization properties of these free convolutions on the whole real line. More specifically, we try to find continuous semigroups $(μ_t)$ of probability measures such that $μ_0$ is the Dirac mass at zero and such that for all positive $t$ and all probability measure $ν$, the free convolution of $μ_t$ with $ν$ (or, in the rectangular context, the rectangular free convolution of $μ_t$ with $ν$) is absolutely continuous with respect to the Lebesgue measure, with a positive analytic density on the whole real line. In the square case, we prove that in semigroups satisfying this property, no measure can have a finite second moment, and we give a sufficient condition on semigroups to satisfy this property, with examples. In the rectangular case, we prove that in most cases, for $μ$ in a continuous rectangular-convolution-semigroup, the rectangular convolution of $μ$ with $ν$ either has an atom at the origin or doesn't put any mass in a neighborhood of the origin, thus the expected property does not hold. However, we give sufficient conditions for analyticity of the density of the rectangular convolution of $μ$ with $ν$ except on a negligible set of points, as well as existence and continuity of a density everywhere.