6 papers · 1 filter
The phase/state duality in reversible circuit design
Matthew Amy, Neil J. Ross
The reversible implementation of classical functions accounts for the bulk of most known quantum algorithms. As a result, a number of reversible circuit constructions over the Clif…
staq -- A full-stack quantum processing toolkit
Matthew Amy, Vlad Gheorghiu
We describe 'staq', a full-stack quantum processing toolkit written in standard C++. 'staq' is a quantum compiler toolkit, comprising of tools that range from quantum optimizers an…
Sized Types for low-level Quantum Metaprogramming
Matthew Amy
One of the most fundamental aspects of quantum circuit design is the concept of families of circuits parametrized by an instance size. As in classical programming, metaprogramming…
Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits
Matthew Amy, Andrew N. Glaudell, Neil J. Ross
Kliuchnikov, Maslov, and Mosca proved in 2012 that a unitary matrix can be exactly represented by a single-qubit Clifford+ circuit if and only if the entries of…
Towards Large-scale Functional Verification of Universal Quantum Circuits
Matthew Amy
We introduce a framework for the formal specification and verification of quantum circuits based on the Feynman path integral. Our formalism, built around exponential sums of polyn…
Strawberry Fields: A Software Platform for Photonic Quantum Computing
Nathan Killoran, Josh Izaac, Nicolás Quesada +3
We introduce Strawberry Fields, an open-source quantum programming architecture for light-based quantum computers, and detail its key features. Built in Python, Strawberry Fields i…