210 citations · 626 across the 20 of their papers we have counts for
16 papers · 1 filter
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…
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
Bob Coecke, Dominic Horsman, Aleks Kissinger +1
This paper is a `spiritual child' of the 2005 lecture notes Kindergarten Quantum Mechanics, which showed how a simple, pictorial extension of Dirac notation allowed several quantum…
SZX-calculus: Scalable Graphical Quantum Reasoning
Titouan Carette, Dominic Horsman, Simon Perdrix
We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact graphical language for the design and verification of quantum computations. The SZX-calculus is…
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms
Niel de Beaudrap, Ross Duncan, Dominic Horsman +1
We present an abstract model of quantum computation, the "Pauli Fusion" model, whose primitive operations correspond closely to generators of the ZX calculus (a formal graphical la…
Decoding quantum error correction with Ising model hardware
Joschka Roffe, Stefan Zohren, Dominic Horsman +1
Fault tolerant quantum computers will require efficient co-processors for real-time decoding of their adopted quantum error correction protocols. In this work we examine the possib…
Communication through coherent control of quantum channels
Alastair A. Abbott, Julian Wechs, Dominic Horsman +2
A completely depolarising quantum channel always outputs a fully mixed state and thus cannot transmit any information. In a recent Letter [D. Ebler et al., Phys. Rev. Lett. 120, 12…
Quantum codes from classical graphical models
Joschka Roffe, Stefan Zohren, Dominic Horsman +1
We introduce a new graphical framework for designing quantum error correction codes based on classical principles. A key feature of this graphical language, over previous approache…
Protecting quantum memories using coherent parity check codes
Joschka Roffe, David Headley, Nicholas Chancellor +2
Coherent parity check (CPC) codes are a new framework for the construction of quantum error correction codes that encode multiple qubits per logical block. CPC codes have a canonic…
The ZX calculus is a language for surface code lattice surgery
Niel de Beaudrap, Dominic Horsman
A leading choice of error correction for scalable quantum computing is the surface code with lattice surgery. The basic lattice surgery operations, the merging and splitting of log…
Graphical Structures for Design and Verification of Quantum Error Correction
Nicholas Chancellor, Aleks Kissinger, Joschka Roffe +2
We introduce a high-level graphical framework for designing and analysing quantum error correcting codes, centred on what we term the coherent parity check (CPC). The graphical for…
Quantum common causes and quantum causal models
John-Mark A. Allen, Jonathan Barrett, Dominic C. Horsman +2
Reichenbach's principle asserts that if two observed variables are found to be correlated, then there should be a causal explanation of these correlations. Furthermore, if the expl…
Can a quantum state over time resemble a quantum state at a single time?
Dominic Horsman, Chris Heunen, Matthew F. Pusey +2
Standard quantum theory represents a composite system at a given time by a joint state, but it does not prescribe a joint state for a composite of systems at different times. If a…
Surface Code Error Correction on a Defective Lattice
Shota Nagayama, Austin G. Fowler, Dominic Horsman +2
The yield of physical qubits fabricated in the laboratory is much lower than that of classical transistors in production semiconductor fabrication. Actual implementations of quantu…
Reduce, reuse, recycle, for robust cluster state generation
Dominic Horsman, Katherine L. Brown, William J. Munro +1
Efficient generation of cluster states is crucial for engineering large-scale measurement-based quantum computers. Hybrid matter-optical systems offer a robust, scalable path to th…
The Many Worlds of Uncertainty
Dominic Horsman
The status of the uncertainty relations varies between the different interpretations of quantum mechanics. The aim of the current paper is to explore their meanings within a certai…
Quantum Computation and Many Worlds
Dominic Horsman
An Everett (`Many Worlds') interpretation of quantum mechanics due to Saunders and Zurek is presented in detail. This is used to give a physical description of the process of a qua…