On the operator norm of non-commutative polynomials in deterministic matrices and iid Haar unitary matrices

• 成果类型: Article
• 署名作者: Parraud, Felix
• 署名单位: Ecole Normale Superieure de Lyon (ENS de LYON); Kyoto University
• 刊物名称: PROBABILITY THEORY AND RELATED FIELDS
• ISSN/ISSBN: 0178-8051
• DOI: 10.1007/s00440-021-01101-0
• 发表日期: 2022
• 页码: 751-806
• 关键词: 2nd-order freeness; independent wigner; fluctuations; calculus; LAWS

摘要

Let U-N = (U-1(N), ..., U-p(N)) be a p-tuple of N x N independent Haar unitary matrices and Z(NM) be any family of deterministic matrices in M-N(C) circle times M-M(C). Let P be a self-adjoint non-commutative polynomial. In Voiculescu (Int Math Res Notices 1:41-63, 1998), Voiculescu showed that the empirical measure of the eigenvalues of this polynomial evaluated in Haar unitary matrices and deterministic matrices converges towards a deterministic measure defined thanks to free probability theory. Now, let f be a smooth function. The main technical result of this paper is a precise bound of the difference between the expectation of 1/MN Tr-MN(C) circle times Tr-MM(C) (integral(P(U-N circle times I-M, Z(NM)))), and its limit when N goes to infinity. If f is seven times differentiable, we show that it is bounded by M-2 parallel to f parallel to(C6) ln(2)(N) x N-2. As a corollary we obtain a new proof with quantitative bounds of a result of Collins and Male which gives sufficient conditions for the operator norm of a polynomial evaluated in Haar unitary matrices and deterministic matrices to converge almost surely towards its free limit. Our result also holds in much greater generality. For instance, it allows to prove that if U-N and Y-MN are independent and M-N = o(N-1/3 ln(-2/3)(N)), then the norm of any polynomial in (U-N circle times I-MN, I-N circle times Y-MN) converges almost surely towards its free limit. Previous results required that M = M-N is constant.