Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer

by   Gushu Li, et al.
University of Technology Sydney
The Regents of the University of California

In this paper, we propose Poq, a runtime assertion scheme for debugging on a quantum computer. The predicates in the assertions are represented by projections (or equivalently, closed subspaces of the state space), following Birkhoff-von Neumann quantum logic. The satisfaction of a projection by a quantum state can be directly checked upon a small number of projective measurements rather than a large number of repeated executions. Several techniques are introduced to rotate the predicates to the computational basis, on which a realistic quantum computer usually supports its measurements, so that a satisfying tested state will not be destroyed when an assertion is checked and multi-assertion per testing execution is enabled. We compare Poq with existing quantum program assertions and demonstrate the effectiveness and efficiency of Poq by its applications to assert two sophisticated quantum algorithms.


page 1

page 2

page 3

page 4


Classical and Quantum Data Interaction in Programming Languages: A Runtime Architecture

We propose a runtime architecture that can be used in the development of...

Quantum Temporal Logic: from Birkhoff and von Neumann to Pnueli

In this paper, we introduce a model of quantum concurrent program, which...

Quantum Temporal Logic

In this paper, we introduce a model of quantum concurrent program, which...

Quantum Computational Psychoanalysis – Quantum logic approach to Bi-logic

In this paper, we are dealing with the fundamental concepts of Bi-logic ...

One-Time Compilation of Device-Level Instructions for Quantum Subroutines

A large class of problems in the current era of quantum devices involve ...

Expected Runtime of Quantum Programs

Building upon recent work on probabilistic programs, we formally define ...

Noise-Aware Quantum Software Testing

Quantum Computing (QC) promises computational speedup over classic compu...

Please sign up or login with your details

Forgot password? Click here to reset