
We consider the sequence $( Q_n )_{n=1}^{\infty}$ of semimeander polynomials
which are used in the enumeration of semimeandric systems (a family of
diagrams related to the classical stampfolding problem). We show that for a
fixed natural number $d$, the sequence $( Q_n (d) )_{n=1}^{\infty}$ appears as
sequence of moments for a compactly supported probability measure $\nu_d$ on
the real line. More generally, we consider a twovariable generalization $Q_n
(t,u)$ of $Q_n(t)$, which is related to a natural concept of "selfintersecting
meandric system"; the second variable of $Q_n (t,u)$ keeps track of the
crossings of such a system (and one has, in particular, that $Q_n (t,0)$ is the
original semimeander polynomial $Q_n (t)$). We prove that for a fixed natural
number $d$ and a fixed real number $q$ with $q < 1$, the sequence $( Q_n
(d,q) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly
supported probability measure $\nu_{d:q}$ on the real line. The measure
$\nu_{d;q}$ is found as scalar spectral measure for an operator $T_{d;q}$
constructed by using left and right creation/annihilation operators on a
$q$deformation of the full Fock space introduced by Bozejko and Speicher. The
relevant calculations of moments for $T_{d;q}$ are made by using a twosided
version of a (previously studied in the onesided case) $q$Wick formula, which
involves the number of crossings of a pairpartition.

We consider closed meandric systems, and their equivalent description in
terms of the Hasse diagrams of the lattices of noncrossing partitions $NC(n)$.
In this equivalent description, considerations on the number of components of a
random meandric system of order $n$ translate into considerations about the
distance between two random partitions in $NC(n)$. We focus on a class of
couples $(\pi,\rho)\in NC(n)^2$  namely the ones where $\pi$ is conditioned
to be an interval partition  for which it turns out to be tractable to study
distances in the Hasse diagram. As a consequence, we observe a nontrivial
class of meanders (i.e. connected meandric systems), which we call "meanders
with shallow top", and which can be explicitly enumerated. Moreover, the
expected number of components for a random "meandric system with shallow top",
is asymptotically $(9n+28)/27$.
A variation of the methods used in the shallowtop case yields nontrivial
bounds on the expected number of components of a general (unconditioned) random
meandric system of order $n$. We show this expected number falls inside
$(0.17n,0.51n)$ for large enough $n$. Our calculations here are related to the
idea of taking the derivative at $t=1$ in a semigroup for the operation
$\boxplus$ of free probability (but the underlying considerations are presented
in a selfcontained way).
Another variation of these methods goes by fixing a "basepoint"
$\lambda_{n}$, where $\lambda_{n}$ is an interval partition in $NC(n)$, and by
focusing on distances in the Hasse diagram of $NC(n)$ which are measured from
$\lambda_{n}$. We illustrate this by determining precise formulas for the
average distance to $\lambda_{n}$ and for the cardinality of $\{\rho\in
NC(n)\mid\rho$ at maximal distance from $\lambda_{n}\}$ in the case when $n$ is
even and $\lambda_{n}$ is the partition with blocks
$\{1,2\},\{3,4\},\ldots,\{n1,n\}$.

The class of Rdiagonal *distributions is fairly well understood in free
probability. In this class, we consider the concept of infinite divisibility
with respect to the operation $\boxplus$ of free additive convolution. We
exploit the relation between free probability and the parallel (and simpler)
world of Boolean probability. It is natural to introduce the concept of an
etadiagonal distribution that is the Boolean counterpart of an Rdiagonal
distribution. We establish a number of properties of etadiagonal
distributions, then we examine the canonical bijection relating etadiagonal
distributions to infinitely divisible Rdiagonal ones. The overall result is a
parametrization of an arbitrary $\boxplus$infinitely divisible Rdiagonal
distribution that can arise in a C*probability space, by a pair of compactly
supported Borel probability measures on $[ 0, \infty )$. Among the applications
of this parametrization, we prove that the set of $\boxplus$infinitely
divisible Rdiagonal distributions is closed under the operation $\boxtimes$ of
free multiplicative convolution.

We follow the guiding line offered by canonical operators on the full Fock
space, in order to identify what kind of cumulant functionals should be
considered for the concept of bifree independence introduced in the recent
work of Voiculescu. By following this guiding line we arrive to consider, for a
general noncommutative probability space (A, phi), a family of "(l,r)cumulant
functionals" which enlarges the family of free cumulant functionals of the
space. In the motivating case of canonical operators on the full Fock space we
find a simple formula for a relevant family of (l,r)cumulants of a (2d)tuple
(A_1, ..., A_d, B_1, ..., B_d), with A_1, ... , A_d canonical operators on the
left and B_1, ... , B_d canonical operators on the right. This extends a known
onesided formula for free cumulants of A_1, ..., A_d, which establishes a
basic operator model for the Rtransform of free probability.

We consider the concept of irreducible meandric system introduced by Lando
and Zvonkin. We place this concept in the lattice framework of NC(n). As a
consequence, we show that the even generating function for irreducible meandric
systems is the Rtransform of XY, where X and Y are classically (commuting)
independent random variables, and each of X,Y has centred semicircular
distribution of variance 1. Following this point of view, we make some
observations about the symmetric linear functional on polynomials which has
Rtransform given by the even generating function for meanders.

We study joint free cumulants of u_t and u_t^{*}, where u_t is a free unitary
Brownian motion at time t. We determine explicitly some special families of
such cumulants. On the other hand, for a general joint cumulant of u_t and
u_t^{*}, we "calculate the derivative" for t going to infinity, when u_t
approaches a Haar unitary. In connection to the latter calculation we put into
evidence an "infinitesimal determining sequence" which naturally accompanies an
arbitrary Rdiagonal element in a tracial *probability space.

We consider the framework of an operatorvalued noncommutative probability
space over a unital C*algebra B. We show how for a Bvalued distribution \mu
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 \eta from B to B, instead of being a
nonnegative real number. More precisely, the Boolean convolution power is
defined whenever \eta is completely positive, while the free additive
convolution power is defined whenever \eta  1 is completely positive (where 1
stands for the identity map on B).
In connection to these convolution powers we define an evolution semigroup
related to the Boolean BercoviciPata bijection. We prove several properties of
this semigroup, including its connection to the Bvalued free Brownian motion.
We also obtain two results on the operatorvalued analytic function theory
related to the free additive convolution powers with exponent \eta. One of the
results concerns analytic subordination for Bvalued CauchyStieltjes
transforms. The other gives a Bvalued version of the inviscid Burgers
equation, which is satisfied by the CauchyStieltjes transform of a Bvalued
free Brownian motion.

We show that for all q in the interval (1,1), the Fock representation of the
qcommutation relations can be unitarily embedded into the Fock representation
of the extended Cuntz algebra. In particular, this implies that the C*algebra
generated by the Fock representation of the qcommutation relations is exact.
An immediate consequence is that the qGaussian von Neumann algebra is weakly
exact for all q in the interval (1,1).

Free probabilistic considerations of type B first appeared in a paper by
Biane, Goodman and Nica in 2003. Recently, connections between type B and
infinitesimal free probability were put into evidence by Belinschi and
Shlyakhtenko (arXiv:0903.2721). The interplay between "type B" and
"infinitesimal" is also the object of the present paper. We study infinitesimal
freeness for a family of unital subalgebras A_1, ..., A_k in an infinitesimal
noncommutative probability space (A, phi, phi'), and we introduce a concept of
infinitesimal noncrossing cumulant functionals for (A, phi, phi'), obtained by
taking a formal derivative in the formula for usual noncrossing cumulants. We
prove that the infinitesimal freeness of A_1, ... A_k is equivalent to a
vanishing condition for mixed cumulants; this gives the infinitesimal
counterpart for a theorem of Speicher from "usual" free probability. We show
that the lattices of noncrossing partitions of type B appear in the
combinatorial study of (A, phi, phi'), in the formulas for infinitesimal
cumulants and when describing alternating products of infinitesimally free
random variables. As an application of alternating free products, we observe
the infinitesimal analogue for the wellknown fact that freeness is preserved
under compression with a free projection. As another application, we observe
the infinitesimal analogue for a wellknown procedure used to construct free
families of free Poisson elements. Finally, we discuss situations when the
freeness of A_1, ..., A_k in (A, phi) can be naturally upgraded to
infinitesimal freeness in (A, phi, phi'), for a suitable choice of a "companion
functional" phi'.

The paper establishes a connection between two recent combinatorial
developments in free probability: the noncrossing linked partitions introduced
by Dykema in 2007 to study the Stransform, and the partial order << on NC(n)
introduced by Belinschi and Nica in 2008 in order to study relations between
free and Boolean probability. More precisely, one has a canonical bijection
between NCL(n) (the set of all noncrossing linked partitions of {1, ..., n})
and the set {(p,q)  p,q in NC(n), p<<q}. As a consequence of this bijection,
one gets an alternative description of Dykema's formula expressing the moments
of a noncommutative random variable a in terms of the coefficients of the
reciprocal Stransform 1/S_a. Moreover, due to the Boolean features of <<, this
formula can be simplified to a form which resembles the momentcumulant formula
from cfree probability.

Let k be a positive integer and let G_k denote the set of noncommutative
kvariable distributions \mu such that \mu (X_1) = ... = \mu (X_k) = 1. G_k is
a group under the operation of free multiplicative convolution. We identify G_k
as the group of characters of a certain Hopf algebra Y_k. Then, by using the
log map from characters to infinitesimal characters of Y_k, we introduce a
transform LS_{\mu} for distributions \mu in G_k. The main property of the
LStransform is that it linearizes commuting products in G_k. For \mu in G_k,
the transform LS_{\mu} is a power series in k noncommuting indeterminates; its
coefficients can be computed from the coefficients of the Rtransform of \mu by
using summations over chains in the lattices NC(n) of noncrossing partitions.
In the particular case k=1 one has that Y_1 is naturally isomorphic to the
Hopf algebra Sym of symmetric functions, and that the LStransform is very
closely related to the logarithm of the Stransform of Voiculescu, by the
formula LS(z) =  z log S(z). In this case the group G_1 can be identified as
the group of characters of Sym, in such a way that the Stransform, its
reciprocal 1/S and its logarithm log S relate in a natural sense to the
sequences of complete, elementary and respectively power sum symmetric
functions.

We determine the rank generating function, the zeta polynomial and the
Moebius function for the poset NC^B(p,q) of annular noncrossing partitions of
type B, where p and q are two positive integers. We give an alternative
treatment of some of these results in the case q=1, for which this poset is a
lattice. We also consider the general case of multiannular noncrossing
partitions of type B, and prove that this reduces to the cases of noncrossing
partitions of type B in the annulus and in the disc.

Let k be a positive integer and let D_k denote the space of joint
distributions for ktuples of selfadjoint elements in C*probability space. The
paper studies the concept of "subordination distribution of \mu \boxplus \nu
with respect to \nu" for \mu, \nu \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 Rtransforms for joint distributions and a related
operator model, with operators acting on the full Fock space
Multivariable subordination turns out to have nice relations to a process of
evolution towards \boxplusinfinite 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.

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_tt\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 that for t=1 the transformation $\mathbb B_1$ coincides with the
canonical bijection $\mathbb B : M \to M_{infdiv}$ discovered by Bercovici and
Pata in their study of the relations between infinite divisibility in free and
in Boolean probability. Here M_{infdiv} stands for the set of probability
distributions in M which are infinitely divisible with respect to free additive
convolution. As a consequence, we have that $\mathbb B_t(\mu)$ is infinitely
divisible with respect to free additive convolution for any for every $\mu$ in
M and every t greater than or equal to one.
On the other hand we put into evidence a relation between the transformations
$\mathbb B_t$ and the free Brownian motion; indeed, Theorem 4 of the paper
gives an interpretation of the transformations $\mathbb B_t$ as a way of
recasting the free Brownian motion, where the resulting process becomes
multiplicative with respect to free multiplicative convolution, and always
reaches infinite divisibility with respect to free additive convolution by the
time t=1.

We study the set $\sncb (p,q)$ of annular noncrossing permutations of type
B, and we introduce a corresponding set $\ncb (p,q)$ of annular noncrossing
partitions of type B, where $p$ and $q$ are two positive integers. We prove
that the natural bijection between $\sncb (p,q)$ and $\ncb (p,q)$ is a poset
isomorphism, where the partial order on $\sncb (p,q)$ is induced from the
hyperoctahedral group $B_{p+q}$, while $\ncb (p,q)$ is partially ordered by
reverse refinement. In the case when $q=1$, we prove that $\ncb (p,1)$ is a
lattice with respect to reverse refinement order.
We point out that an analogous development can be pursued in type D, where
one gets a canonical isomorphism between $\sncd (p,q)$ and $\ncd (p,q)$. For
$q=1$, the poset $\ncd (p,1)$ coincides with a poset ``$NC^{(D)} (p+1)$''
constructed in a paper by Athanasiadis and Reiner in 2004, and is a lattice by
the results of that paper.

Let D be the space of noncommutative distributions of ktuples 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, we introduce a transformation Phi
of D which converts the free Brownian motion started at an arbitrary
distribution m in D into the process B_t (Phi(m)), t>0.

On the space of (noncommutative) distributions of ktuples 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^{infdiv}$ of distributions which are infinitely divisible with respect to
this operation. The linearizing transform for free additive convolution is the
Rtransform. Thus, one has $R_{\mu\freeplus\nu}=R_{\mu}+R_{\nu}$. The
etaseries $\eta_{\mu}$ is the counterpart of $R_{\mu}$ in the theory of
Boolean convolution. We prove that the space of etaseries of distributions
belonging to $D_c(k)$ coincides with the space of Rtransforms of distributions
which are infinitely divisible with respect to free additive convolution. As a
consequence of this fact, one can define a bijection $B : D_c(k) \to
D_c^{infdiv}$ via the formula $R_{B(\mu)} = \eta_{\mu}$, for all distributions
$\mu$ in $D_c(k)$. We show that $B$ is a multivariable analogue of a bijection
studied by Bercovici and Pata for k=1, and we prove a theorem about convergence
in moments which parallels the BercoviciPata result. On the other hand we
prove the formula $B(\mu\freetimes\nu) = B(\mu) \freetimes B(\nu),$ with
$\mu,\nu$ considered in a space $D^{alg}(k)$ containing $D_c (k)$ where the
operation of free multiplicative convolution $\freetimes$ always makes sense.
An equivalent reformulation for this equality is that
$\eta_{\mu\freetimes\nu}=\eta_{\mu} \freestar \eta_{\nu},$ for all $\mu,\nu\in
D^{alg}(k)$. This shows that, in a certain sense, etaseries behave in the same
way as Rtransforms in connection to the operation of multiplication of free
ktuples of noncommutative random variables.

We establish connections between the lattices of noncrossing partitions of
type B introduced by V. Reiner, and the framework of the free probability
theory of D. Voiculescu.
Lattices of noncrossing partitions (of type A, up to now) have played an
important role in the combinatorics of free probability, primarily via the
noncrossing cumulants of R. Speicher. Here we introduce the concept of {\em
noncrossing cumulant of type B;} the inspiration for its definition is found
by looking at an operation of ``restricted convolution of multiplicative
functions'', studied in parallel for functions on symmetric groups (in type A)
and on hyperoctahedral groups (in type B).
The noncrossing cumulants of type B live in an appropriate framework of
``noncommutative probability space of type B'', and are closely related to a
type B analogue for the Rtransform of Voiculescu (which is the free
probabilistic counterpart of the Fourier transform). By starting from a
condition of ``vanishing of mixed cumulants of type B'', we obtain an analogue
of type B for the concept of free independence for random variables in a
noncommutative probability space.

Let $M$ be a $B$probability space. Assume that $B$ itself is a
$D$probability space; then $M$ can be viewed as $D$probability space as well.
Let $X$ be in $M$. We look at the question of relating the properties of $X$ as
$B$valued random variable to its properties as $D$valued random variable. We
characterize freeness of $X$ from $B$ with amalgamation over $D$: (a) in terms
of a certain factorization condition linking the $B$valued and $D$valued
cumulants of $X$, and (b) for $D$ finitedimensional, in terms of linking the
$B$valued and the $D$valued Fisher information of $X$. We give an application
to random matrices. For the second characterization we derive a new
operatorvalued description of the conjugate variable and introduce an
operatorvalued version of the liberation gradient.

Let M be a Bprobability space. Assume that B itself is a Dprobability
space; then M can be viewed as a Dprobability space as well. Let X be in M. We
characterize freeness of X from B with amalgamation over D in terms of a
certain factorization condition linking the Bvalued and Dvalued Rtransforms
of X. We give an application to random matrices.

We introduce the concept of ``Rcyclic family'' of matrices with entries in a
noncommutative probability space; the definition consists in asking that only
the ``cyclic'' noncrossing cumulants of the entries of the matrices are
allowed to be nonzero.
Let A_{1}, ..., A_{s} be an Rcyclic family of d \times d matrices over a
noncommutative probability space. We prove a convolutiontype formula for the
explicit computation of the joint distribution of A_{1}, ..., A_{s} (considered
in M_{d} (\A) with the natural state), in terms of the joint distribution
(considered in the original space) of the entries of the s matrices. Several
important situations of families of matrices with tractable joint distributions
arise by application of this formula.
Moreover, let A_{1}, ..., A_{s} be a family of d \times d matrices over a
noncommutative probability space, let \D \subset M_{d} (\A) denote the algebra
of scalar diagonal matrices, and let {\cal C} be the subalgebra of M_{d} (\A)
generated by \{A_{1}, ..., A_{s} \} \cup \D. We prove that the Rcyclicity of
A_{1}, ..., A_{s} is equivalent to a property of {\cal C}  namely that {\cal
C} is free from M_{d} (\C), with amalgamation over \D.

We consider the concept of a qcircular system, which is a deformation of the
circular system from free probability, taking place in the framework of the
socalled 'qcommutation relations'. We show that certain averages of random
unitaries in noncommutative tori behave asymptotically like a qcircular
system.

Let A be a unital $C^*$algebra, given together with a specified state
$\phi:A \to C$. Consider two selfadjoint elements a,b of A, which are free with
respect to $\phi$ (in the sense of the free probability theory of Voiculescu).
Let us denote $c:=i(abba)$, where the i in front of the commutator is
introduced to make c selfadjoint. In this paper we show how the spectral
distribution of c can be calculated from the spectral distributions of a and b.
Some properties of the corresponding operation on probability measures are also
discussed. The methods we use are combinatorial, based on the description of
freeness in terms of noncrossing partitions; an important ingredient is the
notion of Rdiagonal pair, introduced and studied in our previous paper
functan/9604012.

Let $a_{1},...,a_{n}, b_{1},...,b_{n}$ be random variables in some
(noncommutative) probability space, such that $\{a_{1}, ..., a_{n} \}$ is free
from $\{b_{1}, ..., b_{n} \}$. We show how the joint distribution of the
$n$tuple $(a_{1} b_{1}, ..., a_{n} b_{n})$ can be described in terms of the
joint distributions of $(a_{1}, ..., a_{n})$ and $(b_{1}, >..., b_{n})$, by
using the combinatorics of the $n$dimensional $R$transform. We point out a
few applications that can be easily derived from our result, concerning the
leftandright translation with a semicircular element (see Sections 1.61.10)
and the compression with a projection (see Sections 1.111.14) of an $n$tuple
of noncommutative random variables. A different approach to two of these
applications is presented by Dan Voiculescu in an Appendix to the paper.

In the free probability theory of Voiculescu two of the most frequently used
*distributions are those of a Haar unitary and of a circular element. We
define an $R$diagonal pair as a generalization of these distributions by the
requirement that their twodimensional $R$transform (or free cumulants) have a
special diagonal form. We show that the class of such $R$diagonal pairs has an
absorption property under nested multiplication of free pairs. This implies
that in the polar decomposition of such an element the polar part and the
absolute value are free. Our calculations are based on combinatorial statements
about noncrossing partitions, in particular on a canonical bijection between
the set of intervals of NC(n) and the set of 2divisible partitions in NC(2n).
In a forthcoming paper the theory of $R$diagonal pairs will be used to solve
the problem of the free commutator.