# The problems of global asymptotic freeness

Let $$X_{N}inmathcal{M}_{N}big(L^{infty-}(Omega,mathbb{P})big)$$ be a $$Ntimes N$$ random complex matrix such its entries $$(x_{ij}, 1leq i, jleq N)$$ be $$i.i.d.$$, centred with variance $$1$$. $$X_{N}$$ is called a non-selfadjoint random matrices. In particular, if the entries follow a Gaussian law, the matrix is said non-selfadjoin Gaussian random matrix.

Whereas non-selfadjoint Gaussian random matrices are unitarily invariant this is not true any more for general non-Hermitian random matrices; thus we cannot use the results about Haar unitary random matrices or Wick formula to derive asymptotic freeness results for general non-selfadjoint random matrices. Nevertheless, there are many results in the literature which show that non-Hermitian random matrices behave with respect to eigenvalue questions in the same way as non-Hermitian Gaussian random matrices. For example, their eigenvalue distribution converges always to a circle, $$i.e$$,

$$mu_{frac{1}{sqrt{N}}X_{N}}=frac{1}{N}#lbrace ileq N:text{Re }(lambda_{i})leq x, text{Im}(lambda_{i})leq y rbrace$$
converge in distribution to the circular law $$mu_{circ}=frac{1}{pi} 1_{mid x^{2}mid+ mid y^{2} mid leq 1},$$
where the $$lambda_{i}$$ are the eigenvalues of $$mu_{frac{1}{sqrt{N}}X_{N}}$$, and $$x,y$$ are the real and imaginary coordinates of the complex plane.

Let $$G_N$$, $$G’_N$$ be two indépendent non-selfadjoint Gaussian random matrices. By Girko Theorem, $$G_N$$, $$G’_N$$ converge in distribution to circular elements $$mu_{circ}, mu’_{circ}$$, if $$Ntoinfty$$. In Voiculescu’s Free Probability, this means that

$$G_Nxrightarrow[Nto+infty]{}c$$, $$G’_Nxrightarrow[Nto+infty]{}c’$$,

where $$c$$, $$c’$$ are two circular elements. Then, $$G_N$$, $$G’_N$$ are
asymptotically free, $$i.e,$$

$$(G_N, G’_N)xrightarrow[Nto+infty]{}(c, c’)$$ in distribution, and $$(c, c’)$$ are free.

How about the asymptotic freeness of general two non-selfadjoint random matrices $$X_N, X’_N$$?

Is it true that $$X_N, X’_N$$ converge in distribution to two free circular elements, when $$Ntoinfty$$ like in the Gaussian case bellow?

One can ask the same questions for sample covariance matrices, whih are general Wishart matrices.

I know that the similar problem in the context of selfadjoint random matrices – the so called Wigner matrices- is solved by respectively Dykema; Anderson, Guionet and Zeitouni; Speicher and Mingo. Wigner matrices are random matrices whcih are random matrices with the entries are, apart from symmetry conditions, independent and identically distributed but with arbitrary, not necessarily Gaussian, distribution.

In one of his articles, Prof. Roland Speicher Wrote:
“In general, the distribution of $$p(X_N, Y_N)$$ will depend on the relation between the eigenspaces of $$X_N$$ and of $$Y_N$$. However, by the concentration of measure phenomenon, we expect that for large N this relation between the eigenspaces concentrates on typical or generic positions, and that then the asymptotic eigenvalue distribution of $$p(X_N, Y_N)$$ depends in a deterministic way only on the asymptotic eigenvalue distribution of $$X_N$$ and on the asymptotic eigenvalue distribution of $$Y_N.$$“, where here $$p(X,N, Y_N)$$ is a non commutative polynomials in two selfadjoint Gaussian random matrices. What does intuitively typical or generic positions mean?

MathOverflow Asked by Iliyo on December 29, 2020

Motivated partly by questions like this I have addressed the question on asymptotic freeness of Wigner matrices in my blog on free probability; I hope to come back with a summary of nice statements and clean proofs sometimes soon ...

Answered by Roland Speicher on December 29, 2020

## Related Questions

### Is there a source in which Demazure’s function $p$ defined in SGA3, exp. XXI, is calculated?

0  Asked on December 15, 2021 by inkspot

### Potential p-norm on tuples of operators

1  Asked on December 15, 2021 by chris-ramsey

### Understanding a quip from Gian-Carlo Rota

5  Asked on December 13, 2021 by william-stagner

### What is Chemlambda? In which ways could it be interesting for a mathematician?

1  Asked on December 13, 2021

### Degree inequality of a polynomial map distinguishing hyperplanes

1  Asked on December 13, 2021

### The inconsistency of Graham Arithmetics plus $forall n, n < g_{64}$

2  Asked on December 13, 2021 by mirco-a-mannucci

### Subgraph induced by negative cycles detected by Bellman-Ford algorithm

0  Asked on December 13, 2021

### How to obtain matrix from summation inverse equation

1  Asked on December 13, 2021 by jdoe2

### Is $arcsin(1/4) / pi$ irrational?

3  Asked on December 13, 2021 by ikp

### A mutliplication for distributive lattices via rowmotion

0  Asked on December 13, 2021

### Tensor product of unit and co-unit in a closed compact category

1  Asked on December 13, 2021 by andi-bauer

### Finite subgroups of $SL_2(mathbb{C})$ arising as a semi-direct product

1  Asked on December 13, 2021 by user45397

### Uniqueness of solutions of Young differential equations

0  Asked on December 13, 2021

### Differentiation under the integral sign for a $L^1$-valued function (shape derivative)

0  Asked on December 13, 2021

### Digraphs with exactly one Eulerian tour

2  Asked on December 13, 2021

### Exactness of completed tensor product of nuclear spaces

1  Asked on December 11, 2021

### An integral with respect to the Haar measure on a unitary group

1  Asked on December 11, 2021

### Best known upper bound for Dedekind zeta function on line $sigma=1$ in the $t$ aspect

0  Asked on December 11, 2021

### Regularity with respect to the Lebesgue measure through dimensions

0  Asked on December 11, 2021 by titouan-vayer

### Reference request on Gentzen’s proof of the consistency of PA

1  Asked on December 11, 2021