SliQSim: A Quantum Circuit Simulator and Solver for Probability and Statistics Queries

Abstract

Abstract , originally developed as the first exact quantum circuit simulator, is extended in this paper to provide capabilities for the analysis and verification of quantum states. It provides an interface for users to specify interested quantum states for querying the exact probability or expectation value of a user-defined property. Case studies on three quantum algorithms show the unique capability of benefiting exact quantum circuit analysis and verification, beyond the support by other tools.