Universality of free random variables: Atoms for non-commutative rational functions

Octavio Arizmendi,Guillaume Cébron,Roland Speicher,Sheng Yin
DOI: https://doi.org/10.1016/j.aim.2024.109595
IF: 1.675
2024-05-01
Advances in Mathematics
Abstract:Consider a tuple ( Y 1 , … , Y d ) of normal operators in a tracial operator algebra setting with prescribed sizes of the eigenspaces for each Y i . We address the question what one can say about the sizes of the eigenspaces for any non-commutative polynomial P ( Y 1 , … , Y d ) in those operators? We show that for each polynomial P there are unavoidable eigenspaces, which occur in P ( Y 1 , … , Y d ) for any ( Y 1 , … , Y d ) with the prescribed eigenspaces for the marginals. We will describe this minimal situation both in algebraic terms - where it is given by realizations via matrices over the free skew field and via rank calculations - and in analytic terms - where it is given by freely independent random variables with prescribed atoms in their distributions. This allows us to draw many new conclusions about atoms in polynomials of free variables. In particular, we give a complete description of atoms in the free commutator and the free anti-commutator. Furthermore, our results do not only apply to polynomials, but more generally also to non-commutative rational functions. Since many random matrix models become asymptotically free in the large N limit, our results allow us to calculate the location and size of atoms in the asymptotic eigenvalue distribution of polynomials and rational functions in randomly rotated matrices. Applications to the Atiyah property and to the calculation of the spectrum of universal covers of graphs are also presented.
mathematics
What problem does this paper attempt to address?