LEADER 04423nam 22006375 450 001 9910739473403321 005 20200706033024.0 010 $a3-319-63724-X 024 7 $a10.1007/978-3-319-63724-2 035 $a(CKB)3710000001631589 035 $a(MiAaPQ)EBC4982312 035 $a(DE-He213)978-3-319-63724-2 035 $a(PPN)203851692 035 $a(EXLCZ)993710000001631589 100 $a20170822d2017 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aCompact Representations for the Design of Quantum Logic /$fby Philipp Niemann, Robert Wille 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (126 pages) 225 1 $aSpringerBriefs in Physics,$x2191-5423 311 $a3-319-63723-1 320 $aIncludes bibliographical references. 327 $aPart I Introduction and Background -- 1 Introduction -- 2 Background -- Part II Representation of Quantum Functionality -- 3 Challenges and Initial Approaches -- 4 Quantum Multiple-Valued Decision Diagrams -- 5 Discussion and Outlook -- Part III Design of Quantum Logic -- 6 Challenges and Initial Approaches -- 7 Synthesis of Quantum Circuits -- 8 Correctness of Multiple-Valued Implementations -- 9 Discussion and Outlook. 330 $aThis 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. 410 0$aSpringerBriefs in Physics,$x2191-5423 606 $aQuantum computers 606 $aSpintronics 606 $aComputer science?Mathematics 606 $aQuantum theory 606 $aQuantum Information Technology, Spintronics$3https://scigraph.springernature.com/ontologies/product-market-codes/P31070 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aQuantum Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/M14070 606 $aQuantum Physics$3https://scigraph.springernature.com/ontologies/product-market-codes/P19080 615 0$aQuantum computers. 615 0$aSpintronics. 615 0$aComputer science?Mathematics. 615 0$aQuantum theory. 615 14$aQuantum Information Technology, Spintronics. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aQuantum Computing. 615 24$aQuantum Physics. 676 $a004.1 700 $aNiemann$b Philipp$4aut$4http://id.loc.gov/vocabulary/relators/aut$0818888 702 $aWille$b Robert$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910739473403321 996 $aCompact Representations for the Design of Quantum Logic$93553586 997 $aUNINA