Quantum Circuit and Algorithm Validation With Prove-It

ORAL

Abstract

Validating algorithm implementations is increasingly important, especially to distinguish implementation mistakes from noise inherent to so-called Noisy Intermediate-Scale Quantum (NISQ) technologies. Debugging a quantum computation is problematic because intermediate states cannot be probed without interfering with the computation. We demonstrate formal quantum algorithm verification using our versatile Python software package called Prove-It [1]. Prove-It is designed to be accessible, convenient, and extensible. It supports unlimited expressivity using LaTeX (including quantum circuit expressions), freedom to add and conveniently track axioms, flexibility to prove theorems independently in any order, and extensible automation capabilities.
[1] www.pyproveit.org

*This material is based upon work supported by the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research, under the Quantum Computing Application Teams program. Sandia National Labs is managed and operated by National Technology and Engineering Solutions of Sandia, LLC, a subsidiary of Honeywell International, Inc., for the U.S. Dept. of Energy's NNSA under contract DE-NA0003525. The views expressed above do not necessarily represent the views of the DOE or the U.S. Government.

–

Presenters

  • Wayne Witzel

    • Center for Computing Research, Sandia National Laboratories

Authors

  • Wayne Witzel

    • Center for Computing Research, Sandia National Laboratories

  • Kenneth Rudinger

    • Sandia National Laboratories
    • Center for Computing Research, Sandia National Laboratories

  • Robert Carr

    • Computer Science, University of New Mexico

  • Mohan Sarovar

    • Sandia National Laboratories