\documentclass[12pt]{article}
\usepackage{amsmath,amssymb,amsfonts}
\begin{document}
We prove that Cayley graphs of
PSL$_{2}(\mathbb{Z}/p^n
\mathbb{Z})$ have uniform polylog diameter with respect to the
natural projection of elements in PSL$_{2}(\mathbb{Z})$
generating a dense subgroup. The proof also provides a fast
algorithm for finding a short path between two vertices.
\end{document}