Cargando…

Compact representations for the design of quantum logic

This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issue of quantum functionality, it presents Quantum Multiple-Valued Decision Diagrams (QMDDs – a means of...

Descripción completa

Detalles Bibliográficos
Autores principales: Niemann, Philipp, Wille, Robert
Lenguaje:eng
Publicado: Springer 2017
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-3-319-63724-2
http://cds.cern.ch/record/2282098
_version_ 1780955623433699328
author Niemann, Philipp
Wille, Robert
author_facet Niemann, Philipp
Wille, Robert
author_sort Niemann, Philipp
collection CERN
description This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issue of quantum functionality, it presents Quantum Multiple-Valued Decision Diagrams (QMDDs – a means of compactly and efficiently representing and manipulating quantum logic. For future quantum computers, going well beyond the size of present-day prototypes, the manual design of quantum circuits that realize a given (quantum) functionality on these devices is no longer an option. In order to keep up with the technological advances, methods need to be provided which, similar to the design and synthesis of conventional circuits, automatically generate a circuit description of the desired functionality. To this end, an efficient representation of the desired quantum functionality is of the essence. While straightforward representations are restricted due to their (exponentially) large matrix descriptions and other decision diagram-like structures for quantum logic suffer from not comprehensively supporting typical characteristics, QMDDs employ a decomposition scheme that more naturally models quantum systems. As a result, QMDDs explicitly support quantum-mechanical effects like phase shifts and are able to take more advantage of corresponding redundancies, thereby allowing a very compact representation of relevant quantum functionality composed of dozens of qubits. This provides the basis for the development of sophisticated design methods as shown for quantum circuit synthesis and verification.
id cern-2282098
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Springer
record_format invenio
spelling cern-22820982021-04-21T19:05:03Zdoi:10.1007/978-3-319-63724-2http://cds.cern.ch/record/2282098engNiemann, PhilippWille, RobertCompact representations for the design of quantum logicMathematical Physics and MathematicsThis book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issue of quantum functionality, it presents Quantum Multiple-Valued Decision Diagrams (QMDDs – a means of compactly and efficiently representing and manipulating quantum logic. For future quantum computers, going well beyond the size of present-day prototypes, the manual design of quantum circuits that realize a given (quantum) functionality on these devices is no longer an option. In order to keep up with the technological advances, methods need to be provided which, similar to the design and synthesis of conventional circuits, automatically generate a circuit description of the desired functionality. To this end, an efficient representation of the desired quantum functionality is of the essence. While straightforward representations are restricted due to their (exponentially) large matrix descriptions and other decision diagram-like structures for quantum logic suffer from not comprehensively supporting typical characteristics, QMDDs employ a decomposition scheme that more naturally models quantum systems. As a result, QMDDs explicitly support quantum-mechanical effects like phase shifts and are able to take more advantage of corresponding redundancies, thereby allowing a very compact representation of relevant quantum functionality composed of dozens of qubits. This provides the basis for the development of sophisticated design methods as shown for quantum circuit synthesis and verification.Springeroai:cds.cern.ch:22820982017
spellingShingle Mathematical Physics and Mathematics
Niemann, Philipp
Wille, Robert
Compact representations for the design of quantum logic
title Compact representations for the design of quantum logic
title_full Compact representations for the design of quantum logic
title_fullStr Compact representations for the design of quantum logic
title_full_unstemmed Compact representations for the design of quantum logic
title_short Compact representations for the design of quantum logic
title_sort compact representations for the design of quantum logic
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-3-319-63724-2
http://cds.cern.ch/record/2282098
work_keys_str_mv AT niemannphilipp compactrepresentationsforthedesignofquantumlogic
AT willerobert compactrepresentationsforthedesignofquantumlogic