arrow
返回

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
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

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.
Keyword:
Machine learning
neural networks
program synthesis
quantum computing
quantum program
supervised learning

期刊

IEEE Access 封面图
IEEE Access
IF:
3.6
论文数:
9.8W
被引数:
29.4W

机构

Y
Yeungnam University
学者数:
1.0W
论文数: 1.3W
被引数: 1.4W
K
kyungpook national university (knu)
学者数:
1.8W
论文数: 1.8W
被引数: 14
引用论文

引用论文

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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
err分享
err收藏
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.
err分享
err收藏
学者 查看更多内容