Work

Dynamic Runtime Assertions in Quantum Ternary Systems

Year: 2024

Type: conference-paper

Abstract: With the rapid advancement of quantum computing technology, there is a growing need for new debugging tools for quantum programs. Recent research has highlighted the potential of assertions for debugging quantum programs. In this paper, we investigate assertions in quantum ternary systems, which are more challenging than those in quantum binary systems due to the complexity of ternary logic. We propose quantum ternary circuit designs to assert classical, entanglement, and superposition states, specifically geared toward debugging quantum ternary programs.

Source: IEEE International Conference on Quantum Computing and Engineering (QCE)

DOI: 10.1109/qce60285.2024.00015

Authors: Ehsan Faghih, Huiyang Zhou

Institution: North Carolina State University

Language: English

Topic: Quantum Computing Algorithms and Architecture

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Duke University, North Carolina State University, University of Maryland

Awards: PFCQC: STAQ: Software-Tailored Architecture for Quantum co-design, G4677394286