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.
Hybrid Oscillator-Qubit Quantum Processors: Instruction Set Architectures, Abstract Machine Models, and Applications
Massachusetts Institute of Technology（麻省理工学院）；North Carolina State University（北卡罗来纳州立大学）；Yale University（耶鲁大学）；Brookhaven National Laboratory（布鲁克海文国家实验室）；NIST/University of Maryland（美国国家标准与技术研究院/马里兰大学）；University of Wisconsin-Madison（威斯康星大学麦迪逊分校）；University of Toronto（多伦多大学）；Canadian Institute for Advanced Research（加拿大高级研究所）；Pacific Northwest National Laboratory（太平洋西北国家实验室）
