### Abstract

Original language | English |
---|---|

Number of pages | 22 |

Journal | Electronic Proceedings in Theoretical Computer Science |

Early online date | 10 Jun 2019 |

Publication status | E-pub ahead of print - 10 Jun 2019 |

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 |

### Fingerprint

### Keywords

- quantum computation
- quantum transformations
- Pauli Fusion

### Cite this

*Electronic Proceedings in Theoretical Computer Science*.

}

*Electronic Proceedings in Theoretical Computer Science*.

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

Research output: Contribution to journal › Article

TY - JOUR

T1 - Pauli Fusion

T2 - a computational model to realise quantum transformations from ZX terms

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 -