We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

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

Abstract: 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.
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Emerging Technologies (cs.ET); Quantum Physics (quant-ph)
Cite as: arXiv:1911.12855 [cs.PL]
  (or arXiv:1911.12855v1 [cs.PL] for this version)

Submission history

From: Gushu Li [view email]
[v1] Thu, 28 Nov 2019 20:24:11 GMT (783kb,D)

Link back to: arXiv, form interface, contact.