
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.

We discuss some results concerning the multiplication of noncommutative
random variables that are cfree with respect to a pair $( \Phi, \varphi) $,
where $ \Phi $ is a linear map with values in some Banach or C$^\ast$algebra
and $ \varphi $ is scalarvalued. In particular, we construct a suitable
analogue of the Voiculescu's $ S $transform for this framework.

The phenomenon of superconvergence is proved for all freely infinitely
divisible distributions. Precisely, suppose that the partial sums of a sequence
of free identically distributed, infinitesimal random variables converge in
distribution to a nondegenerate freely infinitely divisible law. Then the
distribution of the sum becomes Lebesgue absolutely continuous with a
continuous density in finite time, and this density can be approximated by that
of the limit law uniformly, as well as in all $L^{p}$norms for $p>1$, on the
real line except possibly in the neighborhood of one point. Applications
include the global superconvergence to freely stable laws and that to free
compound Poisson laws over the whole real line.

This paper describes the quality of convergence to an infinitely divisible
law relative to free multiplicative convolution. We show that convergence in
distribution for products of identically distributed and infinitesimal free
random variables implies superconvergence of their probability densities to the
density of the limit law. Superconvergence to the marginal law of free
multiplicative Brownian motion at a specified time is also studied. In the
unitary case, the superconvergence to free Brownian motion and that to the Haar
measure are shown to be uniform over the entire unit circle, implying further a
free entropic limit theorem and a universality result for unitary free L\'{e}vy
processes. Finally, the method of proofs on the positive halfline gives rise
to a new multiplicative Boolean to free BercoviciPata bijection.

In this paper free harmonic analysis tools are used to study parabolic
iteration in the complex upper halfplane. The main result here is a complete
characterization for the norming constants in the monotonic central limit
theorem. This allows us to construct a new class of conservative and ergodic
measurepreserving transformations on the real line with Lebesgue measure.
Among all, we mention that the generalized Boole transformation with infinitely
many poles is shown to be conservative, as long as its residues are summable.

In this paper, we study the superconvergence phenomenon in the free central
limit theorem for identically distributed, unbounded summands. We prove not
only the uniform convergence of the densities to the semicircular density but
also their $L^p$convergence to the same limit for $p>1/2$. Moreover, an
entropic central limit theorem is obtained as a consequence of the above
results.

Using the combinatorics of noncrossing partitions, we construct a
conditionally free analogue of the Voiculescu's Stransform. The result is
applied to analytical description of conditionally free multiplicative
convolution and characterization of infinite divisibility.

In this paper we find necessary and sufficient conditions for the weak
convergence of cfree 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 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 the distributional behavior for products, and for sums of boolean
independent random variables in an infinitesimal triangular array. We show that
the limit laws of boolean convolutions are determined by the limit laws of free
convolutions, and vice versa. We further use these results to show several
connections between the limiting distributional behavior of classical
convolutions and that of boolean convolutions. The proof of our results is
based on the analytical apparatus developed for free convolutions.

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\"otze using analytic
subordination.

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.