Compact Representations for the Design of Quantum Logic / Niemann, Philipp  

Público ISBD Ningún comentario para este registro. Título : Compact Representations for the Design of Quantum Logic Tipo de documento: documento electrónico Autores: Niemann, Philipp, ; Wille, Robert, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: VIII, 125 p. 43 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-63724-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Espintrónica  Informática  Computadoras cuánticas  Física cuántica  Manipulación simbólica y algebraica  Computación cuántica Clasificación: 620.19 Resumen: Este libro analiza los enfoques y desafíos modernos del diseño asistido por computadora (CAD) de circuitos cuánticos con miras a proporcionar representaciones compactas de la funcionalidad cuántica. Centrándose en la cuestión de la funcionalidad cuántica, presenta Diagramas Cuánticos de Decisión de Valores Múltiples (QMDD, por sus siglas en inglés), un medio para representar y manipular la lógica cuántica de manera compacta y eficiente. Para las futuras computadoras cuánticas, que vayan mucho más allá del tamaño de los prototipos actuales, el diseño manual La creación de circuitos cuánticos que realicen una determinada funcionalidad (cuántica) en estos dispositivos ya no es una opción. Para mantenerse al día con los avances tecnológicos, es necesario proporcionar métodos que, de manera similar al diseño y la síntesis de circuitos convencionales, generen automáticamente una. Para ello es esencial una representación eficiente de la funcionalidad cuántica deseada, mientras que las representaciones sencillas están restringidas debido a sus descripciones matriciales (exponencialmente) grandes y otras estructuras similares a diagramas de decisión para la lógica cuántica no se ven afectadas. Los QMDD, que respaldan de manera integral las características típicas, emplean un esquema de descomposición que modela de manera más natural los sistemas cuánticos. Como resultado, los QMDD admiten explícitamente efectos de la mecánica cuántica, como los cambios de fase, y pueden aprovechar más las redundancias correspondientes, lo que permite una representación muy compacta de la funcionalidad cuántica relevante compuesta por docenas de qubits. Esto proporciona la base para el desarrollo de métodos de diseño sofisticados, como se muestra para la síntesis y verificación de circuitos cuánticos. Nota de contenido: Part 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. Tipo de medio : Computadora 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 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 matrixdescriptions 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Compact Representations for the Design of Quantum Logic [documento electrónico] / Niemann, Philipp, ; Wille, Robert,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - VIII, 125 p. 43 ilustraciones, 1 ilustraciones en color. ISBN : 978-3-319-63724-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Espintrónica  Informática  Computadoras cuánticas  Física cuántica  Manipulación simbólica y algebraica  Computación cuántica Clasificación: 620.19 Resumen: Este libro analiza los enfoques y desafíos modernos del diseño asistido por computadora (CAD) de circuitos cuánticos con miras a proporcionar representaciones compactas de la funcionalidad cuántica. Centrándose en la cuestión de la funcionalidad cuántica, presenta Diagramas Cuánticos de Decisión de Valores Múltiples (QMDD, por sus siglas en inglés), un medio para representar y manipular la lógica cuántica de manera compacta y eficiente. Para las futuras computadoras cuánticas, que vayan mucho más allá del tamaño de los prototipos actuales, el diseño manual La creación de circuitos cuánticos que realicen una determinada funcionalidad (cuántica) en estos dispositivos ya no es una opción. Para mantenerse al día con los avances tecnológicos, es necesario proporcionar métodos que, de manera similar al diseño y la síntesis de circuitos convencionales, generen automáticamente una. Para ello es esencial una representación eficiente de la funcionalidad cuántica deseada, mientras que las representaciones sencillas están restringidas debido a sus descripciones matriciales (exponencialmente) grandes y otras estructuras similares a diagramas de decisión para la lógica cuántica no se ven afectadas. Los QMDD, que respaldan de manera integral las características típicas, emplean un esquema de descomposición que modela de manera más natural los sistemas cuánticos. Como resultado, los QMDD admiten explícitamente efectos de la mecánica cuántica, como los cambios de fase, y pueden aprovechar más las redundancias correspondientes, lo que permite una representación muy compacta de la funcionalidad cuántica relevante compuesta por docenas de qubits. Esto proporciona la base para el desarrollo de métodos de diseño sofisticados, como se muestra para la síntesis y verificación de circuitos cuánticos. Nota de contenido: Part 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. Tipo de medio : Computadora 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 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 matrixdescriptions 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200