We prove that the free additive convolution of two Borel probability measures supported on the real line can have a component that is singular continuous with respect to the Lebesgue measure on the real line only if one of the two measures is a point mass. The density of the absolutely continuous part with respect to the Lebesgue measure is shown to be analytic wherever positive and finite. The atoms of the free additive convolution of Borel probability measures on the real line have been described by Bercovici and Voiculescu in a previous paper.
In this paper we find necessary and sufficient conditions for the weak convergence of c-free convolution of pairs of measures, where the measures are assumed to be infinitesimal and their support may be unbounded. These results are obtained by complex analytic methods.
We introduce and study a new type of convolution of probability measures called the orthogonal convolution, which is related to the monotone convolution. Using this convolution, we derive alternating decompositions of the free additive convolution of compactly supported probability measures in free probability. These decompositions are directly related to alternating decompositions of the associated subordination functions. In particular, they allow us to compute free additive convolutions of compactly supported measures without using free cumulants or R-transforms. In simple cases, representa…
We define a product of algebraic probability spaces equipped with two states. This product is called a conditionally monotone product. This product is a new example of independence in non-commutative probability theory and unifies the monotone and Boolean products, and moreover, the orthogonal product. Then we define the associated cumulants and calculate the limit distributions in central limit theorem and Poisson's law of small numbers. We also prove a combinatorial moment-cumulant formula using monotone partitions. We investigate some other topics such as infinite divisibility for the addit…
In this paper we study some analytic properties of bi-free additive convolution, both scalar and operator-valued. We show that using properties of Voiculescu's subordination functions associated to free additive convolution of operator-valued distributions, simpler formulas for bi-free convolutions can be derived. We use these formulas in order to prove a result about atoms of bi-free additive convolutions.
Let $\boxplus$, $\boxtimes$ and $\uplus$ be the free additive, free multiplicative, and boolean additive convolutions, respectively. For a probability measure $μ$ on $[0,\infty)$ with finite second moment, we find the scaling limit of $(μ^{\boxtimes N})^{\boxplus N}$ as $N$ goes to infinity. The $\mathcal{R}$--transform of the limit distribution can be represented by the Lambert's $W$ function. We also find similar limit theorem by replacing the free additive convolution with the boolean convolution.
Let k be a positive integer and let D_k denote the space of joint distributions for k-tuples of selfadjoint elements in C*-probability space. The paper studies the concept of "subordination distribution of μ\boxplus νwith respect to ν" for μ, ν\in D_k, where \boxplus is the operation of free additive convolution on D_k. The main tools used in this study are combinatorial properties of R-transforms for joint distributions and a related operator model, with operators acting on the full Fock space Multi-variable subordination turns out to have nice relations to a process of evolution towards \box…
Suppose that $X\_{1}$ and $X\_{2}$ are two selfadjoint random variables that are freely independent over an operator algebra $\mathcal{B}$. We describe the possible operator atoms of the distribution of $X\_{1}+X\_{2}$ and, using linearization, we determine the possible eigenvalues of an arbitrary polynomial $p(X\_{1},X\_{2})$ in case $\mathcal{B}=\mathbb{C}$.
We consider the free additive convolution of two probability measures $μ$ and $ν$ on the real line and show that $μ\boxplusν$ is supported on a single interval if $μ$ and $ν$ each has single interval support. Moreover, the density of $μ\boxplusν$ is proven to vanish as a square root near the edges of its support if both $μ$ and $ν$ have power law behavior with exponents between $-1$ and $1$ near their edges. In particular, these results show the ubiquity of the conditions in our recent work on optimal local law at the spectral edges for addition of random matrices [4].
In classical probability the law of large numbers for the multiplicative convolution follows directly from the law for the additive convolution. In free probability this is not the case. The free additive law was proved by D. Voiculescu in 1986 for probability measures with bounded support and extended to all probability measures with first moment by J. M. Lindsay and V. Pata in 1997, while the free multiplicative law was proved only recently by G. Tucci in 2010. In this paper we extend Tucci's result to measures with unbounded support while at the same time giving a more elementary proof for …
In this article we study the influence of regularly varying probability measures on additive and multiplicative Boolean convolutions. We introduce the notion of Boolean subexponentiality (for additive Boolean convolution), which extends the notion of classical and free subexponentiality. We show that the distributions with regularly varying tails belong to the class of Boolean subexponential distributions. As an application we also study the behaviour of the Belinschi-Nica map. Breiman's theorem study the classical product convolution between regularly varying measures. We derive an analogous …
We develop an analytic theory of operator-valued additive free convolution in terms of subordination functions. In contrast to earlier investigations our functions are not just given by power series expansions, but are defined as Frechet analytic functions in all of the operator upper half plane. Furthermore, we do not have to assume that our state is tracial. Combining this new analytic theory of operator-valued free convolution with Anderson's selfadjoint version of the linearization trick we are able to provide a solution to the following general random matrix problem: How can we calculate …
We consider the framework of an operator-valued noncommutative probability space over a unital C*-algebra B. We show how for a B-valued distribution μone can define convolution powers with respect to free additive convolution and with respect to Boolean convolution, where the exponent considered in the power is a suitably chosen linear map ηfrom B to B, instead of being a non-negative real number. More precisely, the Boolean convolution power is defined whenever ηis completely positive, while the free additive convolution power is defined whenever η- 1 is completely positive (where 1 stands fo…
Let M denote the space of Borel probability measures on the real line. For every nonnegative t we consider the transformation $\mathbb B_t : M \to M$ defined for any given element in M by taking succesively the the (1+t) power with respect to free additive convolution and then the 1/(1+t) power with respect to Boolean convolution of the given element. We show that the family of maps {\mathbb B_t|t\geq 0} is a semigroup with respect to the operation of composition and that, quite surprisingly, every $\mathbb B_t$ is a homomorphism for the operation of free multiplicative convolution. We prove t…
We introduce a class of independence relations, which include free, Boolean and monotone independence, in operator valued probability. We show that this class of independence relations have a matricial extension property so that we can easily study their associated convolutions via Voiculescu's fully matricial function theory. Based the matricial extension property, we show that many results can be generalized to multi-variable cases. Besides free, Boolean and monotone independence convolutions, we will focus on two important convolutions, which are orthogonal and subordination additive convol…
We give a streamlined proof of the limit theorems for the free additive convolution of infinitesimal triangular arrays of probability measures on the real line. The result was first proved by Chistyakov and Götze using analytic subordination.
Belinschi and Nica introduced a composition semigroup on the set of probability measures. Using this semigroup, they introduced a free divisibility indicator, from which one can know whether a probability measure is freely infinitely divisible or not. In this paper we further investigate this indicator, introduce a multiplicative version of it and are able to show many properties. Specifically, on the first half of the paper, we calculate how the indicator changes with respect to free and Boolean powers; we prove that free and Boolean 1/2-stable laws have free divisibility indicators equal to …
We realize the Belinschi-Nica semigroup of homomorphisms as a free multiplicative subordination. This realization allows to define more general semigroups of homomorphisms with respect to free multiplicative convolution. For these semigroups we show that a differential equation holds, generalizing the complex Burgers equation. We give examples of free multiplicative subordination and find a relation to the Markov-Krein transform, Boolean stable laws and monotone stable laws. A similar idea works for additive subordination, and in particular we study the free additive subordination associated t…
We give an analytical approach to the definition of additive and multiplicative free convolutions which is based on the theory of Nevanlinna and of Schur functions. We consider the set of probability distributions as a semigroup $\bold M$ equipped with the operation of free convolution and prove a Khintchine type theorem for the factorization of elements of this semigroup. An element of $\bold M$ contains either indecomposable ("prime") factors or it belongs to a class, say $I_0$, of distributions without indecomposable factors. In contrast to the classical convolution semigroup in the free ad…
In this paper, we derive the bi-free analogue of the Lévy-Hinčin formula for compactly supported planar probability measures which are infinitely divisible with respect to the additive bi-free convolution introduced by Voiculescu. We also provide examples of bi-free infinitely divisible distributions with their bi-free Lévy-Hinčin representations. Furthermore, we construct the bi-free Lévy processes and the additive bi-free convolution semigroups generated by compactly supported planar probability measures.
Characterization problems in free probability are studied here. Using subordination of free additive and free multiplicative convolutions we generalize some known characterizations in free probability to random variables with unbounded support. Using this technique we also prove a new characterization of distributions of free random variables. A similar technique is used to study Laha-Lukacs regressions for monotonically independent random variables.
This paper investigates homomorphisms à la Bercovici-Pata between additive and multiplicative convolutions. We also consider their matricial versions which are associated with measures on the space of Hermitian matrices and on the unitary group. The previous results combined with a matricial model of Benaych-Georges and Cabanal-Duvillard allows us to define and study the large N limit of a new matricial model on the unitary group for free multiplicative Lévy processes.
We show that a probability measure is not a nontrivial free additive convolution if it puts no mass in an interval whose endpoints are atoms. The analogous results for free multiplicative convolutions are proved as well. The proofs use analytic subordination.
We investigate relations between additive convolution semigroup and max-convolution semigroup through the law of large numbers for the free multiplicative convolution. Based on the relation, we give a formula related with Belinschi-Nica semigroup and max-Belinschi-Nica semigroup. Finally, we give several limit theorems for classical, free and Boolean extreme values.
Let D be the space of non-commutative distributions of k-tuples of selfadjoints in a C*-probability space (for a fixed k). We introduce a semigroup of transformations B_t of D, such that every distribution in D evolves under the B_t towards infinite divisibility with respect to free additive convolution. The very good properties of B_t come from some special connections that we put into evidence between free additive convolution and the operation of Boolean convolution. On the other hand we put into evidence a relation between the transformations B_t and free Brownian motion. More precisely, w…
It has been shown by Voiculescu and Biane that the analytic subordination property holds for free additive and multiplicative convolutions. In this paper, we present an operatorial approach to subordination for free multiplicative convolutions. This study is based on the concepts of `freeness with subordination', or `s-free independence', and `orthogonal independence', introduced recently in the context of free additive convolutions. In particular, we introduce and study the associated multiplicative convolutions and construct related operators, called `subordination operators' and `subordinat…
Let $μ$ denote a Borel probability measure and let $\{ μ_{t} \}_{t\geq 1}$ denote the free additive convolution semigroup of Nica and Speicher. We show that the support of these measures varies continuously in the Hausdorff metric for $t >1$. We utilize complex analytic methods and, in particular, a characterization of the absolutely continuous portion of these supports due to Huang.
In this paper we define cumulants for finite free convolution. We give a moment-cumulant formula and show that these cumulants satisfy desired properties: they are additive with respect to finite free convolution and they approach free cumulants as the dimension goes to infinity.
