國立高雄大學圖資館 |

Language: English

Back

Compact representations for the desi...

Niemann, Philipp.

Compact representations for the design of quantum logic

Record Type:	Electronic resources : Monograph/item
Title/Author:	Compact representations for the design of quantum logicby Philipp Niemann, Robert Wille.
Author:	Niemann, Philipp.
other author:	Wille, Robert.
Published:	Cham :Springer International Publishing :2017.
Description:	viii, 125 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Quantum computing.
Online resource:	http://dx.doi.org/10.1007/978-3-319-63724-2
ISBN:	9783319637242$q(electronic bk.)

Compact representations for the design of quantum logic
Niemann, Philipp.

Compact representations for the design of quantum logic[electronic resource] /by Philipp Niemann, Robert Wille. - Cham :Springer International Publishing :2017. - viii, 125 p. :ill., digital ;24 cm. - SpringerBriefs in physics,2191-5423. - SpringerBriefs in physics..

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.

ISBN: 9783319637242$q(electronic bk.)

Standard No.: 10.1007/978-3-319-63724-2doiSubjects--Topical Terms:

725269
Quantum computing.

LC Class. No.: QA76.889 / .N64 2017

Dewey Class. No.: 006.3843

Compact representations for the design of quantum logic
LDR:02611nmm a2200313 a 4500 001 521438
003 DE-He213
005 20180320111900.0
006 m d
007 cr nn 008maaau
008 180504s2017 gw s 0 eng d
020 $a 9783319637242$q(electronic bk.)
020 $a 9783319637235$q(paper)
024 7 $a 10.1007/978-3-319-63724-2 $2 doi
035 $a 978-3-319-63724-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.889 $b .N64 2017
072 7 $a PHQ $2 bicssc
072 7 $a COM032000 $2 bisacsh
082 0 4 $a 006.3843 $2 23
090 $a QA76.889 $b .N671 2017
100 1 $a Niemann, Philipp. $3 791460
245 1 0 $a Compact representations for the design of quantum logic $h [electronic resource] / $c by Philipp Niemann, Robert Wille.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a viii, 125 p. : $b ill., digital ; $c 24 cm.
490 1 $a SpringerBriefs in physics, $x 2191-5423
520 $a 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.
650 0 $a Quantum computing. $3 725269
650 0 $a Quantum logic. $3 791461
650 1 4 $a Physics. $3 179414
650 2 4 $a Quantum Information Technology, Spintronics. $3 379903
650 2 4 $a Symbolic and Algebraic Manipulation. $3 273720
650 2 4 $a Quantum Computing. $3 573152
650 2 4 $a Quantum Physics. $3 275010
700 1 $a Wille, Robert. $3 489584
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a SpringerBriefs in physics. $3 557827
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-63724-2
950 $a Physics and Astronomy (Springer-11651)