Reversible and Quantum Circuits ― Optimization and Complexity Analysis

This book presents a new optimization flow for quantum circuits realization. At the reversible level, optimization algorithms are presented to reduce the quantum cost. Then, new mapping approaches to decompose reversible circuits to quantum circuits using different quantum libraries are described. Finally, optimization techniques to reduce the quantum cost or the delay are applied to the resulting quantum circuits. Furthermore, this book studies the complexity of reversible circuits and quantum circuits from a theoretical perspective.

Nabila Abdessaied is a researcher at the German Research Center for ArtificialIntelligence (DFKI) since 2013. She received the Diplomed'Ingenieur in computer science fromthe University of sciences in Tunis, Tunisia, in 2007. Then, she obtained her Master degree in computer sciencefrom the National Engineering School of Sousse, Tunisia, in 2009. In 2012, shejoined the Institute of Computer Science of the University of Bremen whereshe received her Dr.-Ing. degree in computer science in 2015. NabilaAbdessaied is interested in the optimization of reversible and quantum circuitsand studying their complexity. Furthermore, she is also working in the field ofrequirements engineering using NLP techniques.

Rolf Drechsler is head of Cyber-Physical Systems department at the GermanResearch Center for Artificial Intelligence (DFKI) since 2011. Furthermore, heis a Full Professor at the Institute of Computer Science, University of Bremen,since 2001. Before, he worked for the Corporate Technology Department ofSiemens AG, and was with the Institute of Computer Science, Albert-LudwigUniversity of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diplomaand Dr. Phil. Nat. degrees in computer science from the Goethe-University inFrankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechslerfocusses in his research at DFKI and in the Group for Computer Architecture,which he is heading at the Institute of Computer Science of the University ofBremen, on the development and design of data structures and algorithms with anemphasis on circuit and system design.