A new approach to strong convergence

A family of random matrices XN= (X₁N, , XdN) converges strongly to a family x= (x₁, , xd) in a C^*-algebra if \|P (XN) \|\|P (x) \| for every noncommutative polynomial P. This phenomenon plays a central role in several recent breakthrough results on random graphs, geometry, and operator algebras. However, strong convergence is notoriously difficult to prove and has generally required delicate problem-specific methods. In this paper, we develop a new approach to strong convergence that uses only soft arguments. Our method exploits the fact that for many natural models, the expected trace of P (XN) is a rational function of 1N whose lowest order asymptotics are easily understood. We develop a general technique to deduce strong convergence directly from these inputs using the inequality of A. and V. Markov for univariate polynomials and elementary Fourier analysis. To illustrate the method, we develop the following applications. 1. We give a short proof of the result of Friedman that random regular graphs have a near-optimal spectral gap, and obtain a detailed understanding of the large deviations probabilities of the second eigenvalue. 2. We prove a strong quantitative form of the strong convergence property of random permutation matrices due to Bordenave and Collins. 3. We extend the above to any stable representation of the symmetric group, providing many new examples of the strong convergence phenomenon.