Showing 2024 · quant-phShow all
2 papers · 2 filters
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
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended)
Scott Wesley
As quantum computing evolves, many important questions emerge, such as how best to represent quantum programs, and how to promote interoperability between quantum program analysis…