
In this paper additive bifree convolution is defined for general Borel
probability measures, and the limiting distributions for sums of bifree pairs
of selfadjoint commuting random variables in an infinitesimal triangular array
are determined. These distributions are characterized by their bifreely
infinite divisibility, and moreover, a transfer principle is established for
limit theorems in classical probability theory and Voiculescu's bifree
probability theory. Complete descriptions of bifree stability and fullness of
planar probability distributions are also set down. All these results reveal
one important feature about the theory of bifree probability that it parallels
the classical theory perfectly well. The emphasis in the whole work is not on
the tool of bifree combinatorics but only on the analytic machinery.

This is a continuation of our previous work in bifree harmonic analysis for
commuting left and right variables. Here we analyze the bifree partial
Stransform and use the results to study limit theorems and infinite
divisibility relative to the multiplicative bifree convolution.

Since Voiculescu introduced his bifree probability theory in 2013, the major
development of the theory has been on its combinatorial side; in particular, on
the combinatorics of bifree cumulants and its application to the bifree
Rtransform. In this article we propose a harmonic analysis approach to the
bifree Rtransform, which is solely based on integral transforms of two
variables. To accommodate the harmonic analysis tools, we confine ourselves in
the simplest situation of bifreeness 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 bifree analogue.

In this paper, we derive the bifree analogue of the L\'{e}vyHin\v{c}in
formula for compactly supported planar probability measures which are
infinitely divisible with respect to the additive bifree convolution
introduced by Voiculescu. We also provide examples of bifree infinitely
divisible distributions with their bifree L\'{e}vyHin\v{c}in representations.
Furthermore, we construct the bifree L\'{e}vy processes and the additive
bifree convolution semigroups generated by compactly supported planar
probability measures.

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 halfplane 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.

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.

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.

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.

Let $A=(a_{j,k})_{j,k \ge 1}$ be a nonnegative 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.