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