Synthesis of quantum circuits for dedicated physical machine descriptions

Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations


Quantum computing has been attracting increasing attention in recent years because of the rapid advancements that have been made in quantum algorithms and quantum system design. Quantum algorithms are implemented with the help of quantum circuits. These circuits are inherently reversible in nature and often contain a sizeable Boolean part that needs to be synthesized. Consequently, a large body of research has focused on the synthesis of corresponding reversible circuits and their mapping to the quantum operations supported by the quantum system. However, reversible circuit synthesis has usually not been performed with any particular target technology in mind, but with respect to an abstract cost metric. When targeting actual physical implementations of the circuits, the adequateness of such an approach is unclear. In this paper, we explicitly target synthesis of quantum circuits at selected quantum technologies described through their Physical Machine Descriptions (PMDs). We extend the state-of-the-art synthesis flow in order to realize quantum circuits based on just the primitive quantum operations supported by the respective PMDs. Using this extended flow, we evaluate whether the established reversible circuit synthesis methods and metrics are still applicable and adequate for PMD-specific implementations.

Original languageEnglish (US)
Title of host publicationReversible Computation - 7th International Conference, RC 2015, Proceedings
EditorsJean Krivine, Jean-Bernard Stefani
PublisherSpringer Verlag
Number of pages17
ISBN (Print)9783319208596
StatePublished - 2015
Event7th International Conference on Reversible Computation, RC 2015 - Grenoble, France
Duration: Jul 16 2015Jul 17 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other7th International Conference on Reversible Computation, RC 2015

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Synthesis of quantum circuits for dedicated physical machine descriptions'. Together they form a unique fingerprint.

Cite this