TY - GEN
T1 - Synthesis of quantum circuits for dedicated physical machine descriptions
AU - Niemann, Philipp
AU - Basu, Saikat
AU - Chakrabarti, Amlan
AU - Jha, Niraj K.
AU - Wille, Robert
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2015.
PY - 2015
Y1 - 2015
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84949933469&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84949933469&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-20860-2_16
DO - 10.1007/978-3-319-20860-2_16
M3 - Conference contribution
AN - SCOPUS:84949933469
SN - 9783319208596
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 248
EP - 264
BT - Reversible Computation - 7th International Conference, RC 2015, Proceedings
A2 - Krivine, Jean
A2 - Stefani, Jean-Bernard
PB - Springer Verlag
T2 - 7th International Conference on Reversible Computation, RC 2015
Y2 - 16 July 2015 through 17 July 2015
ER -