📝 add related work section

Signed-off-by: burgholzer <[email protected]>

docs/refs.bib

@@ -1,10 +1,10 @@
 @incollection{wille2023decisionDiagramsForQuantumComputing,
-	author        = {R. Wille and S. Hillmich and L. Burgholzer},
-	title         = {{Decision Diagrams for Quantum Computing}},
-	year          = {2023},
-	publisher     = {Springer},
-	booktitle     = {Design Automation of Quantum Computers},
-	editor        = {R. O. Topaloglu},
-	doi           = {10.1007/978-3-031-15699-1_1},
-	url           = {https://www.cda.cit.tum.de/files/eda/2023_springer_decision_diagrams_for_quantum_computing.pdf},
+  title               = {Decision Diagrams for Quantum Computing},
+  author              = {R. Wille and S. Hillmich and L. Burgholzer},
+  year                = {2023},
+  booktitle           = {Design Automation of Quantum Computers},
+  publisher           = {Springer},
+  doi                 = {10.1007/978-3-031-15699-1_1},
+  url                 = {https://www.cda.cit.tum.de/files/eda/2023_springer_decision_diagrams_for_quantum_computing.pdf},
+  editor              = {R. O. Topaloglu},
 }

paper/paper.bib

@@ -93,6 +93,13 @@ @article{cross2022openqasm
   doi                 = {10.1145/3505636},
 }
 
+@software{cuda_q,
+  title               = {CUDA-Q},
+  year                = {2024},
+  doi                 = {10.5281/zenodo.8092233},
+  rights              = {Apache License 2.0},
+}
+
 @article{duncanGraphtheoreticSimplificationQuantum2020,
   title               = {Graph-theoretic {{Simplification}} of {{Quantum Circuits}} with the {{ZX-calculus}}},
   author              = {Duncan, Ross and Kissinger, Aleks and Perdrix, Simon and {van de Wetering}, John},
@@ -187,6 +194,44 @@ @inproceedings{hillmichJustRealThing2020
   doi                 = {10.1109/DAC18072.2020.9218555},
 }
 
+@article{hong_tensor_2022,
+  title               = {A Tensor Network based Decision Diagram for Representation of Quantum Circuits},
+  author              = {Hong, Xin and Zhou, Xiangzhen and Li, Sanjiang and Feng, Yuan and Ying, Mingsheng},
+  doi                 = {10.1145/3514355},
+  url                 = {https://github.com/Veriqc/TDD},
+  journaltitle        = {{ACM} Transactions on Design Automation of Electronic Systems},
+  date                = {2022-11-30},
+}
+
+@article{Ittah2024,
+  title               = {Catalyst: a Python JIT compiler for auto-differentiable hybrid quantum programs},
+  author              = {David Ittah and Ali Asadi and Erick Ochoa Lopez and Sergei Mironov and Samuel Banning and Romain Moyard and Mai Jacob Peng and Josh Izaac},
+  year                = {2024},
+  journal             = {Journal of Open Source Software},
+  publisher           = {The Open Journal},
+  volume              = {9},
+  number              = {99},
+  pages               = {6720},
+  doi                 = {10.21105/joss.06720},
+  url                 = {https://doi.org/10.21105/joss.06720},
+}
+
+@inproceedings{kissingerPyZXLargeScale2020,
+  title               = {PyZX: Large Scale Automated Diagrammatic Reasoning},
+  author              = {Kissinger, Aleks and van de Wetering, John},
+  year                = {2020},
+  booktitle           = {Int'l Conf. Quantum Physics and Logic},
+  doi                 = {10.4204/EPTCS.318.14},
+}
+
+@article{niemann_qmdds_2016,
+  title               = {{QMDDs}: Efficient quantum function representation and manipulation},
+  author              = {Niemann, Philipp and Wille, Robert and Miller, David Michael and Thornton, Mitchell A. and Drechsler, Rolf},
+  doi                 = {10.1109/TCAD.2015.2459034},
+  journaltitle        = {Transactions on Computer-Aided Design of Integrated Circuits and Systems},
+  date                = {2016},
+}
+
 @inproceedings{pehamDepthoptimalSynthesisClifford2023,
   title               = {Depth-optimal synthesis of {{Clifford}} circuits with {{SAT}} solvers},
   author              = {Peham, Tom and Brandl, Nina and Kueng, Richard and Wille, Robert and Burgholzer, Lukas},
@@ -277,6 +322,24 @@ @inproceedings{schneiderSATEncodingOptimal2023
   doi                 = {10.1145/3566097.3567929},
 }
 
+@article{sivarajah_tket_2021,
+  title               = {t$|$ket$\rangle$: a retargetable compiler for {NISQ} devices},
+  shorttitle          = {t$|$ket$\rangle$},
+  author              = {Sivarajah, Seyon and Dilkes, Silas and Cowtan, Alexander and Simmons, Will and Edgington, Alec and Duncan, Ross},
+  doi                 = {10.1088/2058-9565/ab8e92},
+  journaltitle        = {Quantum Science and Technology},
+  date                = {2021-01-01},
+}
+
+@inproceedings{tsaiBitSlicingHilbertSpace2021,
+  title               = {Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit Simulation},
+  author              = {Tsai, Yuan-Hung and Jiang, Jie-Hong R. and Jhang, Chiao-Shan},
+  year                = {2021},
+  booktitle           = {Design Automation Conference},
+  doi                 = {10.1109/DAC18074.2021.9586191},
+  url                 = {https://github.com/NTU-ALComLab/SliQSim},
+}
+
 @misc{vandeweteringZXcalculusWorkingQuantum2020,
   title               = {{{ZX-calculus}} for the working quantum computer scientist},
   author              = {{van de Wetering}, John},
@@ -286,6 +349,15 @@ @misc{vandeweteringZXcalculusWorkingQuantum2020
   archiveprefix       = {arxiv},
 }
 
+@article{vinkhuijzen_limdd_2023,
+  title               = {{LIMDD}: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States},
+  author              = {Vinkhuijzen, Lieuwe and Coopmans, Tim and Elkouss, David and Dunjko, Vedran and Laarman, Alfons},
+  doi                 = {10.22331/q-2023-09-11-1108},
+  url                 = {https://github.com/cda-tum/mqt-limdd},
+  journaltitle        = {Quantum},
+  date                = {2023-09-11},
+}
+
 @incollection{willeDecisionDiagramsQuantum2023,
   title               = {Decision {{Diagrams}} for {{Quantum Computing}}},
   author              = {Wille, Robert and Hillmich, Stefan and Burgholzer, Lukas},
@@ -343,3 +415,11 @@ @inproceedings{willeVisualizingDecisionDiagrams2021
   booktitle           = {Design, Automation and Test in Europe},
   doi                 = {10.23919/DATE51398.2021.9474236},
 }
+
+@software{younis_berkeley_2021,
+  title               = {Berkeley Quantum Synthesis Toolkit ({BQSKit}) v1},
+  author              = {Younis, Ed and Iancu, Costin and Lavrijsen, Wim and Davis, Marc and Smith, Ethan},
+  publisher           = {Lawrence Berkeley National Laboratory ({LBNL}), Berkeley, {CA} (United States)},
+  doi                 = {10.11578/DC.20210603.2},
+  date                = {2021},
+}

paper/paper.md

@@ -92,6 +92,36 @@ integration with existing Python-based quantum computing tools. In addition, pre
 are available for all major platforms and Python versions, making it easy to install and use MQT
 Core in various environments without the need for manual compilation.
 
+# Related Work
+
+MQT Core builds on a rich history of research in quantum computing, design automation, and data
+structures. The design of its IR is heavily inspired by IBM's Qiskit [@qiskit2024], with which it
+has stayed compatible since `qiskit-terra` version 0.16.1 (released at the end of 2020).
+MQT Core remains one of the few libraries providing drop-in replacements for large parts of Qiskit's
+core data structures in C++.
+Alternative IRs, that come as part of larger quantum computing frameworks, include
+Quantinuum's C++-based t$|$ket$\rangle$ [@sivarajah_tket_2021],
+LBNL's Python-based `bqskit` [@younis_berkeley_2021],
+Xanadu's MLIR-based `catalyst` [@Ittah2024], and
+NVIDIA's MLIR-based `CUDA-Q` [@cuda_q].
+
+The origin of the decision diagram package in MQT Core dates back to the seminal work on
+Quantum Multiple-Valued Decision Diagrams (QMDDs) [@niemann_qmdds_2016].
+It provides a state-of-the-art implementation of QMDDs that natively integrates with the MQT Core IR.
+Alternative types of quantum decision diagrams and related software packages include
+TDD's [@hong_tensor_2022], Bit-Slicing Decision Diagrams [@tsaiBitSlicingHilbertSpace2021], and
+LIMDDs [@vinkhuijzen_limdd_2023].
+In comparison to MQT Core, most of these libraries have remained academic prototypes and have not
+seen widespread adoption in the quantum computing community.
+
+The ZX-diagram package in MQT Core is inspired by the `PyZX` library [@kissingerPyZXLargeScale2020]
+and the t$|$ket$\rangle$ [@sivarajah_tket_2021] compiler.
+It provides an efficient C++ implementation of core ZX-calculus concepts and is tightly integrated
+with the MQT Core IR.
+Compared to other implementations, the ZX package in MQT Core is fine-tuned for verification use
+cases and provides dedicated support for handling qubit permutations as well as numerical
+inaccuracies that arise in practice.
+
 # Acknowledgements
 
 The Munich Quantum Toolkit has been supported by the European Research Council (ERC) under the

pyproject.toml

@@ -212,6 +212,7 @@ default.extend-ignore-re = [
 wille = "wille"
 anc = "anc"
 mch = "mch"
+ket = "ket"
 
 
 [tool.repo-review]