qward
A Comprehensive Framework for Quantum Program Analysis and Validation
Agenda
the context

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.
Understand the problem
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.
Describe de circuit
We need to estimate theoretical success probabilities and consider the impact of quantum noise.
This helps us distinguish between algorithm failures and hardware limitations.
Estimating Results
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.
Executing the Program
Analysis involves validating success rates, analyzing error patterns, and calculating performance metrics.
Analyzing the Results
Qiskit's Role
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)

Qiskit's role

qiskit sdk
qward in a nutshell
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.
qward in a nutshell
circuit
Literature reported metrics
analysis
Pre and Post execution
validation
Diagrams and more
Minimal
By xthecapx
Minimal
- 71