Quantum Multiple-Valued Decision Diagrams in Graphical Calculi - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2021

Quantum Multiple-Valued Decision Diagrams in Graphical Calculi

Résumé

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, measurementbased 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 ZHdiagram, 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.
Fichier principal
Vignette du fichier
NF-decision-diagrams-hal.pdf (686.71 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03277262 , version 1 (02-07-2021)

Identifiants

Citer

Renaud Vilmart. Quantum Multiple-Valued Decision Diagrams in Graphical Calculi. MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.89:1--89:15, ⟨10.4230/LIPIcs.MFCS.2021.89⟩. ⟨hal-03277262⟩
110 Consultations
154 Téléchargements

Altmetric

Partager

More