search

cda-tum / mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking
https://mqt.readthedocs.io/projects/qcec
MIT License
90 stars 21 forks source link

✨ Adjust optimization passes for parameterized circuits #168

Open pehamTom opened 1 year ago

pehamTom commented 1 year ago

What's the problem this feature will solve?

At the moment, some preprocessing optimization passes fail when dealing with QuantumComputations involving SymbolicOperations. Many (if not all) of the optimization passes do not require the circuit to consist entirely of non-symbolic operations (like SWAP reconstruction).

Describe the solution you'd like

When checking parameterized circuits for equivalence, optimization passes should be transparently applied just like with non-parameterized circuits. This requires minor adjustments in the respective optimization passes.

burgholzer commented 1 year ago

Just for reference: https://github.com/cda-tum/qfr/issues/205 tracks the corresponding feature in the QFR where the optimization passes reside.