403 citations · 587 across the 6 of their papers we have counts for
6 papers
A complete logic for causal consistency
Will Simmons, Aleks Kissinger
The construction takes a base category of ``raw materials'' and builds a category of higher order causal processes, that is a category whose types encode causal…
Relating Measurement Patterns to Circuits via Pauli Flow
Will Simmons
The one-way model of Measurement-Based Quantum Computing and the gate-based circuit model give two different presentations of how quantum computation can be performed. There are kn…
A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz
Alexander Cowtan, Will Simmons, Ross Duncan
We describe a compilation strategy for Variational Quantum Eigensolver (VQE) algorithms which use the Unitary Coupled Cluster (UCC) ansatz, designed to reduce circuit depth and gat…
tket : A Retargetable Compiler for NISQ Devices
Seyon Sivarajah, Silas Dilkes, Alexander Cowtan +3
We present tket, a quantum software development platform produced by Cambridge Quantum Computing Ltd. The heart of tket is a language-agnostic optimising co…
Phase Gadget Synthesis for Shallow Circuits
Alexander Cowtan, Silas Dilkes, Ross Duncan +2
We give an overview of the circuit optimisation methods used by tket, a compiler system for quantum software developed by Cambridge Quantum Computing Ltd. We focus on a novel techn…
On the qubit routing problem
Alexander Cowtan, Silas Dilkes, Ross Duncan +3
We introduce a new architecture-agnostic methodology for mapping abstract quantum circuits to realistic quantum computing devices with restricted qubit connectivity, as implemented…