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

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

doi:10.4204/EPTCS.318.6

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 journal › Article › peer-review

7 Citations (Scopus)

199 Downloads (Pure)

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.

Original language	English
Pages (from-to)	85-105
Number of pages	21
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	318
Early online date	10 Jun 2019
DOIs	https://doi.org/10.4204/EPTCS.318.6
Publication status	Published - 1 May 2020
Event	16th International Conference on Quantum Physics and Logic 2019 - Chapman University, Orange, United States Duration: 10 Jun 2019 → 14 Jun 2019 Conference number: 16th

Keywords

quantum computation
quantum transformations
Pauli Fusion

Access to Document

10.4204/EPTCS.318.6Licence: CC BY 4.0

de-Beaudrap-etal-EPTCS-2019-Pauli-Fusion-a-computational-model-to-realise-quantum-transformationsFinal published version, 821 KBLicence: CC BY 4.0

Cite this

@article{de0854bf9ace418bb8fcc1223db978d6,

title = "Pauli Fusion: a computational model to realise quantum transformations from ZX terms",

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. ",

keywords = "quantum computation, quantum transformations, Pauli Fusion",

author = "Beaudrap, {Niel de} and Ross Duncan and Dominic Horsman and Simon Perdrix",

note = "12 pages + appendices; 16th International Conference on Quantum Physics and Logic 2019, QPL 2019 ; Conference date: 10-06-2019 Through 14-06-2019",

year = "2020",

month = may,

day = "1",

doi = "10.4204/EPTCS.318.6",

language = "English",

volume = "318",

pages = "85--105",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Pauli Fusion

T2 - 16th International Conference on Quantum Physics and Logic 2019

AU - Beaudrap, Niel de

AU - Duncan, Ross

AU - Horsman, Dominic

AU - Perdrix, Simon

N1 - Conference code: 16th

PY - 2020/5/1

Y1 - 2020/5/1

N2 - 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.

AB - 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.

KW - quantum computation

KW - quantum transformations

KW - Pauli Fusion

UR - https://arxiv.org/abs/1904.12817

UR - http://forthcoming.eptcs.org/

U2 - 10.4204/EPTCS.318.6

DO - 10.4204/EPTCS.318.6

M3 - Article

SN - 2075-2180

VL - 318

SP - 85

EP - 105

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

Y2 - 10 June 2019 through 14 June 2019

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this