Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Brand, Sebastiaan, Laarman, Alfons
Formato:	Preprint
Publicado:	2025
Materias:	Quantum Physics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Quantum Graph-State Synthesis with SAT
por: Brand, Sebastiaan, et al.
Publicado: (2023)

Numerical Errors in Quantitative System Analysis With Decision Diagrams
por: Brand, Sebastiaan, et al.
Publicado: (2025)

Enriching Diagrams with Algebraic Operations
por: Villoria, Alejandro, et al.
Publicado: (2023)

Advancing Quantum Computing with Formal Methods
por: Quist, Arend-Jan, et al.
Publicado: (2024)

Optimization and Synthesis of Quantum Circuits with Global Gates
por: Villoria, Alejandro, et al.
Publicado: (2025)

GPU-Accelerated Quantum Simulation of Stabilizer Circuits
por: Osama, Muhammad, et al.
Publicado: (2026)

Quantum Algorithms for Magic Square Diophantine Equations
por: Thanos, Dimitrios, et al.
Publicado: (2026)

Quokka#: Quantum Computing with #SAT
por: Mei, Jingyi, et al.
Publicado: (2026)

Simulating Quantum Circuits by Model Counting
por: Mei, Jingyi, et al.
Publicado: (2024)

Equivalence Checking of Quantum Circuits by Model Counting
por: Mei, Jingyi, et al.
Publicado: (2024)

Reducing Quantum Circuit Synthesis to #SAT
por: Zak, Dekel, et al.
Publicado: (2025)

Trade-offs between classical and quantum space using spooky pebbling
por: Quist, Arend-Jan, et al.
Publicado: (2024)

A Knowledge Compilation Map for Quantum Information
por: Vinkhuijzen, Lieuwe, et al.
Publicado: (2024)

Exact quantum decision diagrams with scaling guarantees for Clifford+$T$ circuits and beyond
por: Quist, Arend-Jan, et al.
Publicado: (2026)

Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
por: González-Castillo, Samuel, et al.
Publicado: (2026)

Quantum Physics using Weighted Model Counting
por: Ende, Dirck van den, et al.
Publicado: (2025)

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

Efficient Implementation of LIMDDs for Quantum Circuit Simulation and Verification
por: Vinkhuijzen, Lieuwe, et al.
Publicado: (2025)

Quantum State Preparation via Free Binary Decision Diagram
por: Tanaka, Yu, et al.
Publicado: (2024)

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
por: de Colnet, Alexis, et al.
Publicado: (2026)

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

String Diagrams for Quantum Foundations, Computing and Natural Language Processing
por: Waseem, Muhammad Hamza
Publicado: (2026)

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
por: Hong, Xin, et al.
Publicado: (2020)

Scoring-based Static Variable Ordering for Decision Diagram-based Quantum Circuit Simulation
por: Kimura, Yusuke, et al.
Publicado: (2025)

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams
por: Wang, Ziyuan, et al.
Publicado: (2025)

Breaking the Treewidth Barrier in Quantum Circuit Simulation with Decision Diagrams
por: Cheng, Bin, et al.
Publicado: (2025)

Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams
por: Khadiev, Kamil, et al.
Publicado: (2017)

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

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

MAFFT-inspired Quantum Shift-based Sequence Alignment and its Efficient Simulation on Decision Diagrams
por: Kimura, Yusuke, et al.
Publicado: (2026)

Packaged Quantum States for Gauge-Invariant Quantum Computation and Communication
por: Ma, Rongchao
Publicado: (2025)

Parallel Quantum Computing Simulations via Quantum Accelerator Platform Virtualization
por: Claudino, Daniel, et al.
Publicado: (2024)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
por: Hong, Xin, et al.
Publicado: (2025)

Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams
por: Tani, Seiichiro
Publicado: (2019)

Parallel Driving for Fast Quantum Computing Under Speed Limits
por: McKinney, Evan, et al.
Publicado: (2023)

From Tensor Networks to Tractable Circuits, and back
por: Quist, Arend-Jan, et al.
Publicado: (2026)

Quantum Spectral Clustering: Comparing Parameterized and Neuromorphic Quantum Kernels
por: Slabbert, Donovan, et al.
Publicado: (2025)

Benchmarking Quantum Computer Simulation Software Packages: State Vector Simulators
por: Jamadagni, Amit, et al.
Publicado: (2024)

String Diagrams for Defect-Based Surface Code Computing
por: Kupper, Mateusz, et al.
Publicado: (2025)

Q-BEAST: A Practical Course on Experimental Evaluation and Characterization of Quantum Computing Systems
por: Chung, Minh, et al.
Publicado: (2025)