首页    期刊浏览 2024年11月25日 星期一
登录注册

文章基本信息

  • 标题: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.
国家哲学社会科学文献中心版权所有