The $\mathcal{A}$-tracial algebras are algebras endowed with multi-linear forms, compatible with the product, and indexed by partitions. Using the notion of $\mathcal{A}$-cumulants, we define and study the $\mathcal{A}$-freeness property which generalizes the independence and freeness properties, and some invariance properties which model the invariance by conjugation for random matrices. A central limit theorem is given in the setting of $\mathcal{A}$-tracial algebras. A generalization of the normalized moments for random matrices is used to define convergence in $\mathcal{A}$-distribution: this allows us to apply the theory of $\mathcal{A}$-tracial algebras to random matrices. This study is deepened with the use of $\mathcal{A}$-finite dimensional cumulants which are related to some dualities as the Schur-Weyl's duality. This gives a unified and simple framework in order to understand families of random matrices which are invariant by conjugation in law by any group whose associated tensor category is spanned by partitions, this includes for example the unitary groups or the symmetric groups. Among the various by-products, we prove that unitary invariance and convergence in distribution implies convergence in $\mathcal{P}$-distribution. Besides, a new notion of strong asymptotic invariance and independence are shown to imply $\mathcal{A}$-freeness. Finally, we prove general theorems about convergence of matrix-valued additive and multiplicative L{é}vy processes which are invariant in law by conjugation by the symmetric group. Using these results, a unified point of view on the study of matricial L{é}vy processes is given.
We extend the relation between random matrices and free probability theory from the level of expectations to the level of all correlation functions (which are classical cumulants of traces of products of the matrices). We introduce the notion of "higher order freeness" and develop a theory of corresponding free cumulants. We show that two independent random matrix ensembles are free of arbitrary order if one of them is unitarily invariant. We prove R-transform formulas for second order freeness. Much of the presented theory relies on a detailed study of the properties of "partitioned permutati…
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 b…
We define higher order infinitesimal noncommutative probability space and infinitesimal non-crossing cumulant functionals. In this framework, we generalize to higher order the notion of infinitesimal freeness, via a vanishing of mixed cumulants condition. We also introduce and study some non-crossing partitions related to this notion. Finally, as an application, we show how to compute the successive derivatives of the free convolution of two time-indexed families of distributions from their individual derivatives.
We consider two extensions of free probability that have been studied in the research literature, and are based on the notions of c-freeness and respectively of infinitesimal freeness for noncommutative random variables. In a 2012 paper, Belinschi and Shlyakhtenko pointed out a connection between these two frameworks, at the level of their operations of 1-dimensional free additive convolution. Motivated by that, we propose a construction which produces a multi-variate version of the Belinschi-Shlyakhtenko result, together with a result concerning free products of multi-variate noncommutative d…
We investigate the implications of free probability for random matrices. From rules for calculating all possible joint moments of two free random matrices, we develop a notion of partial freeness which is quantified by the breakdown of these rules. We provide a combinatorial interpretation for partial freeness as the presence of closed paths in Hilbert space defined by particular joint moments. We also discuss how asymptotic moment expansions provide an error term on the density of states. We present MATLAB code for the calculation of moments and free cumulants of arbitrary random matrices.
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 …
The free Meixner laws arise as the distributions of orthogonal polynomials with constant-coefficient recursions. We show that these are the laws of the free pairs of random variables which have linear regressions and quadratic conditional variances when conditioned with respect to their sum. We apply this result to describe free Levy processes with quadratic conditional variances, and to prove a converse implication related to asymptotic freeness of random Wishart matrices.
We consider a notion of bi-freeness for systems of non-commutative random variables with two faces, one of left variables and another of right variables. This includes bi-free convolution operations, bi-free cumulants and the bi-free central limit.
We present a combinatorial approach to the infinitesimal distribution of the Gaussian orthogonal ensemble (GOE). In particular we show how the infinitesimal moments are described by non-crossing partitions, but not of type B. We demonstrate the asymptotic infinitesimal freeness of independent complex Wishart matrices. With the combinatorial picture we can easily compute the infinitesimal cumulants of the GOE and demonstrate the lack of asymptotic infinitesimal freeness of independent GOE ensembles. I have added a new figure and some additional explanatory remarks. This update corrects a number…
It is well known that freeness appears in the high-dimensional limit of independence for matrices. Thus, for instance, the additive free Brownian motion can be seen as the limit of the Brownian motion on hermitian matrices. More generally, it is quite natural to try to build free Lévy processes as high-dimensional limits of classical matricial Lévy processes. We will focus here on one specific such construction, discussing and generalizing a work done previously by Biane, who has shown that the (classical) Brownian motion on the Unitary group U\left(d\right) converges to the free multiplicativ…
Let $T=\mathbb R^d$. Let a function $Q:T^2\to\mathbb C$ satisfy $Q(s,t)=\bar{Q(t,s)}$ and $|Q(s,t)|=1$. A generalized statistics is described by creation operators $\partial_t^†$ and annihilation operators $\partial_t$, $t\in T$, which satisfy the $Q$-commutation relations. From the point of view of physics, the most important case of a generalized statistics is the anyon statistics, for which $Q(s,t)$ is equal to $q$ if $s<t$, and to $\bar q$ if $s>t$. Here $q\in\mathbb C$, $|q|=1$. We start the paper with a detailed discussion of a $Q$-Fock space and operators $(\partial_t^†,\partial_t)_{t\i…
In this paper, the notion of conditionally bi-free independence for pairs of algebras is introduced. The notion of conditional $(\ell, r)$-cumulants are introduced and it is demonstrated that conditionally bi-free independence is equivalent to mixed cumulants. Furthermore, limit theorems for the additive conditionally bi-free convolution are studied using both combinatorial and analytic techniques. In particular, a conditionally bi-free partial $\mathcal{R}$-transform is constructed and a conditionally bi-free analogue of the Lévy-Hinčin formula for planar Borel probability measures is derived…
We consider integrals on unitary groups $U_d$ of the form $$\int_{U_d}U_{i_1j_1}... U_{i_qj_q}U^*_{j'_{1}i'_{1}} ... U^*_{j'_{q'}i'_{q'}}dU$$ We give an explicit formula in terms of characters of symmetric groups and Schur functions, which allows us to rederive an asymptotic expansion as $d\to\infty$. Using this we rederive and strenghthen a result of asymptotic freeness due to Voiculescu. We then study large $d$ asymptotics of matrix model integrals and of the logarithm of Itzykson-Zuber integrals and show that they converge towards a limit when considered as power series. In particular we gi…
In this paper, the notion of bi-Boolean independence for non-unital pairs of algebras is introduced thereby extending the notion of Boolean independence to pairs of algebras. The notion of B-$(\ell, r)$-cumulants is defined via a bi-Boolean moment-cumulant formula over the lattice of bi-interval partitions, and it is demonstrated that bi-Boolean independence is equivalent to the vanishing of mixed B-$(\ell, r)$-cumulants. Furthermore, some of the simplest bi-Boolean convolutions are considered, and a bi-Boolean partial $η$-transform is constructed for the study of limit theorems and infinite d…
Consider a $N\times n$ matrix $Σ_n=\frac{1}{\sqrt{n}}R_n^{1/2}X_n$, where $R_n$ is a nonnegative definite Hermitian matrix and $X_n$ is a random matrix with i.i.d. real or complex standardized entries. The fluctuations of the linear statistics of the eigenvalues \[\operatorname {Trace}f \bigl(Σ_nΣ_n^*\bigr)=\sum_{i=1}^Nf(λ_i),\qquad (λ_i)\ eigenvalues\ of\ Σ_nΣ_n^*,\] are shown to be Gaussian, in the regime where both dimensions of matrix $Σ_n$ go to infinity at the same pace and in the case where $f$ is of class $C^3$, that is, has three continuous derivatives. The main improvements with resp…
