Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/dlyongemallo/qiskit-zx-transpiler
A transpiler pass for Qiskit which uses ZX-Calculus for circuit optimization, implemented using PyZX.
https://github.com/dlyongemallo/qiskit-zx-transpiler
circuit-optimization qiskit quantum-circuit-optimization quantum-circuit-synthesis quantum-compiler quantum-transpiler zx-calculus
Last synced: about 1 month ago
JSON representation
A transpiler pass for Qiskit which uses ZX-Calculus for circuit optimization, implemented using PyZX.
- Host: GitHub
- URL: https://github.com/dlyongemallo/qiskit-zx-transpiler
- Owner: dlyongemallo
- License: apache-2.0
- Created: 2023-11-17T09:07:54.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2024-07-24T03:28:21.000Z (5 months ago)
- Last Synced: 2024-11-06T06:05:34.427Z (about 2 months ago)
- Topics: circuit-optimization, qiskit, quantum-circuit-optimization, quantum-circuit-synthesis, quantum-compiler, quantum-transpiler, zx-calculus
- Language: Python
- Homepage:
- Size: 538 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Qiskit ZX Transpiler
A transpiler pass for Qiskit which uses ZX-Calculus for circuit optimization, implemented using PyZX.
[](https://opensource.org/licenses/Apache-2.0)
[]()
[](https://badge.fury.io/py/qiskit-zx-transpiler)
[](https://github.com/dlyongemallo/qiskit-zx-transpiler/actions/workflows/test.yml)
## Example usage
```python
from qiskit.circuit import QuantumCircuit
from qiskit.transpiler import PassManager
from zxpass import ZXPass
# Create a qiskit `QuantumCircuit` here...
qc = QuantumCircuit(...)
pass_manager = PassManager(ZXPass())
zx_qc = pass_manager.run(qc)
```
It is also possible to initialise `ZXPass` with a custom optimization function.
(The default, if none is supplied, is to call `pyzx.simplify.full_reduce`
on the graph of the circuit.)
```python
import pyzx
def my_optimize(c: pyzx.Circuit) -> pyzx.Circuit:
g = c.to_graph()
# do stuff to simplify `g`...
return pyzx.extract.extract_circuit(g)
pass_manager = PassManager(ZXPass(my_optimize))
my_qc = pass_manager.run(qc)
```
The transpiler is also exposed as a pass manager stage plugin at the optimization stage.
```python
from qiskit import transpile
zx_qc = transpile(qc, optimization_method="zxpass")
```
## Running benchmarks
To perform some benchmarks based on the [QASMBench](https://github.com/pnnl/QASMBench) suite, run the following:
```bash
cd benchmarking
python run_benchmarks.py
```
This will output some statistics and produce 2 PNG files showing the depth compression ratio between both Qiskit- and ZX-optimized circuits and the original circuits, and ratio of non-local gates beween the Qiskit- and ZX-optimized circuits.
## Previous work
There have been two previous attempts to create a transpiler pass for Qiskit using PyZX which I'm aware of.
The first attempt was made in 2019 by
[@lia-approves](https://github.com/lia-approves), [@edasgupta](https://github.com/edasgupta), and [@ewinston](https://github.com/ewinston)
when they were interns at IBM Quantum, as documented in [this Qiskit issue](https://github.com/Qiskit/qiskit/issues/4990).
That code used qasm as an intermediate format when converting between a Qiskit `DAGCircuit` and a PyZX `Circuit`,
which is undesirable for reasons noted in that issue. Furthermore, the code is out of date with subsequent changes made to both Qiskit and PyZX.
The second attempt was made by [@gprs1809](https://github.com/gprs1809) et al. as a part of the Qiskit Advocate Mentorship Program (QAMP) in the fall of 2022.
The code is found in [this repository](https://github.com/gprs1809/ZX_to_DAG_QAMP_fall_2022).
This implementation converts a PyZX `Circuit` directly to a Qiskit `QuantumCircuit`, without going through qasm.
However, the code is incomplete and produces the wrong output for some circuits
(which may have been due to a difference between how PyZX and Qiskit implements certain gates, fixed in [this PR](https://github.com/Quantomatic/pyzx/pull/156)),
and (as far as I can tell) the code to convert in the other direction is not available.