arXiv++ Combinatorics

Infinitesimal moments associated with infinitesimal freeness and infinitesimal conditional freeness are studied. For free random variables, we consider continuous deformations of moment functionals associated with Motzkin paths $w$, which provide a decomposition of their moments, and we compute their derivatives at zero. We show that the first-order derivative of each functional vanishes unless the path has exactly one local maximum. Geometrically, this means that $w$ is a pyramid path, which is consistent with the characteristic formula for alternating moments of infinitesimally free centered random variables. In this framework, infinitesimal Boolean independence is also obtained and it corresponds to flat paths. A similar approach is developed for infinitesimal conditional freeness, for which we show that the only moment functionals that have a non-zero first-order derivative are associated with concatenations of a pyramid path and a flat path. This charaterization leads to a Leibniz-type definition of infinitesimal conditional freeness at the level of moments.

Free cumulants are multilinear functionals defined in terms of the moment functional with the use of the family of lattices of noncrossing partitions. In the univariate case, they can be identified with the coefficients of the Voiculescu transform of the moment functional which plays a role similar to that of the logarithm of the Fourier transform. The associated linearization property is connected with free independence. In turn, the family of much smaller lattices of interval partitions is used to define Boolean cumulants connected with Boolean independence. In order to bridge the gap between these two families of lattices and the associated cumulants we introduce and study the family of lattices of noncrossing partitions adapted to Motzkin paths and define the associated operator-valued `Motzkin cumulants'. We prove the corresponding Möbius inversion formula which plays the role of a lattice refinement of the formula expressing free cumulants in terms of Boolean cumulants. We apply this concept to free probability and obtain the additive decomposition of free cumulants in terms of scalar-valued counterparts of Motzkin cumulants.

We reduce the conditionally monotone (c-monotone) independence of Hasebe to tensor independence. For that purpose, we use the approach developed for the reduction of boolean, free and monotone independences to tensor independence. We apply the tensor product realization of c-monotone random variables to introduce the c-comb (loop) product of birooted graphs, a generalization of the comb (loop) product of rooted graphs, and we show that it is related to the c-monotone additive (multiplicative) convolution of distributions.

We study asymptotic distributions of large dimensional random matrices of the form $BB^{*}$, where $B$ is a product of $p$ rectangular random matrices, using free probability and combinatorics of colored labeled noncrossing partitions. These matrices are taken from the set of off-diagonal blocks of the family $\mathcal{Y}$ of independent Hermitian random matrices which are asymptotically free, asymptotically free against the family of deterministic diagonal matrices, and whose norms are uniformly bounded almost surely. This class includes unitarily invariant Hermitian random matrices with limit distributions given by compactly supported probability measures $ν$ on the real line. We express the limit moments in terms of colored labeled noncrossing pair partitions, to which we assign weights depending on even free cumulants of $ν$ and on asymptotic dimensions of blocks (Gaussianization). For products of $p$ independent blocks, we show that the limit moments are linear combinations of a new family of polynomials called generalized multivariate Fuss-Narayana polynomials. In turn, the product of two blocks of the same matrix leads to an example with rescaled Raney numbers.

It has been shown recently that the limit moments of $W(n)=B(n)B^{*}(n)$, where B(n) is a product of $p$ independent rectangular random matrices, are certain homogenous polynomials in the asymptotic dimensions of these matrices. Using the combinatorics of noncrossing partitions, we explicitly determine these polynomials and show that they are closely related to polynomials which can be viewed as multivariate Fuss-Narayana polynomials. Using this result, we compute the moments of the n-fold free multiplicative convolution of Marchenko-Pastur distributions with arbitrary shape parameters.

It has been shown by Voiculescu and Biane that the analytic subordination property holds for free additive and multiplicative convolutions. In this paper, we present an operatorial approach to subordination for free multiplicative convolutions. This study is based on the concepts of `freeness with subordination', or `s-free independence', and `orthogonal independence', introduced recently in the context of free additive convolutions. In particular, we introduce and study the associated multiplicative convolutions and construct related operators, called `subordination operators' and `subordination branches'. Using orthogonal independence, we derive decompositions of subordination branches and related decompositions of s-free and free multiplicative convolutions. The operatorial methods lead to several new types of graph products, called `loop products', associated with different notions of independence (monotone, boolean, orthogonal, s-free). We also prove that the enumeration of rooted `alternating double return walks' on the loop products of graphs and on the free product of graphs gives the moments of the corresponding multiplicative convolutions.

We study the free product of rooted graphs and its various decompositions using quantum probabilistic methods. We show that the free product of rooted graphs is canonically associated with free independence, which completes the proof of the conjecture that there exists a product of rooted graphs canonically associated with each notion of noncommutative independence which arises in the axiomatic theory. Using the `orthogonal product' of rooted graphs, we decompose the branches of the free product of rooted graphs as `alternating orthogonal products'. This leads to alternating decompositions of the free product itself, with the star product or the comb product followed by orthogonal products. These decompositions correspond to the recently studied decompositions of the free additive convolution of probability measures in terms boolean and orthogonal convolutions, or monotone and orthogonal convolutions. We also introduce a new type of `quantum decomposition' of the free product of graphs, where the distance partition of the set of vertices is taken with respect to a set of vertices instead of a single vertex. We show that even in the case of widely studied graphs this yields new and more complete information on their spectral properties, like spectral measures of a (usually infinite) set of cyclic vectors under the action of the adjacency matrix.