51 citations · 118 across the 12 of their papers we have counts for
14 papers
MLIR for Quantum Beyond Gate Cancellation: Quantum Circuit Mapping Reimagined
Matthias Reumann, Yannick Stade, Robert Wille +1
The Multi-Level Intermediate Representation (MLIR) framework has become a cornerstone for building extensible, domain-specific compilers, with the quantum computing community alrea…
Automatic De-Quantization of Quantum Programs Using Constant Propagation
Lian Remme, Alexander Weinert, Andre Waschk +2
Quantum computing promises to solve problems beyond the reach of classical computers, but today's quantum hardware is error-prone and much slower than classical hardware. Every qua…
The MQT Compiler Collection: A Blueprint for a Future-Proof Quantum-Classical Compilation Framework
Lukas Burgholzer, Daniel Haag, Yannick Stade +3
As the capabilities of quantum computing hardware continue to rise, algorithms that exploit them are becoming increasingly complex. These developments increase the need for sophist…
Quantum-HPC Software Stacks and the openQSE Reference Architecture: A Survey
Amir Shehata, Brian Austin, Tom Beck +22
Quantum resources are increasingly integrated into high-performance computing (HPC) and cloud environments, but quantum high-performance computing (QHPC) software stacks remain iso…
Standardizing Access to Heterogeneous Quantum Backends: A Case Study on Cloud Service Integration with QDMI
Patrick Hopf, Sebastian Stern, Robert Wille +1
With an increasingly diverse portfolio of quantum backends, the adoption of standardized interfaces has become a key prerequisite for scalable access and interoperability within qu…
Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler
Yannick Stade, Lukas Burgholzer, Robert Wille
Zoned neutral atom architectures are emerging as a promising platform for large-scale quantum computing. Their growing scale, however, creates a critical need for efficient and aut…
Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits
Laura S. Herzog, Lukas Burgholzer, Christian Ufrecht +2
Despite the continuous advancements in size and robustness of real quantum devices, reliable large-scale quantum computers are not yet available. Hence, classical simulation of qua…
Stripping Quantum Decision Diagrams of their Identity
Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer +1
Classical representations of quantum states and operations as vectors and matrices are plagued by an exponential growth in memory and runtime requirements for increasing system siz…
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
Robert Wille, Lucas Berent, Tobias Forster +10
Quantum computers are becoming a reality and numerous quantum computing applications with a near-term perspective (e.g., for finance, chemistry, machine learning, and optimization)…
Towards Hamiltonian Simulation with Decision Diagrams
Aaron Sander, Lukas Burgholzer, Robert Wille
This paper proposes a novel approach to Hamiltonian simulation using Decision Diagrams (DDs), which are an exact representation based on exploiting redundancies in representations…
Decision Diagrams for Quantum Computing
Robert Wille, Stefan Hillmich, Lukas Burgholzer
Quantum computing promises to solve some important problems faster than conventional computations ever could. Currently available NISQ devices on which first practical applications…
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus
Robert Wille, Lukas Burgholzer, Stefan Hillmich +3
Quantum computers promise to efficiently solve important problems classical computers never will. However, in order to capitalize on these prospects, a fully automated quantum soft…
Tools for Quantum Computing Based on Decision Diagrams
Robert Wille, Stefan Hillmich, Lukas Burgholzer
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…
Handling Non-Unitaries in Quantum Circuit Equivalence Checking
Lukas Burgholzer, Robert Wille
Quantum computers are reaching a level where interactions between classical and quantum computations can happen in real-time. This marks the advent of a new, broader class of quant…