References & Citations
Quantum Physics
Title: Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus
(Submitted on 30 Mar 2020 (v1), last revised 6 Sep 2021 (this version, v2))
Abstract: The ZH-calculus is a complete graphical calculus for linear maps between qubits that admits a straightforward encoding of hypergraph states and circuits arising from the Toffoli+Hadamard gate set. In this paper, we establish a correspondence between the ZH-calculus and the path-sum formalism, a technique recently introduced by Amy to verify quantum circuits. In particular, we find a bijection between certain canonical forms of ZH-diagrams and path-sum expressions. We then introduce and prove several new simplification rules for the ZH-calculus, which are in direct correspondence to the simplification rules of the path-sum formalism. The relatively opaque path-sum rules are shown to arise naturally from two powerful families of rewrite rules in the ZH-calculus. The first is the extension of the familiar graph-theoretic simplifications based on local complementation and pivoting to their hypergraph-theoretic analogues: hyper-local complementation and hyper-pivoting. The second is the graphical Fourier transform introduced by Kuijpers et al., which enables effective simplification of ZH-diagrams encoding multi-linear phase polynomials with arbitrary real coefficients.
Submission history
From: EPTCS [view email][v1] Mon, 30 Mar 2020 15:38:05 GMT (113kb)
[v2] Mon, 6 Sep 2021 00:59:17 GMT (76kb)
Link back to: arXiv, form interface, contact.