Compact Representations for the Design of Quantum Logic

1. Front Matter

   Pages i-viii

   PDF

2. Introduction and Background

   1. Front Matter

      Pages 1-1

      PDF

   2. Introduction

      • Philipp Niemann, Robert Wille

      Pages 3-10

   3. Background

      • Philipp Niemann, Robert Wille

      Pages 11-19

3. Representation of Quantum Functionality

   1. Front Matter

      Pages 21-21

      PDF

   2. Challenges and Initial Approaches

      • Philipp Niemann, Robert Wille

      Pages 23-34

   3. Quantum Multiple-Valued Decision Diagrams

      • Philipp Niemann, Robert Wille

      Pages 35-58

   4. Discussion and Outlook

      • Philipp Niemann, Robert Wille

      Pages 59-63

4. Design of Quantum Logic

   1. Front Matter

      Pages 65-65

      PDF

   2. Challenges and Initial Approaches

      • Philipp Niemann, Robert Wille

      Pages 67-77

   3. Synthesis of Quantum Circuits

      • Philipp Niemann, Robert Wille

      Pages 79-105

   4. Correctness of Multiple-Valued Implementations

      • Philipp Niemann, Robert Wille

      Pages 107-117

   5. Discussion and Outlook

      • Philipp Niemann, Robert Wille

      Pages 119-120

5. Back Matter

   Pages 121-125

   PDF

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.

• Quantum computation
• Boolean logic
• Binary Decision Diagrams
• Quantum Decision Diagrams
• QMDD
• Quantum circuit simulation

“This book is in the area of quantum computer design. It proposes a new approach for such designs. It provides the background information required to understand the new approach. It also describes experimental results of the approach. … The book can be useful for research-level courses.” (Maulik A. Dave, Computing Reviews, June, 2018)​

• Department for Cyber-Physical Systems, German Research Center for Artificial Intelligence (DFKI), Bremen, Germany

  Philipp Niemann

• Institute for Integrated Circuits, Johannes Kepler University Linz, Linz, Austria

  Robert Wille

Philipp Niemann received a diploma degree in Mathematics and a Dr. rer. nat. degree in Computer Science from the University of Bremen, Germany, in 2012 and 2016, respectively. There, he worked in the Group for Computer Architecture under the supervision of Prof. Dr. Rolf Drechsler and Prof. Dr. Robert Wille. Recently, he joined the Cyber-Physical Systems (CPS) department at the German Research Center for Artificial Intelligence (DFKI). His research interests include the design of reversible and quantum circuits with a focus on decision diagrams as well as in the verification of formal models.

Robert Wille is a full professor at the Johannes Kepler University Linz, Austria. He received diploma and Dr.-Ing. degrees in Computer Science from the University of Bremen, Germany, in 2006 and 2009, respectively. He worked with the Group for Computer Architecture at the University of Bremen and with the German Research Center for Artificial Intelligence (DFKI). Additionally, he worked as a lecturer at the University of Applied Science in Bremen, and as a visiting professor at the University of

Potsdam and the Technical University Dresden, both in Germany. His research interests include the design of circuits and systems for both conventional and emerging technologies with a focus on the domain of synthesis and verification.

Policies and ethics