Update MQT Bench Dependency and MQT Predictor Paper Reference

CITATION.bib

@@ -1,7 +1,9 @@
-@MISC{quetschlich2023mqtpredictor,
-	AUTHOR      = {N. Quetschlich and L. Burgholzer and R. Wille},
-	TITLE       = {{MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing}},
-	YEAR        = {2023},
-	EPRINT      = {2310.06889},
-	EPRINTTYPE  = {arxiv},
+@ARTICLE{quetschlich2024mqtpredictor,
+    AUTHOR      = {N. Quetschlich and L. Burgholzer and R. Wille},
+    TITLE       = {{MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing}},
+    YEAR        = {2024},
+    JOURNAL     = {ACM Transactions on Quantum Computing (TQC)},
+    DOI         = {10.1145/3673241},
+    EPRINT      = {2310.06889},
+    EPRINTTYPE  = {arxiv},
 }

README.md

@@ -74,6 +74,22 @@ print(qc_compiled.draw())
 
 **Detailed documentation and examples are available at [ReadTheDocs](https://mqt.readthedocs.io/projects/predictor).**
 
+## References
+
+In case you are using MQT Predictor in your work, we would be thankful if you referred to it by citing the following publication:
+
+```bibtex
+@ARTICLE{quetschlich2024mqtpredictor,
+    AUTHOR      = {N. Quetschlich and L. Burgholzer and R. Wille},
+    TITLE       = {{MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing}},
+    YEAR        = {2024},
+    JOURNAL     = {ACM Transactions on Quantum Computing (TQC)},
+    DOI         = {10.1145/3673241},
+    EPRINT      = {2310.06889},
+    EPRINTTYPE  = {arxiv},
+}
+```
+
 ## Acknowledgements
 
 This project received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research

docs/References.rst

@@ -1,7 +1,7 @@
 References
 ==========
 
-If you use *MQT Predictor* in your work, we would appreciate if you cited :cite:labelpar:`quetschlich2023mqtpredictor` (which subsumes :cite:labelpar:`quetschlich2023prediction` and :cite:labelpar:`quetschlich2023compileroptimization`).
+If you use *MQT Predictor* in your work, we would appreciate if you cited :cite:labelpar:`quetschlich2024mqtpredictor` (which subsumes :cite:labelpar:`quetschlich2023prediction` and :cite:labelpar:`quetschlich2023compileroptimization`).
 If you are explicitly referring to the application-aware compilation scheme, please cite :cite:labelpar:`quetschlich2024application_compilation`.
 
 .. bibliography::

docs/refs.bib

@@ -1,7 +1,9 @@
-@MISC{quetschlich2023mqtpredictor,
+@ARTICLE{quetschlich2024mqtpredictor,
     AUTHOR      = {N. Quetschlich and L. Burgholzer and R. Wille},
     TITLE       = {{MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing}},
-    YEAR        = {2023},
+    YEAR        = {2024},
+    JOURNAL     = {ACM Transactions on Quantum Computing (TQC)},
+    DOI         = {10.1145/3673241},
     EPRINT      = {2310.06889},
     EPRINTTYPE  = {arxiv},
 }

pyproject.toml

@@ -19,8 +19,7 @@ requires-python = ">=3.10"
 dynamic = ["version"]
 
 dependencies = [
-    "mqt.bench>=1.1.2, <1.2.0",
-    "pytket_qiskit>=0.52.0, <0.54.0",
+    "mqt.bench>=1.1.3, <1.2.0",
     "sb3_contrib>=2.0.0, <2.3.1",
     "scikit-learn>=1.4.0,<1.5.1",
     "tensorboard>=2.11.0, <2.16.3",

src/mqt/predictor/rl/helper.py

@@ -597,6 +597,7 @@ def get_bqskit_native_gates(device: Device) -> list[gates.Gate] | None:
         "rigetti": [gates.RXGate(), gates.RZGate(), gates.CZGate()],
         "ionq": [gates.RXXGate(), gates.RZGate(), gates.RYGate(), gates.RXGate()],
         "quantinuum": [gates.RZZGate(), gates.RZGate(), gates.RYGate(), gates.RXGate()],
+        "iqm": [gates.U3Gate(), gates.CZGate()],
     }
 
     if provider not in native_gatesets:

tests/compilation/test_integration_further_SDKs.py

@@ -61,8 +61,10 @@ def test_bqskit_synthesis_action(device: Device) -> None:
     check_nat_gates = GatesInBasis(basis_gates=device.basis_gates)
     check_nat_gates(native_gates_qc)
     only_nat_gates = check_nat_gates.property_set["all_gates_in_basis"]
-    if "oqc" not in device.name:
-        assert only_nat_gates
+    # OQC devices cannot be synthesized using BQSKit because the ECR gate is not yet supported.
+    # IQM devices have a native R gate that is approximated using the U3 gate, but this equivalence is not recognized
+    # by the currently implemented check whether the synthesis was successful.
+    assert only_nat_gates or "oqc" in device.name or "iqm" in device.name
 
 
 def test_bqskit_mapping_action_swaps_necessary() -> None: