Large deviation for the empirical eigenvalue density of truncated Haar unitary matrices

Denes Petz, Julia Reffy

Let $U_m$ be an $m\times m$ Haar unitary matrix and $U_{[m,n]}$ be its $n\times n$ truncation. In this paper the large deviation is proven for the empirical eigenvalue density of…