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...
Main Author: | |
---|---|
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 |
_version_ | 1811203102986993664 |
---|---|
author | Kentaro Honda |
author_facet | Kentaro Honda |
author_sort | Kentaro Honda |
collection | DOAJ |
description | 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 studied the problem. They decided qubits were entangled if multiple qubits unitary gates are applied to them, and some refined this reasoning using information about the state of each separated qubit. However, they do not care about the fact that unitary gate undoes entanglement and that measurement may separate multiple qubits. In this paper, we extend prior work using stabilizer formalism. It refines reasoning about separability of quantum variables in quantum programs. |
first_indexed | 2024-04-12T02:49:07Z |
format | Article |
id | doaj.art-e51fb9eb64b241fea2764997d75080fc |
institution | Directory Open Access Journal |
issn | 2075-2180 |
language | English |
last_indexed | 2024-04-12T02:49:07Z |
publishDate | 2015-11-01 |
publisher | Open Publishing Association |
record_format | Article |
series | Electronic Proceedings in Theoretical Computer Science |
spelling | doaj.art-e51fb9eb64b241fea2764997d75080fc2022-12-22T03:51:03ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802015-11-01195Proc. QPL 201526227210.4204/EPTCS.195.19:66Analysis of Quantum Entanglement in Quantum Programs using Stabilizer FormalismKentaro HondaQuantum 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 studied the problem. They decided qubits were entangled if multiple qubits unitary gates are applied to them, and some refined this reasoning using information about the state of each separated qubit. However, they do not care about the fact that unitary gate undoes entanglement and that measurement may separate multiple qubits. In this paper, we extend prior work using stabilizer formalism. It refines reasoning about separability of quantum variables in quantum programs.http://arxiv.org/pdf/1511.01572v1 |
spellingShingle | Kentaro Honda Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism Electronic Proceedings in Theoretical Computer Science |
title | Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism |
title_full | Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism |
title_fullStr | Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism |
title_full_unstemmed | Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism |
title_short | Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism |
title_sort | analysis of quantum entanglement in quantum programs using stabilizer formalism |
url | http://arxiv.org/pdf/1511.01572v1 |
work_keys_str_mv | AT kentarohonda analysisofquantumentanglementinquantumprogramsusingstabilizerformalism |