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 \boxplus-infinite divisibility on D_k that was recently found by Belinschi and Nica (arXiv:0711.3787). Most notably, one gets better insight into a connection which this process was known to have with free Brownian motion.
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…
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.
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.
We give an explicit description, via analytic subordination, of free multiplicative convolution of operator-valued distributions. In particular, the subordination function is obtained from an iteration process. This algorithm is easily numerically implementable. We present two concrete applications of our method: the product of two free operator-valued semicircular elements and the calculation of the distribution of $dcd+d^2cd^2$ for scalar-valued $c$ and $d$, which are free. Comparision between the solution obtained by our methods and simulations of random matrices shows excellent agreement.
In this paper, we give subordination functions for free additive and free multiplicative deconvolutions in some domain of the complex half-plane, under the condition that the distributions admit moments, respectively, of second order for the additive deconvolution and of fourth order for the multiplicative one. Our method of proof allows us to give an algorithm to calculate these subordinations functions, and thus the associated Cauchy transforms, for complex numbers with imaginary part bigger than a parameter depending on the measure to deconvolve. This reduces the problem of free deconvoluti…
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 …
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…
We study the Matsumoto-Yor property in free probability. We prove three characterizations of free-GIG and free Poisson distributions by freeness properties together with some assumptions about conditional moments. Our main tools are subordination and Boolean cumulants. In particular, we establish a new connection between additive subordination function and Boolean cumulants.
In his article "On the free convolution with a semicircular distribution," Biane found very useful characterizations of the boundary values of the imaginary part of the Cauchy-Stieltjes transform of the free additive convolution of a probability measure on the real line with a Wigner (semicircular) distribution. Biane's methods were recently extended by Huang to measures which belong to the partial free convolution semigroups introduced by Nica and Speicher. This note further extends some of Biane's methods and results to free convolution powers of operator-valued distributions and to free con…
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.
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 study $N$-ary non-commutative notions of independence, which are given by trees and which generalize free, Boolean, and monotone independence. For every rooted subtree $\mathcal{T}$ of the $N$-regular tree, we define the $\mathcal{T}$-free product of $N$ non-commutative probability spaces and we define the $\mathcal{T}$-free additive convolution of $N$ non-commutative laws. These $N$-ary convolution operations form a topological symmetric operad which includes the free, Boolean, monotone, and anti-monotone convolutions, as well as the orthogonal and subordination convolutions. Using the ope…
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…
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 use the theory of fully matricial, or non-commutative, functions to investigate infinite divisibility and limit theorems in operator-valued non-commutative probability. Our main result is an operator-valued analogue of the Bercovici-Pata bijection. An important tool is Voiculescu's subordination property for operator-valued free convolution.
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…
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.
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.
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…
We obtain a formula for the density of the free convolution of an arbitrary probability measure on the unit circle of $\mathbb{C}$ with the free multiplicative analogues of the normal distribution on the unit circle. This description relies on a characterization of the image of the unit disc under the subordination function, which also allows us to prove some regularity properties of the measures obtained in this way. As an application, we give a new proof for Biane's classic result on the densities of the free multiplicative analogue of the normal distributions. We obtain analogue results for…
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}$.
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 …
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…
In this paper, we study the partial bi-free $S$-transform of a pair $(a,b)$ of random variables, and the $S$-transform of the $2\times 2$ matrix-valued random variable $\left(\begin{matrix}a&0\\0&b\end{matrix}\right)$ associated with $(a,b)$ when restricted to upper triangular $2\times 2$ matrices. We first derive an explicit expression of bi-free multiplicative convolution (of probability measures on the bi-unit-sphere $\mathbb{T}^2$ of $\mathbb{C}^2$, or on $\mathbb{R}^2_+$ in $\mathbb{C}^2$) from a subordination equation for bi-free multiplicative convolution. We then show that, when $(a_1,…
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].
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 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.
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.
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…
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 $μ$ 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.
Let $Z_N$ be a Ginibre ensemble and let $A_N$ be a Hermitian random matrix independent from $Z_N$ such that $A_N$ converges in distribution to a self-adjoint random variable $x_0$. For each $t>0$, the random matrix $A_N+\sqrt{t}Z_N$ converges in $\ast$-distribution to $x_0+c_t$, where $c_t$ is the circular variable of variance $t$, free from $x_0$. We use the Hamilton-Jacobi method to compute the Brown measure $ρ_t$ of $x_0+c_t$. The Brown measure has a density that is constant along the vertical direction inside the support. The support of the Brown measure of $x_0+c_t$ is related to the subo…
On the space of (non-commutative) distributions of k-tuples of selfadjoint elements in a $C^*$-probability space $D_c(k)$, one has an operation $\freeplus$ of free additive convolution, and one can consider the subspace $D_c^{inf-div}$ of distributions which are infinitely divisible with respect to this operation. The linearizing transform for free additive convolution is the R-transform. Thus, one has $R_{μ\freeplusν}=R_μ+R_ν$. The eta-series $η_μ$ is the counterpart of $R_μ$ in the theory of Boolean convolution. We prove that the space of eta-series of distributions belonging to $D_c(k)$ coi…
