Cover Image

Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Peham, Tom, Steinberg, Matthew, Wille, Robert, Heußen, Sascha
Format:	Preprint
Published:	2026
Subjects:	Quantum Physics Emerging Technologies
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)

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

A SAT Encoding for Optimal Clifford Circuit Synthesis
by: Schneider, Sarah, et al.
Published: (2022)

Towards Equivalence Checking of Classical Circuits Using Quantum Computing
by: Quetschlich, Nils, et al.
Published: (2024)

Predicting Good Quantum Circuit Compilation Options
by: Quetschlich, Nils, et al.
Published: (2022)

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

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers
by: Volpe, Deborah, et al.
Published: (2024)

Fault-Tolerant Quantum Computing with Trapped Ions: The Walking Cat Architecture
by: Tripier, Felix, et al.
Published: (2026)

Towards an Automated Framework for Realizing Quantum Computing Solutions
by: Quetschlich, Nils, et al.
Published: (2022)

A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing
by: Tan, Daniel Bochen, et al.
Published: (2024)

Compiler Optimization for Quantum Computing Using Reinforcement Learning
by: Quetschlich, Nils, et al.
Published: (2022)

Lightcone Bounds for Quantum Circuit Mapping via Uncomplexity
by: Steinberg, Matthew, et al.
Published: (2024)

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

Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams
by: Burgholzer, Lukas, et al.
Published: (2023)

Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing
by: Stade, Yannick, et al.
Published: (2025)

Parameter Setting Heuristics Make the Quantum Approximate Optimization Algorithm Suitable for the Early Fault-Tolerant Era
by: He, Zichang, et al.
Published: (2024)

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem
by: Volpe, Deborah, et al.
Published: (2024)

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

Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation
by: Stade, Yannick, et al.
Published: (2024)

A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures
by: Kunasaikaran, Jagatheesan, et al.
Published: (2023)

Is Circuit Depth Accurate for Comparing Quantum Circuit Runtimes?
by: Tremba, Matthew, et al.
Published: (2025)

Optimised Fermion-Qubit Encodings for Quantum Simulation with Reduced Transpiled Circuit Depth
by: de la Bastida, Michael Williams, et al.
Published: (2025)

Node Replacement based Approximate Quantum Simulation with Decision Diagrams
by: Yan, Yexin, et al.
Published: (2025)

Stripping Quantum Decision Diagrams of their Identity
by: Sander, Aaron, et al.
Published: (2024)

Fault-Tolerant Quantum Error Correction: Implementing Hamming-Based Codes with Advanced Syndrome Extraction Techniques
by: Bhadra, Soham, et al.
Published: (2026)

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

QRCC: Evaluating Large Quantum Circuits on Small Quantum Computers through Integrated Qubit Reuse and Circuit Cutting
by: Pawar, Aditya, et al.
Published: (2023)

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

Automatic De-Quantization of Quantum Programs Using Constant Propagation
by: Remme, Lian, et al.
Published: (2026)

Quantum Circuit Synthesis and Compilation Optimization: Overview and Prospects
by: Yan, Ge, et al.
Published: (2024)

Distributed Quantum Computation with Minimum Circuit Execution Time over Quantum Networks
by: Sundaram, Ranjani G, et al.
Published: (2024)

Multifractality Analysis of Single Qubit Quantum Circuit Outcomes for a Superconducting Quantum Computer
by: Saghafi, Mohammadreza, et al.
Published: (2025)

Accelerating Simulation of Quantum Circuits under Noise via Computational Reuse
by: Wang, Meng, et al.
Published: (2022)

Exhaustive Search for Quantum Circuit Optimization using ZX Calculus
by: Fischbach, Tobias, et al.
Published: (2025)

QuCLEAR: Clifford Extraction and Absorption for Quantum Circuit Optimization
by: Liu, Ji, et al.
Published: (2024)

Gate Optimization of NEQR Quantum Circuits via PPRM Transformation
by: Iranmanesh, Shahab, et al.
Published: (2024)

A Review on Quantum Circuit Optimization using ZX-Calculus
by: Fischbach, Tobias, et al.
Published: (2025)

Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler
by: Stade, Yannick, et al.
Published: (2025)

Equivalence checking of quantum circuits via intermediary matrix product operator
by: Sander, Aaron, et al.
Published: (2024)

Combinatorial Optimization with Quantum Computers
by: Chicano, Francisco, et al.
Published: (2024)