1 citations · 1 across the 3 of their papers we have counts for
4 papers · 1 filter
Linear and non-linear relational analyses for Quantum Program Optimization
Matthew Amy, Joseph Lunderville
The phase folding optimization is a circuit optimization used in many quantum compilers as a fast and effective way of reducing the number of high-cost gates in a quantum circuit.…
A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits
Matthew Amy, Neil J. Ross, Scott Wesley
We give a sound and complete equational theory for 3-qubit quantum circuits over the Toffoli-Hadamard gate set { X, CX, CCX, H }. That is, we introduce a collection of true equatio…
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…
Catalytic Embeddings of Quantum Circuits
M. Amy, M. Crawford, A. N. Glaudell +3
If a set of quantum gates is countable, then the operators that can be exactly represented by a circuit over form a strict subset of the collection of all…