51 citations · 132 across the 13 of their papers we have counts for
16 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…
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…
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…
Alternating ZX Circuit Extraction for Hardware-Adaptive Compilation
Ludwig Schmid, Korbinian Staudacher, Robert Wille
We present a novel quantum circuit extraction scheme that tightly integrates graph-like ZX diagrams with hardware-adaptive routing. The method utilizes the degrees of freedom durin…
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…
Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
Ludwig Schmid, Tom Peham, Lucas Berent +2
To ensure resilience against the unavoidable noise in quantum computers, quantum information needs to be encoded using an error-correcting code, and circuits must have a particular…
Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
Yannick Stade, Ludwig Schmid, Lukas Burgholzer +1
Quantum computing promises to solve problems previously deemed infeasible. However, high error rates necessitate quantum error correction for practical applications. Seminal experi…
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
Tom Peham, Ludwig Schmid, Lucas Berent +2
A central ingredient in fault-tolerant quantum algorithms is the initialization of a logical state for a given quantum error-correcting code from a set of noisy qubits. A scheme th…
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)…
An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
Yannick Stade, Ludwig Schmid, Lukas Burgholzer +1
Recent experimental achievements have demonstrated the potential of neutral atom architectures for fault-tolerant quantum computing. These architectures feature the dynamic rearran…
Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher +2
Quantum circuit synthesis describes the process of converting arbitrary unitary operations into a gate sequence of a fixed universal gate set, usually defined by the operations nat…
Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers
Ludwig Schmid, Sunghye Park, Seokhyeong Kang +1
Quantum computing based on Neutral Atoms (NAs) provides a wide range of computational capabilities, encompassing high-fidelity long-range interactions with native multi-qubit gates…
A general learning scheme for classical and quantum Ising machines
Ludwig Schmid, Enrico Zardini, Davide Pastorello
An Ising machine is any hardware specifically designed for finding the ground state of the Ising model. Relevant examples are coherent Ising machines and quantum annealers. In this…
Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts
Ludwig Schmid, David F. Locher, Manuel Rispler +4
Neutral Atom Quantum Computing (NAQC) emerges as a promising hardware platform primarily due to its long coherence times and scalability. Additionally, NAQC offers computational ad…