# Optimality Study of Existing Quantum Computing Layout Synthesis Tools

@article{Tan2021OptimalitySO, title={Optimality Study of Existing Quantum Computing Layout Synthesis Tools}, author={Bochen Tan and Jason Cong}, journal={IEEE Transactions on Computers}, year={2021}, volume={70}, pages={1363-1373} }

Layout synthesis, an important step in quantum computing, processes quantum circuits to satisfy device layout constraints. In this paper, we construct QUEKO benchmarks for this problem, which have known optimal depths and gate counts. We use QUEKO to evaluate the optimality of current layout synthesis tools, including Cirq from Google, Qiskit from IBM, <inline-formula><tex-math notation="LaTeX">$\mathsf {t}|\mathsf {ket}\rangle$</tex-math><alternatives><mml:math><mml:mrow><mml:mi mathvariant… Expand

#### Figures, Tables, and Topics from this paper

#### 20 Citations

Optimal Layout Synthesis for Quantum Computing

- Computer Science, Physics
- 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD)
- 2020

Two synthesizers are presented, one optimal and one approximate but nearly optimal, which outperforms some leading heuristic approaches and reduces time and space complexity exponentially compared to some leading optimal approaches to layout synthesis. Expand

Machine Learning Optimization of Quantum Circuit Layouts

- Computer Science, Physics
- 2020

This work introduces QXX, a novel search-based layout method, which includes a configurable Gaussian function used to estimate the depth of the generated circuits and determine the circuit region that influences most the depth, and presents empiric evidence for the feasibility of learning the layout method using approximation. Expand

Special-Purpose Quantum Processor Design

- Physics
- 2021

Full connectivity of qubits is necessary for most quantum algorithms, which is difficult to directly implement on Noisy Intermediate-Scale Quantum processors. However, inserting swap gate to enable… Expand

On the realistic worst case analysis of quantum arithmetic circuits

- Computer Science, Physics
- ArXiv
- 2021

It is shown systematically that for a practically significant range of circuit widths, ripple-carry addition circuits are more resource efficient than the carry-lookahead addition ones. Expand

Qraft: reverse your Quantum circuit and know the correct program output

- Computer Science
- ASPLOS
- 2021

This work proposes the first work, QRAFT, to leverage the reversibility property of quantum algorithms to considerably reduce the error beyond the reduction achieved by effective circuit mapping. Expand

Using Reinforcement Learning to Perform Qubit Routing in Quantum Compilers

- Computer Science, Physics
- 2020

A qubit routing procedure that uses a modified version of the deep Q-learning paradigm is proposed that is able to outperform the qu bit routing procedures from two of the most advanced quantum compilers currently available, on both random and realistic circuits, across near-term architecture sizes. Expand

Using Reinforcement Learning to Performbit Routing in antum Compilers

- 2020

“bit routing” refers to the task of modifying quantum circuits so that they satisfy the connectivity constraints of a target quantum computer. is involves inserting SWAP gates into the circuit so… Expand

A Noise-Aware Qubit Mapping Algorithm Evaluated via Qubit Interaction-Graph Criteria

- Physics
- 2021

Matthew Steinberg, Sebastian Feld, Carmen G. Almudever, Michael Marthaler, and Jan-Michael Reiner QuTech, Delft University of Technology, Delft, the Netherlands Quantum and Computer Engineering… Expand

A Quantum Circuit Optimization Framework Based on Pattern Matching

- Computer Science
- SPIN
- 2021

The result shows that PaF provides a maximal speedup of [Formula: see text] by using few patterns, and a general pattern description format is proposed to make rewriting patterns in existing work become machine-readable. Expand

A Variation-Aware Quantum Circuit Mapping Approach Based on Multi-agent Cooperation

- Physics
- 2021

The quantum circuit mapping approach is an indispensable part of the software stack for the noisy intermediatescale quantum device. It has a significant impact on the reliability of computational… Expand

#### References

SHOWING 1-10 OF 41 REFERENCES

Automated optimization of large quantum circuits with continuous parameters

- Computer Science, Physics
- ArXiv
- 2017

An automated methods for optimizing quantum circuits of the size and type expected in quantum computations that outperform classical computers are developed and implemented and a collection of fast algorithms capable of optimizing large-scale quantum circuits are reported. Expand

MUQUT: Multi-Constraint Quantum Circuit Mapping on NISQ Computers: Invited Paper

- Computer Science
- 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
- 2019

This work extends the technology mapping flows to simultaneously consider the topology and gate fidelity constraints while keeping logical depth and gate count as optimization objectives, and provides a comprehensive problem formulation and multi-tier approach towards solving it. Expand

Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights

- Physics, Computer Science
- 2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA)
- 2019

This work has built the first top-to- bottom toolflow to target different qubit device technologies, including superconducting and trapped ion qubits which are the current QC front-runners, and demonstrates that leveraging microarchitecture details in the compiler improves program success rate. Expand

Automated generation of layout and control for quantum circuits

- Computer Science, Physics
- CF '07
- 2007

This work investigates grid-based layouts and proposes two polynomial-time design heuristics: a greedy algorithm suitable for small, congestion-free quantum circuits and a dataflow-based analysis approach to placement and routing with implicit initial placement of qubits. Expand

Compiling Quantum Circuits to Realistic Hardware Architectures using Temporal Planners

- Computer Science, Physics
- ArXiv
- 2017

This work investigates the application of temporal planners to the problem of compiling quantum circuits to newly emerging quantum hardware, and generates a test suite of compilation problems for QAOA circuits of various sizes to a realistic hardware architecture. Expand

Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations

- Computer Science, Physics
- 2019 56th ACM/IEEE Design Automation Conference (DAC)
- 2019

This work provides a method that maps quantum circuits to IBM's QX architectures with a minimal number of SWAP and H operations, and shows by experimental evaluation that the number of operations added by IBM’s heuristic solution exceeds the lower bound by more than 100% on average. Expand

Compiling SU(4) quantum circuits to IBM QX architectures

- Computer Science, Physics
- ASP-DAC
- 2019

This work analyzes the bottlenecks of existing compilers and provides a dedicated method for compiling this kind of circuits to IBM QX architectures and shows that the proposed approach significantly outperforms IBM's own solution regarding fidelity of the compiled circuit as well as runtime. Expand

Circuit Transformations for Quantum Architectures

- Computer Science, Physics
- TQC
- 2019

This work first considers the qubit movement subproblem and uses the routing via matchings framework to prove tighter bounds on parallel routing, and gives new routing procedures for common architecture graphs and for the generalized hierarchical product of graphs, which produces subgraphs of the Cartesian product. Expand

Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits

- Mathematics, Computer Science
- The 20th Asia and South Pacific Design Automation Conference
- 2015

This work proposes an exact scheme for nearest neighbor optimization in multi-dimensional quantum circuits and shows that the proposed solution is sufficient to allow for a qualitative evaluation of the respective optimization steps. Expand

Improved Mapping of Quantum Circuits to IBM QX Architectures

- Computer Science
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- 2020

The proposed approach encompasses the selection of physical qubits, determining initial and local permutations efficiently to obtain the final circuit mapped to the given IBM QX architecture, and improvements are observed over existing methods in terms of the number of gates and circuit depth. Expand