9 citations · 10 across the 3 of their papers we have counts for
4 papers · 1 filter
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…
Catalysing Completeness and Universality
Aleks Kissinger, Neil J. Ross, John van de Wetering
A catalysis state is a quantum state that is used to make some desired operation possible or more efficient, while not being consumed in the process. Recent years have seen catalys…
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…