Quantum entanglement analysis based on abstract interpretation

Simple item page
dc.creatorPerdrix, Simon
dc.date2008-01-28
dc.date.accessioned2026-07-07T12:09:38Z
dc.date.available2026-07-07T12:09:38Z
dc.descriptionEntanglement 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.
dc.description13 pages
dc.identifierhttps://arxiv.org/abs/0801.4230
dc.identifierhttp://arxiv.org/abs/0801.4230
dc.identifierProc. of 15th International Static Analysis Symposium (SAS 2008). LNCS 5079, pp 270-282
dc.identifierdoi:10.1007/978-3-540-69166-2_18
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/209690
dc.subjectLogic in Computer Science
dc.subjectProgramming Languages
dc.subjectQuantum Physics
dc.titleQuantum entanglement analysis based on abstract interpretation
dc.typetext

Files

Collections

arXiv