Copertina

Decoding quantum color codes with MaxSAT

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Berent, Lucas, Burgholzer, Lukas, Derks, Peter-Jan H. S., Eisert, Jens, Wille, Robert
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Quantum Physics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

MaxSAT decoders for arbitrary CSS codes
di: Noormandipour, Mohammadreza, et al.
Pubblicazione: (2024)

Localized statistics decoding for quantum low-density parity-check codes
di: Hillmann, Timo, et al.
Pubblicazione: (2024)

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

The domain wall color code
di: Tiurev, Konstantin, et al.
Pubblicazione: (2023)

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

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
di: Quetschlich, Nils, et al.
Pubblicazione: (2023)

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
di: Quetschlich, Nils, et al.
Pubblicazione: (2023)

Qubit Reuse Beyond Reorder and Reset: Optimizing Quantum Circuits by Fully Utilizing the Potential of Dynamic Circuits
di: Rovara, Damian, et al.
Pubblicazione: (2025)

Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations
di: Rovara, Damian, et al.
Pubblicazione: (2025)

A Framework for Debugging Quantum Programs
di: Rovara, Damian, et al.
Pubblicazione: (2024)

A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers
di: Rovara, Damian, et al.
Pubblicazione: (2025)

Automatically Refining Assertions for Efficient Debugging of Quantum Programs
di: Rovara, Damian, et al.
Pubblicazione: (2024)

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

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

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

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

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

Dynamical codes for hardware with noisy readouts
di: Derks, Peter-Jan H. S., et al.
Pubblicazione: (2025)

Towards Hamiltonian Simulation with Decision Diagrams
di: Sander, Aaron, et al.
Pubblicazione: (2023)

Fast surgery for quantum LDPC codes
di: Baspin, Nouédyn, et al.
Pubblicazione: (2025)

A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem
di: Quetschlich, Nils, et al.
Pubblicazione: (2023)

Standardizing Access to Heterogeneous Quantum Backends: A Case Study on Cloud Service Integration with QDMI
di: Hopf, Patrick, et al.
Pubblicazione: (2026)

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators
di: Bannach, Max, et al.
Pubblicazione: (2024)

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

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

Designing fault-tolerant circuits using detector error models
di: Derks, Peter-Jan H. S., et al.
Pubblicazione: (2024)

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

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

MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing
di: Mato, Kevin, et al.
Pubblicazione: (2024)

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
di: Schmid, Ludwig, et al.
Pubblicazione: (2025)

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

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

Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits
di: Herzog, Laura S., et al.
Pubblicazione: (2025)

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

The MQT Compiler Collection: A Blueprint for a Future-Proof Quantum-Classical Compilation Framework
di: Burgholzer, Lukas, et al.
Pubblicazione: (2026)

Certified MaxSAT Preprocessing
di: Ihalainen, Hannes, et al.
Pubblicazione: (2024)

Redundancy rules for MaxSAT
di: Bonacina, Ilario, et al.
Pubblicazione: (2025)

A measurement-driven quantum algorithm for SAT: Performance guarantees via spectral gaps and measurement parallelization
di: Schreiber, Franz J., et al.
Pubblicazione: (2025)

Measurement-driven quantum advantages in shallow circuits
di: Cao, Chenfeng, et al.
Pubblicazione: (2025)