Arithmetic groups and the Lehmer conjecture

In this paper, we generalize a result of Sury and show that uniform discreteness of cocompact lattices in higher rank semisimple Lie groups is equivalent to a weak form of Lehmer's conjecture. We also survey some related conjectures.