Linear Circuit Synthesis using Weighted Steiner Trees

Nir Gavrielov,Alexander Ivrii,Shelly Garion

2024-08-08

Abstract:CNOT circuits are a common building block of general quantum circuits. The problem of synthesizing and optimizing such circuits has received a lot of attention in the quantum computing literature. This problem is especially challenging for quantum devices with restricted connectivity, where two-qubit gates can only be placed between adjacent qubits. The state-of-the-art algorithms for optimizing the number of CNOT gates are heuristic algorithms that are based on Gaussian elimination and that use Steiner trees to connect between different subsets of qubits. In this article, we suggest considering weighted Steiner trees, and we present a simple low-cost heuristic to compute weights. The simulated evaluation shows that the suggested heuristic is almost always beneficial and reduces the number of CNOT gates by up to 10%.

Quantum Physics

What problem does this paper attempt to address?

This paper attempts to address the problem of CNOT gate optimization in quantum circuit synthesis, particularly in scenarios where quantum device connectivity is limited. CNOT gates are common building blocks in universal quantum circuits, and these gates can only be placed between adjacent qubits. Therefore, optimizing the number of CNOT gates is crucial for reducing the noise in quantum circuits and improving their execution efficiency. Specifically, the paper proposes a new method based on weighted Steiner trees to optimize the number of CNOT gates. Existing optimization algorithms typically rely on heuristic methods, such as Gaussian elimination, and use Steiner trees to connect different subsets of qubits. However, these methods do not consider edge weights, which may lead to suboptimal solutions. The authors of this paper suggest using weighted Steiner trees and propose a low-computational-cost heuristic method to calculate the weights. Through simulation evaluations, this method is almost always beneficial, reducing the number of CNOT gates by up to 10%. Additionally, the paper demonstrates the performance of this method under different quantum device connectivity architectures, including heavy hexagon, 2D grid, and fully connected architectures. The results show that this method is particularly effective for highly connected architectures or scenarios requiring the synthesis of large circuits. This provides new directions and tools for future research in the field of quantum circuit optimization.

Linear Circuit Synthesis using Weighted Steiner Trees

Efficient CNOT Synthesis for NISQ Devices

Minimum Synthesis Cost of CNOT Circuits

CNOT circuit extraction for topologically-constrained quantum memories

Heuristics for Quantum Compiling with a Continuous Gate Set

QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis

Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation

Practical circuit optimization algorithm for quantum simulation based on template matching

Nearest neighbor synthesis of CNOT circuits on general quantum architectures

Quantum State Preparation Using an Exact CNOT Synthesis Formulation

Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum Compilation

Architecture-Aware Synthesis of Stabilizer Circuits from Clifford Tableaus

Quantum Circuit Simplification and Level Compaction

Shallower CNOT circuits on realistic quantum hardware

Parallelizing quantum circuit synthesis

Quantum circuit optimizations for NISQ architectures

Quantum landscape tomography for efficient single-gate optimization on quantum computers

Simulating quantum circuits using tree tensor networks

Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search

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

A Method For Synthesis And Optimization For Linear Nearest Neighbor Quantum Circuits By Parallel Processing