Cover Image

Equivalence checking of quantum circuits via intermediary matrix product operator

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sander, Aaron, Burgholzer, Lukas, Wille, Robert
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

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

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

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

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)

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)

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
by: Stade, Yannick, 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)

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

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

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)

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)

Adjustable-depth quantum circuit for position-dependent coin operators of discrete-time quantum walks
by: Nzongani, Ugo, et al.
Published: (2023)

Quantum circuits for discrete-time quantum walks with position-dependent coin operator
by: Nzongani, Ugo, et al.
Published: (2022)

Asymptotic yet practical optimization of quantum circuits implementing GF($2^m$) multiplication and division operations
by: Yosri, Noureldin, et al.
Published: (2025)

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

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

Efficient particle-conserving brick-wall quantum circuits
by: Ayeni, Babatunde M.
Published: (2024)

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

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

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

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

Interaction graph-based characterization of quantum benchmarks for improving quantum circuit mapping techniques
by: Bandić, Medina, et al.
Published: (2022)

Nearest neighbor synthesis of CNOT circuits on general quantum architectures
by: Chen, Xinyu, et al.
Published: (2023)

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

Design and execution of quantum circuits using tens of superconducting qubits and thousands of gates for dense Ising optimization problems
by: Maciejewski, Filip B., et al.
Published: (2023)

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

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

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

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

Quantum data encoding as a distinct abstraction layer in the design of quantum circuits
by: Agliardi, Gabriele, et al.
Published: (2024)

Tridiagonal matrix decomposition for Hamiltonian simulation on a quantum computer
by: Arseniev, Boris, et al.
Published: (2023)

Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse
by: Echavarria, Jorge, 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)

Novel quantum circuit for image compression utilizing modified Toffoli gate and quantized transformed coefficient alongside a novel reset gate
by: Haque, Ershadul, et al.
Published: (2025)

Quantum circuit synthesis with qudit phase gadget method
by: Yang, Shuai, et al.
Published: (2025)