Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
Sign Up to like & getrecommendations! Published in 2017 at "Soft Computing"
DOI: 10.1007/s00500-015-1802-6
Abstract: This paper presents a sound axiomatization for a probabilistic modal dynamic logic of quantum programs. The logic can express whether a state is separable or entangled, information that is local to a subsystem of the… read more here.
Keywords: correctness quantum; quantum; deriving correctness; logic quantum ... See more keywords
Modeling tripartite entanglement in quantum protocols using evolving entangled hypergraphs
Sign Up to like & getrecommendations! Published in 2018 at "International Journal of Quantum Information"
DOI: 10.1142/s0219749918500557
Abstract: The notion of entanglement is the most well-known nonclassical correlation in quantum mechanics, and a fundamental resource in quantum information and computation. This correlation, which is displayed by certain classes of quantum states, is of… read more here.
Keywords: quantum; entanglement quantum; tripartite entanglement; quantum protocols ... See more keywords