We introduce canonical forms for single qutrit Clifford+T circuits and prove that every single-qutrit Clifford+T operator admits a unique such canonical form. We show that our canonical forms are T-optimal in the sense that among all the single-qutrit Clifford+T circuit... View more
 V. V. Albert, K. Noh, K. Duivenvoorden, D. Young, R. Brierley, P. Reinhold, C. Vuillot, L. Li, C. Shen, S. Girvin, B. Terhal, and L. Jiang. Performance and structure of single-mode bosonic codes. aug 2017.
 A. Blass, A. Bocharov, and Y. Gurevich. Optimal ancilla-free Pauli+V circuits for axial rotations. Dec. 2014.
 A. Bocharov. A note on optimality of quantum circuits over metaplectic basis. June 2016.
 A. Bocharov, S. X. Cui, M. Roetteler, and K. M. Svore. Improved quantum ternary arithmetics. Dec. 2015.
 A. Bocharov, X. Cui, V. Kliuchnikov, and Z. Wang. Efficient topological compilation for weakly-integral anyon model. Apr. 2015.
 A. Bocharov, Y. Gurevich, and K. M. Svore. Efficient decomposition of single-qubit gates into V basis circuits. Phys. Rev. A, 88:012313 (13 pages), 2013.
 A. Bocharov, M. Roetteler, and K. M. Svore. Factoring with qutrits: Shor's algorithm on ternary and metaplectic quantum architectures. May 2016.
 C. M. Dawson and M. A. Nielsen. The Solovay-Kitaev algorithm. Quantum Information and Computation, 6(1):81-95, Jan. 2006.
 S. Forest, D. Gosset, V. Kliuchnikov, and D. McKinnon. Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets. Jan. 2015.
 B. Giles and P. Selinger. Remarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators. Dec. 2013.