The Quantum Abstract Machine
CoRR(2024)
摘要
This paper develops a model of quantum behavior that is intended to support
the abstract yet accurate design and functional verification of quantum
communication protocols. The work is motivated by the need for conceptual tools
for the development of quantum-communication systems that are usable by
non-specialists in quantum physics while also correctly capturing at a useful
abstraction the underlying quantum phenomena. Our approach involves defining a
quantum abstract machine (QAM) whose operations correspond to well-known
quantum circuits; these operations, however, are given direct abstract
semantics in a style similar to that of Berry's and Boudol's Chemical Abstract
Machine. This paper defines the QAM's semantics and shows via examples how it
may be used to model and reason about existing quantum communication protocols.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要