Orbit-blocking words and the average-case complexity of Whitehead's problem in the free group of rank 2

Lucy Hyde, Siobhan O'Connor, Vladimir Shpilrain

Let F_2 denote the free group of rank 2. Our main technical result of independent interest is: for any element u of F_2, there is g in F_2 such that no cyclically reduced image of…