Cover Image

Automatic De-Quantization of Quantum Programs Using Constant Propagation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Remme, Lian, Weinert, Alexander, Waschk, Andre, Burgholzer, Lukas, Wille, Robert
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

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

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

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

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

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

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

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

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

Stripping Quantum Decision Diagrams of their Identity
by: Sander, Aaron, 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)

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

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

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

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

Branch-Aware Quantum Constant Propagation for Dynamic Quantum Circuits
by: Fulginiti, Innocenzo, et al.
Published: (2026)

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

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

Practical HPCQC Integration with QDMI: A Real-Hardware Case Study with IQM Systems
by: Burgholzer, Lukas, et al.
Published: (2026)

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

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

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

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

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

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)

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)

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

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

Late Breaking Results: Hardware-Efficient Quantum Reservoir Computing via Quantized Readout
by: Pathak, Param, et al.
Published: (2026)

Extending the OmpSs-2 Programming Model for Hybrid Quantum-Classical Programming
by: Döbler, Philip, et al.
Published: (2025)

Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse
by: Echavarria, Jorge, et al.
Published: (2025)

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

Optimization of Hybrid Quantum-Classical Algorithms
by: Remme, Lian, et al.
Published: (2025)

Playing Dice with the Universe: Programming Quantum Computers to Play Traditional Games
by: Zaborniak, Tristan, et al.
Published: (2026)

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

Efficient Classical Processing of Constant-Depth Time Evolution Circuits in Control Hardware
by: Francis, Akhil, et al.
Published: (2025)

Quantum Buffer Design Using Petri Nets
by: Shah, Syed Asad, et al.
Published: (2024)

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

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