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: Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer

Abstract: In this paper, we propose Proq, a runtime assertion scheme for testing and debugging quantum programs on a quantum computer. The predicates in Proq 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. On the theory side, we rigorously prove that checking projection-based assertions can help locate bugs or statistically assure that the semantic function of the tested program is close to what we expect, for both exact and approximate quantum programs. On the practice side, we consider hardware constraints and introduce several techniques to transform the assertions, making them directly executable on the measurement-restricted quantum computers. We also propose to achieve simplified assertion implementation using local projection technique with soundness guaranteed. We compare Proq with existing quantum program assertions and demonstrate the effectiveness and efficiency of Proq by its applications to assert two ingenious quantum algorithms, the Harrow-Hassidim-Lloyd algorithm and Shor's algorithm.
Comments: A major revision, in submission
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.12855v2 [cs.PL] for this version)

Submission history

From: Gushu Li [view email]
[v1] Thu, 28 Nov 2019 20:24:11 GMT (783kb,D)
[v2] Fri, 29 May 2020 20:56:55 GMT (985kb,D)

Link back to: arXiv, form interface, contact.