Clusters, currents and Whitehead's algorithm
arXiv:math/0511478
Abstract
Using geodesic currents, we provide a theoretical justification for some of the experimental results regarding the behavior of Whitehead's algorithm on non-minimal inputs, that were obtained by Haralick, Miasnikov and Myasnikov via pattern recognition methods. In particular we prove that the images of "random" elements of a free group under the automorphisms of form "clusters" that share similar normalized Whitehead graphs and similar behavior with respect to Whitehead's algorithm.
Updated version, to appear in "Experimental Mathematics"