This tool runs experiments and produces a plot that compares the method of QuSAT to our approach for equivalence checking of quantum circuits using a range of benchmarks. In particular, it produces random circuits using QuSAT, together with the running times for equivalence checking of each quantum circuit to an equivalent one. After translating the circuits into .stim type circuits, it will run the same equivalence checking experiments using our approach. The running times will be saved and the plot will be produced.
Run
git submodule update --init --recursive
This will download the submodules of QuSAT and stim.
In the Stim directory replace the original file "tableau_simulator.cc" by the one provide here. The original file lies in "Stim/src/stim/simulators/tableau_simulator.cc"
Follow instructions in https://github.com/quantumlib/Stim/blob/main/README.md to install Stim
1)In the QuSAT directory replace the original file "test_satencoder.cpp" by the one provided here. The original file lies in "qusat/test/test_satencoder.cpp"
2)In the QuSAT directory replace the original file "RandomCliffordCircuit.cpp" by the one provided here. The original file lies in "qusat/extern/qfr/src/algorithms/RandomCliffordCircuit.cpp"
Follow instructions in https://github.com/cda-tum/qusat/blob/main/README.md to install QuSat
The provided example will generate the plots for fixed number of qubits for the values 50 and 250 and varying depth up to 150.
After running QuSAT (this will produce the random quantum circuits), run "run_all.py" which will run all four python scripts that are necessary for performing equivalence checking using our approach and plotting the data.
python3 run_all.py
The provided example will generate the plots for fixed number of qubits for the values 50 and 250 and varying depth up to 150.
Make sure that you run "run_all.py" in the same directory as the one in which the output files produced by QuSAT are (i.e. the .txt files with names of the form "qusat_output_{}_{}.txt").
