References

MQT QCEC has a strong foundation in peer‑reviewed research. Many of its built‑in algorithms are based on methods published in scientific journals and conferences. For an overview of MQT QCEC and its features, see [9]. If you want to cite this article, please use the following BibTeX entry:

@article{burgholzerQCECJKQTool2021,
  title        = {{{QCEC}}: {{A JKQ}} tool for quantum circuit equivalence checking},
  author       = {Burgholzer, Lukas and Wille, Robert},
  year         = 2021,
  month        = feb,
  journal      = {Software Impacts},
  doi          = {10.1016/j.simpa.2020.100051}
}

MQT QCEC is part of the Munich Quantum Toolkit, which is described in [10]. If you want to cite the Munich Quantum Toolkit, please use the following BibTeX entry:

@inproceedings{mqt,
  title        = {The {{MQT}} Handbook: {{A}} Summary of Design Automation Tools and Software for Quantum Computing},
  shorttitle   = {{The MQT Handbook}},
  author       = {Wille, Robert and Berent, Lucas and Forster, Tobias and Kunasaikaran, Jagatheesan and Mato, Kevin and Peham, Tom and Quetschlich, Nils and Rovara, Damian and Sander, Aaron and Schmid, Ludwig and Schoenberger, Daniel and Stade, Yannick and Burgholzer, Lukas},
  year         = 2024,
  booktitle    = {IEEE International Conference on Quantum Software (QSW)},
  doi          = {10.1109/QSW62656.2024.00013},
  eprint       = {2405.17543},
  eprinttype   = {arxiv},
  addendum     = {A live version of this document is available at \url{https://mqt.readthedocs.io}}
}

If you use MQT QCEC in your work, we would appreciate if you cited [2] (which subsumes [11] and [12]).

Furthermore, if you use any of the particular algorithms such as

  • the compilation flow result verification scheme [13],

  • the dedicated stimuli generation schemes [3],

  • the transformation scheme for circuits containing non-unitaries [14],

  • the equivalence checker based on ZX-diagrams [5], or

  • the method for checking equivalence of parameterized circuits [7],

please consider citing their respective papers as well.

A full list of references is given below.

[1]

Robert Wille, Stefan Hillmich, and Burgholzer Lukas. Tools for quantum computing based on decision diagrams. ACM Transactions on Quantum Computing, 2021. [PDF], doi:10.1145/3491246.

[2]

Lukas Burgholzer and Robert Wille. Advanced equivalence checking for quantum circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 2021. [PDF], doi:10.1109/TCAD.2020.3032630.

[3]

Lukas Burgholzer, Kueng Richard, and Robert Wille. Random stimuli generation for the verification of quantum circuits. In Asia and South Pacific Design Automation Conf. 2021. [PDF], doi:10.1145/3394885.3431590.

[4]

Aleks Kissinger and John van de Wetering. PyZX: Large scale automated diagrammatic reasoning. In Quantum Physics and Logic. 2019. [PDF], doi:10.4204/EPTCS.318.14.

[5]

Tom Peham, Lukas Burgholzer, and Robert Wille. Equivalence checking of quantum circuits with the ZX-calculus. IEEE Journal on Emerging and Selected Topics in Circuits and Systems, 2022. [PDF], doi:10.1109/JETCAS.2022.3202204.

[6]

Tom Peham, Lukas Burgholzer, and Robert Wille. Equivalence checking paradigms in quantum circuit design: A case study. In Design Automation Conf. 2022. [PDF], doi:10.1145/3489517.3530480.

[7]

Tom Peham, Lukas Burgholzer, and Robert Wille. Equivalence checking of parameterized quantum circuits: Verifying the compilation of variational quantum algorithms. In Asia and South Pacific Design Automation Conf. 2023. [PDF], doi:10.1145/3566097.3567932.

[8]

Tian-Fu Chen, Jie-Hong R. Jiang, and Min-Hsiu Hsieh. Partial equivalence checking of quantum circuits. In Int'l Conf. on Quantum Computing and Engineering. 2022. [PDF], doi:10.1109/qce53715.2022.00082.

[9]

Lukas Burgholzer and Robert Wille. QCEC: A JKQ tool for quantum circuit equivalence checking. Software Impacts, February 2021. doi:10.1016/j.simpa.2020.100051.

[10]

Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schoenberger, Yannick Stade, and Lukas Burgholzer. The MQT handbook: A summary of design automation tools and software for quantum computing. In Int'l Conf. on Quantum Software. 2024. arXiv:2405.17543, doi:10.1109/QSW62656.2024.00013.

[11]

Lukas Burgholzer and Robert Wille. Improved DD-based equivalence checking of quantum circuits. In Asia and South Pacific Design Automation Conf. 2020. [PDF], doi:10.1109/ASP-DAC47756.2020.9045153.

[12]

Lukas Burgholzer and Robert Wille. The power of simulation for equivalence checking in quantum computing. In Design Automation Conf. 2020. [PDF], doi:10.1109/DAC18072.2020.9218563.

[13]

Lukas Burgholzer, Rudy Raymond, and Robert Wille. Verifying results of the IBM Qiskit quantum circuit compilation flow. In Int'l Conf. on Quantum Computing and Engineering. 2020. [PDF], doi:10.1109/QCE49297.2020.00051.

[14]

Lukas Burgholzer and Robert Wille. Handling non-unitaries in quantum circuit equivalence checking. In Design Automation Conf. 2022. [PDF], doi:10.1145/3489517.3530482.