Abstract:The current phase of quantum computing is in the Noisy Intermediate-Scale Quantum (NISQ) era. On NISQ devices, two-qubit gates such as CNOTs are much noisier than single-qubit gates, so it is essential to minimize their count. Quantum circuit synthesis is a process of decomposing an arbitrary unitary into a sequence of quantum gates, and can be used as an optimization tool to produce shorter circuits to improve overall circuit fidelity. However, the time-to-solution of synthesis grows exponentially with the number of qubits. As a result, synthesis is intractable for circuits on a large qubit scale. In this paper, we propose a hierarchical, block-by-block optimization framework, QGo, for quantum circuit optimization. Our approach allows an exponential cost optimization to scale to large circuits. QGo uses a combination of partitioning and synthesis: 1) partition the circuit into a sequence of independent circuit blocks; 2) re-generate and optimize each block using quantum synthesis; and 3) re-compose the final circuit by stitching all the blocks together. We perform our analysis and show the fidelity improvements in three different regimes: small-size circuits on real devices, medium-size circuits on noise simulations, and large-size circuits on analytical models. Using a set of NISQ benchmarks, we show that QGo can reduce the number of CNOT gates by 29.9% on average and up to 50% when compared with industrial compilers such as t|ket>. When executed on the IBM Athens system, shorter depth leads to higher circuit fidelity. We also demonstrate the scalability of our QGo technique to optimize circuits of 60+ qubits. Our technique is the first demonstration of successfully employing and scaling synthesis in the compilation toolchain for large circuits. Overall, our approach is robust for direct incorporation in production compiler toolchains.

Quantum Circuit Synthesis Using a New Quantum Logic Gate Library of NCV Quantum Gates

Efficient Algorithm for Synthesis of Optimal NCV 3-Qubit Reversible Circuits Using New Quantum Logic Gate Library

Realization of a New Permutative Gate Library Using Controlled-Kth-root-of-not Quantum Gates for Exact Minimization of Quantum Circuits

Exact synthesis of 3-qubit quantum circuits from non-binary quantum gates using multiple-valued logic and group theory

Exact Synthesis of Three-Qubit Quantum Circuits from Non-Binary Quantum Gates

A Common Algorithm Of Construction A New Quantum Logic Gate For Exact Minimization Of Quantum Circuits

Quantum circuit synthesis with SQiSW

Optimal Synthesis of Multiple Output Boolean Functions Using a Set of Quantum Gates by Symbolic Reachability Analysis

Quantum logic synthesis by symbolic reachability analysis

Nearest neighbor synthesis of CNOT circuits on general quantum architectures

Logic Synthesis of Ternary Quantum Circuits with Minimal Qutrits

Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation

Four-level Realisation of 3-Qubit Reversible Functions

Heuristic fast-matching algorithm for synthesis of quantum reversible logic circuits

A Synthesis Method of Quantum Reversible Logic Circuit Based on Elementary Qutrit Quantum Logic Gates.

QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis

A Practical Method of Constructing Quantum Combinational Logic Circuits

Bi-Direction Synthesis for Reversible Circuits

4-qubit circuits synthesis based on truth table permutation

Characterization, synthesis, and optimization of quantum circuits over multiple-control $\textit{Z}$-rotation gates: A systematic study

Efficient CNOT Synthesis for NISQ Devices