Current browse context:
quant-ph
Change to browse by:
References & Citations
Quantum Physics
Title: Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
(Submitted on 8 Feb 2019 (v1), last revised 26 May 2020 (this version, v6))
Abstract: We present a completely new approach to quantum circuit optimisation, based on the ZX-calculus. We first interpret quantum circuits as ZX-diagrams, which provide a flexible, lower-level language for describing quantum computations graphically. Then, using the rules of the ZX-calculus, we give a simplification strategy for ZX-diagrams based on the two graph transformations of local complementation and pivoting and show that the resulting reduced diagram can be transformed back into a quantum circuit. While little is known about extracting circuits from arbitrary ZX-diagrams, we show that the underlying graph of our simplified ZX-diagram always has a graph-theoretic property called generalised flow, which in turn yields a deterministic circuit extraction procedure. For Clifford circuits, this extraction procedure yields a new normal form that is both asymptotically optimal in size and gives a new, smaller upper bound on gate depth for nearest-neighbour architectures. For Clifford+T and more general circuits, our technique enables us to to `see around' gates that obstruct the Clifford structure and produce smaller circuits than naive 'cut-and-resynthesise' methods.
Submission history
From: Aleks Kissinger [view email][v1] Fri, 8 Feb 2019 16:37:51 GMT (165kb,D)
[v2] Tue, 26 Feb 2019 14:06:48 GMT (175kb,D)
[v3] Mon, 29 Apr 2019 15:42:09 GMT (728kb,D)
[v4] Mon, 16 Sep 2019 08:05:29 GMT (231kb,D)
[v5] Mon, 30 Mar 2020 16:06:03 GMT (231kb,D)
[v6] Tue, 26 May 2020 16:13:42 GMT (230kb,D)
Link back to: arXiv, form interface, contact.