556 citations · 1.6k across the 16 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
quant-ph2019★ 68 cited
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★ 4 cited
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★ 26 cited
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…