mqt-qcec

This release marks the transition from the JKQ framework to the Munich Quantum Toolkit (MQT).

What's Changed

• Bump extern/qfr from 49f5923 to 2ab280b by @dependabot in https://github.com/cda-tum/qcec/pull/21
• Bump extern/qfr from 2ab280b to e961baf by @dependabot in https://github.com/cda-tum/qcec/pull/23
• Bump extern/qfr from e961baf to 166177c by @dependabot in https://github.com/cda-tum/qcec/pull/24
• Bump extern/qfr from 166177c to 34b5811 by @dependabot in https://github.com/cda-tum/qcec/pull/25
• Bump extern/qfr from 34b5811 to dca7f1f by @dependabot in https://github.com/cda-tum/qcec/pull/26
• Bump extern/qfr from dca7f1f to 69ccc42 by @dependabot in https://github.com/cda-tum/qcec/pull/27
• Bump extern/qfr from 69ccc42 to 2c7ceb3 by @dependabot in https://github.com/cda-tum/qcec/pull/28
• Bump extern/qfr from 2c7ceb3 to 6bb07d6 by @dependabot in https://github.com/cda-tum/qcec/pull/29
• Bump actions/setup-python from 2 to 3 by @dependabot in https://github.com/cda-tum/qcec/pull/30
• Rebranding to MQT by @burgholzer in https://github.com/cda-tum/qcec/pull/31

Full Changelog: https://github.com/cda-tum/qcec/compare/v1.10.4...v1.10.5

What's Changed

• 🍎 Revert to building separate instead of universal binaries and wheels by @burgholzer in https://github.com/iic-jku/qcec/pull/16
• Bump DoozyX/clang-format-lint-action from 0.12 to 0.13 by @dependabot in https://github.com/iic-jku/qcec/pull/20
• Bump pypa/cibuildwheel from 2.3.0 to 2.3.1 by @dependabot in https://github.com/iic-jku/qcec/pull/18
• Bump codecov/codecov-action from 1 to 2.1.0 by @dependabot in https://github.com/iic-jku/qcec/pull/19
• Bump extern/qfr from 06da5bc to 49f5923 by @dependabot in https://github.com/iic-jku/qcec/pull/17

New Contributors

• @dependabot made their first contribution in https://github.com/iic-jku/qcec/pull/20

Full Changelog: https://github.com/iic-jku/qcec/compare/v1.10.3...v1.10.4

This release adds the improvements from #12, #13, and #14:

• ✨ adds the opt-in functionality for verifying dynamic circuits via translating such circuits to static ones.
• ✨ add reorder operations pass to pre-processing
• ✨ add functionality to compare the resulting DD to the identity with a given threshold
• ✨ introduce new optimization that tries to cancel identical operations in the alternating strategy whenever possible
• 🏗️ switch to PEP 517 pyproject.toml
• 🐛 🍎: deploying under macOS now produces fat binaries (i.e., for x86_64 and arm64 architectures). This allows to effectively build universal2 wheels for Python 3.8 onwards and eventually makes the wheels work on M1-based Macs

This small bugfix release adds:

• 🐛 a fix for a bug regarding RZ gates (see iic-jku/dd_package#25)
• 🐧 musllinux wheels

This release adds a couple of minor new features and fixes. In particular:

• ✨/🐛 ancillary registers and c3x/c4x gates are now supported in Qiskit QuantumCircuit objects
• ⚡ -march=native -mtune=native is actually enabled for source builds via pip
• ⚡ setup.py now runs on as many threads as available
• 🚀 added Python 3.10 wheels
• 📝 updated documentation

A lot of (mostly minor) updates have happened since the last QCEC release. This minor release brings QCEC up-to-date. For a detailed list of changes, see (#8).

With this release, we additionally provide Python wheels for Apple Silicon.

This minor release enables the new sorted buckets feature of the DDPackage submodule which should increase performance across the board.

This release adapts the QCEC library to work with the new JKQ DD Package version released recently.
Performance of all decision diagram-based routines is expected to improve (especially those based on simulation).

✨ dynamic DD package size
✨ separate VectorDD and MatrixDD classes
⚡ improved garbage collection
⚡ improved memory allocation
⚡ improved hashing
🔥 removed line
🔥 validInstance removed as such errors are now captured at the QFR level

This release acts as a tag for the last version of the JKQ QCEC repository that uses the old JKQ DD Package.
Future releases will use JKQ DD Package version 2.0 and higher.

Major refactoring for future developments

• Python bindings now expose more of the underlying library (Configuration, Results, etc.):

from jkq.qcec import *

config = Configuration()
<...>  # set configuration options
results = verify(circ1, circ2, config)

• In analogy to the research, the following methods (config.method) can now be configured:
  • reference
  • G_I_Gp (default)
  • simulation
• The following strategies (config.strategy) are available for the method:
  • naive
  • proportional (default)
  • lookahead
  • compilationflow
• The following types of stimuli (config.stimuli_type) are available for the simulation-based method:
  • classical (default)
  • localquantum
  • globalquantum
• verify() now returns a Results instance instead of internally storing the result
• Printing of JSON (results.json()) or CSV information (results.csv()) is laid off to the results object of the equivalence check
• Runtime information is split into preprocessing and verification time
• Single-qubit gate fusion and SWAP reconstruction are enabled per default
• Statistics are included in the results per default

This minor release fixes a major issue with the deployed Python wheels that could cause (binary) incompatibilities with certain machines.

It also adds many under-the-hood changes/improvements to the underlying CMake project structure:

• CMake minimum version raised to 3.13
• C++ standard raised to C++17
• Submodules are no longer handled in CMake
• Library installation options have been removed

This minor release includes many small under-the-hood improvements from iic-jku/dd_package@14730c6.

This small release adds the capability to extract I/O mapping information from Qiskit QuantumCircuit objects.
As a result, the verification of a circuit compiled with IBM Qiskit becomes even easier:

from jkq import qcec
from qiskit import QuantumCircuit, transpile

# create your quantum circuit
qc = <...> 

# append measurements to save output permutation
qc.measure_all() 

# transpile circuit to appropriate backend using some optimization level
qc_trans = transpile(qc, backend=<...>, optimization_level=<0 | 1 | 2 | 3>) 

# verify the compilation result
qcec.verify(qc, qc_trans, method=qcec.Method.compilationflow, statistics=True)

This release adds support for directly using Qiskit QuantumCircuit objects (as well as corresponding .pickle files) as input to the verification tool.
Many of Qiskit's operations are natively supported and directly translated to our Quantum Functionality Representation (QFR).
Any non-native operation is decomposed using Qiskit's definition of the operation until only native operations remain.
A release that allows to incorporate compilation information (e.g., logical to physical qubit mapping) is planned for the future.

Due to these changes, the interface of the qcec.verify function has changed: the parameters file1/file2 are now suitably called circ1/circ2.

This release also fixes a small issue where the naive and lookahead method could not be set correctly.

This minor release provides a functioning sdist for Python distribution.

Minor release

• Switched CI/CD to Github Actions.
• Updated submodules
• Slight modification to Python bindings structure

v1.6 introduces random stimuli generation methods for the verification of quantum circuits.
It also adds the option of persisting the state vector used for verification methods based on simulation.

v1.5 adds JKQ QCEC to PyPI---allowing user to install the tool by calling

pip install jkq.qcec

and use it to verify quantum circuits in Python with

from jkq import qcec
qcec.verify([...])

Additionally, configuration options now also include optimization passes applied before equivalence checking:

• swapGateFusion: Reconstruct SWAP operations from elementary operations
• singleQubitGateFusion: Fuse consecutive single qubit gates
• removeDiagonalGatesBeforeMeasure: Remove diagonal gates before measurements

v1.5 adds JKQ QCEC to PyPI---allowing user to install the tool by calling

pip install jkq.qcec

and use it to verify quantum circuits in Python with

from jkq import qcec
qcec.verify([...])

This beta release tests the CI/CD functionality for automatically building and deploying to PyPI.