Architecture aware compilation of quantum circuits via lazy synthesis - INSPIRE

DataBETA

Architecture aware compilation of quantum circuits via lazy synthesis

Dec 17, 2020

Published in:

Quantum 6 (2022) 729,
Quantum 6 (2022) 729

Published: Jun 7, 2022

e-Print:

2012.09663 [quant-ph]

DOI:

10.22331/q-2022-06-07-729

View in:

reference search21 citations

Citations per year

Abstract: (Verein zur Foerderung des Open Access Publizierens in den Quantenwissenschaften)

Qubit routing is a key problem for quantum circuit compilation. It consists in rewriting a quantum circuit by adding the least possible number of instructions to make the circuit compliant with some architecture's connectivity constraints. Usually, this problem is tackled via either SWAP insertion techniques or re-synthesis of portions of the circuit using architecture aware synthesis algorithms. In this work, we propose a meta-heuristic that couples the iterative approach of SWAP insertion techniques with greedy architecture-aware synthesis routines. We propose two new compilation algorithms based on this meta-heuristic and compare their performances to state-of-the-art quantum circuit compilation techniques for several standard classes of quantum circuits and show significant reduction in the entangling gate overhead due to compilation.

entanglement
performance
qubit

References(24)

Figures(13)

[1]

On the controlled-NOT complexity of controlled-NOT–phase circuits

- Quantum Sci.Technol. 4 (2018) 1, 015002
•
DOI:
- 10.1088/2058-9565/aad8ca

[2]

Improved simulation of stabilizer circuits

Scott Aaronson
(
- MIT
)
,
Daniel Gottesman
(
- Perimeter Inst. Theor. Phys.
)

- Phys.Rev.A 70 (2004) 5, 052328
•
e-Print:
- quant-ph/0406196
•
DOI:
- 10.1103/PhysRevA.70.052328

[3]

staq—A full-stack quantum processing toolkit

Matthew Amy
(
- Waterloo U., IQC and
- Dalhousie U., Math. Dept.
)
,
Vlad Gheorghiu
(
- Waterloo U., IQC and
- U. Waterloo (main)
)

- Quantum Sci.Technol. 5 (2020) 3, 034016
•
DOI:
- 10.1088/2058-9565/ab9359

[4]

Hadamard-free circuits expose the structure of the Clifford group

- IEEE Trans.Info.Theor. 67 (2021) 4546-4563
•
e-Print:
- 2003.09412
•
DOI:
- 10.1109/TIT.2021.3081415

[5]

On the Qubit Routing Problem

Alexander Cowtan
(
- Cambridge U. (main)
)
,
Silas Dilkes
(
- Cambridge U. (main)
)
,
Ross Duncan
(
- Cambridge U. (main) and
- Strathclyde U.
)
,
Alexandre Krajenbrink
(
- Cambridge U. (main) and
- U. PSL
)
,
Will Simmons
(
- Cambridge U. (main)
)

et al.

- Leibniz Int.Proc.Inf. 135 (2019) 5:1-5:32
•
e-Print:
- 1902.08091
•
DOI:
- 10.4230/LIPIcs.TQC.2019.5

[6]

Circuit Transformations for Quantum Architectures

- Leibniz Int.Proc.Inf. 135 (2019) 3:1-3:24
•
e-Print:
- 1902.09102
•
DOI:
- 10.4230/LIPIcs.TQC.2019.3

[7]

DOI:
- 10.5555/2481591.2481597

[8]

Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem

Timothée Goubault de Brugière
(
- U. Paris-Saclay
)
,
Marc Baboulin
(
- U. Paris-Saclay
)
,
Benoît Valiron
(
- U. Paris-Saclay
)
,
Simon Martiel
(
- Unlisted, FR
)
,
Cyril Allouche
(
- Unlisted, FR
)

- Lect.Notes Comput.Sci. 12227 (2020) 189-205
•
DOI:
- 10.1007/978-3-030-52482-1_11

[9]

Reducing the CNOT Count for Clifford+T Circuits on NISQ Architectures

Vlad Gheorghiu
(
- Waterloo U., IQC and
- Unlisted, CA
)
,
Jiaxin Huang
(
- Waterloo U.
)
,
Sarah Meng Li
(
- Waterloo U., IQC and
- Waterloo U.
)
,
Michele Mosca
(
- Waterloo U., IQC and
- Waterloo U. and
- Perimeter Inst. Theor. Phys. and
- Unlisted, CA
)
,
Priyanka Mukhopadhyay
(
- Waterloo U., IQC and
- Waterloo U.
)

- IEEE Trans.Comput.Aided Design Integr.Circuits Syst. 42 (2023) 6, 1873-1884,
•
e-Print:
- 2011.12191
•
DOI:
- 10.1109/TCAD.2022.3213210

[10]

An efficient conversion of quantum circuits to a linear nearest neighbor architecture

- Quant.Inf.Comput. 11 (2011) 1-2, 0142-0166
•
DOI:
- 10.26421/QIC11.1-2-10

[11]

DOI:
- 10.1098/rspa.2008.0189

[12]

e-Print:
- quant-ph/0701194

[13]

CNOT circuit extraction for topologically-constrained quantum memories

- Quant.Inf.Comput. 20 (2020) 7-8, 581-596
•
e-Print:
- 1904.00633
•
DOI:
- 10.26421/QIC20.7-8-4

[14]

Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices

•
e-Print:
- 1809.02573
•
DOI:
- 10.1145/3297858.3304023

[15]

DOI:
- 10.22331/q-2019-12-02-205

[16]

Quantum circuit optimizations for NISQ architectures

Beatrice Nash
(
- MIT, LNS and
- Imperial Coll., London and
- Waterloo U., IQC
)
,
Vlad Gheorghiu
(
- Waterloo U., IQC and
- Waterloo U.
)
,
Michele Mosca
(
- Waterloo U., IQC and
- Waterloo U. and
- Perimeter Inst. Theor. Phys. and
- Canadian Inst. Advanced Res.
)

- Quantum Sci.Technol. 5 (2020) 2, 025010
•
DOI:
- 10.1088/2058-9565/ab79b1

[17]

DOI:
- 10.5555/2011763.2011767

[18]

Quantum Computing in the NISQ era and beyond

John Preskill
(
- Caltech, IQI
)

- Quantum 2 (2018) 79
•
e-Print:
- 1801.00862
•
DOI:
- 10.22331/q-2018-08-06-79

[19]

Optimization of quantum circuits for interaction distance in linear nearest neighbor architectures

•
DOI:
- 10.1145/2463209.2488785

[20]

Hiromitsu Takahashi. An approximate solution for the steiner problem in graphs

- Math.Jap. 6 (1990) 573-577

[21]

DOI:
- 10.22331/q-2020-09-12-322

[22]

DOI:
- 10.4204/EPTCS

[23]

e-Print:
- 1903.12456

[24]

An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures

- IEEE Trans.Comput.Aided Design Integr.Circuits Syst. 38 (2019) 7, 1226-1236
•
DOI:
- 10.1109/TCAD.2018.2846658