Can I read Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation on EtoBox?

Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation by McElvanney, Tommy; Backens, Miriam is a scholarly article available to read on EtoBox.

What is Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation about?

In the one-way model of measurement-based quantum computation (MBQC), computation proceeds via measurements on a resource state. So-called flow conditions ensure that the overall computation is deterministic in a suitable sense, with Pauli flow being the most general of these. Computations, represented as measurement patterns, may be rewritten to optimise resource use and for other purposes. Such rewrites need to preserve the existence of flow to ensure the new pattern can still be implemented deterministically. The majority of existing work in this area has focused on rewrites that reduce the number of qubits, yet it can be beneficial to increase the number of qubits for certain kinds of optimisation, as well as for obfuscation. In this work, we introduce several ZX-calculus rewrite rules that increase the number of qubits and preserve the existence of Pauli flow. These rules can be used to transform any measurement pattern into a pattern containing only (general or Pauli) measurements within the XY-plane. We also give the first flow-preserving rewrite rule that allows measurement angles to be changed arbitrarily, and use this to prove that the `neighbour unfusion' rule of Staudac

Author

McElvanney, Tommy; Backens, Miriam

Published

2023

Language

EN