Elementary Proof for Asymptotics of Large Haar-Distributed Unitary Matrices

Christian Mastrodonato, Roderich Tumulka

We provide an elementary proof for a theorem due to Petz and Réffy which states that for a random $n\times n$ unitary matrix with distribution given by the Haar measure on the unit…