@unpublished(Aharonov03asimple, author = {Dorit Aharonov}, year = {2003}, title = {A simple proof that {Toffoli} and {Hadamard} are quantum universal}, note = {Available at arXiv:\urlalt{http://arxiv.org/abs/quant-ph/0301040}{quant-ph/0301040}}, ) @article(amy2019, author = {Matthew Amy}, year = {2019}, title = {Towards large-scale functional verification of universal quantum circuits}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {287}, pages = {1--21}, doi = {10.4204/EPTCS.287.1}, ) @article(AGR2019, author = {Matthew Amy and Andrew N. Glaudell and Neil J. Ross}, year = {2020}, title = {Number-theoretic characterizations of some restricted {Clifford}+{$T$} circuits}, journal = {{Quantum}}, volume = {4}, pages = {252}, doi = {10.22331/q-2020-04-06-252}, note = {Also available at arXiv:\urlalt{http://arxiv.org/abs/1908.06076}{1908.06076}}, ) @article(bjs2010, author = {Michael J. Bremner and Richard Jozsa and Dan J. Shepherd}, year = {2011}, title = {Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy}, journal = {Proceedings of The Royal Society A}, volume = {467}, number = {2126}, doi = {10.1098/rspa.2010.0301}, note = {Also available at arXiv:\urlalt{http://arxiv.org/abs/1005.1407}{1005.1407}}, ) @article(fgkm15, author = {Simon Forest and David Gosset and Vadym Kliuchnikov and David McKinnon}, year = {2015}, title = {Exact synthesis of single-qubit unitaries over {Clifford}-Cyclotomic gate sets}, journal = {Journal of Mathematical Physics}, volume = {56}, number = {8}, pages = {082201}, doi = {10.1063/1.4927100}, note = {Also available at arXiv:\urlalt{http://arxiv.org/abs/1501.04944}{1501.04944}}, ) @article(GS13, author = {Brett Giles and Peter Selinger}, year = {2013}, title = {Exact synthesis of multiqubit {Clifford}+{$T$} circuits}, journal = {Physical Review A}, volume = {87}, number = {3}, pages = {032332}, doi = {10.1103/PhysRevA.87.032332}, note = {Also available at arXiv:\urlalt{http://arxiv.org/abs/1212.0506}{1212.0506}}, ) @article(glaudell2021optimal, author = {Andrew N. Glaudell and Neil J. Ross and Jacob M. Taylor}, year = {2021}, title = {Optimal two-qubit circuits for universal fault-tolerant quantum computation}, journal = {npj Quantum Information}, volume = {7}, number = {103}, doi = {10.1038/s41534-021-00424-z}, ) @mastersthesis(Gr2014, author = {Seth E. M. Greylyn}, year = {2014}, title = {Generators and relations for the group {$\mathrm{U}_4(\mathbb{Z}[1/\sqrt{2},i])$}}, school = {Department of Mathematics and Statistics, Dalhousie University}, note = {Available at arXiv:\urlalt{http://arxiv.org/abs/1408.6204}{1408.6204}}, ) @book(KLM07, author = {Phillip Kaye and Raymond Laflamme and Michele Mosca}, year = {2007}, title = {An Introduction to Quantum Computing}, publisher = {Oxford University Press}, doi = {10.1093/oso/9780198570004.001.0001}, ) @unpublished(kbry15, author = {Vadym Kliuchnikov and Alex Bocharov and Martin Roetteler and Jon Yard}, year = {2015}, title = {A framework for approximating qubit unitaries}, note = {Available at arXiv:\urlalt{http://arxiv.org/abs/1510.03888}{1510.03888}}, ) @article(KMM-exact, author = {Vadym Kliuchnikov and Dmitri Maslov and Michele Mosca}, year = {2013}, title = {Fast and efficient exact synthesis of single-qubit unitaries generated by {Clifford} and {$T$} gates}, journal = {Quantum Information \& Computation}, volume = {13}, number = {7-8}, pages = {607--630}, doi = {10.26421/QIC13.7-8-4}, note = {Avaiable at arXiv:\urlalt{http://arxiv.org/abs/1206.5236}{1206.5236}}, ) @article(kmm-approx, author = {Vadym Kliuchnikov and Dmitri Maslov and Michele Mosca}, year = {2016}, title = {Practical approximation of single-qubit unitaries by single-qubit quantum {Clifford} and {T} circuits}, journal = {IEEE Transactions on Computers}, volume = {65}, number = {1}, pages = {161--172}, doi = {10.1109/TC.2015.2409842}, note = {Also available at arXiv:\urlalt{http://arxiv.org/abs/1212.6964}{1212.6964}}, ) @unpublished(ky15, author = {Vadym Kliuchnikov and Jon Yard}, year = {2015}, title = {A framework for exact synthesis}, note = {Available at arXiv:\urlalt{http://arxiv.org/abs/1504.04350}{1504.04350}}, ) @article(Montanaro2017, author = {Ashley Montanaro}, year = {2017}, title = {Quantum circuits and low-degree polynomials over ${{\mathbb{F}}_\mathsf{2}}$}, journal = {Journal of Physics A}, volume = {50}, number = {8}, pages = {084002}, doi = {10.1088/1751-8121/aa565f}, note = {Also available at arXiv:\urlalt{http://arxiv.org/abs/1607.08473}{1607.08473}}, ) @article(r15, author = {Neil J. Ross}, year = {2015}, title = {Optimal ancilla-Free {Clifford}+{V} approximation of $z$-rotations}, journal = {Quantum Information \& Computation}, volume = {15}, number = {11--12}, pages = {932--950}, doi = {10.26421/QIC15.11-12-4}, note = {Also available at arXiv:\urlalt{http://arxiv.org/abs/1409.4355}{1409.4355}}, ) @article(RS16, author = {Neil J. Ross and Peter Selinger}, year = {2016}, title = {Optimal ancilla-free {Clifford}+{$T$} approximation of $z$-rotations}, journal = {Quantum Information \& Computation}, volume = {16}, number = {11--12}, pages = {901--953}, doi = {10.26421/QIC16.11-12-1}, note = {Also available at arXiv:\urlalt{http://arxiv.org/abs/1403.2975}{1403.2975}}, ) @article(Shi2003, author = {Yaoyun Shi}, year = {2003}, title = {Both {Toffoli} and Controlled-{NOT} need little help to do universal quantum computing}, journal = {Quantum Information \& Computation}, volume = {3}, number = {1}, pages = {84--92}, doi = {10.26421/QIC3.1-7}, note = {Also available at arXiv:\urlalt{http://arxiv.org/abs/quant-ph/0205115}{quant-ph/0205115}}, )