Abstract By strengthening known results about primitivity-blocking words in free groups, we prove that, for any element 𝑤 of a free group of finite rank, there are words that cannot be subwords of any cyclically reduced automorphic image of 𝑤. This has implications for the average-case complexity of a variant of Whitehead’s problem.
Koch-Hyde et al. (Tue,) studied this question.