The frequency space of a free group
Abstract
Description
We analyze the structure of the \emph{frequency space} $Q(F)$ of a nonabelian free group $F=F(a_1,...,a_k)$ consisting of all shift-invariant Borel probability measures on $\partial F$ and construct a natural action of $Out(F)$ on $Q(F)$. In particular we prove that for any outer automorphism $ϕ$ of $F$ the \emph{conjugacy distortion spectrum} of $ϕ$, consisting of all numbers $||ϕ(w)||/||w||$, where $w$ is a nontrivial conjugacy class, is the intersection of $\mathbb Q$ and a closed subinterval of $\mathbb R$ with rational endpoints. We also provide an algorithm for detecting strict hyperbolicity of an automorphism of $F$.
Revised version, to appear in IJAC (special issue dedicated to Grigorchuk's 50's birthday)
Revised version, to appear in IJAC (special issue dedicated to Grigorchuk's 50's birthday)