210 citations · 626 across the 20 of their papers we have counts for
3 papers · 1 filter
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…