arXiv Analytics

Sign in

arXiv:1902.03218 [quant-ph]AbstractReferencesReviewsResources

Model Checking Applied to Quantum Physics

Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying

Published 2019-02-08Version 1

Model checking has been successfully applied to verification of computer hardware and software, communication systems and even biological systems. In this paper, we further push the boundary of its applications and show that it can be adapted for applications in quantum physics. More explicitly, we show how quantum statistical and many-body systems can be modeled as quantum Markov chains, and some of their properties that interest physicists can be specified in linear-time temporal logics. Then we present an efficient algorithm to check these properties. A few case studies are given to demonstrate the use of our algorithm to actual quantum physical problems.

Related articles: Most relevant | Search more
arXiv:1506.08982 [quant-ph] (Published 2015-06-30)
Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
arXiv:quant-ph/0211037 (Published 2002-11-07)
Environment - Assisted Invariance, Causality, and Probabilities in Quantum Physics
arXiv:1204.6238 [quant-ph] (Published 2012-04-27, updated 2015-02-23)
Decoherence in Quantum Markov Chains