文章基本信息

标题：Environment and classical channels in categorical quantum mechanics
本地全文：下载
作者：Bob Coecke ; Simon Perdrix
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2012
卷号：8
期号：4
页码：1
DOI：10.2168/LMCS-8(4:14)2012
出版社：Technical University of Braunschweig
摘要：We present a both simple and comprehensive graphical calculus for quantum computing. In particular, we axiomatize the notion of an environment, which together with the earlier introduced axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the earlier introduced axiomatic notion of complementarity, we obtain sufficient structural power for constructive representation and correctness derivation of typical quantum informatic protocols.
其他关键词：Categorical semantics, quantum computing, classical data.