Cover Image

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Schmid, Ludwig, Peham, Tom, Berent, Lucas, Müller, Markus, Wille, Robert
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
by: Peham, Tom, et al.
Published: (2024)

Synthesis of Fault-tolerant State Preparation Circuits using Steane-type Error Detection
by: Weilandt, Erik, et al.
Published: (2026)

Optimizing Fault-tolerant Cat State Preparation
by: Peham, Tom, et al.
Published: (2026)

Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation
by: Peham, Tom, et al.
Published: (2026)

Minimizing the Number of Code Switching Operations in Fault-Tolerant Quantum Circuits
by: Weilandt, Erik, et al.
Published: (2025)

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
by: Stade, Yannick, et al.
Published: (2024)

Fault-Tolerant Code Switching Protocols for Near-Term Quantum Processors
by: Butt, Friederike, et al.
Published: (2023)

Quantum Error Detection For Early Term Fault-Tolerant Quantum Algorithms
by: Ginsberg, Tom, et al.
Published: (2025)

The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
by: Wille, Robert, et al.
Published: (2024)

Improving Hardware Requirements for Fault-Tolerant Quantum Computing by Optimizing Error Budget Distributions
by: Forster, Tobias, et al.
Published: (2025)

Quantum Circuit Discovery for Fault-Tolerant Logical State Preparation with Reinforcement Learning
by: Zen, Remmy, et al.
Published: (2024)

Verifying Fault-Tolerance of Quantum Error Correction Codes
by: Chen, Kean, et al.
Published: (2025)

Lattice Surgery Compilation Beyond the Surface Code
by: Herzog, Laura S., et al.
Published: (2025)

Exploiting Movable Logical Qubits for Lattice Surgery Compilation
by: Herzog, Laura S., et al.
Published: (2025)

Fast Native Three-Qubit Gates and Fault-Tolerant Quantum Error Correction with Trapped Rydberg Ions
by: Bolsmann, Katrin, et al.
Published: (2025)

Design Tasks and Their Complexity for the European Train Control System with Hybrid Train Detection
by: Engels, Stefan, et al.
Published: (2023)

Performance Limits of Fault-Tolerant Quantum Error Correction Schemes
by: Valentini, Lorenzo, et al.
Published: (2026)

Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch?
by: Forster, Tobias, et al.
Published: (2025)

Error-Mitigated Hamiltonian Simulation: Complexity Analysis and Optimization for Near-Term and Early-Fault-Tolerant Quantum Computers
by: Murota, Keisuke, et al.
Published: (2026)

Alternating ZX Circuit Extraction for Hardware-Adaptive Compilation
by: Schmid, Ludwig, et al.
Published: (2026)

Alternating ZX Circuit Extraction for Hardware-Adaptive Compilation
by: Schmid, Ludwig, et al.
Published: (2026)

Fault Tolerant Quantum Error Mitigation
by: Gonzales, Alvin, et al.
Published: (2023)

Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts
by: Schmid, Ludwig, et al.
Published: (2023)

Analog information decoding of bosonic quantum LDPC codes
by: Berent, Lucas, et al.
Published: (2023)

Symmetry-Adapted State Preparation for Quantum Chemistry on Fault-Tolerant Quantum Computers
by: Khinevich, Viktor, et al.
Published: (2026)

Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
by: Staudacher, Korbinian, et al.
Published: (2024)

Satisfiability of Quantified Boolean Announcements
by: van Ditmarsch, Hans, et al.
Published: (2022)

Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams
by: Mato, Kevin, et al.
Published: (2024)

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
by: Stade, Yannick, et al.
Published: (2024)

Fault-Tolerant Quantum Error Correction for Constant-Excitation Stabilizer Codes under Coherent Noise
by: Lai, Ching-Yi, et al.
Published: (2025)

Decoding quantum color codes with MaxSAT
by: Berent, Lucas, et al.
Published: (2023)

On the Expressive Power of GNNs for Boolean Satisfiability
by: Peltonen, Saku, et al.
Published: (2026)

Boolean Satisfiability via Imitation Learning
by: Zhang, Zewei, et al.
Published: (2025)

Learning-Augmented Algorithms for Boolean Satisfiability
by: Attias, Idan, et al.
Published: (2025)

Inverse Intersections for Boolean Satisfiability Problems
by: Homer, Paul W.
Published: (2025)

Depth-Efficient Quantum Circuit Synthesis for Deterministic Dicke State Preparation
by: Yuan, Pei, et al.
Published: (2025)

Error-Tolerant Quantum State Discrimination: Optimization and Quantum Circuit Synthesis
by: Ma, Chien-Kai, et al.
Published: (2026)

Fault-Tolerant Neural Networks from Biological Error Correction Codes
by: Zlokapa, Alexander, et al.
Published: (2022)

SpiderCat: Optimal Fault-Tolerant Cat State Preparation
by: Khesin, Andrey Boris, et al.
Published: (2026)

Hardware-Efficient Preparation of Graph States on Near-Term Quantum Computers
by: Brandhofer, Sebastian, et al.
Published: (2024)