9 citations · 9 across the 2 of their papers we have counts for
3 papers
quant-ph2024★ 9 cited
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.…
quant-ph2024
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…
quant-ph2024
Polynomial-Time Classical Simulation of Hidden Shift Circuits via Confluent Rewriting of Symbolic Sums
Matthew Amy, Lucas Shigeru Stinchcombe
Implementations of Roetteler's shifted bent function algorithm have in recent years been used to test and benchmark both classical simulation algorithms and quantum hardware. These…