5 papers · 1 filter
Parameterized Quantum Circuit Semantics Through Enriched Categories
Neil J. Ross, Scott Wesley
It is well-known that combinatorial circuits are modeled mathematically by string diagrams in monoidal categories. Given a gate set , the circuits over can be thought of a…
Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits (Extended)
Neil J. Ross, Scott Wesley
Many promising quantum algorithms in economics, medical science, and material science rely on circuits that are parameterized by a large number of angles. To ensure that these algo…
Enriched Categories for Parameterized Circuit Semantics
Scott Wesley
It is well-known that combinatorial circuits are modeled mathematically by string diagrams in a monoidal category. Given a gate set , the circuits over can be thought of a…
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…
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…