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.

CALA-$n$: A Quantum Library for Realizing Cost-Effective 2-, 3-, 4-, and 5-bit Gates on IBM Quantum Computers using Bloch Sphere Approach, Clifford+T Gates, and Layouts

Cost-Effective Realization of n-Bit Toffoli Gates for IBM Quantum Computers Using the Bloch Sphere Approach and IBM Native Gates

GALA-n: Generic Architecture of Layout-Aware n-Bit Quantum Operators for Cost-Effective Realization on IBM Quantum Computers

Superposition States on Different Axes of the Bloch Sphere for Cost-Effective Circuits Realization on IBM Quantum Computers

Beyond Quantum Shannon: Circuit Construction for General n-Qubit Gates Based on Block ZXZ-Decomposition

Efficient Implementation of Multi-Controlled Quantum Gates

T-count and T-depth efficient fault-tolerant quantum arithmetic and logic unit

Qubit-count optimization using ZX-calculus

Dancing the Quantum Waltz: Compiling Three-Qubit Gates on Four Level Architectures

Multibit Gates for Quantum Computing

Quantum circuit optimizations for NISQ architectures

Minimum Synthesis Cost of CNOT Circuits

Multi-strategy Based Quantum Cost Reduction of Quantum Boolean Circuits

00 12 05 5 v 2 1 4 M ar 2 00 1 Multi-bit gates for quantum computing

QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis

A Feasible Design of Elementary Quantum Arithmetic Logic Units for Near-Term Quantum Computers

Scalable algorithm simplification using quantum AND logic

Halving the cost of quantum addition

Implementation of Quantum Algorithms via Fast Three-Rydberg-Atom CCZ Gates

Efficient Quantum Circuit Design with a Standard Cell Approach, with an Application to Neutral Atom Quantum Computers

QuCLEAR: Clifford Extraction and Absorption for Significant Reduction in Quantum Circuit Size