arrow
返回

Compositional Quantum Control Flow with Efficient Compilation in Qunity

delete2025-10-01
delete0
PRE
AI
M
Mikhail Mints *
F
Finn Voichick
L
Leonidas Lampropoulos
R
Robert W. Rand
DOI:10.1145/3763056delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
现有的大多数量子编程语言都基于量子计算电路模型,因为高层次抽象的实现尤其具有挑战性——特别是与量子控制流相关的抽象。Voichick等人提出的Qunity语言,以量子控制结构的形式提供了此类抽象,并非常谨慎地确保最终语言仍可实现。然而,Qunity缺乏工作实现,最初提出的编译过程效率很低,即使是简单的量子算法也会编译成不合理的庞大电路。在本工作中,我们专注于高层次量子控制流结构的高效编译,以Qunity作为起点。我们在Qunity核心语言之上引入了更广泛的抽象,这些抽象与现有控制结构相比具有引人注目的权衡。我们创建了一个完整的Qunity编译器实现,该编译器将高层次Qunity代码转换为量子汇编语言OpenQASM 3。我们为Qunity编译过程的多阶段开发了优化技术,包括低层电路优化以及考虑Qunity程序高层结构的优化方法,显著减少了编译器使用的量子比特和门数量。
Keyword:
quantum programming languages
high-level programming languages
quantum control flow
quantum subroutines
compiler optimizations

期刊

P
Proceedings of the ACM on Programming Languages-PACMPL
IF:
2.8
论文数:
308
被引数:
4.7K

机构

C
California Institute of Technology
学者数:
2.9W
论文数: 2.5W
被引数: 4.9W
University System of Maryland 封面图
University System of Maryland
学者数:
6.5W
论文数: 5.6W
被引数: 113
引用论文

引用论文

The Mathematical Language of Quantum Theory
err
IF0
err2012-01-05
err0
PREAI
errTeiko Heinosaari; Mário Ziman
err分享
err收藏
OpenQASM3: A Broader and Deeper Quantum Assembly LanguageOpenQASM3: 一种更广泛、更深入的量子汇编语言
err2022-09-06
err70
errOAAI
errCross, Andrew; Javadi-Abhari, Ali; Alexander, Thomas; de Beaudrap, Niel; Bishop, Lev S.; Heidel, Steven; Ryan, Colm A.; Sivarajah, Prasahnt; Smolin, John; Gambetta, Jay M.; Johnson, Blake R.
err分享
err收藏
Q#
err2018-02-24
err0
errOAAI
errKrysta Svore; Alan Geller; Matthias Troyer; John Azariah; Christopher Granade; Bettina Heim; Vadym Kliuchnikov; Mariia Mykhailova; Andres Paz; Martin Roetteler
err分享
err收藏
On the order of odd integers modulo 2n
err2019-01-01
err0
PREAI
errJung,Soon-Mo; Nam,Doyun; Rassias,Michael
err分享
err收藏
From Symmetric Pattern-Matching to Quantum Control
err2018-04-14
err0
errOAAI
errAmr Sabry; Benoît Valiron; Juliana Kaizer Vizzotto
err分享
err收藏
Modular Synthesis of Efficient Quantum Uncomputation
err2024-10-08
err0
PREAI
errVenev,Hristo; Gehr,Timon; Dimitrov,Dimitar; Vechev,Martin
err分享
err收藏
Conventions for quantum pseudocode
err
IF0
err1996-06-01
err0
errOAAI
errE. Knill
err分享
err收藏
err分享
err收藏
学者 查看更多内容