decision diagrams

Tools for Quantum Computing Based on Decision Diagrams

With quantum computers promising advantages even in the near-term NISQ era, there is a lively community that develops software and toolkits for the design of corresponding quantum circuits. Although the underlying problems are different, expertise …

Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams

Classical simulations of quantum computations are vital for the future development of this emerging technology. To this end, decision diagrams have been proposed as a complementary technique which frequently allows to tackle the inherent exponential …

Efficient Construction of Functional Representations for Quantum Algorithms

Due to the significant progress made in the implementation of quantum hardware, efficient methods and tools to design corresponding algorithms become increasingly important. Many of these tools rely on functional representations of certain building …

QCEC: A JKQ tool for quantum circuit equivalence checking

Quantum computing is gaining serious momentum in these days. With increasing capabilities of corresponding devices also comes the need for efficient and automated tools to design them. Verification, i.e., ensuring that the originally intended …

Visualizing Decision Diagrams for Quantum Computing

With the emergence of more and more applications for quantum computing, also the development of corresponding methods for design automation is receiving increasing interest. In this respect, decision diagrams provide a promising basis for many design …

Advanced Equivalence Checking for Quantum Circuits

In the not-so-distant future, quantum computing will change the way we tackle certain problems. It promises to dramatically speed-up many chemical, financial, cryptographical, and machine-learning applications. However, in order to capitalize on …

Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow

Realizing a conceptual quantum algorithm on an actual physical device necessitates the algorithm's quantum circuit description to undergo certain transformations in order to adhere to all constraints imposed by the hardware. In this regard, the …

Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators

Despite the recent progress in the physical implementation of quantum computers, a significant amount of research still depends on the use of quantum circuit simulators running on classical hardware. While there are several techniques for quantum …

Improved DD-based Equivalence Checking of Quantum Circuits

Abstract—Quantum computing is gaining considerable momentum through the recent progress in physical realizations of quantum computers. This led to rather sophisticated design flows in which the originally specified quantum functionality is compiled …