Template matching-based connected constraint mapping optimization method for quantum circuits - INSPIRE

DataBETA

Template matching-based connected constraint mapping optimization method for quantum circuits

Jul 18, 2023

7 pages

Published: Jul 18, 2023

DOI:

10.1117/12.2679552

reference search0 citations

Citations per year

0 Citations

Abstract: (International Society for Optics and Photonics)

In order to reduce the number of gates in quantum circuit to reduce the error rate running on NISQ device, it is demonstrated that the template satisfies the relevant conditions for mapping to the linear topology structure in the quantum system, and a quantum circuit connectivity constraint mapping optimization method based on template matching is proposed. This method reconstructs the templates by adding SWAP gates or replacing bridge gates to make them meet the connectivity constraints of linear topology. Aiming at the linear subcircuits in quantum circuits that satisfy the connectivity constraints of quantum topological structure, the template matching optimization method is used to replace the gates in the circuit that match the template with a few remaining unmatched gates in the template. Finally, the optimized circuit also satisfies the connectivity constraint of quantum topology. Using a set of NISQ benchmark circuits, compared with the t|ket⟩ compiler, the test results show that the number of CNOT gates can be further reduced by an average of 28.71 %, up to 40 %.

constraint: quantum
gate: C-NOT
gate: SWAP
connectivity
quantum circuit
optimization
noisy intermediate-scale quantum
benchmark
topological

References(20)

Figures(0)

[1]

Quantum Computing in the NISQ era and beyond. APS March Meeting. American Physical Society

J. Preskill

[2]

Quantum computation and quantum information. ACM SIGSOFT Software Engineering Notes, 26(4), 91-. doi:

J. Law

•
DOI:
- 10.1145/505482.505499

[3]

t|ket⟩: a retargetable compiler for NISQ devices

et al.

- Quantum Sci.Technol. 6 (2020) 1, 014003
•
e-Print:
- 2003.10611
•
DOI:
- 10.1088/2058-9565/ab8e92

[4]

Li, G

Y. Ding
,
Y. Xie

•
DOI:
- 10.1145/3297858

[4]

Fulltext via DESY

Y. Ding
,
Y. Xie

•
DOI:
- 10.1145/3297858

[5]

Exact and Practical Pattern Matching for Quantum Circuit Optimization

- ACM Trans.Quant.Comput. 3 (2022) 1, 4
•
e-Print:
- 1909.05270
•
DOI:
- 10.1145/3498325

[6]

Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities

Pointing J
,
Padon O
,
Jia Z

•
DOI:
- 10.48550/arXiv.2111.11387

[6]

Quanto: optimizing quantum circuits with automatic generation of circuit identities

Jessica Pointing
(
- Oxford U. and
- Stanford U., Comp. Sci. Dept.
)
,
Oded Padon
(
- Stanford U., Comp. Sci. Dept.
)
,
Zhihao Jia
(
- Stanford U., Comp. Sci. Dept. and
- Carnegie Mellon U. (main)
)
,
Henry Ma
(
- UCLA, Los Angeles (main)
)
,
Auguste Hirth
(
- UCLA, Los Angeles (main)
)

et al.

- Quantum Sci.Technol. 9 (2024) 4, 045009
•
e-Print:
- 2111.11387
•
DOI:
- 10.1088/2058-9565/ad5b16

[7]

Post Synthesis-Optimization of Reversible Circuit using Template Matching.24th International Symposium on VLSI Design and Test (VDAT). doi:

Bandyopadhyay C
,
Wille R
,
Drechsler R

•
DOI:
- 10.1109/VDAT50263.2020

[7]

C

Wille R
,
Drechsler R

•
DOI:
- 10.1109/VDAT50263.2020

[8]

Quantum computing

Andrew Steane
(
- Oxford U.
)

- Rept.Prog.Phys. 61 (1998) 117-173
•
e-Print:
- quant-ph/9708022
•
DOI:
- 10.1088/0034-4885/61/2/002

[9]

Elementary gates for quantum computation

Adriano Barenco
(
- Oxford U.
)
,
Charles H. Bennett
(
- IBM Watson Res. Ctr.
)
,
Richard Cleve
(
- Calgary U.
)
,
David P. DiVincenzo
(
- IBM Watson Res. Ctr.
)
,
Norman Margolus
(
- MIT, LNS
)

et al.

- Phys.Rev.A 52 (1995) 3457
•
e-Print:
- quant-ph/9503016
•
DOI:
- 10.1103/PhysRevA.52.3457

[10]

The cost of quantum gate primitives. Journal of multiple-valued logic and soft

Lee S
,
Lee S. J
,
Kim T.

- Computing 12 (2006) 561-573
•
DOI:
- 10.1007/s10851-005-3618-y

[11]

Identity check is QMA-complete

Janzing D
,
Wocjan P
,
Beth T.

•
DOI:
- 10.48550/arXiv.quantph/0305050

[11]

D

Wocjan P
,
Beth T.

•
DOI:
- 10.48550/arXiv.quant-ph/0305050

[12]

IBM

IBM Q. Experience Device

[12]

IBM Q. Experience Device

[13]

The complexity of quantum circuit mapping with fixed parameters

et al.

- Quant.Inf.Proc. 21 (2022) 10, 361
•
e-Print:
- 2207.08438
•
DOI:
- 10.1007/s11128-022-03698-0

[14]

Properties of Quantum Templates. Lecture Notes in Computer Science, vol 7581

Rahman M. M
,
Dueck G. W.

•
DOI:
- 10.1007/978-3-642-36315-3_10

[15]

IBM. QISKit, Open Source Quantum Information Science Kit

•
- https://qiskit.org/