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

DOI10.4310/CJM.2022.V10.N1.A3MaRDI QIDQ2129686zbMATH OpenFDO

Authors Félix Parraud, Benoit Collins, Alice Guionnet

Publication date 22 April 2022

Published in Cambridge Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.04588

zbMATH Keywords

free probability theoryGUE random matrices

Mathematics Subject Classification ID

Noncommutative measure and integration (46L51) Noncommutative probability and statistics (46L53) Free probability and free operator algebras (46L54) Convergence of probability measures (60B10) Probability measures on groups or semigroups, Fourier transforms, factorization (60B15) Random matrices (probabilistic aspects) (60B20)

Abstract: Let $X^N=(X_1^N,dots,X_d^N)$ be a d-tuple of $NimesN$ independent GUE random matrices and $Z^{NM}$ be any family of deterministic matrices in $mathbb{M}_N(mathbbC)otimesmathbb{M}_M(mathbbC)$. Let $P$ be a self-adjoint non-commutative polynomial. A seminal work of Voiculescu shows that the empirical measure of the eigenvalues of $P(X^N)$ converges towards a deterministic measure defined thanks to free probability theory. Let now $f$ be a smooth function, the main technical result of this paper is a precise bound of the difference between the expectation of ${\displaystyle }$frac{1}{MN} ext{Tr}left( f(P(X^Notimes I_M,Z^{NM})) ight)${\displaystyle }$ and its limit when $N$ goes to infinity. If $f$ is six times differentiable, we show that it is bounded by $M^{2}leftVertfightVer{t}_{mathcal{C}^6}{N}^{-2}$. As a corollary we obtain a new proof of a result of Haagerup and Thorbjo rnsen, later developed by Male, which gives sufficient conditions for the operator norm of a polynomial evaluated in $(X^N,Z^{NM},{Z^{NM}}^{\ast })$ to converge almost surely towards its free limit. Restricting ourselves to polynomials in independent GUE matrices, we give concentration estimates on the largest eingenvalue of these polynomials around their free limit. A direct consequence of these inequalities is that there exists some $$ such that for any $$ and $varepsilo{n}_2<1/4$, almost surely for $N$ large enough, ${\displaystyle }$-frac{1}{N^{varepsilon_1}} leq | P(X^N)| - leftVert P(x) ightVert leq frac{1}{N^{varepsilon_2}}.${\displaystyle }$ Finally if $X^N$ and $Y^{M_N}$ are independent and $M_N=o(N^{1/3})$, then almost surely, the norm of any polynomial in $(X^{N}otimes{I}_{M_N},I_{N}otimes{Y}^{M_N})$ converges almost surely towards its free limit. This result is an improvement of a Theorem of Pisier, who was himself using estimates from Haagerup and Thorbjo rnsen, where $M_N$ had size $o(N^{1/4})$.

Recommendations

• On the operator norm of non-commutative polynomials in deterministic matrices and iid Haar unitary matrices
• Asymptotic expansion of smooth functions in polynomials in deterministic matrices and iid GUE matrices
• The norm of polynomials in large random and deterministic matrices
• Concentration for noncommutative polynomials in random matrices
• Convergence of the largest singular value of a polynomial in independent Wigner matrices

Cited in

(18)

• The norm of polynomials in large random and deterministic matrices
• Spectrum and pseudospectrum for quadratic polynomials in Ginibre matrices
• On the operator norm of non-commutative polynomials in deterministic matrices and iid Haar unitary matrices
• Asymptotic expansion of smooth functions in polynomials in deterministic matrices and iid GUE matrices
• Concentration estimates for random subspaces of a tensor product and application to quantum information theory
• Matrix concentration inequalities and free probability
• Convergence for noncommutative rational functions evaluated in random matrices
• Asymptotic freeness through unitaries generated by polynomials of Wigner matrices
• Norm convergence rate for multivariate quadratic polynomials of Wigner matrices
• Strong asymptotic freeness of Haar unitaries in quasi-exponential dimensional representations
• Kronecker-product random matrices and a matrix least squares problem
• The free energy of matrix models
• Consequences of the random matrix solution to the Peterson-Thom conjecture
• Combinatorial aspects of Parraud's asymptotic expansion for GUE matrices
• Strongly convergent unitary representations of right-angled Artin groups
• A new approach to strong convergence
• A new approach to strong convergence. II: The classical ensembles
• Asymptotic expansion of smooth functions in deterministic and iid Haar unitary matrices, and application to tensor products of matrices

This page was built for publication: On the operator norm of non-commutative polynomials in deterministic matrices and iid GUE matrices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2129686)