3 papers
quant-ph2019
staq -- A full-stack quantum processing toolkit
Matthew Amy, Vlad Gheorghiu
We describe 'staq', a full-stack quantum processing toolkit written in standard C++. 'staq' is a quantum compiler toolkit, comprising of tools that range from quantum optimizers an…
quant-ph2019
Sized Types for low-level Quantum Metaprogramming
Matthew Amy
One of the most fundamental aspects of quantum circuit design is the concept of families of circuits parametrized by an instance size. As in classical programming, metaprogramming…
quant-ph2019
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 unitary matrix can be exactly represented by a single-qubit Clifford+ circuit if and only if the entries of…