English

On the Fourier coefficients of word maps on unitary groups

Probability 2025-07-30 v2 Group Theory

Abstract

Given a word w(x1,,xr)w(x_{1},\ldots,x_{r}), i.e., an element in the free group on rr elements, and an integer d1d\geq1, we study the characteristic polynomial of the random matrix w(X1,,Xr)w(X_{1},\ldots,X_{r}), where XiX_{i} are Haar-random independent d×dd\times d unitary matrices. If cm(X)c_{m}(X) denotes the mm-th coefficient of the characteristic polynomial of XX, our main theorem implies that there is a positive constant ϵ(w)\epsilon(w), depending only on ww, such that E(cm(w(X1,,Xr)))(dm)1ϵ(w), \left|\mathbb{E}\left(c_{m}\left(w(X_{1},\ldots,X_{r})\right)\right)\right|\leq\left(\begin{array}{c} d\\ m \end{array}\right)^{1-\epsilon(w)}, for every dd and every 1md1\leq m\leq d. Our main computational tool is the Weingarten Calculus, which allows us to express integrals on unitary groups such as the expectation above, as certain sums on symmetric groups. We exploit a hidden symmetry to find cancellations in the sum expressing E(cm(w))\mathbb{E}\left(c_{m}(w)\right). These cancellations, coming from averaging a Weingarten function over cosets, follow from Schur's orthogonality relations.

Keywords

Cite

@article{arxiv.2210.04164,
  title  = {On the Fourier coefficients of word maps on unitary groups},
  author = {Nir Avni and Itay Glazer},
  journal= {arXiv preprint arXiv:2210.04164},
  year   = {2025}
}

Comments

30 pages, second version following feedback from the referees. To appear in Compositio Mathematica