1

Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams

The classical simulation of quantum circuits is essential in the development and testing of quantum algorithms. Methods based on tensor networks or decision diagrams have proven to alleviate the inevitable exponential growth of the underlying …

Limiting the Search Space in Optimal Quantum Circuit Mapping

Executing quantum circuits on currently available quantum computers requires compiling them to a representation that conforms to all restrictions imposed by the targeted architecture. Due to the limited connectivity of the devices’ physical qubits, …

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 …

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 …

Random Stimuli Generation for the Verification of Quantum Circuits

Verification of quantum circuits is essential for guaranteeing correctness of quantum algorithms and/or quantum descriptions across various levels of abstraction. In this work, we show that there are promising ways to check the correctness of quantum …

JKQ: JKU Tools for Quantum Computing

With quantum computers on the brink of practical applicability, there is a lively community that develops toolkits for the design of corresponding quantum circuits. Many of the problems to be tackled here are similar to design problems from the …

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 …

Efficient and Correct Compilation of Quantum Circuits

High-level descriptions of quantum algorithms do not take the restrictions of physical hardware into account. Therefore actually executing an algorithm in the form of a quantum circuit on a quantum computer requires compiling it for the desired …

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 …