Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits

Matthew Amy, Andrew N. Glaudell, Neil J. Ross

Kliuchnikov, Maslov, and Mosca proved in 2012 that a $2\times 2$ unitary matrix $V$ can be exactly represented by a single-qubit Clifford+$T$ circuit if and only if the entries of…