Motivated by results about "untangling" closed curves on hyperbolic surfaces, Gupta and Kapovich introduced the primitivity and simplicity index functions for finitely generated free groups, $d_{prim}(g;F_N)$ and $d_{simp}(g;F_N)$, where $1\ne g\in F_N$, and obtained some upper and lower bounds for these functions. In this paper, we study the behavior of the sequence $d_{prim}(a^nb^n; F(a,b))$ as $n\to\infty$. Answering a question of Kapovich, we prove that this sequence is unbounded and that for $n_i=lcm(1,2,\dots,i)$, we have $|d_{prim}(a^{n_i}b^{n_i}; F(a,b))-\log(n_i)|\le o(\log(n_i))$. By contrast, we show that for all $n\ge 2$, one has $d_{simp}(a^nb^n; F(a,b))=2$. In addition to topological and group-theoretic arguments, number-theoretic considerations, particularly the use of asymptotic properties of the second Chebyshev function, turn out to play a key role in the proofs.
Comment: 16 pages, 3 figures; to appear in International Journal of Algebra and Computation