1: \begin{abstract}

2: Every word $w$ in a free group naturally induces a probability measure

3: on every compact group $G$. For example, if $w=\left[x,y\right]$

4: is the commutator word, a random element sampled by the $w$-measure

5: is given by the commutator $\left[g,h\right]$ of two independent,

6: Haar-random elements of $G$. Back in 1896, Frobenius showed that

7: if $G$ is a finite group and $\psi$ an irreducible character, then

8: the expected value of $\psi\left(\left[g,h\right]\right)$ is $\frac{1}{\psi\left(e\right)}$.

9: This is true for any compact group, and completely determines the

10: $\left[x,y\right]$-measure on these groups. An analogous result holds

11: with the commutator word replaced by any surface word. 

12: 

13: We prove a converse to this theorem: if $w$ induces the same measure

14: as $\left[x,y\right]$ on every compact group, then, up to an automorphism

15: of the free group, $w$ is equal to $\left[x,y\right]$. The same

16: holds when $\left[x,y\right]$ is replaced by any surface word.

17: 

18: The proof relies on the analysis of word measures on unitary groups

19: and on orthogonal groups, which appears in separate papers, and on

20: new analysis of word measures on generalized symmetric groups that

21: we develop here.

22: \end{abstract}