Dynamic Assertions for Quantum Circuits Based on Stabilizers

Cheng Nuan Lin, Shang Wei Lin, Yean Ru Chen

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Quantum computing is computationally more powerful than classical one due to the features of superposition and entanglement of quantum bits (qubits). However, because of the non-cloning property, measuring qubits in superposition forces them to collapse onto classical ones, which makes traditional run-time techniques for debugging and analyzing hardware circuits infeasible. To overcome this issue, previous works proposed the concept of quantum dynamic runtime assertion. Stabilizer is an approach adopted for correcting quantum errors. The quantum state can remain unchanged after several Pauli operations. We call these Pauli operations a stabilizer. In this work, we propose to use the quantum stabilizers for dynamic runtime assertions, which requires less quantum gates and increases the detect accuracy on Noisy intermediate scale quantum(NISQ).

Original languageEnglish
Title of host publicationQuantum Technologies 2022
EditorsEleni Diamanti, Sara Ducci, Nicolas Treps, Shannon Whitlock
ISBN (Electronic)9781510651425
Publication statusPublished - 2022
EventQuantum Technologies 2022 - Virtual, Online
Duration: 2022 May 92022 May 20

Publication series

NameProceedings of SPIE - The International Society for Optical Engineering
ISSN (Print)0277-786X
ISSN (Electronic)1996-756X


ConferenceQuantum Technologies 2022
CityVirtual, Online

All Science Journal Classification (ASJC) codes

  • Electronic, Optical and Magnetic Materials
  • Condensed Matter Physics
  • Computer Science Applications
  • Applied Mathematics
  • Electrical and Electronic Engineering


Dive into the research topics of 'Dynamic Assertions for Quantum Circuits Based on Stabilizers'. Together they form a unique fingerprint.

Cite this