Scifaro

中文

ZX演算的一个通用完备化

量子物理 2017-06-30 v1 计算机科学中的逻辑范畴论

作者: Kang Feng Ng , Quanlong Wang

在 arXiv 上查看 ↗ PDF ↗

摘要

在本文中，我们给出纯量子比特量子力学整体的ZX演算的通用完备化。该证明基于另一种图语言即ZW演算的完备性，以及这两个图系统之间的直接翻译。

关键词

ZX演算 ZW演算完备性图语言量子比特量子力学通用完备化

引用

@article{arxiv.1706.09877,
  title  = {A universal completion of the ZX-calculus},
  author = {Kang Feng Ng and Quanlong Wang},
  journal= {arXiv preprint arXiv:1706.09877},
  year   = {2017}
}

备注

29 pages