QuPRS 0.4.0

QuPRS: Quantum Path-sum Reduction and Solver

QuPRS: Quantum Path-sum Reduction and Solver

QuPRS("kyu-parse") is a tool for Quantum Circuit tool integrate Path-sum Reduction and Solver.

In quantum computing, verifying whether an optimized or compiled quantum circuit is functionally equivalent to the original circuit is a crucial task. QuPRS aims to solve this problem, and its features include:

• Novel verification method: Based on pathsum, which is a circuit representation method different from traditional matrix products.
• Multiple verification strategies:
  1. Hybrid mode (RR + WMC): Combines the efficiency of reduction rules and the completeness of weighted model counting.
  2. Reduction rules only (RR): Extremely fast, suitable for circuits that can be simplified by local rules.
  3. WMC only: A powerful SAT-based method for more complex circuit structures.
• Seamless integration with Qiskit ecosystem: Circuits can be directly loaded from Qiskit QuantumCircuit objects or QASM files.

Contents

• QuPRS: Quantum Path-sum Reduction and Solver
  • Contents
  • Installation
  • Using QuPRS
    • Create pathsum Circuit
    • Import From qasm
  • Equivalence Checking
    • Circuit Prepare
    • Run Equivalence Checking
  • Cite
  • License Information
  • Acknowledgements

Installation

It is recommended to install QuPRS in a virtual environment.

1. Create and activate a Conda virtual environment:

   conda create --name QuPRS python=3.12 # Or your preferred Python version
   conda activate QuPRS
   

2. Install QuPRS using pip:

   pip install QuPRS
   

   or install QuPRS latest commit:

   pip install git+https://github.com/PhysicsQoo/QuPRS.git
   

Using QuPRS

This tool can build quantum circuit using path-sum formulation.

First, import the necessary components from the QuPRS library.

from QuPRS.pathsum import pathsum

Create pathsum Circuit

Create a pathsum Circuit You can create a pathsum.QuantumCircuit object directly:

qubit_num = 2
circuit = pathsum.QuantumCircuit(qubit_num)
circuit = circuit.h(0) # Apply Hadamard gate to qubit 0
circuit = circuit.h(0) # Apply Hadamard gate to qubit 0 again (H*H = I)
# Add more gates as needed
# e.g., circuit = circuit.cx(0, 1)

Import From qasm

pathsum supports importing circuits from QASM files or strings.

From a QASM file:

filename = "my_circuit.qasm"
# Ensure my_circuit.qasm exists and contains valid QASM code
# Example my_circuit.qasm:
# OPENQASM 2.0;
# include "qelib1.inc";
# qreg q[2];
# h q[0];
# cx q[0],q[1];

circuit = pathsum.load_from_qasm_file(filename)

Or

qasm_str = """
OPENQASM 2.0;
include "qelib1.inc";
qreg q[2];
h q[0];
cx q[0],q[1];
"""
circuit = pathsum.load_from_qasm_str(qasm_str)

Equivalence Checking

QuPRS provides tools for checking the equivalence of two quantum circuits, potentially imported from Qiskit or QASM files.

Importing Circuits for Equivalence Checking You can load circuits from QASM files or define them directly using Qiskit for comparison.

Circuit Prepare

• Load from QASM files

  # Assuming circuit1.qasm and circuit2.qasm exist
  from QuPRS.interface.load_qiskit import load_circuit
  
  circuit1 = load_circuit("circuit1.qasm")
  circuit2 = load_circuit("circuit2.qasm")
  

• Direct import from Qiskit QuantumCircuit objects:

  from qiskit import QuantumCircuit 
  
  # Define circuit1 using Qiskit
  circuit1 = QuantumCircuit(2)
  circuit1.h(1)
  circuit1.cx(0, 1)
  circuit1.h(1)
  
  # Define circuit2 using Qiskit
  circuit2 = QuantumCircuit(2)
  circuit2.cz(0, 1)
  

Run Equivalence Checking

• Hybrid: Reduction Rules (RR) and Weighted Model Counting (WMC)

  This method combines RR with WMC for equivalence checking.

  from QuPRS.interface.load_qiskit import qasm_eq_check_with_wmc
  
  output_dict = qasm_eq_check_with_wmc(circuit1, circuit2)
  

• Using Reduction Rules (RR)

  This method checks if two circuits are equivalent primarily using Reduction Rules.

  from QuPRS.interface.load_qiskit import qasm_eq_check
  
  output_dict, circuit = qasm_eq_check(circuit1, circuit2)
  

• WMC only (without RR)

  To perform equivalence checking using only WMC, you need to disable the Reduction Rules switch.

  from QuPRS.interface.load_qiskit import qasm_eq_check_with_wmc
  from QuPRS.pathsum import pathsum
  
  pathsum.set_reduction_switch(False)
  output_dict = qasm_eq_check_with_wmc(circuit1, circuit2)
  

Cite

If you use QuPRS in your research, please consider citing it.

This code is associated with a forthcoming publication. Please cite this repository for now, and check back for the full paper citation.

License Information

• This project’s original source code is licensed under: MIT
• Kenji Hashimoto’s binary component (QuPRS/utils/gpmc) is licensed under the MIT License and the file (QuPRS/utils/Qiskit_Circuit_Utils.py) contains functions (random_circuit, random_clifford_T_circuit) that are derived from the Qiskit library. The original Qiskit code is licensed under the Apache 2.0. see: NOTICE

Acknowledgements

This project utilizes gpmc, a binary component developed by Kenji Hashimoto, for parts of its Weighted Model Counting functionality.