A Comprehensive Framework for Quantum Program Analysis and Validation
What is means to do quantum computing?
1. Understand the problem
2. Describe circuit
3. Estimate results
4. Execute the program
5. Analyse the results
Quantum computing requires reformulating classical problems into quantum algorithms.
The blueprint of a quantum algorithm, consisting of quantum gates that manipulate qubits.
The circuit must be designed considering physical constraints like gate fidelity and qubit connectivity.
We need to estimate theoretical success probabilities and consider the impact of quantum noise.
This helps us distinguish between algorithm failures and hardware limitations.
Program execution requires multiple shots to account for quantum measurement probabilities.
We must choose between simulators for testing and real quantum hardware for actual results.
Analysis involves validating success rates, analyzing error patterns, and calculating performance metrics.
It provides essential tools for quantum circuit creation, manipulation, and execution, along with the Qiskit Runtime environment for running programs on IBM's quantum processing units (QPUs)
QWard is a framework built on top of Qiskit that enhances quantum program analysis and validation. It provides a scanning quantum circuit system that extends Qiskit's capabilities with comprehensive metrics collection, analysis tools, and validation features.
Literature reported metrics
Pre and Post execution
Diagrams and more