1: \begin{abstract}

2: A finite group $G$ is called $C$-quasirandom (by Gowers) if all

3: non-trivial irreducible complex representations of $G$ have dimension

4: at least $C$. For any unit $\ell^{2}$ function on a finite group

5: we associate the \emph{quantum probability measure} on the group given

6: by the absolute value squared of the function. 

7: 

8: We show that if a group is highly quasirandom, in the above sense,

9: then any Cayley graph of this group has an orthonormal eigenbasis

10: of the adjacency operator such that the quantum probability measures

11: of the eigenfunctions put close to the correct proportion of their

12: mass on suitably selected subsets of the group that are not too small. 

13: 

14: \end{abstract}

15: