4 papers
One rig to control them all
Chris Heunen, Robin Kaarsgaard, Louis Lemonnier
Controlled commands -- computations whose execution depends on a separate input -- play a central role in reversible Boolean circuits and quantum circuits. However, existing formal…
Universality of a standard two-qubit gate by catalytic embedding
Robin Kaarsgaard
We study the resources required to achieve universal quantum computing via the gate sets that provide the fundamental instructions from which quantum algorithms are built. While si…
Free Quantum Computing
Jacques Carette, Chris Heunen, Robin Kaarsgaard +2
Quantum computing improves substantially on known classical algorithms for various important problems, but the nature of the relationship between quantum and classical computing is…
Hadamard-Pi: Equational Quantum Programming
Wang Fang, Chris Heunen, Robin Kaarsgaard
Quantum computing offers advantages over classical computation, yet the precise features that set the two apart remain unclear. In the standard quantum circuit model, adding a 1-qu…