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.
Back to Zariski-dense Subgroups