2026-07-21T14:18:16Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:14529 2024-03-06T10:54:15Z ddc:004 open_access

Quantum Multiple-Valued Decision Diagrams in Graphical Calculi Vilmart, Renaud Quantum Computing ZH-Calculus Decision Diagrams Graphical calculi such as the ZH-calculus are powerful tools in the study and analysis of quantum processes, with links to other models of quantum computation such as quantum circuits, measurement-based computing, etc. A somewhat compact but systematic way to describe a quantum process is through the use of quantum multiple-valued decision diagrams (QMDDs), which have already been used for the synthesis of quantum circuits as well as for verification. We show in this paper how to turn a QMDD into an equivalent ZH-diagram, and vice-versa, and show how reducing a QMDD translates in the ZH-Calculus, hence allowing tools from one formalism to be used into the other. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Renaud Vilmart 2021 Is Part Of LIPIcs, Volume 202, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.MFCS.2021.89 urn:nbn:de:0030-drops-145295 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2021.89 eng https://creativecommons.org/licenses/by/4.0/legalcode