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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

6 Zitate (Scopus)

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.

Originalsprache	Englisch
Titel	Reversible Computation - 4th International Workshop, RC 2012, Revised Papers
Herausgeber (Verlag)	Springer Verlag
Seiten	183-196
Seitenumfang	14
ISBN (Print)	9783642363146
DOIs	https://doi.org/10.1007/978-3-642-36315-3_15
Publikationsstatus	Veröffentlicht - 2013
Extern publiziert	Ja
Veranstaltung	4th International Workshop on Reversible Computation, RC 2012 - Copenhagen, Dänemark Dauer: 2 Juli 2012 → 3 Juli 2012

Publikationsreihe

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

Konferenz

Konferenz	4th International Workshop on Reversible Computation, RC 2012
Land/Gebiet	Dänemark
Ort	Copenhagen
Zeitraum	2/07/12 → 3/07/12

Zugriff auf Dokument

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

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

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 (S. 183-196). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 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. S. 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), Bd. 7581 LNCS, Springer Verlag, S. 183-196, 4th International Workshop on Reversible Computation, RC 2012, Copenhagen, Dänemark, 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. S. 183-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 7581 LNCS).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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. S. 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

Publikationsreihe

Konferenz

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren