Abstract:We consider a non-commutative polynomial in several independent $N$-dimensional random unitary matrices, uniformly distributed over the unitary, orthogonal or symmetric groups, and assume that the coefficients are $n$-dimensional matrices. The main purpose of this paper is to study the operator norm of this random non-commutative polynomial. We compare it with its counterpart where the the random unitary matrices are replaced by the unitary generators of the free group von Neumann algebra. Our first result is that these two norms are overwhelmingly close to each other in the large $N$ limit, and this estimate is uniform over all matrix coefficients as long as $n \le\exp (N^\alpha)$ for some explicit $\alpha >0$. Such results had been obtained by very different techniques for various regimes, all falling in the category $n\ll N$. Our result provides a new proof of the Peterson-Thom conjecture. Our second result is a universal quantitative lower bound for the operator norm of polynomials in independent $N$-dimensional random unitary and permutation matrices with coefficients in an arbitrary $C^*$-algebra. A variant of this result for permutation matrices generalizes the Alon-Boppana lower bound in two directions. Firstly, it applies for arbitrary polynomials and not only linear polynomials, and secondly, it applies for coefficients of an arbitrary $C^*$-algebra with non-negative joint moments and not only for non-negative real numbers.

Generalization and variations of Pellet's theorem for matrix polynomials

Eigenvalue bounds for matrix polynomials in generalized bases

A Matrix Generalization of the Hardy-Littlewood-Pólya Rearrangement Inequality and Its Applications

A theorem on the Gram matrix of a polyhedron

A generalization of Lévy's theorem on positive matrix semigroups

Some properties of general-$λ$-matrix polynomials: an umbral approach

On matrix analogs of Fermat’s little theorem

A Generalization of a Levitin and Parnovski Universal Inequality for Eigenvalues

Szegő's Theorem for Matrix Orthogonal Polynomials

An evolution of matrix-valued orthogonal polynomials

The Szász inequality for matrix polynomials and functional calculus

Structured Multi-Matrix Variate, Matrix Polynomial Equations: Solution Techniques

Matrix orthogonal polynomials whose derivatives are also orthogonal

Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Annihilating Polynomials

Norm of matrix-valued polynomials in random unitaries and permutations

A new proof of the Perron-Frobeniuos theorem, a variational approach

On the complexity of matrix Putinar's Positivstellensatz

Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

Eigenvalues of random lifts and polynomials of random permutation matrices

Power iteration for matrices with power series entries