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 journalArticle

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.

Fingerprint

Fusion reactions
Quantum computers
Networks (circuits)

Keywords

  • quantum computation
  • quantum transformations
  • Pauli Fusion

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",
year = "2019",
month = "6",
day = "10",
language = "English",
journal = "Electronic Proceedings in Theoretical Computer Science",
issn = "2075-2180",

}

Pauli Fusion : a computational model to realise quantum transformations from ZX terms. / Beaudrap, Niel de; Duncan, Ross; Horsman, Dominic; Perdrix, Simon.

In: Electronic Proceedings in Theoretical Computer Science, 10.06.2019.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Pauli Fusion

T2 - Electronic Proceedings in Theoretical Computer Science

AU - Beaudrap, Niel de

AU - Duncan, Ross

AU - Horsman, Dominic

AU - Perdrix, Simon

N1 - 12 pages + appendices

PY - 2019/6/10

Y1 - 2019/6/10

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/

M3 - Article

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -