Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
Logic in Computer Science
2014-08-04 v2 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. We have extended the quantum process calculus to describe d-dimensional quantum systems, which has not been done before. We summarise the necessary theory in the generalisation of quantum gates and Bell states and use the theory to apply the quantum process calculus CQP to quantum protocols, namely qudit teleportation and superdense coding.
Cite
@article{arxiv.1303.2896,
title = {Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols},
author = {Simon J. Gay and Ittoop Vergheese Puthoor},
journal= {arXiv preprint arXiv:1303.2896},
year = {2014}
}
Comments
In Proceedings QPL 2012, arXiv:1407.8427