Buchumschlag

Advancing Quantum Computing with Formal Methods

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Quist, Arend-Jan, Mei, Jingyi, Coopmans, Tim, Laarman, Alfons
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Quantum Physics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Trade-offs between classical and quantum space using spooky pebbling
von: Quist, Arend-Jan, et al.
Veröffentlicht: (2024)

Equivalence Checking of Quantum Circuits by Model Counting
von: Mei, Jingyi, et al.
Veröffentlicht: (2024)

Quokka#: Quantum Computing with #SAT
von: Mei, Jingyi, et al.
Veröffentlicht: (2026)

Quantum Graph-State Synthesis with SAT
von: Brand, Sebastiaan, et al.
Veröffentlicht: (2023)

A Knowledge Compilation Map for Quantum Information
von: Vinkhuijzen, Lieuwe, et al.
Veröffentlicht: (2024)

Simulating Quantum Circuits by Model Counting
von: Mei, Jingyi, et al.
Veröffentlicht: (2024)

Numerical Errors in Quantitative System Analysis With Decision Diagrams
von: Brand, Sebastiaan, et al.
Veröffentlicht: (2025)

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
von: Brand, Sebastiaan, et al.
Veröffentlicht: (2025)

Reducing Quantum Circuit Synthesis to #SAT
von: Zak, Dekel, et al.
Veröffentlicht: (2025)

From Tensor Networks to Tractable Circuits, and back
von: Quist, Arend-Jan, et al.
Veröffentlicht: (2026)

Optimization and Synthesis of Quantum Circuits with Global Gates
von: Villoria, Alejandro, et al.
Veröffentlicht: (2025)

GPU-Accelerated Quantum Simulation of Stabilizer Circuits
von: Osama, Muhammad, et al.
Veröffentlicht: (2026)

Quantum Algorithms for Magic Square Diophantine Equations
von: Thanos, Dimitrios, et al.
Veröffentlicht: (2026)

Enriching Diagrams with Algebraic Operations
von: Villoria, Alejandro, et al.
Veröffentlicht: (2023)

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

Aging and Reliability of Quantum Networks
von: Weinbrenner, Lisa T., et al.
Veröffentlicht: (2023)

On noise in swap ASAP repeater chains: exact analytics, distributions and tight approximations
von: Goodenough, Kenneth, et al.
Veröffentlicht: (2024)

Quantum Data Management in the NISQ Era: Extended Version
von: Hai, Rihan, et al.
Veröffentlicht: (2024)

On the Sample Complexity of Quantum Boltzmann Machine Learning
von: Coopmans, Luuk, et al.
Veröffentlicht: (2023)

Quantum Physics using Weighted Model Counting
von: Ende, Dirck van den, et al.
Veröffentlicht: (2025)

Merging-Based Quantum Repeater
von: Mor-Ruiz, Maria Flors, et al.
Veröffentlicht: (2025)

Quixer: A Quantum Transformer Model
von: Khatri, Nikhil, et al.
Veröffentlicht: (2024)

Connecting Quantum Cities: Simulation of a Satellite-Based Quantum Network
von: Yehia, Raja, et al.
Veröffentlicht: (2023)

Optimising entanglement distribution policies under classical communication constraints assisted by reinforcement learning
von: Li, Jan, et al.
Veröffentlicht: (2024)

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
von: de Colnet, Alexis, et al.
Veröffentlicht: (2026)

Training Quantum Boltzmann Machines with the $β$-Variational Quantum Eigensolver
von: Huijgen, Onno, et al.
Veröffentlicht: (2023)

Measuring Correlation and Entanglement between Molecular Orbitals on a Trapped-Ion Quantum Computer
von: Greene-Diniz, Gabriel, et al.
Veröffentlicht: (2024)

Sector length distributions of recursively definable graph states through analytic combinatorics
von: Vallée, Eloïc, et al.
Veröffentlicht: (2026)

Rational Quantum Mechanics: Testing Quantum Theory with Quantum Computers
von: Palmer, Tim
Veröffentlicht: (2025)

The Parity Flow Formalism: Tracking Quantum Information Throughout Computation
von: Klaver, Berend, et al.
Veröffentlicht: (2025)

Quantum Decoding Algorithms: Quantum Speedups in Optimization
von: Ljubas, Jan, et al.
Veröffentlicht: (2026)

Recent Advances on Nonadiabatic Geometric Quantum Computation
von: Xue, Zheng-Yuan, et al.
Veröffentlicht: (2025)

Quantum speedup from nonclassical polarization
von: Aßbrock, Tim, et al.
Veröffentlicht: (2026)

Lindblad engineering for quantum Gibbs state preparation under the eigenstate thermalization hypothesis
von: Brunner, Eric, et al.
Veröffentlicht: (2024)

The Quantum Formalism Revisited
von: Leschke, Hajo
Veröffentlicht: (2025)

Uniformity within Parameterized Circuit Classes
von: Hegeman, Steef, et al.
Veröffentlicht: (2025)

Assessing and Advancing the Potential of Quantum Computing: A NASA Case Study
von: Rieffel, Eleanor G., et al.
Veröffentlicht: (2024)

Model Checking Quantum Continuous-Time Markov Chains
von: Xu, Ming, et al.
Veröffentlicht: (2021)

Quantum Computing Methods for Malware Detection
von: Krátká, Eliška, et al.
Veröffentlicht: (2025)