rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Compact Representations for the Design of Quantum Logic
  name:
    name part: Niemann, Philipp.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Wille, Robert.
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2017
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: VIII, 125 p. 43 illus., 1 illus. in color. online resource.
  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. 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.
  note: by Philipp Niemann, Robert Wille.
  subject:
    topic: Physics
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Quantum computers
  subject:
    topic: Quantum physics
  subject:
    topic: Spintronics
  subject:
    topic: Physics
  subject:
    topic: Quantum Information Technology, Spintronics
  subject:
    topic: Symbolic and Algebraic Manipulation
  subject:
    topic: Quantum Computing
  subject:
    topic: Quantum Physics
  classification: QA76.889
  classification: TK7874.887
  classification: 621.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: SpringerBriefs in Physics
  identifier: 9783319637242
  identifier: http://dx.doi.org/10.1007/978-3-319-63724-2
  record info:
    record creation date: 170822
    record change date: 20170822063546.0
    record identifier: 978-3-319-63724-2