Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism

Quantum entanglement plays an important role in quantum computation and communication. It is necessary for many protocols and computations, but causes unexpected disturbance of computational states. Hence, static analysis of quantum entanglement in quantum programs is necessary. Several papers studi...

Full description

Bibliographic Details
Main Author: Kentaro Honda
Format: Article
Language:English
Published: Open Publishing Association 2015-11-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1511.01572v1