84 citations · 292 across the 29 of their papers we have counts for
7 papers · 1 filter
Causal Coverage in Ordered Locales and Spacetimes
Chris Heunen, Nesta van der Schaaf
We develop relativistic causality theory in the setting of point-free topology by introducing a notion of causal coverage in ordered locales, generalising their canonical coverage…
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…
String Diagrams for Defect-Based Surface Code Computing
Mateusz Kupper, Dominic Horsman, Chris Heunen +1
Surface codes are a popular choice for implementing fault-tolerant quantum computing. Two-qubit gates may be realised in these codes using only nearest-neighbour interactions, eith…
Dagger categories of relations: The equivalence of dilatory dagger categories and epi-regular independence categories
Matthew Di Meglio, Chris Heunen, Jean-Simon Pacaud Lemay +2
Several categories look like categories of relations, but do not fit the established theory of relations in regular categories. They include the category of surjective multivalued…
Quantum Circuits Are Just a Phase
Chris Heunen, Louis Lemonnier, Christopher McNally +1
Quantum programs today are written at a low level of abstraction - quantum circuits akin to assembly languages - and the unitary parts of even advanced quantum programming language…
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…