• We consider the sequence $( Q_n )_{n=1}^{\infty}$ of semi-meander polynomials which are used in the enumeration of semi-meandric systems (a family of diagrams related to the classical stamp-folding 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 two-variable generalization $Q_n (t,u)$ of $Q_n(t)$, which is related to a natural concept of "self-intersecting 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 semi-meander 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 two-sided version of a (previously studied in the one-sided case) $q$-Wick formula, which involves the number of crossings of a pair-partition.
  • We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing 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 non-trivial 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 shallow-top case yields non-trivial 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 self-contained way). Another variation of these methods goes by fixing a "base-point" $\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,\{n-1,n\}$.
  • The class of R-diagonal *-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 eta-diagonal distribution that is the Boolean counterpart of an R-diagonal distribution. We establish a number of properties of eta-diagonal distributions, then we examine the canonical bijection relating eta-diagonal distributions to infinitely divisible R-diagonal ones. The overall result is a parametrization of an arbitrary $\boxplus$-infinitely divisible R-diagonal 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 R-diagonal 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 bi-free 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 one-sided formula for free cumulants of A_1, ..., A_d, which establishes a basic operator model for the R-transform 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 R-transform 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 R-transform 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 R-diagonal element in a tracial *-probability space.
  • 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 \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 non-negative 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 Bercovici-Pata bijection. We prove several properties of this semigroup, including its connection to the B-valued free Brownian motion. We also obtain two results on the operator-valued analytic function theory related to the free additive convolution powers with exponent \eta. One of the results concerns analytic subordination for B-valued Cauchy-Stieltjes transforms. The other gives a B-valued version of the inviscid Burgers equation, which is satisfied by the Cauchy-Stieltjes transform of a B-valued free Brownian motion.
  • We show that for all q in the interval (-1,1), the Fock representation of the q-commutation 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 q-commutation relations is exact. An immediate consequence is that the q-Gaussian 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 non-crossing cumulant functionals for (A, phi, phi'), obtained by taking a formal derivative in the formula for usual non-crossing 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 non-crossing 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 well-known fact that freeness is preserved under compression with a free projection. As another application, we observe the infinitesimal analogue for a well-known 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 non-crossing linked partitions introduced by Dykema in 2007 to study the S-transform, 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 non-crossing 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 S-transform 1/S_a. Moreover, due to the Boolean features of <<, this formula can be simplified to a form which resembles the moment-cumulant formula from c-free probability.
  • Let k be a positive integer and let G_k denote the set of non-commutative k-variable 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 LS-transform is that it linearizes commuting products in G_k. For \mu in G_k, the transform LS_{\mu} is a power series in k non-commuting indeterminates; its coefficients can be computed from the coefficients of the R-transform of \mu by using summations over chains in the lattices NC(n) of non-crossing 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 LS-transform is very closely related to the logarithm of the S-transform 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 S-transform, 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 non-crossing 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 non-crossing partitions of type B, and prove that this reduces to the cases of non-crossing 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 k-tuples 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 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 \boxplus-infinite 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_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 that for t=1 the transformation $\mathbb B_1$ coincides with the canonical bijection $\mathbb B : M \to M_{inf-div}$ discovered by Bercovici and Pata in their study of the relations between infinite divisibility in free and in Boolean probability. Here M_{inf-div} 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 re-casting 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 non-crossing permutations of type B, and we introduce a corresponding set $\ncb (p,q)$ of annular non-crossing 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 non-commutative distributions of k-tuples 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 (non-commutative) distributions of k-tuples 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^{inf-div}$ of distributions which are infinitely divisible with respect to this operation. The linearizing transform for free additive convolution is the R-transform. Thus, one has $R_{\mu\freeplus\nu}=R_{\mu}+R_{\nu}$. The eta-series $\eta_{\mu}$ is the counterpart of $R_{\mu}$ in the theory of Boolean convolution. We prove that the space of eta-series of distributions belonging to $D_c(k)$ coincides with the space of R-transforms 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^{inf-div}$ via the formula $R_{B(\mu)} = \eta_{\mu}$, for all distributions $\mu$ in $D_c(k)$. We show that $B$ is a multi-variable analogue of a bijection studied by Bercovici and Pata for k=1, and we prove a theorem about convergence in moments which parallels the Bercovici-Pata 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, eta-series behave in the same way as R-transforms in connection to the operation of multiplication of free k-tuples of non-commutative random variables.
  • We establish connections between the lattices of non-crossing partitions of type B introduced by V. Reiner, and the framework of the free probability theory of D. Voiculescu. Lattices of non-crossing partitions (of type A, up to now) have played an important role in the combinatorics of free probability, primarily via the non-crossing cumulants of R. Speicher. Here we introduce the concept of {\em non-crossing 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 non-crossing cumulants of type B live in an appropriate framework of ``non-commutative probability space of type B'', and are closely related to a type B analogue for the R-transform 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 non-commutative 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$ finite-dimensional, 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 operator-valued description of the conjugate variable and introduce an operator-valued version of the liberation gradient.
  • Let M be a B-probability space. Assume that B itself is a D-probability space; then M can be viewed as a D-probability 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 B-valued and D-valued R-transforms of X. We give an application to random matrices.
  • We introduce the concept of ``R-cyclic family'' of matrices with entries in a non-commutative probability space; the definition consists in asking that only the ``cyclic'' non-crossing cumulants of the entries of the matrices are allowed to be non-zero. Let A_{1}, ..., A_{s} be an R-cyclic family of d \times d matrices over a non-commutative probability space. We prove a convolution-type 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 non-commutative 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 R-cyclicity 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 q-circular system, which is a deformation of the circular system from free probability, taking place in the framework of the so-called 'q-commutation relations'. We show that certain averages of random unitaries in non-commutative tori behave asymptotically like a q-circular 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(ab-ba)$, 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 non-crossing partitions; an important ingredient is the notion of R-diagonal pair, introduced and studied in our previous paper funct-an/9604012.
  • Let $a_{1},...,a_{n}, b_{1},...,b_{n}$ be random variables in some (non-commutative) 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 left-and-right translation with a semicircular element (see Sections 1.6-1.10) and the compression with a projection (see Sections 1.11-1.14) of an $n$-tuple of non-commutative 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 two-dimensional $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 non-crossing partitions, in particular on a canonical bijection between the set of intervals of NC(n) and the set of 2-divisible 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.