SHF: Small: Tackling Mapping and Scheduling Problems for Quantum Program Compilation

点击翻译按钮获取中文摘要

Quantum computing has the potential of enabling the next revolution incomputing. It can quickly solve problems that no classical computer could solvein any feasible amount of time. Recently, the impressive advances inquantum hardware have brought quantum computing from theoretical curiosity totechnical reality. However, there is a significant gapbetween the theory of quantum algorithms and the realization of the algorithmson physical devices. To bridge this gap, this proposal focuses on providing acompiler framework for translating high-level algorithm specifications to low-level hardware-compliant code. It enables programmers to take advantage of quantumcomputers without having to obtain significant domain expertise in the low-levelhardware details.In particular, this proposal focuses on the mapping and scheduling problems inthe compilation process for superconducting quantum computers. Superconductingtechnology, as the leading technology for quantum hardware implementation, hasmultiple types of constraints that prevent the realization of the full potential oftheoretical quantum algorithms. The mapping and scheduling process deals withthe practical constraints of superconducting qubits, and are the mostchallenging problems during quantum program translation. Thisproposal formally addresses the mapping/scheduling problems and models them asgraph-theoretic/AI problems. It not only advances the state of the art in thefield of quantum program compilation, but also pushes the boundary of thetraditional graph-theoretic and AI fields by linking them with unique challengesin quantum compilers. Ultimately it spurs the productivity of quantumprogrammers and unleashes the massive computing power of quantum computingthat will fuel the technical and economical innovations in society.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.