research
∙
11/04/2022
Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing
We present Tierkreis, a higher-order dataflow graph program representati...
share
research
∙
10/17/2022
A Category of Surface-Embedded Graphs
We introduce a categorical formalism for rewriting surface-embedded grap...
research
∙
03/29/2021
Dual-Parameterized Quantum Circuit GAN Model in High Energy Physics
Generative models, and Generative Adversarial Networks (GAN) in particul...
research
∙
06/04/2019
Phase Gadget Synthesis for Shallow Circuits
We give an overview of the circuit optimisation methods used by tket, a ...
research
∙
02/21/2019
On the qubit routing problem
We introduce a new architecture-agnostic methodology for mapping abstrac...
research
∙
02/08/2019
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
We present a new circuit-to-circuit optimisation routine based on an equ...
research
∙
01/29/2019
Optimising Clifford Circuits with Quantomatic
We present a system of equations between Clifford circuits, all derivabl...
research
∙
06/19/2013