Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
Logic in Computer Science
2012-10-03 v1 Programming Languages
Quantum Physics
Abstract
We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. The key idea is to define two systems, one modelling a protocol and one expressing a specification, and prove that they are behaviourally equivalent. We summarize the necessary theory in the process calculus CQP, including the crucial result that equivalence is a congruence, meaning that it is preserved by embedding in any context. We illustrate the approach by analyzing two versions of a quantum error correction system.
Cite
@article{arxiv.1210.0614,
title = {Analysis of a Quantum Error Correcting Code using Quantum Process Calculus},
author = {Timothy A. S. Davidson and Simon J. Gay and Rajagopal Nagarajan and Ittoop Vergheese Puthoor},
journal= {arXiv preprint arXiv:1210.0614},
year = {2012}
}
Comments
In Proceedings QPL 2011, arXiv:1210.0298