Computer Science – Logic in Computer Science
Scientific paper
2008-01-28
Proc. of 15th International Static Analysis Symposium (SAS 2008). LNCS 5079, pp 270-282
Computer Science
Logic in Computer Science
13 pages
Scientific paper
10.1007/978-3-540-69166-2_18
Entanglement is a non local property of quantum states which has no classical counterpart and plays a decisive role in quantum information theory. Several protocols, like the teleportation, are based on quantum entangled states. Moreover, any quantum algorithm which does not create entanglement can be efficiently simulated on a classical computer. The exact role of the entanglement is nevertheless not well understood. Since an exact analysis of entanglement evolution induces an exponential slowdown, we consider approximative analysis based on the framework of abstract interpretation. In this paper, a concrete quantum semantics based on superoperators is associated with a simple quantum programming language. The representation of entanglement, i.e. the design of the abstract domain is a key issue. A representation of entanglement as a partition of the memory is chosen. An abstract semantics is introduced, and the soundness of the approximation is proven.
No associations
LandOfFree
Quantum entanglement analysis based on abstract interpretation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Quantum entanglement analysis based on abstract interpretation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quantum entanglement analysis based on abstract interpretation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-156742