skip to content
Compact representations for the design of quantum logic Preview this item
ClosePreview this item
Checking...

Compact representations for the design of quantum logic

Author: Philipp Niemann; Robert Wille
Publisher: Cham, Switzerland : Springer, [2017]
Series: SpringerBriefs in physics.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version :
(OCoLC)992781206
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Philipp Niemann; Robert Wille
ISBN: 9783319637242 331963724X
OCLC Number: 1021272920
Description: 1 online resource (viii, 125 pages) : 43 illustrations.
Contents: Preface; Contents; Introduction and Background; 1 Introduction; 1.1 Quantum Mechanics and Quantum Logic; 1.2 Quantum Computation and Circuit Design; 1.3 Topics Covered in This Book; 2 Background; 2.1 Boolean Logic; 2.2 Quantum Logic; 2.2.1 Qubits and Measurement; 2.2.2 Quantum Operations; 2.3 Quantum Circuits and Gate Libraries; Representation of Quantum Functionality; 3 Challenges and Initial Approaches; 3.1 From Conventional to Quantum Logic; 3.2 Decision Diagrams for Quantum Logic; 3.2.1 Basic Concepts: Binary Decision Diagrams (BDDs); 3.2.2 Still Boolean: Quantum Decision Diagrams (QDDs). 3.2.3 Characteristic Functions: QuIDDs and XQDDs4 Quantum Multiple-Valued Decision Diagrams; 4.1 Basic Concepts; 4.2 Formal Definition; 4.3 Canonicity; 4.4 Construction and Manipulation; 4.4.1 Normalization; 4.4.2 Matrix Operations; 4.4.3 Construction; 4.5 Changing the Variable Order; 4.5.1 Shared Vertices and Skipped Variables; 4.5.2 Local Modifications and Vertex Weights; 4.5.3 Variable Interchange Scheme for QMDDs; 4.6 Efficiency of QMDDs; 5 Discussion and Outlook; Design of Quantum Logic; 6 Challenges and Initial Approaches; 6.1 Design Challenges; 6.2 Initial Synthesis Approaches. 6.2.1 Synthesis of Boolean Components6.2.2 Synthesis of Arbitrary Quantum Functionality; 7 Synthesis of Quantum Circuits; 7.1 Synthesis of Boolean Components; 7.1.1 Embedding: Handling Irreversible Function Descriptions; 7.1.2 Construction of QMDDs for Boolean Functions; 7.1.3 QMDD-Based Synthesis of Reversible Circuits; 7.2 Synthesis of Clifford Group Operations; 7.2.1 Main Concepts of the Synthesis Approach; 7.2.2 Algorithm; 7.2.3 Theoretical Analysis; 7.2.4 Experimental Results; 7.3 Conclusions; 8 Correctness of Multiple-Valued Implementations; 8.1 Multi-level Quantum Systems. 8.2 Equivalence Checking in Multi-level Quantum Systems8.2.1 Functional Equivalence for Quantum Operations; 8.2.2 Proposed Equivalence Checking Scheme; 8.2.3 Implementation Using QMDDs; 8.3 Experimental Results; 8.4 Conclusions; 9 Discussion and Outlook; References.
Series Title: SpringerBriefs in physics.
Responsibility: Philipp Niemann, Robert Wille.

Abstract:

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.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1021272920> # Compact representations for the design of quantum logic
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1021272920" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4406376729#Topic/spintronics> ; # Spintronics
    schema:about <http://experiment.worldcat.org/entity/work/data/4406376729#Topic/quantum_logic> ; # Quantum logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4406376729#Topic/quantum_computing> ; # Quantum Computing
    schema:about <http://experiment.worldcat.org/entity/work/data/4406376729#Topic/symbolic_and_algebraic_manipulation> ; # Symbolic and Algebraic Manipulation
    schema:about <http://experiment.worldcat.org/entity/work/data/4406376729#Topic/quantum_theory> ; # Quantum theory
    schema:about <http://experiment.worldcat.org/entity/work/data/4406376729#Topic/quantum_information_technology_spintronics> ; # Quantum Information Technology, Spintronics
    schema:about <http://dewey.info/class/621.3/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4406376729#Topic/quantum_physics> ; # Quantum Physics
    schema:about <http://experiment.worldcat.org/entity/work/data/4406376729#Topic/physics> ; # Physics
    schema:about <http://experiment.worldcat.org/entity/work/data/4406376729#Topic/computers_general> ; # COMPUTERS--General
    schema:author <http://experiment.worldcat.org/entity/work/data/4406376729#Person/wille_robert> ; # Robert Wille
    schema:author <http://experiment.worldcat.org/entity/work/data/4406376729#Person/niemann_philipp> ; # Philipp Niemann
    schema:bookFormat schema:EBook ;
    schema:datePublished "2017" ;
    schema:description "Preface; Contents; Introduction and Background; 1 Introduction; 1.1 Quantum Mechanics and Quantum Logic; 1.2 Quantum Computation and Circuit Design; 1.3 Topics Covered in This Book; 2 Background; 2.1 Boolean Logic; 2.2 Quantum Logic; 2.2.1 Qubits and Measurement; 2.2.2 Quantum Operations; 2.3 Quantum Circuits and Gate Libraries; Representation of Quantum Functionality; 3 Challenges and Initial Approaches; 3.1 From Conventional to Quantum Logic; 3.2 Decision Diagrams for Quantum Logic; 3.2.1 Basic Concepts: Binary Decision Diagrams (BDDs); 3.2.2 Still Boolean: Quantum Decision Diagrams (QDDs)."@en ;
    schema: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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4406376729> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4406376729#Series/springerbriefs_in_physics> ; # SpringerBriefs in physics.
    schema:isSimilarTo <http://www.worldcat.org/oclc/992781206> ;
    schema:name "Compact representations for the design of quantum logic"@en ;
    schema:productID "1021272920" ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=4982312> ;
    schema:url <http://liverpool.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-63724-2> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-63724-2> ;
    schema:url <http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0001861238&T=marc&tab=BOOKS> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=4982312> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-319-63724-2> ;
    schema:url <https://link.springer.com/10.1007/978-3-319-63724-2> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-63724-2> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1579998> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-63724-2> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://dx.doi.org/10.1007/978-3-319-63724-2> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9783319637242> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-63723-5> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-63724-2> ;
    schema:workExample <http://worldcat.org/isbn/9783319637242> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1021272920> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4406376729#Person/niemann_philipp> # Philipp Niemann
    a schema:Person ;
    schema:familyName "Niemann" ;
    schema:givenName "Philipp" ;
    schema:name "Philipp Niemann" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406376729#Person/wille_robert> # Robert Wille
    a schema:Person ;
    schema:familyName "Wille" ;
    schema:givenName "Robert" ;
    schema:name "Robert Wille" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406376729#Series/springerbriefs_in_physics> # SpringerBriefs in physics.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1021272920> ; # Compact representations for the design of quantum logic
    schema:name "SpringerBriefs in physics." ;
    schema:name "SpringerBriefs in Physics," ;
    .

<http://experiment.worldcat.org/entity/work/data/4406376729#Topic/computers_general> # COMPUTERS--General
    a schema:Intangible ;
    schema:name "COMPUTERS--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4406376729#Topic/quantum_computing> # Quantum Computing
    a schema:Intangible ;
    schema:name "Quantum Computing"@en ;
    schema:name "Quantum computing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4406376729#Topic/quantum_information_technology_spintronics> # Quantum Information Technology, Spintronics
    a schema:Intangible ;
    schema:name "Quantum Information Technology, Spintronics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4406376729#Topic/symbolic_and_algebraic_manipulation> # Symbolic and Algebraic Manipulation
    a schema:Intangible ;
    schema:name "Symbolic and Algebraic Manipulation"@en ;
    .

<http://worldcat.org/isbn/9783319637242>
    a schema:ProductModel ;
    schema:isbn "331963724X" ;
    schema:isbn "9783319637242" ;
    .

<http://www.worldcat.org/oclc/992781206>
    a schema:CreativeWork ;
    schema:description "Print version :" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1021272920> ; # Compact representations for the design of quantum logic
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.