Abstract:A family of random matrices $\boldsymbol{X}^N=(X_1^N,\ldots,X_d^N)$ converges strongly to a family $\boldsymbol{x}=(x_1,\ldots,x_d)$ in a $C^*$-algebra if $\|P(\boldsymbol{X}^N)\|\to\|P(\boldsymbol{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(\boldsymbol{X}^N)$ is a rational function of $\frac{1}{N}$ 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 sharp 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.

Applications of -strongly convergent sequences to Fourier series by means of modulus functions

A new approach to strong convergence

Strong Convergence Theorems for Relatively Nonexpansive Mappings and Variational Inclusions in Banach Spaces

An Analysis of the Convergence Problem of a Function in Functional Norms by Applying the Generalized Nörlund-Matrix Product Operator

A Certain Class of Statistical Probability Convergence and Its Applications to Approximation Theorems

An analysis of the convergence problem of a function of hexagonal Fourier series in generalized Hölder norm using Hausdorff operator

On the convergence of some spectral characteristics of the converging operator sequences

Zero-extension convergence and Sobolev spaces on changing domains

Applications of martingale Hardy Orlicz–Lorentz–Karamata theory in Fourier analysis

On the coexistence of convergence and divergence phenomena for integral averages and an application to the Fourier–Haar series

Increasingly global convergence of Hermite serie

A Certain Class of Equi-Statistical Convergence in the Sense of the Deferred Power-Series Method

A New Look at Old Theorems of Fejér and Hardy

A certain class of weighted statistical convergence and associated Korovkin-type approximation theorems involving trigonometric functions

A stronger form of Yamamoto's theorem II -- Spectral operators

Generalized Convergence for Multi-Step Schemes under Weak Conditions

Almost everywhere summability of Fourier series with indicating the set of convergence

L-Series for Vector-Valued Weakly Holomorphic Modular Forms and Converse Theorems

On set-convergence statistically modulated

Common spectral properties and -convergence

Unconditional convergence of general Fourier series