9 papers
A New Method For Manipulating Circuits, Application To Quantum Adders
William Schober, Scott Wesley
We use a new technique for manipulating controlled quantum circuits to convert between two distinct types of quantum adders, one based on the Quantum Fourier Transform and the othe…
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 as…
Bridging the Quantum Divide: A Learning-Centric Quantum Hackathon for Underrepresented Students (Extended Version)
Fahimeh Bayeh, Linh Dinh, Dongho Lee +1
This paper describes the design and implementation of a two-day quantum hackathon for underrepresented high school students in Nova Scotia, Canada. The first day of the hackathon i…
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…
When are Morse resolutions polyhedral?
Louis Bu, Sara Faridi, Iresha Madduwe Hewalage +5
It is known that the chain complex of a simplex on vertices can be used to construct a free resolution of any ideal generated by monomials, and as a direct result, the Bett…
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 as…
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…
Inductive Predicate Synthesis Modulo Programs (Extended)
Scott Wesley, Maria Christakis, Jorge A. Navas +3
A growing trend in program analysis is to encode verification conditions within the language of the input program. This simplifies the design of analysis tools by utilizing off-the…
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…