Pauli Fusion: a computational model to realise quantum transformations from ZX terms

Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)
150 Downloads (Pure)


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 language for quantum computing). The fundamental operations of Pauli Fusion are also straightforward abstractions of basic processes in some leading proposed quantum technologies. These operations have non-deterministic heralded effects, similarly to measurement-based quantum computation. We describe sufficient conditions for Pauli Fusion procedures to be deterministically realisable, so that it performs a given transformation independently of its non-deterministic outcomes. This provides an operational model to realise ZX terms beyond the circuit model.
Original languageEnglish
Pages (from-to)85-105
Number of pages21
JournalElectronic Proceedings in Theoretical Computer Science
Early online date10 Jun 2019
Publication statusPublished - 1 May 2020
Event16th International Conference on Quantum Physics and Logic 2019 - Chapman University, Orange, United States
Duration: 10 Jun 201914 Jun 2019
Conference number: 16th


  • quantum computation
  • quantum transformations
  • Pauli Fusion


Dive into the research topics of 'Pauli Fusion: a computational model to realise quantum transformations from ZX terms'. Together they form a unique fingerprint.

Cite this