Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation

Irfansha Shaik,Jaco van de Pol

2024-08-08

Abstract:CNOT optimization plays a significant role in noise reduction for Quantum Circuits. Several heuristic and exact approaches exist for CNOT optimization. In this paper, we investigate more complicated variations of optimal synthesis by allowing qubit permutations and handling layout restrictions. We encode such problems into Planning, SAT, and QBF. We provide optimization for both CNOT gate count and circuit depth. For experimental evaluation, we consider standard T-gate optimized benchmarks and optimize CNOT sub-circuits. We show that allowing qubit permutations can further reduce up to 56% in CNOT count and 46% in circuit depth. In the case of optimally mapped circuits under layout restrictions, we observe a reduction up to 17% CNOT count and 19% CNOT depth.

Quantum Physics,Artificial Intelligence

What problem does this paper attempt to address?

The paper attempts to address the problem of optimizing the number of CNOT gates (Controlled-NOT gates) and circuit depth in quantum circuits, particularly by allowing qubit permutation and handling layout restrictions. Specifically, the paper explores how to further reduce the number of CNOT gates and circuit depth when considering qubit permutation, and how to optimize the synthesis of CNOT gates in the presence of layout restrictions. The main contributions of the paper include: 1. **Definition of Weak Equivalence**: Introducing a concept of weak equivalence, where the order of output qubits can be freely adjusted, providing more solutions compared to strong equivalence (where the order of output qubits is fixed). 2. **Layout-Aware Synthesis**: Considering the connectivity restrictions between qubits, i.e., CNOT gates can only be executed between adjacent qubits, which is a common limitation in practical quantum processors. 3. **Encoding Methods**: Encoding the above problems into Classical Planning, Propositional Satisfiability (SAT), and Quantified Boolean Formula (QBF), and providing optimal solutions within these frameworks. 4. **Experimental Evaluation**: Validating that allowing qubit permutation can significantly reduce the number of CNOT gates and circuit depth through standard T-gate optimization benchmarks. The optimization effect is also verified under layout restrictions. Overall, the paper aims to improve the execution efficiency of quantum circuits on actual hardware, reducing noise and error rates by introducing new equivalence concepts and optimization methods.

Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation

Optimal Layout Synthesis for Quantum Circuits as Classical Planning (full version)

Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits

Minimum Synthesis Cost of CNOT Circuits

Optimality Study of Existing Quantum Computing Layout Synthesis Tools

Nearest neighbor synthesis of CNOT circuits on general quantum architectures

Quantum State Preparation Using an Exact CNOT Synthesis Formulation

Qubit-count optimization using ZX-calculus

CNOT circuit extraction for topologically-constrained quantum memories

Efficient CNOT Synthesis for NISQ Devices

Quantum Circuit Simplification and Level Compaction

Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum Compilation

Quantum circuit optimizations for NISQ architectures

QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis

Practical circuit optimization algorithm for quantum simulation based on template matching

Near-optimal quantum circuit construction via Cartan decomposition

Layout Synthesis for Topological Quantum Circuits with 1-D and 2-D Architectures

Optimizing Quantum Algorithms on Bipotent Architectures

Shallower CNOT circuits on realistic quantum hardware

Algebraic Characterization of CNOT-Based Quantum Circuits with its Applications on Logic Synthesis

Quantum State Preparation Circuit Optimization Exploiting Don't Cares