Peter Sarnak Institute for Advanced Study The Solovay-Kitaev theorem ensures the existence of universal quantum gates. We explain how arithmetic quaternion and orthogonal groups and automorphic forms associated with them are used to construct the most efficient (in terms of the complexity of the corresponding circuits) known universal quantum gates.