51 citations · 203 across the 42 of their papers we have counts for
52 papers
Methods for Automated Equivalence Checking of Quantum Error-Correction Codes
Maxie Bichmann, Ludwig Schmid, Robert Wille
Quantum error-correction code and circuit construction is an active field of research, motivating automated methods for identifying equivalent designs. We develop and evaluate auto…
Evaluating the Effect of the Order of Optimization Passes in Quantum Circuit Optimization
Xiao-Ting Michelle To, Nils Quetschlich, Amr Elsharkawy +3
Quantum circuit optimization is critical for mitigating the noise inherent in current quantum hardware. Quantum compilers typically sequentially apply multiple optimizations (also…
Why Are We Unrolling? The Importance of Structured Quantum Programs for Compilation
Damian Rovara, Daniel Haag, Mark Koch +8
As quantum software stacks scale up to support future fault-tolerant quantum hardware and algorithms, quantum compilation is becoming an increasingly important component of the sta…
Handling Imperfections in Subcircuit Compilation for Linear Optical Quantum Computing
Tobias Forster, Yannick Stade, Andreas Fyrillas +3
Linear Optical Quantum Computing (LOQC) is emerging as a promising technology in large-scale quantum computing. Corresponding devices, including linear optical circuits, are rapidl…
Know Your Qubits, Know Your Users: Personas for Quantum Software
Lukas Schmidbauer, Joshua Ammermann, Laura Schulz +5
The advancement of quantum hardware and the intricacies of quantum computing make well-designed quantum software increasingly necessary. Due to the interdisciplinarity of the field…
Fast Unitary Preparation of Surface-Code Logical States on Neutral-Atom Hardware
Ludwig Schmid, Robert Wille
Preparing logical states is a constantly recurring primitive at the start of any surface-code-based quantum computation. The standard measurement-based protocol is expensive on neu…
QECirc: A Community-Driven, FAIR Library of Quantum Error Correction Circuits
Ludwig Schmid, Tom Peham, Robert Wille
Quantum error correction (QEC) underpins fault-tolerant quantum computing, but the circuits that realize QEC codes (encoders, logical state-preparation and gate routines, and syndr…
Teaching Quantum Design Automation with Block-Based Programming
Damian Rovara, Robert Wille
As quantum circuits grow beyond small toy examples, preparing them for execution on physical devices becomes increasingly complex. Design automation is therefore essential for scal…
Scalable Circuit Cutting: A Framework for Combined Gate and Wire Cuts Using Gate Groups
Fiona Jiali Fröhler, Yannick Stade, Christian Ufrecht +2
Quantum circuit cutting enables the execution of large circuits on devices with a limited number of qubits by partitioning circuits into independent subcircuits. However, this intr…
Guiding Compiler Optimizations for Neutral Atom Quantum Computers Through Visualizations
Yannick Stade, Robert Wille
The scale of Neutral Atom (NA) quantum computers requires automated compilation tools. Designing the required heuristic methods demands a deep understanding of complex hardware tra…
Enabling Neutral Atom Integration: Redesigning Device Models for Universal Quantum Ecosystems
Yannick Stade, Lukas Burgholzer, Ludwig Schmid +1
Quantum computing is transitioning from an academic idea to a practical technology, driven by recent hardware advancements and clear paths toward real-world applications. Universal…
Routing Techniques for Error-Corrected Silicon Spin Qubit Quantum Architectures
Julian Shen, Ludwig Schmid, Robert Wille
Silicon spin qubits have emerged as a promising qubit technology due to their favorable scaling and fabrication properties. However, efficiently compiling quantum circuits onto spi…
Towards Lattice Surgery Compilation for the Color Code Using Pipe Diagrams
Laura S. Herzog, Gilad Kishony, Robert Wille +1
Pipe diagrams have emerged as a powerful framework for flexible lattice surgery compilation and spacetime optimization for the surface code. In contrast, analogous compilation tech…
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…
Integrating Quantum Software Tools with(in) MLIR
Patrick Hopf, Erick Ochoa Lopez, Yannick Stade +6
Compilers transform code into action. They convert high-level programs into executable hardware instructions - a crucial step in enabling reliable and scalable quantum computation.…
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…
Qubit Reuse Beyond Reorder and Reset: Optimizing Quantum Circuits by Fully Utilizing the Potential of Dynamic Circuits
Damian Rovara, Lukas Burgholzer, Robert Wille
Qubit reuse offers a promising way to reduce the hardware demands of quantum circuits, but current approaches are largely restricted to reordering measurements and applying qubit r…
Exploiting Movable Logical Qubits for Lattice Surgery Compilation
Laura S. Herzog, Lucas Berent, Aleksander Kubica +1
Lattice surgery with two-dimensional quantum error correcting codes is among the leading schemes for fault-tolerant quantum computation, motivated by superconducting hardware archi…
Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations
Damian Rovara, Lukas Burgholzer, Robert Wille
The Quantum Approximate Optimization Algorithm (QAOA) requires considered optimization problems to be translated into a compatible format. A popular transformation step in this pip…
Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse
Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra +22
We study the problem of adding native pulse-level control to heterogeneous High Performance Computing-Quantum Computing (HPCQC) software stacks, using the Munich Quantum Software S…
Improving Hardware Requirements for Fault-Tolerant Quantum Computing by Optimizing Error Budget Distributions
Tobias Forster, Nils Quetschlich, Mathias Soeken +1
Despite significant progress in quantum computing in recent years, executing quantum circuits for practical problems remains challenging due to error-prone quantum hardware. Hence,…
Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch?
Tobias Forster, Nils Quetschlich, Robert Wille
Quantum computing has made significant advancements in the last years in both hardware and software. Unfortunately, the currently available Noisy Intermediate-Scale Quantum (NISQ)…
The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC
Lukas Burgholzer, Jorge Echavarria, Patrick Hopf +11
Quantum computing is advancing rapidly in hardware and algorithms, but broad accessibility demands a comprehensive, efficient, unified software stack. Such a stack must flexibly sp…
Quantum circuit simulation with a local time-dependent variational principle
Aaron Sander, Maximilian Fröhlich, Mazen Ali +6
Classical simulations of quantum circuits are vital for assessing potential quantum advantage and benchmarking devices, yet they require sophisticated methods to avoid the exponent…