Reqomp: Space-constrained Uncomputation for Quantum Circuits

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Paradis, Anouk, Bichsel, Benjamin, Vechev, Martin
Natura: Preprint
Pubblicazione: 2022
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_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