The compact-group word-measure orbit conjecture

Let F\mathbf{F} be the free group, and let w1,w2Fw_{1},w_{2}\in\mathbf{F}. For a compact group GG, write μw\mu_{w} for the probability measure on GG obtained by evaluating ww on a Haar-random homomorphism from F\mathbf{F} to GG. Compact-group word-measure orbit conjecture. If μw1=μw2\mu_{w_{1}}=\mu_{w_{2}} for every compact group GG, then

w2Aut(F).w1.w_{2}\in\operatorname{Aut}(\mathbf{F}).w_{1}.

This asks whether word measures on all compact groups separate the Aut(F)\operatorname{Aut}(\mathbf{F})-orbits of words. It is presented as a conjecture in the source, with no resolution stated.

Sources & referencesView supporting material

Primary source

Benoît Collins, Michael Magee and Doron Puder, “Automorphism-invariant positive definite functions on free groups”, arXiv:1906.01518 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.