量子信息--具体地和公理化地流动
Quantum information-flow, concretely, and axiomatically
摘要：
这些课堂讲稿调查了一些与萨姆森·阿布拉姆斯基的联合工作。我将以一种不太专业的方式，非正式地讨论主要结果。其中包括：（1）“纠缠的逻辑”，即“量子信息流”的识别和抽象公理化，它使诸如量子隐形传态之类的协议成为可能。为此，我们定义了强紧闭范畴，它抽象地描述了量子纠缠的行为性质。(2)"抽象量子形式主义的假设“，其中经典信息流（例如令牌交换）是形式主义的一部分。作为一个例子，我们对量子隐形传态给出了一个纯粹的形式化描述，并在抽象的一般性上证明了其正确性。在这种形式主义中，类型反映种类，这与本质上无类型的冯·诺依曼形式主义相反。因此，甚至具体地说，这种形式主义也明显地比通常的形式主义有所改进。(3)“量子信息学的高级方法”。
英文摘要：
These lecture notes survey some joint work with Samson Abramsky. Somewhat informally I will discuss the main results in a pedestrian not too technical way. These include: (1) `The logic of entanglement', that is, the identification and abstract axiomatization of the `quantum information-flow' which enables protocols such as quantum teleportation. To this means we define strongly compact closed categories which abstractly capture the behavioral properties of quantum entanglement. (2) `Postulates for an abstract quantum formalism' in which classical information-flow (e.g. token exchange) is part of the formalism. As an example, we provide a purely formal description of quantum teleportation and prove correctness in abstract generality. In this formalism types reflect kinds, contra the essentially typeless von Neumann formalism. Hence even concretely this formalism manifestly improves on the usual one. (3) `A high-level approach to quantum informatics'.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
