Abstract
We give an overview of the circuit optimisation methods used by tket, a compiler system for quantum software developed by Cambridge Quantum Computing Ltd. We focus on a novel technique based around phase gadgets, a family of multi-qubit quantum operations which occur naturally in a wide range of quantum circuits of practical interest. The phase gadgets have a simple presentation in the ZX-calculus, which makes it easy to reason about them. Taking advantage of this, we present an efficient method to translate the phase gadgets back to CNOT gates and single qubit operations suitable for execution on a quantum computer with significant reductions in gate count and circuit depth. We demonstrate the effectiveness of these methods on a quantum chemistry benchmarking set based on variational circuits for ground state estimation of small molecules.
Original language | English |
---|---|
Title of host publication | Proceedings 16th International Conference on Quantum Physics and Logic |
Editors | Bob Coecke, Matthew Leifer |
Place of Publication | Waterloo, Australia |
Publisher | Open Publishing Association |
Pages | 213–228 |
Number of pages | 26 |
Volume | 318 |
DOIs | |
Publication status | Published - 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 |
Publication series
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Publisher | Open Publishing Association. |
ISSN (Print) | 2075-2180 |
Conference
Conference | 16th International Conference on Quantum Physics and Logic 2019 |
---|---|
Abbreviated title | QPL 2019 |
Country/Territory | United States |
City | Orange |
Period | 10/06/19 → 14/06/19 |
Keywords
- quantum computation
- noisy intermediate-scale quantum
- quantum software
- compilations