Cover Image

A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tan, Daniel Bochen, Niu, Murphy Yuezhen, Gidney, Craig
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics Emerging Technologies
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Universal Logical Quantum Photonic Neural Network Processor via Cavity-Assisted Interactions
by: Basani, Jasvith Raj, et al.
Published: (2024)

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

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

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

Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors
by: Tan, Daniel Bochen, et al.
Published: (2023)

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

Depth-Optimal Addressing of 2D Qubit Array with 1D Controls Based on Exact Binary Matrix Factorization
by: Tan, Daniel Bochen, et al.
Published: (2024)

Compilation for Dynamically Field-Programmable Qubit Arrays with Efficient and Provably Near-Optimal Scheduling
by: Tan, Daniel Bochen, et al.
Published: (2024)

One-Time Compilation of Device-Level Instructions for Quantum Subroutines
by: Dalvi, Aniket S., et al.
Published: (2023)

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

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

Lattice Surgery Aware Resource Analysis for the Mapping and Scheduling of Quantum Circuits for Scalable Modular Architectures
by: Keskin, Batuhan, et al.
Published: (2025)

Performance Gains in Quantum SAT Solvers Using ESOP Encoding
by: Assaad, Majd, et al.
Published: (2026)

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

MITS: A Quantum Sorcerer Stone For Designing Surface Codes
by: Chatterjee, Avimita, et al.
Published: (2024)

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
by: Kole, Abhoy, et al.
Published: (2024)

Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs
by: Zielinski, Sebastian, et al.
Published: (2024)

Transversal AND in Quantum Codes
by: Li, Christine, et al.
Published: (2026)

Review of Distributed Quantum Computing. From single QPU to High Performance Quantum Computing
by: Barral, David, et al.
Published: (2024)

Quantum Computer Fingerprinting using Error Syndromes
by: Mutolo, Vincent, et al.
Published: (2025)

On the Efficacy of Surface Codes in Compensating for Radiation Events in Superconducting Devices
by: Vallero, Marzio, et al.
Published: (2024)

Quantum Computing for Automotive Applications
by: Riofrío, Carlos A., et al.
Published: (2024)

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

Boundaries of Acceptable Defectiveness: Redefining Surface Code Robustness under Heterogeneous Noise
by: Palmer, Jacob S., et al.
Published: (2025)

Q-Pilot: Field Programmable Qubit Array Compilation with Flying Ancillas
by: Wang, Hanrui, et al.
Published: (2023)

Peephole Optimization for Quantum Approximate Synthesis
by: Clark, Joseph, et al.
Published: (2024)

Quantum Computing for Optimizing Aircraft Loading
by: Kaushik, Ananth, et al.
Published: (2025)

QCEDA: Using Quantum Computers for EDA
by: Jung, Matthias, et al.
Published: (2024)

Quantum Computing -- Strategic Recommendations for the Industry
by: Erdmann, Marvin, et al.
Published: (2026)

A Survey on Integrating Quantum Computers into High Performance Computing Systems
by: Döbler, Philip, et al.
Published: (2025)

Bosehedral: Compiler Optimization for Bosonic Quantum Computing
by: Zhou, Junyu, et al.
Published: (2024)

Simulation of Quantum Computers: Review and Acceleration Opportunities
by: Cicero, Alessio, et al.
Published: (2024)

Dependable Classical-Quantum Computer Systems Engineering
by: Giusto, Edoardo, et al.
Published: (2024)

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

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

Graph-Based Pulse Representation for Diverse Quantum Control Hardware
by: Dalvi, Aniket S., et al.
Published: (2024)

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

Ecosystem-Agnostic Standardization of Quantum Runtime Architecture: Accelerating Utility in Quantum Computing
by: Tsymbalista, Markiian, et al.
Published: (2024)

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