Higher Semantics of Quantum Protocols
Higher Semantics of Quantum Protocols
复制标题
量子协议的高级语义
DOI：
10.1109/lics.2012.70
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
J. Vicary
中科院分区：
文献类型：
--
作者：
J. Vicary
我们提出了一种更高级的描述量子协议的语义，以统一的方式处理量子和经典信息。我们方法的核心是通过向环境传递信息来对经典数据进行建模，并使用2-范畴理论来形式化所产生的框架。这种2范畴语义学有一个图形演算，其图表精确地对应于物理上可实现的量子过程。量子隐形传态在其最一般的意义上被重新表述为消除量子系统与其环境之间的关联的能力，并由一个优雅的图形标识来表示。我们用这种新的形式描述了两类新的量子协议。
We propose a higher semantics for the description of quantum protocols, which deals with quantum and classical information in a unified way. Central to our approach is the modelling of classical data by information transfer to the environment, and the use of 2-category theory to formalize the resulting framework. This 2-categorical semantics has a graphical calculus, the diagrams of which correspond exactly to physically-implementable quantum procedures. Quantum teleportation in its most general sense is reformulated as the ability to remove correlations between a quantum system and its environment, and is represented by an elegant graphical identity. We use this new formalism to describe two new families of quantum protocols.