Programming with Quantum Communication
Anya Tafliovich, Eric C. R. Hehner
TL;DR
This paper introduces a formal framework for specifying, implementing, and analyzing quantum communication protocols, including tools for proofs and analysis of programs involving quantum channels and LOCC.
Contribution
It presents a novel formal framework and analytical tools for quantum communication protocols, focusing on proofs and program analysis involving quantum channels and LOCC.
Findings
Developed a formal framework for quantum communication protocols
Provided tools for proofs and analysis of quantum programs
Supported analysis of protocols involving quantum channels and LOCC
Abstract
This work develops a formal framework for specifying, implementing, and analysing quantum communication protocols. We provide tools for developing simple proofs and analysing programs which involve communication, both via quantum channels and exhibiting the LOCC (local operations, classical communication) paradigm.
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.
Taxonomy
TopicsQuantum Computing Algorithms and Architecture · Quantum Information and Cryptography · Quantum Mechanics and Applications