物理痕迹：量子与经典信息处理
计算几何
2009-09-29 v2 计算机科学中的逻辑
范畴论
量子物理
摘要
在交互几何（GoI）范式中，我们提出了一种能够探索经典过程与量子过程之间质性差异的设置。关键构造是对以张量积为幺半群结构的有限维向量空间范畴，以及以笛卡尔积为幺半群结构的有限集合与关系范畴的物理诠释/实现，两者都提供了所谓的波风格 GoI。本文的进展表明，将量子测量导致的状态更新视为一个过程，为开发量子信息处理的高层方法提供了强大的工具。
引用
@article{arxiv.cs/0207057,
title = {Physical Traces: Quantum vs. Classical Information Processing},
author = {Samson Abramsky and Bob Coecke},
journal= {arXiv preprint arXiv:cs/0207057},
year = {2009}
}
备注
The paper is written for a computer science journal, requires some knowledge on category theory but provides some basics on quantum theory