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 `subordination branches'. Using orthogonal independence, we derive decompositions of subordination branches and related decompositions of s-free and free multiplicative convolutions. The operatorial methods lead to several new types of graph products, called `loop products', associated with different notions of independence (monotone, boolean, orthogonal, s-free). We also prove that the enumeration of rooted `alternating double return walks' on the loop products of graphs and on the free product of graphs gives the moments of the corresponding multiplicative convolutions.
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.
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…
Using simple operator-valued analytic function considerations several general analytic subordination results for a freely Markovian triple of operator algebras are derived from the analytic subordination result for generalized resolvents in the case of a free increment with amalgamation. This includes a generalization of Biane's subordination result in the case of a unitary free multiplicative increment.
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 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 …
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…
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…
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…
Using the combinatorics of non-crossing partitions, we construct a conditionally free analogue of the Voiculescu's S-transform. The result is applied to analytical description of conditionally free multiplicative convolution and characterization of infinite divisibility.
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…
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 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 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…
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 study the multiplicative convolution for c-monotone independence. This convolution unifies the monotone, Boolean and orthogonal multiplicative convolutions. We characterize convolution semigroups for the c-monotone multiplicative convolution on the unit circle. We also prove that an infinitely divisible distribution can always be embedded in a convolution semigroup. We furthermore discuss the (non)-uniqueness of such embeddings including the monotone case. Finally connections to the multiplicative Boolean convolution are discussed.
We show that the monotonic independence introduced by Muraki can also be used to define a multiplicative convolution. We also find a method for the calculation of this convolution based on an appropriate form of the Cauchy transform. We discuss infinite divisibility in the multiplicative monotonic context as well.
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.
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 $\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 determine the distributional behavior for products of free random variables in a general infinitesimal triangular array. In the case of positive variables, the main theorem extends a result proved earlier for arrays with identically distributed rows. The case of unitary variables is considered as well.
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 …
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…
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…
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 …
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 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 study the behavior of the tail of a measure $μ^{\boxtimes t}$, where $\boxtimes t$ is the $t$-fold free multiplicative convolution power for $t\geq 1$. We focus on the case where $μ$ is a probability measure on the positive half-line with a regularly varying tail i.e. of the form $x^{-α} L(x)$, where $L$ is slowly varying. We obtain a phase transition in the behavior of the tail of $μ^{\boxplus t}$ between regimes $α<1$ and $α>1$. Our main tool is a description of the regularly varying tails of $μ$ in terms of the behavior of the corresponding $S$-transform at $0^-$. We also describe the ta…
We find necessary and sufficient conditions for the free additive infinite divisibility of some free multiplicative convolutions with the Wigner, the arcsine, the free Poisson and other distributions, including explicit examples.
We define an extension of the polynomial calculus on a W*-probability space by introducing an abstract algebra which contains polynomials. This extension allows us to define transition operators for additive and multiplicative free convolution. It also permits us to characterize the free Segal-Bargmann transform and the free Hall transform introduced by Biane, in a manner which is closer to classical definitions. Finally, we use this extension of polynomial calculus to prove two asymptotic results on random matrices: the convergence for each fixed time, as N tends to infinity, of the *-distrib…
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 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 study the freely infinitely divisible distributions that appear as the laws of free subordinators. This is the free analog of classically infinitely divisible distributions supported on [0,\infty), called the free regular measures. We prove that the class of free regular measures is closed under the free multiplicative convolution, t-th boolean power for $0\leq t\leq 1$, t-th free multiplicative power for $t\geq 1$ and weak convergence. In addition, we show that a symmetric distribution is freely infinitely divisible if and only if its square can be represented as the free multiplicative co…
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…
Bercovici and Pata showed that the correspondence between classically, freely, and Boolean infinitely divisible distributions holds on the level of limit theorems. We extend this correspondence also to distributions infinitely divisible with respect to the additive monotone convolution. Because of non-commutativity of this convolution, we use a new technique based on the Chernoff product formula. In fact, the correspondence between the Boolean and monotone limit theorems extends from probability measures to positive measures of total weight at most one. Finally, we study this correspondence fo…
We introduce two 2-variables transforms: the partial bi-free S-transform and the partial bi-free T-transform. These transforms are the analogues for the bi-multiplicative and respectively for the additive-multiplicative bi-free convolution of the 2-variables partial bi-free R-transform in our previous paper in this series.
In this thesis we study convolutions that arise from noncommutative probability theory. We prove several regularity results for free convolutions, and for measures in partially defined one-parameter free convolution semigroups. We discuss connections between Boolean and free convolutions and, in the last chapter, we prove that any infinitely divisible probability measure with respect to monotonic additive or multiplicative convolution belongs to a one-parameter semigroup with respect to the corresponding convolution. Earlier versions of some of the results in this thesis have already been publ…
