Quantum Unique Ergodicity for Cayley Graphs of Quasirandom Groups

A finite group G is called C-quasirandom (by Gowers) if all non-trivial irreducible complex representations of G have dimension at least C. For any unit [Formula: see text] function on a finite group we associate the quantum probability measure on the group given by the absolute value squared of the function. We show that if a group is highly quasirandom, in the above sense, then any Cayley graph of this group has an orthonormal eigenbasis of the adjacency operator such that the quantum probability measures of the eigenfunctions put close to the correct proportion of their mass on suitably selected subsets of the group that are not too small.