Free convolution is the
free probability Free probability is a mathematical theory that studies non-commutative random variables. The "freeness" or free independence property is the analogue of the classical notion of independence, and it is connected with free products.
This theory was in ...
analog of the classical notion of
convolution
In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions ( and ) that produces a third function (f*g) that expresses how the shape of one is ...
of probability measures. Due to the non-commutative nature of free probability theory, one has to talk separately about additive and multiplicative free convolution, which arise from addition and multiplication of free random variables (see below; in the classical case, what would be the analog of free multiplicative convolution can be reduced to additive convolution by passing to logarithms of random variables). These operations have some interpretations in terms of
empirical spectral measures of
random matrices
In probability theory and mathematical physics, a random matrix is a matrix-valued random variable—that is, a matrix in which some or all elements are random variables. Many important properties of physical systems can be represented mathemat ...
.
The notion of free convolution was introduced by Voiculescu.
Free additive convolution
Let
and
be two probability measures on the real line, and assume that
is a random variable in a non commutative probability space with law
and
is a random variable in the same non commutative probability space with law
. Assume finally that
and
are
freely independent. Then the free additive convolution
is the law of
.
Random matrices
In probability theory and mathematical physics, a random matrix is a matrix-valued random variable—that is, a matrix in which some or all elements are random variables. Many important properties of physical systems can be represented mathemat ...
interpretation: if
and
are some independent
by
Hermitian (resp. real symmetric) random matrices such that at least one of them is invariant, in law, under conjugation by any unitary (resp. orthogonal) matrix and such that the
empirical spectral measures of
and
tend respectively to
and
as
tends to infinity, then the empirical spectral measure of
tends to
.
In many cases, it is possible to compute the probability measure
explicitly by using complex-analytic techniques and the R-transform of the measures
and
.
Rectangular free additive convolution
The rectangular free additive convolution (with ratio
)
has also been defined in the non commutative probability framework by Benaych-Georges and admits the following
random matrices
In probability theory and mathematical physics, a random matrix is a matrix-valued random variable—that is, a matrix in which some or all elements are random variables. Many important properties of physical systems can be represented mathemat ...
interpretation. For