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.

On the Zero Entries in a Unitary Matrix

Factorization and Uniton Numbers for Harmonic Maps into the Unitary Group U(N)

Mutually-orthogonal unitary and orthogonal matrices

Unipotent representations of real classical groups

More about unphysical zeroes in quark mass matrices

On Poles and Zeros of Linear Quantum Systems

The irreducible representations of the coordinate ring of the quantum matrix space

Explicit Hilbert spaces for the unitary dual of rank one orthogonal groups and applications

Tight general bounds for the extremal numbers of 0-1 matrices

On Double-One Matrices and Double-Zero Matrices

Strong asymptotic freeness for independent uniform variables on compact groups associated to nontrivial representations

Zeros of the Brownian Sheet

Zero sum sets in abelian groups

Norm of matrix-valued polynomials in random unitaries and permutations

On zeros of discrete paraorthogonal polynomials on the unit circle

Asymptotic free independence and entry permutations for Gaussian random matrices. Part II: Infinitesimal freeness

Diagonal unitary and orthogonal symmetries in quantum theory II: Evolution operators

Approximate orthogonality of permutation operators, with application to quantum information

Frobenius-König theorem for classes of (0,±1)-matrices

A Note on the Union-closed Sets Conjecture

Necessary and Sufficient Condition for Zero Quantum Discord