量子信息流：具体与公理化的考察
量子物理
2009-11-11 v1 范畴论
逻辑
摘要
这些讲义综述了与 Samson Abramsky 的一些合作工作。我将以较通俗而不太技术的方式讨论主要结果。包括：（1）“纠缠的逻辑”，即识别并抽象公理化启用量子隐形传态等协议的“量子信息流”。为此我们定义强紧闭范畴，抽象捕捉量子纠缠的行为性质。（2）“抽象量子形式体系的公设”，其中经典信息流（如令牌交换）是形式体系的一部分。作为例子，我们给出量子隐形传态的纯形式描述并在抽象一般性下证明正确性。在此形式体系中类型反映种类，恰与本质无类型的 von Neumann 形式体系相反。因此即便具体地此形式体系也显然优于通常者。（3）“量子信息学的高层途径”。
引用
@article{arxiv.quant-ph/0506132,
title = {Quantum information-flow, concretely, and axiomatically},
author = {Bob Coecke},
journal= {arXiv preprint arXiv:quant-ph/0506132},
year = {2009}
}
备注
Lecture notes of talks given between Summer 2003 and Spring 2004; they appeared (I guess) as conference proceedings of both QPLII (2004) and QI-SPIE-2 (2004); they also provide a physicist-friendly passage to the categorical quantum axiomatics