Imagen de Portada

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yu, Nengkun, Palsberg, Jens, Reps, Thomas
Formato:	Preprint
Publicado:	2025
Materias:	Quantum Physics Logic in Computer Science Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
por: Yu, Nengkun, et al.
Publicado: (2025)

Unrealizability Logic
por: Kim, Jinwoo, et al.
Publicado: (2022)

Quantum Circuits Are Just a Phase
por: Heunen, Chris, et al.
Publicado: (2025)

Verification of Recursively Defined Quantum Circuits
por: Ying, Mingsheng, et al.
Publicado: (2024)

A Practical Quantum Hoare Logic with Classical Variables, I
por: Ying, Mingsheng
Publicado: (2024)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
por: Barthe, Gilles, et al.
Publicado: (2025)

Symbolic Specification and Reasoning for Quantum Data and Operations
por: Ying, Mingsheng
Publicado: (2025)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
por: Colledan, Andrea, et al.
Publicado: (2024)

Reasoning about Weak Isolation Levels in Separation Logic
por: Mathiasen, Anders Alnor, et al.
Publicado: (2025)

Towards Concurrent Quantitative Separation Logic
por: Fesefeldt, Ira, et al.
Publicado: (2022)

Formalizing CHSH Rigidity in Lean 4
por: Zhao, Tianrun, et al.
Publicado: (2026)

Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
por: Voichick, Finn, et al.
Publicado: (2022)

Verifying Solutions to Semantics-Guided Synthesis Problems
por: Murphy, Charlie, et al.
Publicado: (2024)

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
por: Matsushita, Yusuke, et al.
Publicado: (2025)

A programming language combining quantum and classical control
por: Dave, Kinnari, et al.
Publicado: (2025)

Model Checking Quantum Continuous-Time Markov Chains
por: Xu, Ming, et al.
Publicado: (2021)

QbC: Quantum Correctness by Construction
por: Peduri, Anurudh, et al.
Publicado: (2023)

Traq: Estimating the Quantum Cost of Classical Programs
por: Peduri, Anurudh, et al.
Publicado: (2025)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
por: Zilberstein, Noam, et al.
Publicado: (2024)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
por: Haselwarter, Philipp G., et al.
Publicado: (2024)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
por: Zilberstein, Noam, et al.
Publicado: (2023)

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
por: Poli, Federico, et al.
Publicado: (2024)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
por: Li, Kwing Hei, et al.
Publicado: (2025)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
por: Aguirre, Alejandro, et al.
Publicado: (2024)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
por: Zimmerman, Conrad, et al.
Publicado: (2024)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
por: Zilberstein, Noam
Publicado: (2024)

Partial Incorrectness Logic
por: Verscht, Lena, et al.
Publicado: (2025)

A Nominal Approach to Probabilistic Separation Logic
por: Li, John M., et al.
Publicado: (2024)

A Program Logic for Abstract (Hyper)Properties
por: Baldan, Paolo, et al.
Publicado: (2026)

A Demonic Outcome Logic for Randomized Nondeterminism
por: Zilberstein, Noam, et al.
Publicado: (2024)

Proto-Quipper with Reversing and Control
por: Fu, Peng, et al.
Publicado: (2024)

Recursive Mutexes in Separation Logic
por: Du, Ke, et al.
Publicado: (2026)

Logic Programming with Extensible Types
por: Perez, Ivan, et al.
Publicado: (2026)

Finite-Choice Logic Programming
por: Martens, Chris, et al.
Publicado: (2024)

Quantifier Elimination and Craig Interpolation, Quantitatively
por: Batz, Kevin, et al.
Publicado: (2025)

Ordered Adjoint Logic (Extended Version)
por: Roshal, Sophia, et al.
Publicado: (2026)

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

Basic interactive algorithms: Preview
por: Gurevich, Yuri
Publicado: (2025)

A Program Logic for Under-approximating Worst-case Resource Usage
por: Jin, Ziyue, et al.
Publicado: (2025)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
por: Vollmer, Victoria, et al.
Publicado: (2024)