Random matrix
= Random matrix
A random <matrix> is a <matrix> whose entries are <random variables>. Its <eigenvalues> form a random configuration, and its <empirical spectral measure> records their distribution with equal mass on each <eigenvalue>. Entry assumptions and normalization determine the spectral regime.