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.

Qsyn: A Developer-Friendly Quantum Circuit Synthesis Framework for NISQ Era and Beyond

Quantum SoC and On-Chip Circuit Synthesis in the NISQ Era.

QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis

QECC-Synth: A Layout Synthesizer for Quantum Error Correction Codes on Sparse Hardware Architectures

QASMTrans: A QASM based Quantum Transpiler Framework for NISQ Devices

Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices

Quantum Circuit Synthesis and Compilation Optimization: Overview and Prospects

A Case for Synthesis of Recursive Quantum Unitary Programs

SANQ: A Simulation Framework for Architecting Noisy Intermediate-Scale Quantum Computing System

Queen: A quick, scalable, and comprehensive quantum circuit simulation for supercomputing

Demonstration of a Hardware-Independent Toolkit for Automated Quantum Subcircuit Synthesis

HybridQ: A Hybrid Simulator for Quantum Circuits

PauliForest: Connectivity-Aware Synthesis and Pauli-Oriented Qubit Mapping for Near Term Quantum Simulation

Optimizing Quantum Fourier Transformation (QFT) Kernels for Modern NISQ and FT Architectures

TensorCircuit: a Quantum Software Framework for the NISQ Era

SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation

Quantum circuit optimizations for NISQ architectures

A Majority Logic Synthesis Framework For Single Flux Quantum Circuits

MindSpore Quantum: A User-Friendly, High-Performance, and AI-Compatible Quantum Computing Framework

QuCT: A Framework for Analyzing Quantum Circuit by Extracting Contextual and Topological Features

Q#: Enabling scalable quantum computing and development with a high-level domain-specific language