Image de couverture de livre

Measurement-based Verification of Quantum Markov Chains

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Guan, Ji, Feng, Yuan, Turrini, Andrea, Ying, Mingsheng
Format:	Preprint
Publié:	2024
Sujets:	Quantum Physics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

QReach: A Reachability Analysis Tool for Quantum Markov Chains
par: Dai, Aochu, et autres
Publié: (2025)

Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
par: Guan, Ji, et autres
Publié: (2026)

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
par: Lin, Yanling, et autres
Publié: (2024)

Verification of Recursively Defined Quantum Circuits
par: Ying, Mingsheng, et autres
Publié: (2024)

BI-based Reasoning about Quantum Programs with Heap Manipulations
par: Su, Bonan, et autres
Publié: (2024)

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
par: Huang, Mingyu, et autres
Publié: (2025)

Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
par: Li, Chenjian, et autres
Publié: (2025)

New Quantum Algorithms for Computing Quantum Entropies and Distances
par: Wang, Qisheng, et autres
Publié: (2022)

Model Checking Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2021)

Borrowing Dirty Qubits in Quantum Programs
par: Su, Bonan, et autres
Publié: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
par: Huang, Qifan, et autres
Publié: (2025)

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
par: Hong, Xin, et autres
Publié: (2020)

Symbolic Specification and Reasoning for Quantum Data and Operations
par: Ying, Mingsheng
Publié: (2025)

A Practical Quantum Hoare Logic with Classical Variables, I
par: Ying, Mingsheng
Publié: (2024)

Quantum Earth mover's distance, No-go Quantum Kantorovich-Rubinstein theorem, and Quantum Marginal Problem
par: Yu, Nengkun, et autres
Publié: (2018)

Symbolic Execution for Quantum Error Correction Programs
par: Fang, Wang, et autres
Publié: (2023)

Automatic Test Pattern Generation for Robust Quantum Circuit Testing
par: Chen, Kean, et autres
Publié: (2022)

Quantum Speedup for Hypergraph Sparsification
par: Liu, Chenghua, et autres
Publié: (2025)

Parallel Quantum Algorithm for Hamiltonian Simulation
par: Zhang, Zhicheng, et autres
Publié: (2021)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
par: Zhang, Zhicheng, et autres
Publié: (2024)

Belavkin-Staszewski Quantum Markov Chains
par: Bluhm, Andreas, et autres
Publié: (2025)

Atomicity in Distributed Quantum Computing
par: Zhang, Zhicheng, et autres
Publié: (2024)

Quantum Speedup for Nonreversible Markov Chains
par: Claudon, Baptiste, et autres
Publié: (2025)

Access Control Threatened by Quantum Entanglement
par: Zhang, Zhicheng, et autres
Publié: (2025)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
par: Li, Zihao, et autres
Publié: (2026)

Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks
par: Lin, Huiping, et autres
Publié: (2024)

Virtual Quantum Markov Chain of four-qubit systems
par: Chen, Zhixing, et autres
Publié: (2025)

Quantum Algorithm for Lexicographically Minimal String Rotation
par: Wang, Qisheng, et autres
Publié: (2020)

Quantum Büchi Automata
par: Wang, Qisheng, et autres
Publié: (2018)

Quantum Annealing Enhanced Markov-Chain Monte Carlo
par: Arai, Shunta, et autres
Publié: (2025)

Equivalence Checking of Parameterised Quantum Circuits
par: Hong, Xin, et autres
Publié: (2024)

Optimizing Measurements Sequences for Quantum State Verification
par: Liang, Weichao, et autres
Publié: (2023)

Quantum-enhanced Markov Chain Monte Carlo for Combinatorial Optimization
par: Marshall, Kate V., et autres
Publié: (2026)

Solving Markov Chains with Analog Quantum Computing: The Fine Print
par: van der Schoot, Ward, et autres
Publié: (2025)

Quantum Markov Chains: Hub-Pruned Estimation for Fashion Recommenders
par: Peretz, Or, et autres
Publié: (2025)

Robustness of Fixed Points of Quantum Channels and Application to Approximate Quantum Markov Chains
par: Salzmann, Robert, et autres
Publié: (2024)

Modeling Quantum Noise in Nanolasers using Markov Chains
par: Bundgaard-Nielsen, Matias, et autres
Publié: (2025)

Dynamics of discrete spacetimes with Quantum-enhanced Markov Chain Monte Carlo
par: Ferguson, Stuart, et autres
Publié: (2025)

Quantum Markov Chain Monte Carlo for Cosmological Functions
par: Sarracino, Giuseppe, et autres
Publié: (2025)

Optimal Mechanisms for Quantum Local Differential Privacy
par: Guan, Ji
Publié: (2024)