Multivariate normal approximation for traces of random unitary matrices

In this article, we obtain a super-exponential rate of convergence in total variation between the traces of the first $m$ powers of an $n\times n$ random unitary matrices and a $2m$-dimensional Gaussian random variable. This generalizes previous results in the scalar case to the multivariate setting, and we also give the precise dependence on the dimensions $m$ and $n$ in the estimate with explicit constants. We are especially interested in the regime where $m$ grows with $n$ and our main result basically states that if $m\ll \sqrt{n}$, then the rate of convergence in the Gaussian approximation is $\Gamma(\frac nm+1)^{-1}$ times a correction. We also show that the Gaussian approximation remains valid for all $m\ll n^{2/3}$ without a fast rate of convergence.

[1]  Kurt Johansson,et al.  Multivariate normal approximation for traces of orthogonal and symplectic matrices , 2021 .

[2]  Sho Matsumoto,et al.  Moments of traces of circular beta-ensembles , 2011, 1102.4123.

[3]  Kurt Johansson,et al.  ON RANDOM MATRICES FROM THE COMPACT CLASSICAL GROUPS , 1997 .

[4]  G. Baxter Polynomials defined by a difference system , 1960 .

[5]  Persi Diaconis,et al.  Linear functionals of eigenvalues of random matrices , 2000 .

[6]  S. Berezin,et al.  On the Rate of Convergence in the Central Limit Theorem for Linear Statistics of Gaussian, Laguerre, and Jacobi Ensembles , 2019, 1904.09685.

[7]  Christian Linear statistics of the circular β-ensemble , stein ’ s method , and circular Dyson Brownian motion , 2016 .

[8]  A. Devinatz An extension of a limit theorem of G. Szegö , 1966 .

[9]  Mesoscopic central limit theorem for the circular $\beta $-ensembles and applications , 2019, 1902.06611.

[10]  Ira M. Gessel,et al.  Symmetric functions and P-recursiveness , 1990, J. Comb. Theory, Ser. A.

[11]  Gaultier Lambert Mesoscopic central limit theorem for the circular β-ensembles and applications * , 2021 .

[12]  Stein's method and the multivariate CLT for traces of powers on the classical compact groups , 2010, 1012.3730.

[13]  O. Gorodetsky,et al.  Traces of powers of matrices over finite fields , 2019, Transactions of the American Mathematical Society.

[14]  On the Determinant Formulas by Borodin, Okounkov, Baik, Deift and Rains , 2001, math/0101008.

[15]  P. Diaconis,et al.  On the eigenvalues of random matrices , 1994, Journal of Applied Probability.

[16]  P. Deift,et al.  Toeplitz Matrices and Toeplitz Determinants under the Impetus of the Ising Model: Some History and Some Recent Results , 2012, 1207.4990.

[17]  QUANTITATIVE NORMAL APPROXIMATION OF LINEAR STATISTICS OF β-ENSEMBLES BY GAULTIER LAMBERT1, , 2018 .

[18]  Christian Webb Linear statistics of the circular $\beta$-ensemble, Stein's method, and circular Dyson Brownian motion , 2015, 1507.08670.

[19]  K. Case,et al.  Scattering theory and polynomials orthogonal on the unit circle , 1979 .

[20]  G. Szegö,et al.  [52–2] On Certain Hermitian Forms Associated with the Fourier Series of a Positive Function , 1982 .

[21]  Barry Simon,et al.  Orthogonal polynomials on the unit circle. Part 1 , 2005 .

[22]  Daniel W. Lozier,et al.  NIST Digital Library of Mathematical Functions , 2003, Annals of Mathematics and Artificial Intelligence.

[23]  Alexei Borodin,et al.  A Fredholm determinant formula for Toeplitz determinants , 1999, math/9907165.

[24]  B. Simon Trace ideals and their applications , 1979 .

[25]  On a Toeplitz determinant identity of Borodin and Okounkov , 1999, math/9909010.