Скачать или смотреть [OOPSLA'25] Compositional Quantum Control Flow with Efficient Compilation in Qunity

Compositional Quantum Control Flow with Efficient Compilation in Qunity (Video, OOPSLA2 2025)
Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, and Robert Rand
(California Institute of Technology, Pasadena, USA; University of Maryland, College Park, USA; University of Maryland, College Park, USA; University of Chicago, Chicago, USA)

Abstract: Most existing quantum programming languages are based on the quantum circuit model of computation, as higher-level abstractions are particularly challenging to implement—especially ones relating to quantum control flow. The Qunity language, proposed by Voichick et al., offered such an abstraction in the form of a quantum control construct, with great care taken to ensure that the resulting language is still realizable. However, Qunity lacked a working implementation, and the originally proposed compilation procedure was very inefficient, with even simple quantum algorithms compiling to unreasonably large circuits.


In this work, we focus on the efficient compilation of high-level quantum control flow constructs, using Qunity as our starting point. We introduce a wider range of abstractions on top of Qunity's core language that offer compelling trade-offs compared to its existing control construct. We create a complete implementation of a Qunity compiler, which converts high-level Qunity code into the quantum assembly language OpenQASM 3. We develop optimization techniques for multiple stages of the Qunity compilation procedure, including both low-level circuit optimizations as well as methods that consider the high-level structure of a Qunity program, greatly reducing the number of qubits and gates used by the compiler.

Article: https://doi.org/10.1145/3763056

Supplementary archive: https://doi.org/10.5281/zenodo.16567634 (Badges: Artifacts Available, Artifacts Evaluated — Reusable, Results Reproduced)

ORCID: https://orcid.org/0009-0004-4508-353X, https://orcid.org/0000-0002-1913-4178, https://orcid.org/0000-0003-0269-9815, https://orcid.org/0000-0001-6842-5505

Video Tags: quantum programming languages, high-level programming languages, quantum control flow, quantum subroutines, compiler optimizations, oopslab25main-p54-p, doi:10.1145/3763056, doi:10.5281/zenodo.16567634, orcid:0009-0004-4508-353X, orcid:0000-0002-1913-4178, orcid:0000-0003-0269-9815, orcid:0000-0001-6842-5505, Artifacts Available, Artifacts Evaluated — Reusable, Results Reproduced

Presentation at the OOPSLA2 2025 conference, October 12–18, https://2025.splashcon.org/track/OOPSLA
Sponsored by ACM SIGPLAN,