Quantum Multiple-Valued Decision Diagrams in Graphical Calculi - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Quantum Multiple-Valued Decision Diagrams in Graphical Calculi

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
86 View
123 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More