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

Beaudrap, Niel de and Duncan, Ross and Horsman, Dominic and Perdrix, Simon (2019) Pauli Fusion : a computational model to realise quantum transformations from ZX terms. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

[img]
Preview
Text (de-Beaudrap-etal-EPTCS-2019-Pauli-Fusion-a-computational-model-to-realise-quantum-transformations)
de_Beaudrap_etal_EPTCS_2019_Pauli_Fusion_a_computational_model_to_realise_quantum_transformations.pdf
Accepted Author Manuscript

Download (993kB)| 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.