Reqomp: Space-constrained Uncomputation for Quantum Circuits

Quantum circuits must run on quantum computers with tight limits on qubit and gate counts. To generate circuits respecting both limits, a promising opportunity is exploiting $uncomputation$ to trade qubits for gates. We present Reqomp, a method to automatically synthesize correct and efficient uncom...

Full description

Bibliographic Details
Main Authors: Anouk Paradis, Benjamin Bichsel, Martin Vechev
Format: Article
Language:English
Published: Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften 2024-02-01
Series:Quantum
Online Access:https://quantum-journal.org/papers/q-2024-02-19-1258/pdf/