Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities

by   Jessica Pointing, et al.

Existing quantum compilers focus on mapping a logical quantum circuit to a quantum device and its native quantum gates. Only simple circuit identities are used to optimize the quantum circuit during the compilation process. This approach misses more complex circuit identities, which could be used to optimize the quantum circuit further. We propose Quanto, the first quantum optimizer that automatically generates circuit identities. Quanto takes as input a gate set and generates provably correct circuit identities for the gate set. Quanto's automatic generation of circuit identities includes single-qubit and two-qubit gates, which leads to a new database of circuit identities, some of which are novel to the best of our knowledge. In addition to the generation of new circuit identities, Quanto's optimizer applies such circuit identities to quantum circuits and finds optimized quantum circuits that have not been discovered by other quantum compilers, including IBM Qiskit and Cambridge Quantum Computing Tket. Quanto's database of circuit identities could be applied to improve existing quantum compilers and Quanto can be used to generate identity databases for new gate sets.



There are no comments yet.


page 8


Quartz: Superoptimization of Quantum Circuits (Extended Version)

Existing quantum compilers optimize quantum circuits by applying circuit...

Efficient decomposition of unitary matrices in quantum circuit compilers

Unitary decomposition is a widely used method to map quantum algorithms ...

Variational quantum compiling with double Q-learning

Quantum compiling aims to construct a quantum circuit V by quantum gates...

Efficient template matching in quantum circuits

Given a large and a small quantum circuit, we are interested in finding ...

Extending the Graph Formalism to Higher-Order Gates

We present an algorithm for efficiently simulating a quantum circuit in ...

Phase Gadget Synthesis for Shallow Circuits

We give an overview of the circuit optimisation methods used by tket, a ...

Multi-objective evolutionary algorithms for quantum circuit discovery

Quantum hardware continues to advance, yet finding new quantum algorithm...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.