Reqomp: Space-constrained Uncomputation for Quantum Circuits
Abstract
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 uncomputation of ancillae while respecting hardware constraints. For a given circuit, Reqomp can offer a wide range of trade-offs between tightly constraining qubit count or gate count. Our evaluation demonstrates that Reqomp can significantly reduce the number of required ancilla qubits by up to 96%. On 80% of our benchmarks, the ancilla qubits required can be reduced by at least 25% while never incurring a gate count increase beyond 28%.
- Publication:
-
Quantum
- Pub Date:
- February 2024
- DOI:
- 10.22331/q-2024-02-19-1258
- arXiv:
- arXiv:2212.10395
- Bibcode:
- 2024Quant...8.1258P
- Keywords:
-
- Quantum Physics
- E-Print:
- 23 pages, 16 figures v2: Clarification of technical sections 3 and 4. Small rephrasing elsewhere