556 citations · 1.6k across the 16 of their papers we have counts for
16 papers
Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes
Matthew Amy
Vilmart recently gave a complete equational theory for the balanced sum-over-paths over Toffoli-Hadamard circuits, and by extension Clifford+Rz(2pi/2^k) circuits. Their theory is b…
Improved Synthesis of Toffoli-Hadamard Circuits
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li +1
The matrices that can be exactly represented by a circuit over the Toffoli-Hadamard gate set are the orthogonal matrices of the form , where is an integer matr…
Symbolic Synthesis of Clifford Circuits and Beyond
Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross
Path sums are a convenient symbolic formalism for quantum operations with applications to the simulation, optimization, and verification of quantum protocols. Unlike quantum circui…
The phase/state duality in reversible circuit design
Matthew Amy, Neil J. Ross
The reversible implementation of classical functions accounts for the bulk of most known quantum algorithms. As a result, a number of reversible circuit constructions over the Clif…
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…
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…