Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2212.10395 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911780342595584 |
|---|---|
| author | Paradis, Anouk Bichsel, Benjamin Vechev, Martin |
| author_facet | Paradis, Anouk Bichsel, Benjamin Vechev, Martin |
| contents | 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%. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2212_10395 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Reqomp: Space-constrained Uncomputation for Quantum Circuits Paradis, Anouk Bichsel, Benjamin Vechev, Martin Quantum Physics 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%. |
| title | Reqomp: Space-constrained Uncomputation for Quantum Circuits |
| topic | Quantum Physics |
| url | https://arxiv.org/abs/2212.10395 |