  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 $\ell^{2}$ 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 subsets of the group that are not too
small.
