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

Beaudrap, Niel de and Duncan, Ross and Horsman, Dominic and Perdrix, Simon (2020) Pauli Fusion : a computational model to realise quantum transformations from ZX terms. Electronic Proceedings in Theoretical Computer Science, 318. pp. 85-105. ISSN 2075-2180 (https://doi.org/10.4204/EPTCS.318.6)

[thumbnail of de-Beaudrap-etal-EPTCS-2019-Pauli-Fusion-a-computational-model-to-realise-quantum-transformations]
Preview
Text. Filename: de_Beaudrap_etal_EPTCS_2019_Pauli_Fusion_a_computational_model_to_realise_quantum_transformations.pdf
Final Published Version
License: Creative Commons Attribution 4.0 logo

Download (841kB)| Preview

Abstract

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.

ORCID iDs

Beaudrap, Niel de, Duncan, Ross ORCID logoORCID: https://orcid.org/0000-0001-6758-1573, Horsman, Dominic and Perdrix, Simon;