Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
Simon J. Gay (University of Glasgow), Ittoop Vergheese Puthoor, (University of Glasgow)
TL;DR
This paper extends quantum process calculus to d-dimensional systems, enabling formal analysis of complex quantum communication protocols like teleportation and superdense coding.
Contribution
It introduces a generalized quantum process calculus for higher-dimensional systems, expanding the formal methods applied to quantum communication protocols.
Findings
Successfully modeled qudit teleportation and superdense coding
Extended quantum gates and Bell states to d-dimensional systems
Demonstrated the applicability of the generalized calculus
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.