• ### Limit theorems in bi-free probability theory(1705.05523)

May 16, 2017 math.OA, math.PR
In this paper additive bi-free convolution is defined for general Borel probability measures, and the limiting distributions for sums of bi-free pairs of selfadjoint commuting random variables in an infinitesimal triangular array are determined. These distributions are characterized by their bi-freely infinite divisibility, and moreover, a transfer principle is established for limit theorems in classical probability theory and Voiculescu's bi-free probability theory. Complete descriptions of bi-free stability and fullness of planar probability distributions are also set down. All these results reveal one important feature about the theory of bi-free probability that it parallels the classical theory perfectly well. The emphasis in the whole work is not on the tool of bi-free combinatorics but only on the analytic machinery.
• ### Harmonic analysis for the bi-free partial S-transform(1705.06569)

April 28, 2017 math.OA, math.PR
This is a continuation of our previous work in bi-free harmonic analysis for commuting left and right variables. Here we analyze the bi-free partial S-transform and use the results to study limit theorems and infinite divisibility relative to the multiplicative bi-free convolution.
• ### Analytic aspects of the bi-free partial R-transform(1604.08623)

April 28, 2016 math.OA, math.PR, math.FA
Since Voiculescu introduced his bi-free probability theory in 2013, the major development of the theory has been on its combinatorial side; in particular, on the combinatorics of bi-free cumulants and its application to the bi-free R-transform. In this article we propose a harmonic analysis approach to the bi-free R-transform, which is solely based on integral transforms of two variables. To accommodate the harmonic analysis tools, we confine ourselves in the simplest situation of bi-freeness with commuting faces. Our method allows us to treat measures with unbounded support, and we show that the classical limit theory of infinitely divisible laws, due to Levy and Khintchine, has a perfect bi-free analogue.
• ### An analogue of the L\'{e}vy-Hin\v{c}in formula for bi-free infinitely divisible distributions(1501.05369)

July 9, 2015 math.OA, math.PR
In this paper, we derive the bi-free analogue of the L\'{e}vy-Hin\v{c}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\'{e}vy-Hin\v{c}in representations. Furthermore, we construct the bi-free L\'{e}vy processes and the additive bi-free convolution semigroups generated by compactly supported planar probability measures.
• ### On the support of measures in multiplicative free convolution semigroups(1302.4466)

Feb. 18, 2013 math.CV
In this paper, we study the supports of measures in multiplicative free semigroups on the positive real line and on the unit circle. We provide formulas for the density of the absolutely continuous parts of measures in these semigroups. The descriptions rely on the characterizations of the images of the upper half-plane and the unit disc under certain subordination functions. These subordination functions are $\eta$-transforms of infinitely divisible measures with respect to multiplicative free convolution. The characterizations also help us study the regularity properties of these measures. One of the main results is that the number of components in the support of measures in the semigroups is a decreasing function of the semigroup parameter.
• ### Supports, regularity, and $\boxplus$-infinite divisibility for measures of the form $(\mu^{\boxplus p})^{\uplus q}$(1209.5787)

Sept. 25, 2012 math.CV
Let $\mathcal{M}$ be the set of Borel probability measures on $\mathbb{R}$. We denote by $\mu^{\mathrm{ac}}$ the absolutely continuous part of $\mu\in\mathcal{M}$. The purpose of this paper is to investigate the supports and regularity for measures of the form $(\mu^{\boxplus p})^{\uplus q}$, $\mu\in\mathcal{M}$, where $\boxplus$ and $\uplus$ are the operations of free additive and Boolean convolution on $\mathcal{M}$, respectively, and $p\geq1$, $q>0$. We show that for any $q$ the supports of $((\mu^{\boxplus p})^{\uplus q})^{\mathrm{ac}}$ and $(\mu^{\boxplus p})^{\mathrm{ac}}$ contain the same number of components and this number is a decreasing function of $p$. Explicit formulas for the densities of $((\mu^{\boxplus p})^{\uplus q})^{\mathrm{ac}}$ and criteria for determining the atoms of $(\mu^{\boxplus p})^{\uplus q}$ are given. Based on the subordination functions of free convolution powers, we give another point of view to analyze the set of $\boxplus$-infinitely divisible measures and provide explicit expressions for their Voiculescu transforms in terms of free and Boolean convolutions.
• ### Supports of Measures in a free additive convolution semigroup(1205.5542)

May 24, 2012 math.CV
In this paper, we study the supports of measures in the free additive convolution semigroup $\{\mu^{\boxplus t}:t>1\}$, where $\mu$ is a Borel probability measure on $\mathbb{R}$. We give a formula for the density of the absolutely continuous part of $\mu^{\boxplus t}$ and use this formula to obtain certain regularizing properties of $\mu^{\boxplus t}$. We show that the number $n(t)$ of the components in the support of $\mu^{\boxplus t}$ is a decreasing function of $t$ and give equivalent conditions so that $n(t)=1$ for sufficiently large $t$. Moreover, a measure $\mu$ so that $\mu^{\boxplus t}$ has infinitely many components in the support for all $t>1$ is given.
• ### Closability property of operator algebras generated by normal operators and operators of class $C_0$(1108.6317)

Aug. 31, 2011 math.OA, math.FA
An operator algebra $\mathcal{A}$ acting on a Hilbert space is said to have the closability property if every densely defined linear transformation commuting with $\mathcal{A}$ is closable. In this paper we study the closability property of the von Neumann algebra consisting of the multiplication operators on $L^2(\mu)$, and give necessary and sufficient conditions for a normal operator $N$ such that the von Neumann algebra generated by $N$ has the closability property. We also give necessary and sufficient conditions for an operator $T$ of class $C_0$ such that the algebra generated by $T$ in the weak operator topology and the algebra $H^\infty(T)=\{u(T):u\in H^\infty\}$ have the closability property.
• ### Characterization of the matrix whose norm is determined by its action on decreasing sequences(0706.1098)

June 7, 2007 math.FA
Let $A=(a_{j,k})_{j,k \ge 1}$ be a non-negative matrix. In this paper, we characterize those $A$ for which $\|A\|_{E, F}$ are determined by their actions on decreasing sequences, where $E$ and $F$ are suitable normed Riesz spaces of sequences.