Open access
Date
2021-06Type
- Conference Paper
Abstract
A key challenge when writing quantum programs is the need for uncomputation: temporary values produced during the computation must be reset to zero before they can be safely discarded. Unfortunately, most existing quantum languages require tedious manual uncomputation, often leading to inefficient and error-prone programs. We present Unqomp, the first procedure to automatically synthesize uncomputation in a given quantum circuit. Unqomp can be readily integrated into popular quantum languages, allowing the programmer to allocate and use temporary values analogously to classical computation, knowing they will be uncomputed by Unqomp. Our evaluation shows that programs leveraging Unqomp are not only shorter (-19% on average), but also generate more efficient circuits (-71% gates and-19% qubits on average). Show more
Permanent link
https://doi.org/10.3929/ethz-b-000493352Publication status
publishedExternal links
Book title
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '21)Pages / Article No.
Publisher
Association for Computing MachineryEvent
Subject
Quantum circuits; Uncomputation; SynthesisOrganisational unit
03948 - Vechev, Martin / Vechev, Martin
More
Show all metadata