Property checking of quantum circuits using quantum multiple-valued decision diagrams

Julia Seiter; Mathias Soeken; Robert Wille; Rolf Drechsler

doi:10.1007/978-3-642-36315-3_15

Property checking of quantum circuits using quantum multiple-valued decision diagrams

Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Scopus citations

Abstract

For the validation and verification of quantum circuits mainly techniques based on simulation are applied. Although lots of effort has been put into the improvement of these techniques, ensuring the correctness still requires an exhaustive consideration of all input vectors. As a result, these techniques are particularly insufficient to prove a circuit to be error free. As an alternative, we present a symbolic formal verification method that is based on Quantum Multiple-Valued Decision Diagrams (QMDDs), a data-structure allowing for a compact representation of quantum circuits. As a result, using QMDDs it is possible to check the correctness of a circuit without exhaustively considering all input patterns.

Original language	English
Title of host publication	Reversible Computation - 4th International Workshop, RC 2012, Revised Papers
Publisher	Springer Verlag
Pages	183-196
Number of pages	14
ISBN (Print)	9783642363146
DOIs	https://doi.org/10.1007/978-3-642-36315-3_15
State	Published - 2013
Externally published	Yes
Event	4th International Workshop on Reversible Computation, RC 2012 - Copenhagen, Denmark Duration: 2 Jul 2012 → 3 Jul 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7581 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Workshop on Reversible Computation, RC 2012
Country/Territory	Denmark
City	Copenhagen
Period	2/07/12 → 3/07/12

Access to Document

10.1007/978-3-642-36315-3_15

Cite this

Seiter, J., Soeken, M., Wille, R., & Drechsler, R. (2013). Property checking of quantum circuits using quantum multiple-valued decision diagrams. In Reversible Computation - 4th International Workshop, RC 2012, Revised Papers (pp. 183-196). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7581 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-642-36315-3_15

Seiter, Julia ; Soeken, Mathias ; Wille, Robert et al. / Property checking of quantum circuits using quantum multiple-valued decision diagrams. Reversible Computation - 4th International Workshop, RC 2012, Revised Papers. Springer Verlag, 2013. pp. 183-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2f761c89a91049afb1785fdcd68b0c10,

title = "Property checking of quantum circuits using quantum multiple-valued decision diagrams",

abstract = "For the validation and verification of quantum circuits mainly techniques based on simulation are applied. Although lots of effort has been put into the improvement of these techniques, ensuring the correctness still requires an exhaustive consideration of all input vectors. As a result, these techniques are particularly insufficient to prove a circuit to be error free. As an alternative, we present a symbolic formal verification method that is based on Quantum Multiple-Valued Decision Diagrams (QMDDs), a data-structure allowing for a compact representation of quantum circuits. As a result, using QMDDs it is possible to check the correctness of a circuit without exhaustively considering all input patterns.",

author = "Julia Seiter and Mathias Soeken and Robert Wille and Rolf Drechsler",

year = "2013",

doi = "10.1007/978-3-642-36315-3_15",

language = "English",

isbn = "9783642363146",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "183--196",

booktitle = "Reversible Computation - 4th International Workshop, RC 2012, Revised Papers",

note = "4th International Workshop on Reversible Computation, RC 2012 ; Conference date: 02-07-2012 Through 03-07-2012",

}

Seiter, J, Soeken, M, Wille, R & Drechsler, R 2013, Property checking of quantum circuits using quantum multiple-valued decision diagrams. in Reversible Computation - 4th International Workshop, RC 2012, Revised Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7581 LNCS, Springer Verlag, pp. 183-196, 4th International Workshop on Reversible Computation, RC 2012, Copenhagen, Denmark, 2/07/12. https://doi.org/10.1007/978-3-642-36315-3_15

Property checking of quantum circuits using quantum multiple-valued decision diagrams. / Seiter, Julia; Soeken, Mathias; Wille, Robert et al.
Reversible Computation - 4th International Workshop, RC 2012, Revised Papers. Springer Verlag, 2013. p. 183-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7581 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Property checking of quantum circuits using quantum multiple-valued decision diagrams

AU - Seiter, Julia

AU - Soeken, Mathias

AU - Wille, Robert

AU - Drechsler, Rolf

PY - 2013

Y1 - 2013

N2 - For the validation and verification of quantum circuits mainly techniques based on simulation are applied. Although lots of effort has been put into the improvement of these techniques, ensuring the correctness still requires an exhaustive consideration of all input vectors. As a result, these techniques are particularly insufficient to prove a circuit to be error free. As an alternative, we present a symbolic formal verification method that is based on Quantum Multiple-Valued Decision Diagrams (QMDDs), a data-structure allowing for a compact representation of quantum circuits. As a result, using QMDDs it is possible to check the correctness of a circuit without exhaustively considering all input patterns.

AB - For the validation and verification of quantum circuits mainly techniques based on simulation are applied. Although lots of effort has been put into the improvement of these techniques, ensuring the correctness still requires an exhaustive consideration of all input vectors. As a result, these techniques are particularly insufficient to prove a circuit to be error free. As an alternative, we present a symbolic formal verification method that is based on Quantum Multiple-Valued Decision Diagrams (QMDDs), a data-structure allowing for a compact representation of quantum circuits. As a result, using QMDDs it is possible to check the correctness of a circuit without exhaustively considering all input patterns.

UR - http://www.scopus.com/inward/record.url?scp=84872838548&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-36315-3_15

DO - 10.1007/978-3-642-36315-3_15

M3 - Conference contribution

AN - SCOPUS:84872838548

SN - 9783642363146

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 183

EP - 196

BT - Reversible Computation - 4th International Workshop, RC 2012, Revised Papers

PB - Springer Verlag

T2 - 4th International Workshop on Reversible Computation, RC 2012

Y2 - 2 July 2012 through 3 July 2012

ER -

Seiter J, Soeken M, Wille R, Drechsler R. Property checking of quantum circuits using quantum multiple-valued decision diagrams. In Reversible Computation - 4th International Workshop, RC 2012, Revised Papers. Springer Verlag. 2013. p. 183-196. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-36315-3_15

Property checking of quantum circuits using quantum multiple-valued decision diagrams

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this