mqt.qcec.parameterized¶

Functionality for checking equivalence of parameterized quantum circuits.

Functions¶

`check_parameterized_zx`(...)	Check circuits for equivalence with the ZX-calculus.
`check_instantiated`(...)	Check circuits for equivalence with DD equivalence checker.
`check_instantiated_random`(...)	Check whether circuits are equivalent for random instantiation of symbolic parameters.
`check_parameterized`(...)	Equivalence checking flow for parameterized circuit.

Module Contents¶

check_parameterized_zx(circ1: mqt.core.ir.QuantumComputation, circ2: mqt.core.ir.QuantumComputation, configuration: mqt.qcec.pyqcec.Configuration) → mqt.qcec.pyqcec.EquivalenceCheckingManager.Results[source]¶: Check circuits for equivalence with the ZX-calculus.

check_instantiated(circ1: mqt.core.ir.QuantumComputation, circ2: mqt.core.ir.QuantumComputation, configuration: mqt.qcec.pyqcec.Configuration) → mqt.qcec.pyqcec.EquivalenceCheckingManager.Results[source]¶: Check circuits for equivalence with DD equivalence checker.

check_instantiated_random(circ1: mqt.core.ir.QuantumComputation, circ2: mqt.core.ir.QuantumComputation, params: list[mqt.core.ir.symbolic.Variable], configuration: mqt.qcec.pyqcec.Configuration) → mqt.qcec.pyqcec.EquivalenceCheckingManager.Results[source]¶: Check whether circuits are equivalent for random instantiation of symbolic parameters.

check_parameterized(circ1: mqt.core.ir.QuantumComputation, circ2: mqt.core.ir.QuantumComputation, configuration: mqt.qcec.pyqcec.Configuration) → mqt.qcec.pyqcec.EquivalenceCheckingManager.Results[source]¶: Equivalence checking flow for parameterized circuit.