sunwx17/Equivalence-checking

codes for https://arxiv.org/abs/2105.02634

Equivalence checking of quantum circuits by nonlocality

This repository contains the code for the numerical calculations in Equivalence checking of quantum circuits by nonlocality.

Run

You can run

python src/bounds.py 
python src/cost.py

to generate Fig.1 and Fig.3 separately.