TechRxiv
ASPLOS2020_techrxiv.pdf (542.94 kB)
0/0

Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation

Download (542.94 kB)
preprint
posted on 09.12.2019 by Ji Liu, Greg Byrd, Huiyang Zhou
In this paper, we propose quantum circuits to enable dynamic assertions for classical values, entanglement, and superposition. This enables a dynamic debugging primitive, driven by a programmer’s understanding of the correct behavior of the quantum program. We show that besides generating assertion errors, the assertion logic may also force the qubits under test to be into the desired state. Besides debugging, our proposed assertion logic can also be used in noisy intermediate scale quantum (NISQ) systems to filter out erroneous results, as demonstrated on a 20-qubit IBM Q quantum computer. Our proposed assertion circuits have been implemented as functions in the open-source Qiskit tool.

Funding

SaTC: CORE: Small: Towards Smart and Secure Non Volatile Memory

Directorate for Computer & Information Science & Engineering

Find out more...

SHF: Small: Collaborative Research: Efficient Memory Persistency for GPUs

Directorate for Computer & Information Science & Engineering

Find out more...

History

Email Address of Submitting Author

jliu45@ncsu.edu

ORCID of Submitting Author

0000-0002-5509-5065

Submitting Author's Institution

North Carolina State University

Submitting Author's Country

United States of America

Licence

Exports

Licence

Exports