Answers are grounded in this paper and cite their sources.
We prove that Cayley graphs of SL_2(ℤ/p^nℤ) are expanders with respect to the projection of any fixed elements in SL_2(ℤ) generating a Zariski-dense subgroup.
No takes yet. Share an insight, caveat, or question.
Bourgain et al. (2008) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: