Imagen de Portada

Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Burgholzer, Lukas, Jiménez-Pastor, Antonio, Larsen, Kim G., Tribastone, Mirco, Tschaikowski, Max, Wille, Robert
Formato:	Preprint
Publicado:	2023
Materias:	Quantum Physics Emerging Technologies
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Quantum Circuit Simulation with Fast Tensor Decision Diagram
por: Zhang, Qirui, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

FragQC: An Efficient Quantum Error Reduction Technique using Quantum Circuit Fragmentation
por: Basu, Saikat, et al.
Publicado: (2023)

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

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

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

Qymera: Simulating Quantum Circuits using RDBMS
por: Littau, Tim, et al.
Publicado: (2025)

Circuit Partitioning and Full Circuit Execution: A Comparative Study of GPU-Based Quantum Circuit Simulation
por: Sarode, Kartikey, et al.
Publicado: (2025)

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

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

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

A Comprehensive Study of Quantum Arithmetic Circuits
por: Wang, Siyi, et al.
Publicado: (2024)

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

Multi-strategy Based Quantum Cost Reduction of Quantum Boolean Circuits
por: Ahmed, Taghreed, et al.
Publicado: (2024)

Quantum Circuit Optimization by Graph Coloring
por: Lee, Hochang, et al.
Publicado: (2025)