arrow
Return

Quantum Program Synthesis Through Operator Learning and Selection

delete2023-01-01
delete2
delete
OA
AI
S
Sihyung Lee *
S
Seung Yeob Nam
DOI:10.1109/ACCESS.2023.3257192delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Programming for quantum computers is complicated and time-consuming, because quantum operations are counterintuitive and their combined effects are difficult to understand. Existing tools allow automatic synthesis of quantum programs, which releases the burden of handwriting. However, many existing systems arrange predetermined operators in successive manner to gradually reduce the gap with requirements; these methods are quick but often produce lengthy programs, and they are difficult to adopt for new operators. Other systems depend on stochastic or heuristic search; they identify near-optimal programs for certain cases, but it is not easy to tune the algorithms for a wide range of cases. We propose a system that produces compact programs for most cases and easily evolves with new operators. The system automatically learns the roles of available operators by composing various possible programs. Based on the knowledge, it selects a subset of operators most appropriate for requirements and uses them to compose a program. The learning is geared toward concise programs; thus, the system tends to produce programs with the fewest operators possible. We implemented the system and evaluated it by synthesizing over 400 programs. In comparison with a state-of-the-art system, the proposed system produced programs with approximately 40-times fewer operators at the cost of increased synthesis time from seconds to minutes. We also observed that the system successfully adopted new operators by learning their differences from existing operators and utilizing them in right places. We believe that the system provides a basis of utilizing machine learning for quantum program synthesis.
Keywords:
Machine learning
neural networks
program synthesis
quantum computing
quantum program
supervised learning

Journal

IEEE Access cover
IEEE Access
IF:
3.6
Papers:
9.8W
Citations:
29.4W

Organization

Y
Yeungnam University
Scholars:
1.0W
Papers: 1.3W
Citations: 1.4W
K
kyungpook national university (knu)
Scholars:
1.8W
Papers: 1.8W
Citations: 14
Cited Papers

Cited Papers

Autonomous flight system using marker recognition on drone
err2015-01-01
err0
PREAI
errJin Kim; Yoon Suk Lee; Sang Su Han; Sang Ho Kim; Gun Hyuk Lee; Ho Jun Ji; Hye Ji Choi; Kwang Nam Choi
errShare
errSave
Causes and analytical impacts of missing data in RADseq phylogenetics: Insights from an African frog (Afrixalus)
err2019-01-21
err0
PREAI
errMarco Crotti; Christopher D. Barratt; Simon P. Loader; David J. Gower; Jeffrey W. Streicher
errShare
errSave
Clifford Circuit Optimization with Templates and Symbolic Pauli Gates
errQUANTUM
IF5.4
err2021-11-16
err14
errOAAI
errBravyi, Sergey; Shaydulin, Ruslan; Hui, Shaohan; Maslov, Dmitri
errShare
errSave
errShare
errSave
Quantum Algorithm Implementations for Beginners
err2022-07-07
err33
errOAAI
errAbhijith, J.; Adedoyin, Adetokunbo; Ambrosiano, John; Anisimov, Petr; Casper, William; Chennupati, Gopinath; Coffrin, Carleton; Djidjev, Hristo; Gunter, David; Karra, Satish; Lemons, Nathan; Lin, Shizeng; Malyzhenkov, Alexander; Mascarenas, David; Mniszewski, Susan; Nadiga, Balu; O'Malley, Daniel; Oyen, Diane; Pakin, Scott; Prasad, Lakshman; Roberts, Randy; Romero, Phillip; Santhi, Nandakishore; Sinitsyn, Nikolai; Swart, Pieter J.; Wendelberger, James G.; Yoon, Boram; Zamora, Richard; Zhu, Wei; Eidenbenz, Stephan; Bartschi, Andreas; Coles, Patrick J.; Vuffray, Marc; Lokhov, Andrey Y.
errShare
errSave
researcher View more